or 21?
u
Let a = 49 + -123. Let i = -52 - a. Is 21 greater than i?
False
Let b = -39659/30587 + 95/73. Which is smaller: 1 or b?
b
Suppose -4*q - 2*w + 82 = -5*w, 4*w + 36 = 2*q. Suppose -3*o - 2*l = -4*l + 40, -l - q = 2*o. Let s be -2 + -6*(-6)/(-4). Is o less than or equal to s?
True
Suppose -3*c + 4*i - 2*i = -2, -4*c - 3*i - 3 = 0. Let u = 1736 + -43406/25. Is c smaller than u?
False
Suppose 15*t - 14 = 13*t. Let x be t/((-63)/(-20)) + -3. Which is smaller: -1 or x?
-1
Let p = -212 + 207. Let a(f) = 2*f**2 + 2*f - 2. Let k be a(-2). Let h = k + p. Which is smaller: h or 2/9?
h
Let n be 1*-2 - 1 - 2. Let j = -0.038 + -1.762. Let c = -1.8 - j. Is n >= c?
False
Let s(t) = -t**3 + 27*t**2 - 27*t + 34. Let n(d) = d + 39. Let y be n(-13). Let f be s(y). Which is bigger: f or 10?
10
Suppose 2 = 4*l - 2. Let r = -2 + 4. Let y = r - -3. Which is bigger: l or y?
y
Let p = 25 + -20. Suppose -8 = 4*c - 2*c + o, -p*o = c + 13. Which is smaller: 5 or c?
c
Let k = -0.26 - -13.26. Let f = k - 12.91. Let v = f - -0.01. Is v at most as big as 0?
False
Suppose 0 = 3*o + 5*s - 38, 2*o + o = 2*s + 52. Let g = 18.9 + -18.9. Are g and o equal?
False
Let n be 12/(-8)*2 - -197. Let h be (-32)/144 - n/18. Is -12 at least as big as h?
False
Suppose 0*h + 2*h - 6 = 0. Let g be 15/12*(h + 1). Suppose l = g*l - 4. Is l greater than or equal to 1?
True
Let x = -15.7 + 16. Let i = 182/5 + -1294/35. Is i smaller than x?
True
Let u = -235 + 234. Is -24 less than or equal to u?
True
Let l be (-18)/4*(1 + 1). Let k(q) = -q**2 + 23*q - 90. Let w be k(19). Which is greater: l or w?
l
Let i(f) = -13*f - 820. Let n be i(-60). Is -63 != n?
True
Suppose -2*a + 0*b - 18 = 5*b, -a + 2 = -3*b. Let k be 0 - (-1)/a*0. Suppose -g = -k*g - 1. Which is greater: -2/31 or g?
g
Suppose -97 = 8*n - 857. Let g be n/24 - 9/270*10. Is 4 smaller than g?
False
Suppose -9*b - 707 = -2*b. Is -199/2 at least as big as b?
True
Let i = 10.013 + -9.966. Let s = -0.8 - 0.2. Is s bigger than i?
False
Let l = -4 - -6. Let g(f) = -f**3 - 5*f**2 + 7*f + 30. Let z be g(-5). Let w be 1 + 1 + z - -4. Is l at most w?
False
Suppose 0*c = 5*c - 3*c. Let h = -4 - -10. Suppose h*y - 12 = 4*y. Which is smaller: y or c?
c
Suppose -19 = -5*g - 3*f - 0*f, 23 = 4*g + 5*f. Suppose 0 = -5*k - 3*t + 43, g*k + 5 - 19 = 2*t. Let d be 12/7 + k/28. Which is greater: -3 or d?
d
Let d(g) = 2*g**2 + 17*g + 4. Let m be d(-8). Let w(o) = o**3 + 5*o**2 - 2*o + 6. Let c be w(m). Is c less than or equal to 30?
True
Let j = -0.17 - -0.205. Let w = j + -0.035. Is 9 at least as big as w?
True
Let p be -2*3 + 0/(-1). Let x(l) = l**3 - 29*l**2 + 2*l - 59. Let m be x(29). Let j be (1 - m)/(p + 4). Is j >= -1?
True
Let t be (10/(-104))/(74/(-13320)). Is 17 >= t?
False
Suppose 0 = -2*z + 10*i - 5*i + 21, -2*z = -2*i - 30. Which is smaller: 13 or z?
13
Let u = -201 + 201.091. Let d = 0.181 - u. Which is greater: -3 or d?
d
Let n = 56 - 58. Let i be 0 + 4 - n/(-4)*-2. Is i equal to 4?
False
Suppose 5 = 4*t - 19. Let z be t*9/((-81)/(-6)). Suppose -z*x = -3*x - 1. Which is smaller: 3 or x?
x
Let f = 813 + -643. Is 166 at least f?
False
Let b be (46/(-2))/((-27)/15 - -2). Let w = -124 - b. Are -11 and w unequal?
True
Let k = 0.034 - 5.234. Let j = 5 + k. Which is bigger: j or -2/49?
-2/49
Let h be (2/(-22)*1)/((-18)/(-3)). Which is smaller: 0.1 or h?
h
Suppose -99 = -w + 4*w. Let a = w - -36. Suppose -15 = 5*s - a*r + 4*r, -4*s - 5*r = 12. Which is smaller: -2 or s?
s
Let m(o) = 2*o - 2. Let t be m(2). Let f be (4 - t - 1)*17. Is 16 at least f?
False
Let w be (-12)/16 - (-522)/(-8). Let o be (-1)/(-4 - w/15). Which is smaller: 1/2 or o?
o
Let r = -16 + 3. Let v be ((-12)/15)/(2/(-295)). Let m = -130 + v. Which is smaller: r or m?
r
Suppose -306 = -24*t + 7*t. Are 20 and t unequal?
True
Let y = -6 + -5.5. Let f = 12.5 + y. Are f and 0.02 nonequal?
True
Let f(y) = -y + 4. Let t be f(2). Suppose 0 = t*p + 37 - 3. Suppose -r = -5*r - 72. Which is smaller: p or r?
r
Let b = -2.835 - -2.8. Let n = b - 27.965. Let r = n - -28. Which is smaller: r or -2/11?
-2/11
Let j = 42 + -14. Suppose -8 = 2*p, 3*p + j + 5 = -3*n. Is -1/4 equal to n?
False
Let p be (-1800)/6435 - (-12)/26. Which is greater: -42/11 or p?
p
Suppose 80 - 70 = -2*b. Suppose c - 10 = 3*c. Are b and c unequal?
False
Suppose -4*o + 120 + 80 = 0. Let b be (-30)/12*8/o. Let v(z) = 2*z + 22. Let x be v(-11). Is b smaller than x?
True
Let z = 13 - -15. Let v = z - 27.7. Which is smaller: v or -0.06?
-0.06
Let v be (-60)/(-63) + 36/(-54). Are v and -0.01 non-equal?
True
Suppose 4*o - 2 = 5*o. Let d = 60 - 24. Let t be (-4)/(-14) + d/(-28). Which is greater: o or t?
t
Let l = 30 + -40. Let j be (-17)/l - 9/6. Which is bigger: -1 or j?
j
Let q be (0 - -3)*25/3. Suppose 9*w - 20 = q. Let l(u) = u**2 - 8*u + 6. Let t be l(8). Is t > w?
True
Suppose 37*b - 107*b + 7700 = 0. Which is smaller: b or 112?
b
Let f = -313/2 + 937/6. Is 90 at most f?
False
Let x(h) = 4*h**2 + 3*h + 2. Let l be x(-1). Suppose -l*y + 5 + 4 = 0. Which is greater: 46/11 or y?
46/11
Let r be 23 - 2*3/(-6). Let g be (3/(-4))/((-6)/r). Which is smaller: 5/2 or g?
5/2
Let h = 20 - 9. Suppose h*k - 8*k = -45. Let n = 6 - 22. Which is greater: k or n?
k
Let b = -8 + 15. Let k(m) = m**2 - 11*m + 28. Let c be k(b). Which is smaller: -1 or c?
-1
Let p be (0 + -1)/(21/1617). Which is greater: -75 or p?
-75
Let y(v) = 2*v + 56. Let p be y(-27). Let r(m) = m**3 + 4*m**2 + 2*m + 1. Let o be r(-3). Let f = o - 4. Is p equal to f?
False
Let k be -2*(-1 + (-6)/(-7)). Suppose -3*n = 3*t - 6*t - 18, -3*t - 10 = -n. Suppose 5*b - n = -4*h, -b + 0*h + h - 1 = 0. Is k equal to b?
False
Let d = 3022/63 - 342/7. Suppose 0 = -2*f + 3*u + 11, 4*f + u = 4*u + 7. Is f >= d?
False
Let z = 2/1355 - 20369/29810. Which is bigger: z or -1?
z
Let t = -21 + 49. Let l = -27 + t. Is 1 not equal to l?
False
Let b = -24 + 47. Let u = 3 + b. Let h = u - 25.9. Is -17 > h?
False
Let y(g) = 7*g - 91. Let u be y(13). Which is bigger: u or 1/271?
1/271
Let i = -2 + 3. Suppose 0 = -360*n + 374*n - 14. Is i at most as big as n?
True
Suppose 8 + 2 = f. Suppose 4*w + 148 = 140. Is f greater than or equal to w?
True
Suppose 5*f - 188 = 4*l, f - 3*l - 44 = l. Suppose 53 + 122 = 5*d. Is f equal to d?
False
Let i = 19697/286 + -758/11. Are -1/2 and i nonequal?
True
Let k be -17*(1*-1 + 0). Let g be (-436)/4578 + 676/42. Which is bigger: g or k?
k
Let y be (90/(-8))/3*-4. Let i(w) = -4*w - 7. Let a be i(-6). Are y and a unequal?
True
Let k(p) = -p + 14. Let s be k(0). Let l = 11 - s. Is -13/4 greater than l?
False
Let p = -1/286 - -4009/1430. Which is greater: 0.3 or p?
p
Let z(w) = w**2 - 4*w - 1. Let g be z(4). Let r be (2/(-74))/((-14)/28). Is g > r?
False
Let s be (9 - 9)/((-5)/((-5)/(-3))). Which is smaller: s or -12?
-12
Let q(y) = y**2 + 10*y + 11. Let c be q(-9). Suppose -5*d = -c*d. Suppose d*w - 4*w = x + 6, 0 = w. Is x smaller than -4?
True
Let h = -2244.19 - -2244. Are h and -3/5 unequal?
True
Let s = 237/2 + -129. Let l(b) = b**3 + 40*b**2 - 42*b - 53. Let g be l(-41). Is s greater than g?
True
Let d = 10 + -10. Suppose -4*b + 16 + 4 = d. Which is greater: b or -1/4?
b
Let x(w) = 12*w - 4*w + w**2 + 16 + 6*w. Let h be x(-12). Let o be -5 + 0 - (4 + h). Which is smaller: o or -2?
-2
Let m(o) = 10*o - 55. Let u be m(4). Is -9 bigger than u?
True
Suppose 0 = -10*n - 4 - 6. Which is greater: n or -8/73?
-8/73
Let o be (4 + (-81)/6)/(1/2). Let z = o + 18. Which is greater: -1/4 or z?
-1/4
Suppose 4*x + 5*w = 16, 0 = -3*w + 7 + 5. Which is smaller: -10/23 or x?
x
Suppose -11*n - 20 = -16*n. Let p be 15/n*(-15 + 11). Which is smaller: p or -17?
-17
Let t be 112/18 - 10/45. Suppose 2*a + t = 26. Which is bigger: a or 11?
11
Let b = -1578 - -1579. Suppose 5*j - j + 20 = 0. Let i = 7 + j. Is b <= i?
True
Suppose -18*c - 44 = -19*c. Is c at least as big as 28?
True
Suppose -241 = -2*z + 353. Let r be ((-4)/(-6))/((-18)/z). Let q = -3 + r. Which is bigger: -15 or q?
q
Suppose 2*i + r = -182, 5*i + 455 = -3*r + 2*r. Is i < -95?
False
Let y = 7/6 + -1. Let d = 5 - 6. Let n = -0.9 - d. Does y = n?
False
Let k = 4207/116 - -14/29. Suppose -t - 1 = 36. Let u = t + k. Is 1 less than or equal to u?
False
Let t = 89 - 97. Does -7 = t?
False
Suppose 356 - 24 = 4*h. Does h = 83?
True