ller: d or n?
d
Let w(g) = g**3 + 4*g**2 - g - 5. Let q be w(-4). Suppose 2*v + 60 = -3*m - 14, m + 21 = 3*v. Let n be -1*2*2/m. Is q smaller than n?
True
Let j = -2.9 - -2.8. Is j bigger than 85?
False
Suppose 2*a + a - 6 = 0. Suppose -3 = -a*f - 1. Which is smaller: f or -0.3?
-0.3
Let i(z) = z**3 + 4*z**2 + 2*z - 1. Let g be i(-2). Let x = g + -4. Let v = 1224/19933 - -2/643. Is v >= x?
True
Let z = 4 - -4. Let s = -8.01 + z. Is -1 smaller than s?
True
Let j be -3*1/9*3. Which is bigger: -4/5 or j?
-4/5
Let l = -1 + 1. Suppose l*x = -3*x + 9. Let j = x + -4. Which is smaller: 1/2 or j?
j
Let v(m) = -147*m**3 + 2*m**2 + 2*m + 1. Let h be v(-3). Let s = 12055/3 - h. Let w = -36 + s. Which is smaller: w or 0.1?
0.1
Let k = 11 + -8. Suppose -y - o + 6*o = 3, k*y + 5*o = 11. Suppose y*p = p + 1. Which is smaller: -2/5 or p?
-2/5
Suppose 2*g = -0*g. Let r = 59 - 59. Is r < g?
False
Suppose 2*j + 4 = 4*j. Let o be (-3 - (-1)/1) + j. Let c be -1 + (-2 - (-14)/4). Which is smaller: o or c?
o
Let u be 3/(-6)*(-12)/10. Suppose 5*j - j - 3*b = -3, 4*b - 17 = j. Let f be 1/(-2)*(1 - j). Which is bigger: u or f?
f
Suppose 7*n = 6*n. Let l = n + 5. Let h = 2 - -2. Which is bigger: l or h?
l
Suppose -2*x = -n - 5, -n = x + 4*n - 19. Let h(u) = 2*u**2 - 3*u - 3. Let y be h(3). Let j = y - x. Which is bigger: j or 3/5?
j
Let h(n) = n**2 - 6*n + 4. Let o be h(4). Let y be (-32)/10 - 2/(-10). Do o and y have different values?
True
Let q = -585 + 593. Let v = 21 - 33. Let n be v/((-1)/(-2) + -2). Is n >= q?
True
Let v(n) = 5 - 183*n**2 + 185*n**2 - 3 + 5*n. Let a be v(-3). Is a > 4?
True
Let s = 4 - 6. Let x be (-4)/2 + (-3 - -2). Let r be 2/(-2)*x/(-1). Are r and s equal?
False
Let l = 4 - 1. Let r be 1/(-3) + 4/l. Is 4 less than r?
False
Let k(b) = b + 7. Let p be k(-7). Let n = p + 2. Which is greater: 3 or n?
3
Suppose -13*l - 164 - 200 = 0. Is l < -29?
False
Let j be 3 + 2 + 278/(-60). Let l = -5/54 + -11/270. Let p = l - j. Are p and -2/7 non-equal?
True
Suppose 21*s = 18*s - 84. Is s at most as big as -28?
True
Let n = -0.1 - 0. Let a = 1 + -4. Are n and a unequal?
True
Let z be 10/15*6/4. Suppose -s = z - 0. Which is smaller: -2/15 or s?
s
Let g(p) = p**2 - 5*p. Let z be g(5). Suppose 4*b + 2 = 2*y - 8, z = 3*y - 3*b - 6. Is 1/12 greater than y?
True
Suppose -4*m - m + 5 = 0. Let r = 12/55 - 46/715. Which is smaller: r or m?
r
Let a = -13 - -18. Let y = -193 + 963/5. Do a and y have different values?
True
Let h be -1*((-8)/2)/4. Which is greater: 2/67 or h?
h
Suppose -5*m = 3*m + 24. Is m <= -6?
False
Let v = -3.9 - -4.9. Let q = 0 + 0.1. Which is greater: q or v?
v
Let n = 0 - 2. Let r be 3/(-3) + 3 - n. Are 5 and r nonequal?
True
Let r be (5/2)/5*(-36)/(-10). Which is smaller: r or -1?
-1
Let h be 10/(-35) - (-2)/4. Which is bigger: h or 1/3?
1/3
Suppose 0 = -n - 3*n + 8. Let h(d) = d**3 + 5*d**2 - 5*d + 21. Let u be h(-6). Suppose -n*p - 1 = -u. Is 7 less than p?
False
Suppose 5*b + 0*b - 20 = 0. Suppose -2*n - 5*o = b - 38, -2*o = -3*n + 51. Suppose 5*z + 7 - n = 2*w, -5*z = -10. Is 2/3 less than w?
False
Suppose 0 = m + k - 8, -3*m - k = -4*m - 2. Let o(g) = -g - 14. Let r be o(-12). Let d = m - r. Are 5 and d nonequal?
False
Let p = -3 + 3. Suppose p = -7*l + 3*l. Which is smaller: l or -1/4?
-1/4
Let y be 1 + 1 - (-56)/(-20). Let w(a) = a + 8. Let x be w(-8). Is x greater than y?
True
Let p = 9 + -11. Let h = 38/45 - 4/9. Is p >= h?
False
Let z = 6 + -15. Is -9 at most as big as z?
True
Let w = 4 + -8. Let z = 0 - w. Suppose 3*k = z*k - 4. Is 4 bigger than k?
False
Let x(s) = -s**2 - 7*s - 8. Let d be x(-6). Let v be d/(-5) - 24/(-40). Suppose -3 = 2*l + v. Which is greater: l or 0?
0
Suppose -2*m - 5*y - 29 = -4*m, 5*m = 3*y + 25. Let z = -1 + m. Suppose 4*f - 10 = -f. Which is smaller: z or f?
z
Let t(r) = -r**2 + 9*r - 3. Let s be t(8). Suppose -6*c = s*h - 2*c + 17, 5*c = -15. Let w = 0 + h. Are -1 and w nonequal?
False
Let k = -14 - -15. Which is bigger: 2/15 or k?
k
Let b(t) = -t**2 - 11*t + 14. Let o be b(-12). Suppose -3*l = 5*m, -m + l = -o*l. Do m and -4/7 have the same value?
False
Let q = -0.71 + 0.695. Which is smaller: q or -0.1?
-0.1
Let j be ((-1)/14)/(3/(-6)). Is j > 1?
False
Let w be (-2)/4 + (-335)/10. Let a = w - -375/11. Which is bigger: a or 0?
a
Let i = -0.05 + 4.05. Let n = 3.832 + 0.068. Let l = n - i. Which is smaller: l or -1/2?
-1/2
Suppose 0 = r + 3 - 2. Let d be r/((-1)/2*-1). Is -12/7 at most d?
False
Let u be (16/60)/((-3)/(-15)). Which is smaller: 1 or u?
1
Suppose -3*d + 12 = -0*d. Suppose d*t = -2*g + 22, -g - 17 = -3*t - 2*t. Suppose 4*c - 3*c = -g. Which is smaller: -2 or c?
c
Let u = 80 - 112. Is -32 equal to u?
True
Let d(q) be the second derivative of q**3/6 - 3*q**2 - 4*q. Let l be d(4). Let a = 29/2 + -15. Does l = a?
False
Suppose -2*a - 8 = -4*a. Let q be a/9*27/18. Which is greater: q or 0.3?
q
Let x(z) = -z**2 - 8*z + 133. Let u be x(-16). Let o be 0 + (1 - 4/(-1)). Is o not equal to u?
False
Suppose 2*f = -5*u + 50, 2*u + 31 - 99 = -4*f. Let w be 3 - 1 - f/4. Is w at most -3?
False
Suppose -f - 3*f + 24 = 4*q, -2*f = 4*q - 24. Let v(w) = -w**3 + 7*w**2 - 7*w + 3. Let r be v(q). Do -2 and r have the same value?
False
Let i = 1587/272 - 96/17. Is i greater than or equal to -1?
True
Suppose 0 = 9*v - 16*v + 196. Which is bigger: 29 or v?
29
Let h be (-1)/279*3*-6. Is h less than 1?
True
Let v = 116 - 119. Let h = -2.1 - -2. Let l = -0.1 + h. Is l less than or equal to v?
False
Let l(o) = -o**3 + 4*o**2 + 8*o - 5. Let z be l(5). Let s = -35 - -44. Is z not equal to s?
True
Suppose 2*x + 3*y = -3*x + 11, 3*y = 4*x - 25. Are x and 2/3 nonequal?
True
Let p = -2 - -3. Suppose 3*f + 1 = 10. Suppose 3*o = o - 4*d - 12, 14 = -f*o - 5*d. Which is greater: p or o?
o
Suppose 4*i + 40 = 4*s, 4 - 9 = -5*s - 4*i. Are 3 and s nonequal?
True
Let x be (6 - (-212)/(-24))/((-2)/(-3)). Is x <= -3?
True
Let u(v) = -v + 1. Let i be u(5). Let y = i - -1. Which is bigger: y or -4?
y
Let f = 0.8 - -5.2. Let c = -10 + f. Which is greater: c or 0?
0
Let h = -1 + 6. Suppose -1 = j - 6. Let z = h - j. Is z at least as big as -1/8?
True
Let v be (-15)/(-6) + 42/(-15). Which is bigger: 0 or v?
0
Let v = 32 - 32.1. Is v at most as big as 9?
True
Let x be (-321)/6 - (3 - 1). Let q = -343/6 - x. Let s(i) = i**3 + 10*i**2 - 10*i + 8. Let r be s(-11). Which is smaller: q or r?
r
Let t = 5 + -5. Suppose 4*m + 8 - 4 = t. Is -3/8 < m?
False
Let l = -5 + 4.8. Let c = 5.7 + -6. Let m = l + c. Which is smaller: 2/5 or m?
m
Let l be 3 + 0/2 + -10. Let k be (1/(-2))/(2/28). Is l greater than k?
False
Let p = -114.8 - -115. Which is smaller: p or 26/5?
p
Let g = -7/30 - 11/10. Suppose -2*h - 7 = -5*c, 5*c - 2*c = 4*h + 7. Which is smaller: g or h?
g
Let z be (0 + 2 + -2)/1. Let f = -1 + z. Let t be (-4)/18 - (-38)/90. Which is bigger: t or f?
t
Let o be (-13)/52 + 39/140. Which is bigger: o or 1?
1
Let t(b) = b**2 - 6*b + 4. Let c be t(5). Let p be (-20)/(-16) + c/4. Is p less than 2?
True
Suppose -3*q - 16 = -7*q. Which is bigger: 6 or q?
6
Let v(g) = 2*g**3 + 13*g**2 + 6*g + 4. Let c be v(-6). Which is smaller: c or 1/8?
1/8
Let f = 7.75 + -9.7. Let j = -0.05 + f. Let n = 1 - 1. Is j greater than n?
False
Let q = 6 + -2. Suppose 2*i + i + 4*x = -7, -i - q*x - 5 = 0. Which is bigger: -2 or i?
i
Let h(k) = k**2 - 4*k - 1. Let w be h(2). Is 1 >= w?
True
Let y = 1 - 1.08. Let f = 4.08 + y. Is -2 < f?
True
Let w(v) = v**3 - 12*v**2 + 3*v - 27. Let c be w(12). Which is bigger: c or 7?
c
Suppose 0 = 5*p - 5*h, -h - 3*h = p - 10. Suppose -p*f - f = 0. Which is greater: -1/9 or f?
f
Let k be (15 + -7)/(1 - 2). Let p = 8 + k. Let b = 126 - 1132/9. Is b < p?
False
Let c = -7 + 10. Suppose 4*p - 31 - 1 = 0. Suppose 0*t + p = 2*t. Which is bigger: t or c?
t
Let k be (1 - -1) + -4 + 1. Do -1/4 and k have the same value?
False
Let u be (4 - 5)*(-1 - -1). Suppose 4*d - 3 - 1 = u. Suppose 1 = g - d. Which is smaller: g or 1?
1
Let a be 6/8 - 22/8. Let t be (0 + a)*(-3)/(-18). Which is bigger: t or 2?
2
Let s = -5 - 6. Which is greater: 2/3 or s?
2/3
Let b be (-2)/3 - 3/3. Suppose 185 = 5*m - k, -3*m + k + 111 + 2 = 0. Let a be -2*(-3 - m/(-8)). Is b equal to a?
False
Suppose d + 6 = 3*d. Suppose -d*j - 4*s = 5, -j + 15 = 4*j - 5*s. Is 1/9 bigger than j?
Fal