 is smaller: x or 1?
x
Let l = -30.1 - -30. Is -88 > l?
False
Let w = 13637/23 + -593. Suppose 17*f - 7*f = 40. Suppose -a + f*p = 3*p, 4 = -4*p. Which is bigger: w or a?
w
Suppose 3*j = -m + 74, 0 = -5*j + m - 3*m + 124. Suppose j*n + 435 = 9*n. Which is bigger: -31 or n?
n
Let f(t) = 2*t**3 - 131*t**2 - 63*t - 198. Let u be f(66). Which is bigger: 3/103 or u?
3/103
Let u be 8/(-6) - (-38)/6. Suppose u*b = 2*b. Let q = 0.2 - 0.2. Does b = q?
True
Let o be (8/(-10))/((-2)/(-10)). Let t be 2*3*13/3. Let k = t + -29. Which is smaller: k or o?
o
Let v(y) = y**3 + 9*y**2 + 5*y + 151. Let g be v(-10). Is 3/293 at most g?
True
Let o = -42 - -27. Let l = -204 - -188. Which is smaller: l or o?
l
Suppose a + a = 0. Suppose -17 = -o + 49. Let t = o - 64. Which is bigger: t or a?
t
Let q be (598/115)/(-13)*(-5)/2. Is 8/75 <= q?
True
Let m = -9 + 16. Let u(p) = -3*p**2 - 9*p. Let o(c) = 4*c**2 + 9*c - 1. Let f(q) = 2*o(q) + 3*u(q). Let w be f(-8). Which is greater: m or w?
m
Suppose -13*x = -11*x - 3*p, 3*x = -4*p. Is x < -1/186?
False
Suppose -3*y = -a - 3*a + 102, -4*a = 5*y - 118. Let g be (-1)/(-9) - (-591)/a. Are -1 and g nonequal?
True
Let v = 78 + -76. Suppose -4*b - 13 = j - 2*b, -9 = -v*j + 3*b. Which is bigger: j or -18/11?
-18/11
Let r(b) = -b**3 - 3*b**2 + 5*b - 1. Let w be r(-4). Let s be ((-56)/(-32))/(2/(-8)). Let n(h) = -h - 12. Let t be n(s). Is t > w?
False
Suppose -13 - 11 = 4*h. Let f be ((-5)/1 - h)/1. Does 2/9 = f?
False
Let i = -17 - -19. Suppose -5*m = 4*w - 84, 0*w = -2*m - i*w + 32. Which is smaller: m or 22?
m
Let i(k) = 5*k**2 + 2*k - 9. Let x(u) = u**2 - 7*u + 11. Let o be x(6). Let m be i(o). Let f be ((-36)/m)/(5/(-7)). Which is smaller: f or -1?
-1
Suppose 5*x = -3*v - 144, 3*x + 4*v - 17 + 110 = 0. Do x and -33 have the same value?
False
Let g = 98.3 - -14.7. Let c = g + -113.2. Is c greater than -1/4?
True
Let n = -7.367 - -7.415. Let v = 1.1 - 1. Which is smaller: v or n?
n
Let q = -263 + 396. Which is bigger: q or 1?
q
Let o be 2/(-1)*45/(-6). Suppose 4*s - o - 1 = 0. Let p(k) = -13*k + 235. Let i be p(18). Is s smaller than i?
False
Let h = -50/1151 + -3555139/6906. Let z be (-5678)/(-11) - 14/77. Let s = h + z. Are s and 0 equal?
False
Let i(h) = -h**3 - 13*h**2 + 10*h - 9. Let c be i(-14). Which is bigger: 52 or c?
52
Let c = 157 - 55. Does 101 = c?
False
Let g = 67 + -27. Which is greater: g or 39?
g
Suppose -21261 = -23*s - 3942. Which is smaller: 752 or s?
752
Suppose -4*l - 254 = -2*q, q = -l - 29 - 30. Let b = 64 + l. Which is bigger: b or 19/6?
19/6
Let l = -2168/11 - -1862/11. Which is bigger: -27 or l?
-27
Let s = -2.1 + 2.1. Let d = 0.06 - s. Let x = -3.2 - -3. Is x < d?
True
Suppose 4*o = s + 7, -3*s - 2*o + 0 = -7. Let w = -14 + 18. Suppose w*t - 3 - 1 = 0. Is t < s?
False
Let s = -8 + -22. Suppose 507 = 7*h + 724. Which is greater: s or h?
s
Let i = -3/116 + -449/580. Which is greater: i or -0.102?
-0.102
Let a = 391093/276 - 1417. Let h = a - -1097/1932. Let g = 7 + -6. Are g and h unequal?
True
Let j be 0/1 - (6 + -3). Let l be ((-2)/j)/(4 - 6). Which is smaller: l or -4/5?
-4/5
Let q(b) = b - 1. Suppose 5*n - 2*f - 47 = 0, 5*n + f = -3*f + 41. Let z = n - 0. Let l be q(z). Is l less than or equal to 7?
False
Let f(u) = u**2 - 18*u + 32. Let a = 9 + 7. Let y be f(a). Which is smaller: 1 or y?
y
Let f = -0.54 - -0.6. Let a = -101.94 + 103. Let c = a - f. Which is bigger: -4 or c?
c
Let v = -170 - -138. Are v and -52 equal?
False
Let f be (-135)/70 - -3 - 2. Is f <= -2?
False
Suppose 4*s - s = 12. Suppose -s*h + 5*h - 3 = 0. Let r be 0*(5/(-2) + h). Is r <= 1/2?
True
Let u(w) be the first derivative of w**3/3 + 5*w**2/2 - 36*w - 24. Let m be u(-10). Do m and 13 have the same value?
False
Let d = -30.6 - -28.6. Which is bigger: d or 10.3?
10.3
Let y = 659276977/399 - 11560656/7. Let o = 801 - y. Is 1 at most as big as o?
False
Suppose d + 3*d = -20. Let n(i) = -i**3 + i**2 + 3*i - 6. Let y = -2 - -4. Let a be n(y). Is d at least a?
False
Let b be (-4)/(-14) - 18/14. Let y be (-1 - -3) + (-3)/(2 + -1). Is b greater than or equal to y?
True
Let c = 236 + -475/2. Is c less than -27?
False
Let s = 3.9 + -4. Let t be 330/8 + (-2)/8. Let l = -125/3 + t. Are l and s non-equal?
True
Suppose 15*d - 90 = -75. Is 1/219 greater than d?
False
Suppose -2*i - 8 = -4*i. Suppose i*y + 2*t = 31 + 5, -4*t = 3*y - 37. Do y and 7 have the same value?
True
Suppose 2*o = 5*x + 5*o - 26, -1 = 2*x + 5*o. Suppose u + 3 = -2, 5*u = -4*b + x. Which is greater: 48/7 or b?
b
Let c be 1*-2 - (-2 + 0). Let m(k) = k - 8. Let l be m(c). Let j be 8/3*(-13 - (-2 - 8)). Is j != l?
False
Let f(l) = l**2 + 10*l - 11. Suppose -7*m + 32 = -5*m. Let o = -27 + m. Let t be f(o). Which is bigger: 1/8 or t?
1/8
Let t(k) = k**3 - 5*k**2 + 3*k + 3. Let v be t(4). Let i be v*(-12)/(-4) - -8. Suppose -3*o - s = 2 - 0, 0 = -3*o - i*s + 14. Is -6 smaller than o?
True
Let r = -8.84 - 0.09. Let x = -9 - r. Let z = x - -2.07. Which is greater: -11 or z?
z
Let n = 25/21 + 1102/21. Let u = n + -52. Is 3 < u?
False
Let k be (5/30*6)/(1/5). Suppose m + 2*l - 24 = -7, 2*l - 53 = -k*m. Is 11 bigger than m?
True
Let b = -19 - -30. Let u = 15.8 - 0.8. Let d = b - u. Which is bigger: d or 2?
2
Let h(c) = 2*c**2 + 23*c - 22. Let f be -12 + (7 - 4 - 3). Let b be h(f). Is b bigger than -10?
False
Let r = -22 - -26. Suppose 0 = -3*j - r*k - 16, -5*k = -j + 11 + 9. Which is bigger: j or -3/5?
j
Let i be (-114)/((-16)/(-8)) - 3. Do i and -62 have the same value?
False
Let z = 3199 - 179135/56. Is z smaller than -1?
False
Let b be (4/(-6))/((-64)/(-36)). Let r(n) = -2*n - 13. Let m be r(-12). Suppose m = 4*v + 3*y, 4*v + 19 = 4*y - y. Which is smaller: v or b?
v
Let h be ((-12)/14)/((-8)/56). Suppose h - 15 = -r. Suppose -5*o - 3*n + 39 = 0, -6 = -o + 2*n + 7. Is r at least as big as o?
True
Let p = -29 - 14. Let g = 39 + p. Which is greater: -13/4 or g?
-13/4
Let x = 0.327 + -5.327. Is -9/2 bigger than x?
True
Let h = -11 + 23. Let i = -10 + h. Suppose -4*a - 4*k + 20 = 0, a + 10 = 2*a - 4*k. Which is greater: i or a?
a
Let v = -45.95 - -0.95. Let w = -45 - v. Do w and -1.4 have the same value?
False
Let h be 25608/(-96) + (-5)/(-1). Which is bigger: -263 or h?
h
Let i = -283389031256216518673/899271 + 315131958282349. Let a = i - 2/299757. Let c = a + -344. Is c <= -1?
False
Let u = 50.1 + -49. Let c = 6.95 - -0.05. Let l = c + -9. Which is bigger: l or u?
u
Let r(g) = 3*g - 26. Let y be r(11). Which is smaller: 2 or y?
2
Let j = 2711/3 + -860. Which is smaller: 44 or j?
j
Let q be (0 - 9)*(-888)/(-24). Is -334 equal to q?
False
Let j = 11 + -8. Let p = -2 + j. Let g be 0*(-3)/(-7 + 10). Are g and p unequal?
True
Suppose 4*d - 5*d = 3*d. Which is smaller: -1/492 or d?
-1/492
Let q = -98 + 45. Let l = q - -17. Is l smaller than -36?
False
Let g = -6 + 6.8. Let c = g - 6.8. Let x be 0/(15/((-210)/28)). Which is greater: c or x?
x
Let g be ((-8)/(-10))/(54/(-75)). Let p = -3.7 + 3.89. Let o = p + -0.19. Is o > g?
True
Let g = -98/59 - -99431/59826. Which is smaller: -1 or g?
-1
Let n be 20/(-70) - (-23)/7. Suppose -3*u + 12 = -n. Suppose -r + 2*r - 6 = 0. Which is smaller: r or u?
u
Let j = 0.1637 - -0.0363. Is 0.48 <= j?
False
Let q = 1244 - 1229. Which is greater: 4 or q?
q
Suppose -2*j + p - 1 = 0, p + p + 22 = -4*j. Let b = j - -3. Let o be ((-12)/(-189))/(6/14). Is b less than o?
True
Suppose -f - 16 = -5*f + 4*s, -f = 5*s - 34. Suppose g - 3*g = -5*d + f, 5*g = 5*d - 15. Which is bigger: -3 or d?
d
Suppose -2*t + 6 = -0, 3 = -2*c - 5*t. Let p be (7 - 1)/((-6)/c). Do p and 9 have the same value?
True
Let y(k) = -2*k + 21. Let w be y(12). Let n be 0/(-3) + ((-6)/13)/w. Is n bigger than 0.1?
True
Suppose 4*v = -698 - 710. Which is greater: -353 or v?
v
Let m = 47 + -186. Let u = 78 + m. Which is greater: u or -0.1?
-0.1
Let t = 108.3 - 109. Is t < 1/6?
True
Let h be (-60)/(-72) - (-3 + 343/(-6)). Is h <= -5?
False
Suppose 5*c - 8*c - c = 0. Let b be -2 + 111 + -1 + 1. Let j = 1089/10 - b. Which is smaller: j or c?
j
Suppose 49*v - 36 = 13. Let o = -0.17 + -0.21. Which is bigger: v or o?
v
Suppose 35*d - 91*d - 56 = 0. Let p be (-6)/(-4)*4/129. Which is greater: p or d?
p
Let u be -2 + (14 + -5 - 7). Is 1/577 less than u?
False
Suppose -120 = -4*v - 128. Is v less than 