1/89 or x?
x
Let m be 3*(-1 - 124/(-204)). Is m bigger than 0?
False
Suppose -5*f + 10 = -0*f. Let m be (-6)/24 - f/56. Let o be 1/2*-4 + 2. Is m != o?
True
Suppose 5*j = 3*f - 2 - 11, -3*j - 6 = 0. Let s be 5 + (-24)/5 - f/5. Let o be 2/(-8) - 0/2. Does s = o?
False
Let l be (-2)/8 - (-5)/20. Let c be -1*(l + -1)*3. Which is greater: 5 or c?
5
Suppose v + 16 = 5*r, -5*v - 26 = -r - 66. Let n = 16 - v. Is n at least 7?
True
Let u = -0.14 - -0.33. Let h = 0.18 - u. Let a = 6.01 + h. Do a and -2 have different values?
True
Let m be -4 + (-4)/(-8)*64. Let s be ((-4)/m)/((-4)/12). Suppose 0 = -v - v. Which is bigger: v or s?
s
Let t = -36 + 32. Let x(y) = -3. Let v(i) = i. Let b(h) = v(h) + x(h). Let w be b(t). Which is smaller: w or -8?
-8
Suppose -1 = -3*j - 4. Let o be ((-1)/j)/((-56)/24). Which is smaller: 0 or o?
o
Let o = -91 - -94. Suppose 2*d = -o*d + 4*i, 5*i = 0. Is d <= 0?
True
Suppose 3*m + 66 = -8*m. Let y be (m*(28/8 + -2))/(-1). Is 9 bigger than y?
False
Let q be 0 + 0 - (-5 + 5). Let m(g) = -g**2 - g - 1. Let l be m(-5). Let j = 64/3 + l. Is j greater than or equal to q?
True
Let d = -18 + 24. Suppose -40 = w - d*w. Are w and 7 nonequal?
True
Let y = -3 - -2. Let g be 2/9 - 11/9. Let i be -4 - g - (-3 - -3). Is y greater than or equal to i?
True
Let i be 2/2 - (5 + -8). Let k be 0/(1/(i/8)). Is k at most -5/6?
False
Suppose 75 = 3*c + 12*c. Let i be -4*(0 + (-3)/4). Suppose 5*f - c*v - 55 = 0, 5*f + i*v = -v + 19. Is 1/3 greater than or equal to f?
False
Let b be 14734/(-1842) - (-11 - -3). Which is bigger: -1 or b?
b
Let t = -0.28 - 0.02. Let l = t - -0.4. Suppose -5558 = -9*u - 5522. Is l at least as big as u?
False
Suppose 8*i + 34 = 10. Does i = -28?
False
Let m(s) = -27*s - 235. Let c be m(-14). Is 149 greater than or equal to c?
True
Suppose 43 = 5*x + 5*k + 3, 0 = -3*x + 3*k + 48. Let z be 13/4*(-88)/(-22). Is z equal to x?
False
Suppose -4*r + 3 = 5*l - 12, 3 = 5*r + l. Suppose h - 3*t - t - 3 = r, -4*h + 2*t = -26. Suppose 2*u - 5*q + 17 = -h, 2*q = -4*u. Is u bigger than -3?
True
Let c be (39/(-9) - (1 - 5))*-51. Suppose 0 = -c*f + 22*f. Which is greater: 2/37 or f?
2/37
Let o = -7 + 6.94. Let c = -8.06 - o. Let t = 8 + c. Which is smaller: 1 or t?
t
Let b = 415 - 413. Is 34 bigger than b?
True
Let a = -1943 - -13634/7. Which is bigger: a or -6?
a
Let b(a) = 1156*a - 3. Let x be b(1). Which is smaller: x or 1154?
x
Let g be 40/(-65)*(-2 - 1)/(-234). Which is smaller: 1 or g?
g
Let t = -281 - -287. Is t < 78/11?
True
Let y be (-649)/(-220) - 2/((-2)/(-3)). Let k be ((-2)/(-12)*596)/(-14). Let u = -45/7 - k. Is y > u?
False
Let i = 11.93 + 0.07. Let a = i - 11.9. Is 2 >= a?
True
Let d(u) be the first derivative of u**3/3 + 3*u**2 + 7*u + 1. Let g be d(-6). Let v = g + -11. Do v and -6 have the same value?
False
Let i(z) = -22*z + 507. Let w be i(16). Which is bigger: 152 or w?
w
Let f = -351 + 347. Is -6 < f?
True
Let u be 2/412*(-8)/58. Which is greater: u or 1?
1
Let g = 14/1577 - 217724/11039. Which is smaller: -21 or g?
-21
Let y = -725 - -725.3. Is 0.43 greater than y?
True
Let l = -367 - -370. Let g = -2 + 2. Suppose -l*f - k = -0*k - 18, k + 3 = g. Which is smaller: 6 or f?
6
Suppose 0 = -5*y + s - 4*s + 103, -73 = -3*y + s. Suppose -y*x = -29*x. Is x equal to -1/34?
False
Let g = 698 - 697. Which is smaller: 12/149 or g?
12/149
Let k = -113 + 117. Suppose -348 = 16*x - k*x. Do -28 and x have different values?
True
Let r = -415 - -379. Which is smaller: -38 or r?
-38
Let z be (9492/112)/(1/(4/3)). Is z equal to 114?
False
Suppose -42*q - 205 = -1717. Do 35 and q have different values?
True
Let u(f) = 17*f - 322. Let c be u(19). Which is smaller: 577 or c?
c
Let s be ((-16)/22 + 1)*2. Let w be (122/(-122))/(-1*(-2)/(-26)). Let b(u) = -u + 13. Let j be b(w). Which is smaller: s or j?
j
Let c be ((-1365)/(-6))/((-3)/6). Let o = 14107/31 + c. Suppose 0*s = s. Which is bigger: o or s?
o
Suppose -a + 14 = 3*u, 3*u = -4*a + 12 - 1. Let j be a/3*(-46 - -4). Let y be (1 - (15 + 0))/(-1). Does y = j?
True
Let s = 1/20609 - 22393/36766456. Let a = -3251/565528 + s. Let d = 353/5706 + a. Is 1 bigger than d?
True
Let t(n) = -20*n + 27. Let h be t(7). Let m = h + 85. Suppose s - 84 = 4*s. Is m != s?
False
Let f be 10439/110 - (-2)/20. Is f not equal to 92?
True
Let x = 5994/217 - 564/31. Which is smaller: x or 9?
9
Let b = -2 - -1. Let v be (b - 1) + (1 - 5). Let t(u) = -2*u**2 + 23*u + 81. Let o be t(-3). Is o bigger than v?
False
Let b = 98 + -67. Suppose 7 = -6*l + b. Which is greater: 6 or l?
6
Let a = -897 - -891. Which is greater: -5 or a?
-5
Let j = -156 + -18. Is -173 equal to j?
False
Let l = 34 + 96. Suppose u + l = 3*o + 3*u, 5*o = -u + 219. Suppose 0*c - 4*c + o = 0. Is c equal to 12?
False
Suppose 3*u + 4*v - 20 = 2*u, 2*u + 4*v = 24. Let q = 11 - u. Let m(d) = 2*d**3 - 13*d**2 - 7*d - 1. Let x be m(q). Which is bigger: 19 or x?
19
Let m = -12539/3838770 - 1/6562. Is -1 not equal to m?
True
Let b = -92 + 99. Suppose b*m = 18*m. Is -6/7 smaller than m?
True
Let t = 1081.5 + -1086. Which is smaller: t or -10?
-10
Let c = 757 + -758. Let v = -27809/44 - -632. Is c < v?
True
Let t = 37 - 49. Which is greater: -11 or t?
-11
Let j = 51.809 - 52. Let p = -0.061 - j. Which is smaller: p or 1?
p
Let f = 14/135 + -10/27. Suppose 3*l + 23*l - 4*l = 0. Is f smaller than l?
True
Let o = 16 + -13. Suppose 0 = o*y + 16 + 29. Let w = 16 + y. Which is smaller: w or 8/13?
8/13
Let x be 6 + ((-12)/3)/4. Is 39/7 bigger than x?
True
Suppose 3*r + 45 = -2*r. Let z(i) = i**2 + 10*i - 6. Let j be z(r). Is -13 at least as big as j?
True
Let y = -3386111/173 + 19573. Is y less than 0?
False
Suppose 4*k = d - 453, 3*k - 5*d + 27 = -334. Are -115 and k nonequal?
True
Let o = 44.3 + 27.7. Which is greater: 2 or o?
o
Suppose 0*h - 10 = 2*h. Let t = h + 3. Are -5 and t nonequal?
True
Let d be 496/14*3/(-12)*-14. Is 0.3 less than d?
True
Let f = 29 + -32. Let y be ((24/f)/(-8))/((-1)/(-13)). Is y at least 27/2?
False
Suppose 4*u + 2*i = 12, -22*u + 2*i + 3 = -23*u. Let c = 2727/644 + 31/92. Which is smaller: c or u?
c
Let p = -137 + 1506/11. Let h = -0.16 - -0.06. Is h bigger than p?
False
Let s = -31 - -36. Let u be (14/(-5))/(6/s + -2). Do 5 and u have different values?
True
Let i = 0.49 + 1.48. Let x = 0.03 + i. Let m = -162 - -1460/9. Which is greater: x or m?
x
Let f be (2/2 - -1) + -2. Suppose -3*n + 22 = 1. Suppose f = n*c - 8*c + 4. Is c > 5?
False
Let n = 13 + -10. Let z be (n/2)/(18/24). Let i be (-33)/(-21) - (3 - z). Is 2 greater than i?
True
Let w be 17 - (7 + (-4 - -6) - 4). Does 4 = w?
False
Let p = 5 + -2. Suppose 5*z = l - 28, p*l + 2*z = 39 + 11. Suppose -5*s = q + 7, 4*q = 2*s + s + l. Which is smaller: s or -4?
-4
Let z(y) = 3*y - 6. Let v be z(4). Suppose p + 40 = -4*k, -44 = 5*k - 5*p + v. Which is bigger: -31/3 or k?
k
Suppose 3*g = 3*u + 12, -4*g - u + 28 = u. Suppose -x = 3*y - 15, 0*x - 2*x - 10 = -4*y. Which is smaller: y or g?
y
Let a = 0.0418 - -770.9582. Which is greater: a or 1?
a
Suppose -2*f - 2*f - 3*w = 0, 3*w = 4*f. Let v = 242 + -238. Let r be 5 + (v - 111/12). Which is greater: r or f?
f
Let n(a) = 4*a**3 + a**2 + 2*a + 1. Let j be n(-1). Let o be (-1)/(-4) - (-5)/j. Let z be 2/(-30)*(-1 + o). Which is smaller: -1 or z?
-1
Let v = -209 - -2925/14. Let p = 50 + -51. Let w(c) = -7*c - 7. Let q be w(p). Which is smaller: q or v?
v
Suppose -7*x + 2310 = -2*h, -3*x + 7*x - 3*h = 1320. Which is smaller: x or 327?
327
Suppose -7681 = -19*o - 7738. Suppose -2*q + 3*k = -148 - 101, -2*k - 595 = -5*q. Let f = q - 239/2. Which is smaller: o or f?
o
Suppose 16 - 14 = -2*x. Let l = 252 + -16883/67. Are x and l non-equal?
True
Let k be (10/20)/((-51)/10). Which is bigger: -1 or k?
k
Let q(a) = -a**2 - 3*a + 13. Let i be q(-6). Let l(h) = 5*h + 22. Let p be l(i). Is p less than -3?
False
Let g = -437/5 + 1306/15. Which is greater: -221 or g?
g
Let b(t) = 3*t**2 - 64*t + 27. Let n be b(21). Let g(q) = -5*q + 2*q - 8 + 4*q. Let r be g(n). Are -2 and r non-equal?
False
Let k = 0.01 - -1.99. Let t be (4/(-12))/((-6)/(-6)). Which is greater: k or t?
k
Suppose -259 = -5*f + 16. Let w be (-21)/35 - (-23)/f. Which is greater: -1 or w?
w
Suppose -3*r - 4*q = -18, q = 4*r + 3*q - 14. Let h be r*(-1 - 3)/8. Let x be (4/2)/(14/3). Is