0.2. Which is greater: v or x?
x
Let x be 27/18*(-1 - -7). Let m(c) = c - 12. Let t be m(x). Which is bigger: t or -4?
t
Let j be (58/6 - 4) + -6 + 2. Which is bigger: 2 or j?
2
Let m = 0.059 - 0.016. Let q = m - 0.243. Let t be (-1)/4 + 17/36. Which is greater: q or t?
t
Let z = -16/27 - -529/756. Which is smaller: z or 0?
0
Let h(g) = 8*g + 106. Let l be h(-22). Which is smaller: -73 or l?
-73
Let q = 542 + -542.2. Is q bigger than 0.119?
False
Suppose 0 = -0*c - 3*c + 4*y + 1, 6 = -4*c - 2*y. Let h = 435/4 + -109. Which is smaller: h or c?
c
Let g = 73.9 + -101. Let j = g - -28. Which is smaller: j or 4?
j
Let i(b) = 28*b - 12. Let j be i(-5). Let x be 7/(378/(-12)) + j/(-738). Which is bigger: x or 0?
0
Let u(s) = -s**3 + 3*s**2 - 3*s + 10. Let w be u(4). Let v = w - -19. Let x = -1/268 + -1057/4020. Is x equal to v?
False
Let d be (-2)/3 - 630/27. Let b be ((-8)/d)/(2/6). Which is greater: b or 14/9?
14/9
Suppose -2*v + 5*c = -59, -163 = -v - 3*v - 5*c. Let o = 39 - v. Let g be o*(3 + (-182)/62). Is g equal to -1?
False
Let p = 1.66 + -1.5. Let k = p - 0.16. Is k > 2?
False
Let y = 3 - 0. Let g = 2/149 + 3119/745. Is y at least g?
False
Let o be (4/2 - 4)/((-3)/(-12)). Is o >= -18?
True
Let r(d) = -d - 3. Let z be r(-5). Suppose 15 = -5*g, -3*x + 1 = g - z. Is x > 8/5?
True
Suppose 0 = 3*y + 2*y. Suppose 4*x - 9*c + 458 = -7*c, -107 = x - 2*c. Let s = 584/5 + x. Are s and y non-equal?
True
Let d = 0.04 - 0.16. Let u = 104.83 - 105. Let i = d - u. Which is greater: -2 or i?
i
Let f = -1 + 1. Let v be f*(-1)/2*-2. Which is greater: v or 3?
3
Let y be -227 + -4 + (-5 - (-2 - 8)). Which is greater: -227 or y?
y
Let w = -958124/425 - -11272/5. Is 0 < w?
False
Let p be ((-1596)/418)/((-9)/22). Is 12 equal to p?
False
Let v(k) = k**3 - k**2 - 1. Let m(g) = -g**3 - 2*g**2 + g - 4. Let w(a) = m(a) - 3*v(a). Let b be w(1). Suppose 0*n - 2*n - 6 = 0. Is n at least as big as b?
True
Suppose -4*t + 3898 - 364 = a, 3*t - 2*a - 2645 = 0. Are t and 881 unequal?
True
Let p = -20 + 19.24. Let u = p - -0.8. Let b = u - -0.06. Which is greater: b or 2?
2
Let y be 1 - (-2 + (1 - 8)). Suppose 27 = q + y. Let p = q - 18. Is p less than -1?
False
Let t be ((-19)/(-2) - 9)*10/317. Do 1 and t have different values?
True
Suppose -4*c + 4 = -2*v, 1 = c + 6*v - 5*v. Is -1/200 smaller than c?
True
Suppose -5*j = -25, -2*u - 3*j = -j - 26. Suppose -20 = 2*s + u. Let m = s - -15. Is m greater than 0?
True
Let g be 70/(-220)*(-36)/63. Is 37 <= g?
False
Let t(x) be the first derivative of -7*x**2/2 - 29*x + 13. Let v be t(-5). Do v and 4 have the same value?
False
Let n be ((-14)/(-147))/(8833/77). Is n equal to 0?
False
Let w(r) = r**2 - 11*r - 13. Let n(o) = -1 - 2*o - o - 2*o + 4*o. Let m(u) = 6*n(u) - w(u). Let l be m(6). Which is smaller: l or 4?
l
Let r(l) = l**3 - 8*l**2 + 2*l + 33. Let w be r(6). Is w >= -27?
True
Let s = 399 - 398.98. Is s greater than 7/8?
False
Let p = 17471/7 - 2507. Which is greater: p or -11?
-11
Suppose -19 = -s + 2*y - 85, 2*s + 137 = -y. Let h be 1/(-3)*6/s. Which is bigger: 0 or h?
h
Let b = -66 + 202. Suppose -3*f - 110 = 3*n + 31, 3*n + b = -4*f. Which is smaller: -51 or n?
n
Let l(r) = 2*r**2 - 28*r - 35. Let b(u) = 3*u**2 - 42*u - 53. Let p(s) = -5*b(s) + 8*l(s). Let v be p(15). Is v < -8/13?
False
Suppose 4*f + 5*y - 32 = f, 0 = -f + y + 16. Is 12 greater than f?
False
Let f = -59.1 - -62. Let w = f - 2.6. Let z = 2.03 - 0.03. Which is smaller: w or z?
w
Let v be 0 - 3/(-6)*14. Let u be (-58)/14 + 1/v. Let g be (u - -1)/((-33)/(-110)). Is g at most -9?
True
Let w = 166.7 - 167. Let g = 1.9 - 1.94. Which is greater: g or w?
g
Suppose 2*u - 27 = 9. Let l be (2/6)/((-3)/u). Let y = 17 - 56/3. Which is smaller: l or y?
l
Let i = -0.3 + 0.29. Let w = i + -0.01. Let z = 4.98 - w. Are -1/3 and z equal?
False
Let m = 230.4 - 235. Which is bigger: -0.2 or m?
-0.2
Let u(y) = 2*y**2 - 10*y. Let z be u(8). Let j = z - 142/3. Is j > -1?
True
Suppose -k = 2*k - 12. Let p = 6 - k. Let q be (2 - 8/9)*18/30. Is p bigger than q?
True
Let r = 428.9 - 454. Let s = -25 - r. Let c = -1/48 + 3/16. Is s <= c?
True
Let t = -0.0396 + -2.9604. Are t and -3 equal?
True
Let i be (-42)/(-126) + (-1 - (-199)/(-3)). Which is smaller: i or -131/2?
i
Let l = 26 - 15. Let t = 8 - -3. Is t at least as big as l?
True
Let m be ((-1700)/(-150))/(2/21). Which is smaller: 120 or m?
m
Let a be (-9 - 804/9) + (-2)/12. Which is greater: a or -98?
-98
Suppose -21*t + 15*t = -90. Let q be t/20 - 604/784. Is 0 at most q?
False
Suppose -9*a + 192 = -13*a. Let w be a*2*(-6)/16. Let n be (6/w)/((-1)/2). Which is smaller: n or 1/3?
n
Let s(u) = -2*u**2 - 84*u + 85. Let x be s(-43). Which is smaller: -13/6 or x?
-13/6
Suppose -100*q + 105*q = 90. Let p = -30 + q. Is -12 not equal to p?
False
Let b(t) = 36*t + 18. Let k be b(-6). Let r be ((-2)/(-3))/(12/k). Is r equal to -1?
False
Suppose 5*y - j - 22 = 0, 3*j = -2*y + 4*y - 14. Let f(v) = v**2. Let c(u) = u**3 + 3*u - 5. Let r(l) = c(l) - 4*f(l). Let g be r(y). Are 6 and g non-equal?
True
Let c = 0.5 - 0.5. Let g = c + -1. Suppose 3*f + 2*n + 8 = -3*n, 3*f = 4*n + 1. Is g at least as big as f?
True
Let s(x) = x**2 + 4*x - 4. Suppose -1 = 4*z + 4*a + 15, 0 = 2*z + 5*a + 5. Let l be s(z). Let k = -7/220 + 241/660. Which is greater: l or k?
l
Let f = 8.138 + -8.2. Let b = f + 0.062. Is -3.3 smaller than b?
True
Let x = 16 - 13. Suppose -3*p = f - 5*f + 46, -5*p = -x*f + 40. Let l = -11 + f. Is l at most as big as 0?
True
Suppose -95 = -4*z + 65. Let f = 55 - z. Let o(w) = -w + 22. Let n be o(f). Which is smaller: 2/3 or n?
2/3
Suppose y + 1 = -k, 7*k = y + 2*k - 23. Suppose 0 = 3*l - 4*v + 3, 3*l = y*v - v - 3. Let u be (-2)/(-7)*(-7)/(-21). Is l > u?
False
Let p be 495/121 - (-2)/(-22). Suppose 0 = 2*a - 5*a. Suppose -2*u + 0 + p = a. Which is greater: u or 3?
3
Suppose 5*w + g - 6 = 8, g - 12 = -4*w. Suppose 7 - w = -5*o. Let p = -512/33 - -46/3. Which is greater: p or o?
p
Let y = -19653/7555 + 2/1511. Is 3 greater than y?
True
Let m = -41290/29223 + 2/1719. Which is greater: m or -1?
-1
Let i(j) = -j**2 + 2. Let s be i(0). Suppose 2*p - 3 = p. Suppose 0 = x - p*l + 3, -l + 3 = -2*x + 2*l. Do s and x have the same value?
False
Let c be 35/(-70)*129/6. Which is bigger: -12 or c?
c
Let t = 12.735 - 0.735. Which is bigger: t or -2/21?
t
Let a = 2987/37296 + 1/1008. Which is smaller: 1 or a?
a
Suppose 7*p - 420 = 3*p. Suppose z = 2*z + 3*y - 11, -5*z - 5*y = -p. Let a be (-1740)/(-156) + (-4)/z. Which is smaller: 0 or a?
0
Suppose 0 = -6*z - 23 - 55. Let p = -13 - z. Is 1/66 greater than p?
True
Let o be -54*(-3)/(-2) - (21 - 22). Which is smaller: o or -81?
-81
Let u(z) = 32*z - 67. Let s be u(6). Let a be 100/s*(6/(-32))/3. Which is greater: a or -1?
a
Suppose -f - 2*f - d + 4 = 0, 3*f + 5*d + 4 = 0. Suppose q = 2*r - 4*r, 0 = f*q - 3*r + 7. Let x be 1 - -1 - (-2)/q. Which is greater: x or -1/17?
x
Let q be 3*(3 - 8/3). Do q and -2/253 have the same value?
False
Let x = 64 + -63.904. Let j = 0.086 - x. Is j > 3?
False
Let f(r) = r**2 + 6*r + 6. Let i be f(-6). Suppose -m + 11 = 2*k, 4*k - m + 5*m = 24. Suppose h = -k*h. Which is smaller: h or i?
h
Let h = -4841/36 - -537/4. Is -143 <= h?
True
Let i = -44.2 + 44. Which is greater: i or 14.6?
14.6
Let g be 1/(-7)*-1*(1 - -6). Which is smaller: g or 2/115?
2/115
Let o = 323/2 - 11955/74. Suppose 12*q + 2*q - 15 = -1. Is q >= o?
True
Suppose -42 = 3*z - 33. Suppose s = -3*s. Which is smaller: s or z?
z
Let u(q) = 2*q**2 + 2*q + 41. Let h(r) = -r - 13. Let t be h(-13). Let i be u(t). Are 41 and i non-equal?
False
Let l(n) = -41*n + 1308. Let x be l(32). Let k(i) = i**2 + i - 10. Let a be k(0). Are a and x equal?
False
Suppose -5*j - 2673 = -16*j. Which is smaller: j or 244?
j
Let o(u) = u**3 + 9*u**2 + 9*u + 11. Suppose -2*i - 4*r - 4 = 0, -r = -i + 4*r - 23. Let c be o(i). Is c at most -4/3?
False
Let h = -48.8 - -47. Let q = 2 + h. Which is smaller: q or -1?
-1
Let p be 4/(24/(-6)) + 2. Let j be p/((-12)/(-198)) - 1. Is j >= 17?
False
Suppose 4*o - 24 = -2*l, -4*o = 17*l - 19*l - 32. Is 58/9 greater than o?
False
Suppose 2*j - 9 = f - 3, 2*j - 4*f = 6. Suppose 0*g + 3*w = 3*g, 12 = j*w. Let l be (6 - 4)/g*-2. Is -1/22 not equal to l?
True
Suppose 1 + 7 = -4*i. Let t be (-12 - i) + 6