 q = k + 47. Which is smaller: -0.08 or q?
q
Let q = -8000 + 8001. Suppose 0*n = -5*n - 15. Which is greater: n or q?
q
Suppose 32020 = 1624*c - 1619*c. Is c > 6403?
True
Let w = -4043722/9 - -449302. Suppose 0 = -q + 5*q - 4*t + 8, 4*q - 37 = -5*t. Suppose 1 + 12 = -4*r + q*f, 0 = f - 3. Is r >= w?
False
Let s = 41 - 48.02. Which is greater: 4 or s?
4
Suppose -2*y + 40*y = y. Which is smaller: y or -2/23115?
-2/23115
Let j be -9*((-32)/6 - -5). Suppose -11 = -5*t + j*x, -42*x + 40*x - 10 = -4*t. Which is smaller: t or 64/15?
t
Let w(u) = 3*u - 24. Let a be w(6). Let g be (-11)/((-636702)/10590) - a/(-33). Is g smaller than 1?
True
Let m = 10098 + -9945. Is m < 150?
False
Let q be (-6)/(-44)*(-3 - 5 - -10). Let d = 43 + -44. Which is smaller: d or q?
d
Let b = -9568 + 9568.396. Is b at most 4?
True
Let s be 2778/30 - 6/(-15). Suppose 3 = -4*l - s. Let x be ((-376)/l)/(-2 + (-10)/(-6)). Is x greater than or equal to -47?
True
Let s = -1246 - -4987/4. Which is bigger: -2124 or s?
s
Let b(z) = z**3 + 24*z**2 + 2*z + 53. Let h be b(-24). Let l = 2 - 14. Let m be l*h/(-45) - (-20)/(-6). Are m and 8 equal?
False
Let d = -8192877/998 - -37718594699/4625730. Let p = -10/927 - d. Which is smaller: p or 55?
55
Let g = -13391/2679 + 217/57. Is -2 < g?
True
Let u be 2275/(-1300) + 621/172. Which is bigger: 1 or u?
u
Let r be (-21834)/(-4)*(11/(-3) + -43 + 47). Is r equal to 1820?
False
Let m = -18 - -21. Suppose 2*a - m*n + 30 = 0, 3 = -5*n + 13. Let s be (a/40)/(18/(-10)). Is s at least as big as 1/3?
False
Let s = -9 + -1. Let y(r) = -2*r**2 - 2. Let o be (-5)/(100/(-8))*-5. Let w be y(o). Is w > s?
False
Let z be 1 - (54/36)/(3/(-2 + -4)). Let y = 12 + -6. Which is smaller: z or y?
z
Let a(f) = -f**3 - 48*f**2 + 79*f - 647. Let s be a(-50). Is s at most 0?
False
Let l(k) = 31*k - 62. Let w be l(2). Is 1/688 at least w?
True
Let r = -7491 + 7510. Let j(v) = 4*v + 6. Let s be j(-4). Let h = s - r. Which is smaller: h or -30?
-30
Let g(w) = -6*w + 83. Let d be (-48)/(-456) + (-528)/(-38). Let k be g(d). Are k and 1/316 non-equal?
True
Let y(d) = 2*d**2 + 9*d + d**2 - 2*d**2 + 4. Let f(s) = -s**3 + 60*s + 27. Let t be f(8). Let w be y(t). Which is bigger: -15 or w?
-15
Let v = 1/17 + -19/34. Let g be 14 + (-1176)/132 - 5. Is g at most as big as v?
False
Suppose 2*b - 15 = 5*o, 0 = 5*o - 4 + 19. Suppose -10 = -0*k - 5*k. Let h be 13/(-9) + 4/k. Is b less than or equal to h?
True
Let p be 401459/(-250915) - (-2056)/1285. Which is greater: 0 or p?
p
Let l(n) = 35*n - 424. Suppose 195 - 145 = 2*g. Let m be l(g). Are m and 451 equal?
True
Let x(l) = 28*l + 126. Let m be x(-6). Let p be (2/(-3))/((-7)/m) - -3. Is p at least -4/227?
False
Suppose -6806975 + 7747782 = 851*q - 15919205. Is 19811 <= q?
True
Let i = -2086.68314 - 0.31686. Are i and -0.1 nonequal?
True
Let s = -149 - -741/5. Let m = -1051 + 1049. Which is bigger: s or m?
s
Suppose -30*h = -26*h - 3*m - 36, 0 = h + 5*m - 32. Suppose -3*b - 17*p + 154 = -h*p, -5*p - 230 = -5*b. Which is greater: 47 or b?
b
Let g = -61.13 + 61.2. Which is smaller: g or -7?
-7
Let a = 223 + -125. Let q = a - 60. Is q < 3/2?
False
Let g = 7584 + -7584. Is g at most as big as 8/41?
True
Let y(q) = -q**3 - 89*q**2 - 27*q + 32. Let t be y(-89). Which is smaller: t or 2436?
t
Suppose y + 191 - 43 = 0. Let g = 8082 + -8229. Is y at least as big as g?
False
Suppose 2*m + 5*x = -2, -329*m + 3*x = -332*m - 3. Which is smaller: 75/7 or m?
m
Suppose -5*n - 5*i - 73 = 92, 0 = 2*i. Let q be (-1)/(n + 0*4/8). Is q < -2?
False
Let p = 2.8 + -2.975. Let d = 1.165 + p. Let r = 0.91 - d. Which is smaller: r or 0.4?
r
Let f = 137217/8 + -17124. Let o = 138 + -111. Is o at most f?
True
Let i(n) = -7*n - 58. Let d = 170 - 177. Let u be i(d). Is u greater than or equal to 9?
False
Suppose 1267 + 611 + 2379 = -129*b. Is -65 >= b?
False
Suppose 5*x + 4*i = -614, 3*x = 4*i + 65 - 459. Let m be 56/x*(-1 + (-87)/(-24)). Which is greater: 2/5 or m?
2/5
Let c be (-3)/(1/((-66)/(-9))). Let u(v) = v**2 + 6*v - 12. Let h be u(-8). Suppose 5*g - h*a + 93 = -0*g, -4*g - 3*a = 93. Which is greater: c or g?
g
Let m(h) = 4*h**3 + 43*h**2 + 19*h - 2. Let g be m(-10). Let j = 125 - g. Are j and 28 equal?
False
Suppose 2321 = -t - 69*t - 1109. Which is bigger: t or -718/15?
-718/15
Let y be 4/(-6) + (-42)/(-9). Suppose 4*r - 5*a + 4 = 0, 0 = r - 4*a + 30 - 29. Let b be y - (r + 1 - -3). Which is greater: b or 1/8?
b
Let k(q) = -2*q**2 + 6*q**2 + 33 - 3*q**2 + 0*q**2 - 14*q. Let i be k(11). Which is smaller: i or -3/10?
-3/10
Let n = -216 - -837/4. Suppose 3*y - 5 = -h + 7, 3*y + 5*h = 12. Suppose -3*x + y*g + 3 - 4 = 0, 5*x + 2*g = -45. Is x <= n?
True
Let q = -3236/45 + 707/15. Let f = 49/9 + q. Which is smaller: f or -20?
-20
Suppose -p = 5*s - 2717, 0 = -4*p + p + s + 8151. Suppose 2710*b - p*b = 21. Which is smaller: b or -26/7?
-26/7
Let v(n) = -n**2 - 131*n - 215. Let i be v(-127). Is i <= 9?
False
Let y = 29.8688 + 0.1312. Is -28 not equal to y?
True
Suppose -10 = -4*l - 2. Suppose -11 = l*v - 53. Suppose 0 = -9*h - 2*x + 179, 2*h = -2*h + 2*x + 94. Is h < v?
False
Suppose -4*p = i - 16, -5*i - 9 - 11 = 0. Suppose -3*q + 6 = -p*q - 4*l, -q - 4*l = 9. Let d be 4/(-11)*q/(-6). Is 4 at least d?
True
Let s be (5 - 138/(-54)) + (-44)/(-99). Let m(a) = -a**3 + 3*a**2 - a + 1. Let p be m(3). Let l be (s + -4 + 1)/p. Is l at most as big as -3?
False
Let z be 5/5 + (-91008)/14. Let o be (-351)/(-234)*13022/3. Let c = z + o. Are 11 and c equal?
False
Suppose -3*h - 5*o = 5 + 180, o = -5*h - 323. Let f(m) = -m**3 + 26*m**2 + 3*m - 12. Let g be f(26). Let t = g + h. Which is greater: t or -2/25?
t
Suppose -4*s - 14 = -0*h - h, 5*h + 2*s - 48 = 0. Let z be ((-4)/h)/(36/20 - 2). Suppose -5*d = 4*o + 94, -54 + 6 = z*o + 2*d. Is o at least -26?
True
Let y = 37634 - 74690. Let o be (y/256)/(3/(-4)). Do o and 191 have the same value?
False
Let l = 15152 + -14576. Which is smaller: l or 577?
l
Let z = 3684.4 + -3684.3. Is -4598 < z?
True
Let n = 2276 + -2493. Is n equal to 6/11?
False
Let q be 4/(-7) - 36/378 - 96/(-9). Which is bigger: -143 or q?
q
Suppose 0 = -a - 263 + 267. Suppose 4*s + 4*x + 2 - 14 = 0, s = a*x - 22. Which is bigger: 0 or s?
0
Let t = 2.5 + -1.9. Let c = 2.36 - -0.24. Let q = t - c. Which is bigger: 0.7 or q?
0.7
Let k be ((-2)/(-54))/((572/(-66))/(-26)). Is k < -12/13?
False
Let r(q) = -78*q + 14 - 20 + 9. Let g be r(-4). Let t be (-4)/(-18) - (2086/g - 6). Which is greater: 0 or t?
0
Let h be ((-12)/16)/(10/8). Let d = 11 - -12. Let u = d + -23. Is h at most as big as u?
True
Suppose 5*c = 28*c - 115. Let a be -4 + 40/(-135)*-33. Is c smaller than a?
True
Let p = 0 - -1. Let v(r) = -2*r**2 - 98*r - 734. Let q be v(-9). Which is greater: p or q?
p
Let q = -38 - -41. Let j = 31 + 0. Let t = -33 + j. Is t smaller than q?
True
Let b be (-253845)/(-672) - 4/(-14). Let s(u) = -358*u + 20. Let q be s(-1). Let r = b - q. Which is bigger: r or 0?
r
Let h be -2 - (-156)/27 - 4. Let i = 80.7 + -154.3. Let b = 74 + i. Is h less than or equal to b?
True
Let v be 3 - (-12733)/(-462) - (-1 + (-10)/(-6)). Which is bigger: -24 or v?
-24
Let g be 2 - 1 - (-194)/(-12*50/(-570)). Which is greater: 185 or g?
g
Let u = 22895 - 23080. Let b(r) = -24*r**3 + 3*r**2 - 2*r - 2. Let f be b(2). Is f > u?
False
Let i = -2215 + 3816. Is 0.1 smaller than i?
True
Suppose 3*n = 3*w + 426, 5*n - 627 = 4*w + 86. Let j be (-61)/(15616/(-672))*492/9. Is j >= n?
False
Let l = 193 - 202. Let w be (-6)/92*1*6/l. Which is greater: w or 1?
1
Let z = -32 + 42. Suppose 5*v - z*v = 125. Suppose -5*w + 0*w = 135. Is v at least as big as w?
True
Let s = -2093 + 2092.821. Is 2/5 at least as big as s?
True
Let p be (0 - -8) + (-2 - -1). Let a = 16811 - 16798. Which is smaller: a or p?
p
Let f = -647.7 - -646.7. Is 8713 smaller than f?
False
Suppose 4*u + 5*c + 37661 - 13445 = 0, 5*u = -2*c - 30287. Which is bigger: u or -6061?
u
Let o be (-12)/360*-12 - 106/(-10). Suppose 12*q = -o*q - 23. Which is greater: q or -3/470?
-3/470
Suppose 357 = -4*w + 381. Suppose -5*s = -m + w, 0 = -3*m + 6*m + 5*s + 2. Is m greater than or equal to 2/673?
True
Let x(o) = 89*o + 3044. Let z be x(-27). Does z = 641?
True
Let d be (-992)/6698 + (98/(-34) - -3). Is -1 at least d?
False
Let o = 344 - 345.41. Let q = 