107/140 - 6/30. Let t = -111/35140 + -1/251. Let u = y - t. Are u and 2 equal?
False
Let h(v) = -v**3 + 24*v**2 - 22*v - 22. Let r be h(23). Which is smaller: -20/41 or r?
-20/41
Suppose 0 = -r + 2*h - 218, 2 = h - 2. Is -210 greater than or equal to r?
True
Let d(l) = -12*l - 176. Let t be d(-15). Are t and 43/8 non-equal?
True
Let c(f) = -f**3 + 6*f**2 + 5. Let v be c(6). Suppose -50 = -v*m - 4*l, 9 = 4*m - 3*l - 0*l. Let d(q) = 2*q - 13. Let z be d(m). Which is smaller: z or -11/7?
-11/7
Let w(x) = x + 7. Let r be w(-13). Let g be r/4 + 153/90. Do g and -1 have the same value?
False
Let o be 1*(-2)/(-4)*0. Let u = -8291/9 + 922. Do o and u have different values?
True
Suppose -f - 4*u = 24 + 62, 254 = -4*f + 2*u. Is -194/3 equal to f?
False
Let v = -94 + 54. Let m = v - -39.9. Which is smaller: m or -20?
-20
Let b(s) = -s**3 - 5*s**2 - 3*s + 1. Let j be b(-4). Suppose -2*k = 4*k. Suppose -6*x + 3*x - 9 = k. Is j < x?
False
Let f = -2 - -1. Let m(y) = 17*y - 10. Let g be m(4). Let c be (-178)/(-130) + -1 - g/145. Which is greater: c or f?
c
Let x(o) = -4*o - 37. Let g be x(-9). Which is smaller: g or -2/161?
g
Let i be (12/(-3672))/(1*2/(-8)). Which is bigger: i or 0?
i
Let m = 103.1 + -75. Let i = 7.9 + m. Is 1 less than i?
True
Let u = 405 + -406.5. Which is smaller: -1/14 or u?
u
Let b(g) = -g**3 - 5*g**2 - 2*g + 5. Let i be b(-4). Let y(z) = -z - 3. Let o be y(i). Suppose o = -p + 4*p. Is p greater than or equal to 3/10?
False
Suppose 2*f = -0*f. Let a = -884 + 876. Is a >= f?
False
Let o = 15 + -20. Let h = 5 + o. Let s = 2 - h. Which is greater: s or 0?
s
Let v = -19.9 + 20.9. Let m = 44.61 - 41.6. Let p = 3 - m. Which is smaller: p or v?
p
Let z = -26 - -58. Let a = z + -33. Is a smaller than -1?
False
Let a = -55.1 - -55. Let x = -37/670 - 3/67. Is a smaller than x?
False
Let l be ((-1)/(-2))/1*32. Suppose -27*n - 30*n + 969 = 0. Is l greater than n?
False
Let f be ((-7)/(-7))/((-10)/(-16)). Suppose -2*m = -2*a - 4, 0 = -5*m - 4*a - a. Which is bigger: m or f?
f
Suppose -4*r + 19 = 3*m - 9, -4*r + 3*m = -52. Let s be (-4)/r + (-17)/(-5). Let l = 19 + -15. Is s not equal to l?
True
Let d be -5 + -4 + 9 - 57/51. Is -1 at most d?
False
Let d be (8/945)/((-42)/(-105)). Is -1 greater than or equal to d?
False
Let a = -58 + 53. Let n be (-4)/a + (-6 - (-63)/15). Is -36 >= n?
False
Let w(m) = m**3 - m**2 - m - 3. Let t be w(4). Let z = 25 - t. Let j = -13 - z. Is j equal to 0.2?
False
Suppose 7*l = 3*l - 5*f - 17, 3*f + 6 = -l. Is l at most as big as -30/11?
True
Let z be (-3 + 2)/(-1) - 12. Let y be 3/2*(13 + z). Suppose i + y = -0*i. Is i greater than -2?
False
Suppose -924 = 14*x - 47*x. Which is bigger: 35 or x?
35
Let s be (-1 - 1) + -1 + 904/72. Is 1/2 equal to s?
False
Suppose -4*j + 2*v = 4874, 0 = -2*j + 72*v - 74*v - 2452. Is j at most -1220?
True
Suppose -3*d - 2*n - 12 = n, 0 = 4*n + 16. Let m(t) = -10*t - 10. Let s be m(-3). Let o be 52/s + (-6)/3. Is o equal to d?
False
Let q(x) = 3*x**2 - 39*x + 42. Let c(k) = -k**2 + 13*k - 14. Let r(j) = -7*c(j) - 2*q(j). Let w be r(12). Suppose -5*u + u + 4 = 0. Which is bigger: w or u?
w
Let p = -1416.77 - -1417. Which is greater: p or 10?
10
Let h(o) = -7*o**2 + 4*o - 20. Let b be h(0). Which is greater: -19 or b?
-19
Let s = 22 + -27. Let y be (s/10)/((-31)/(-2)). Which is bigger: y or 0?
0
Suppose -239*r + 240*r + 4 = 0. Let h(s) = -s**2 + 11*s + 14. Let d be h(12). Is r less than or equal to d?
True
Let v = 5951/6 + -987. Let d = 229/30 - v. Which is smaller: d or 2?
2
Let z be (-21)/105 - 81/(-5). Which is bigger: z or 17?
17
Let k be (1/(-4))/1 - (-243)/252. Let c be -2 + 0 + 3/1. Which is smaller: c or k?
k
Let q be (-3)/(-1) - 4 - -10. Let w = q - 7. Which is smaller: w or 4/7?
4/7
Let v be ((-24)/(-116))/(30/4). Let w = -544/1305 - v. Suppose 5*a = 3*h + 8, h + 0*h + 6 = 5*a. Which is smaller: w or h?
h
Let d = -28 + 36. Suppose d*x = 5*x. Which is smaller: 3/11 or x?
x
Let x = -3.05 - -0.05. Suppose 0*b + 4*g = 2*b - 28, 13 = 2*b - g. Let a be (27/36)/(6/b). Which is greater: a or x?
a
Let x = 163/2940 - 7/60. Which is bigger: x or -1?
x
Let u(h) = -h**3 - h**2 - 15*h - 13. Let b(x) = -x**3 - 2*x**2 - 14*x - 12. Let k(m) = 7*b(m) - 6*u(m). Let p be k(-7). Which is smaller: p or -6/19?
-6/19
Let j be (8/(-4))/(2/(-5)). Let m be j*1*10/25. Let y = 4 - 5. Which is bigger: y or m?
m
Let n = -337 + 336.1. Which is greater: n or 0.49?
0.49
Let o = -2.327 + 2.227. Is 77/9 at most as big as o?
False
Let a(i) = i**2 + 50*i - 121. Let z be a(-53). Are 3 and z non-equal?
True
Let g = -3.4 + -14.6. Let y = 17.74 + g. Let q = y + 0.16. Is 2 at most q?
False
Suppose -6*z + 11*z = 50. Suppose z*s = 4*s. Suppose -5*f + 3*q = 148, -2*f - 5*q = -s*q + 53. Is -29 <= f?
True
Let n be (-3)/4*928/696. Let c = -1/331 + 1365/13571. Is n equal to c?
False
Suppose -26*f = 119 + 1233. Which is greater: f or -56?
f
Let j = 69 - 63. Let q be (-10)/(-2)*(2 - 1). Suppose q = z - l, -z - l = -5 + j. Is z smaller than 3?
True
Let d(j) = -2*j - 25. Let g be d(-12). Let r(a) = -2*a. Let x be r(1). Which is bigger: g or x?
g
Let j(l) = -2*l. Let n be (-1 - -1)/(9/(-9)). Let v be j(n). Is v less than -1/15?
False
Let o = -1035 + 1040.03. Let j = o - 0.03. Is 0.2 bigger than j?
False
Suppose -9*h + 8*h + 197 = 2*m, -2*h + 6 = 0. Which is smaller: 98 or m?
m
Let x be 0/2 - 2*2. Let l = 2762.2 - 2762.3. Is l bigger than x?
True
Let v(m) = m**3 + 9*m**2 - 10*m + 19. Let i be v(-10). Suppose -i = y - 3*g, 0 = -5*g - 7 - 8. Is -29 greater than y?
False
Let z = 91 + -56. Let w be (-48)/(-32)*z/(-3). Is w less than or equal to -17?
True
Let h be (-147)/21 - -7*1. Let d = -42 + 43.9. Let w = d + -2. Is h at least w?
True
Let y be (-22)/165*-9*18/3. Which is smaller: 8 or y?
y
Let u = -125656043/3419 + -115950/263. Let a = u - -36996. Let d = a - -197. Which is bigger: 1 or d?
1
Let k = -2/111 + -200/1221. Let n be (5 + -2)*(-1)/3. Are k and n equal?
False
Let q = -16 - -23. Suppose -q = -f - 8. Which is greater: 3 or f?
3
Suppose 2*n - 7*n - 15 = 0. Let j be (n/(-36))/(2/(-7863)). Let f = -328 - j. Is f at least 0?
False
Let d = -100 - -47. Let m = d - -47. Which is smaller: m or 4?
m
Let h = -8/229 + 71709/916. Let j = -77 + h. Which is smaller: 0 or j?
0
Suppose 0 = -4*b + 3*z + 579, -2*z - 2*z + 600 = 4*b. Let w be 1*(-67)/b - 8/(-24). Are 0 and w nonequal?
True
Let t = -11782 - -10833.99. Let y = t - -959. Let k = -11 + y. Which is smaller: 1/4 or k?
k
Let f be ((-1)/(-5))/(25/(-20)). Is 9 less than or equal to f?
False
Let x = 2986 - 2987. Is 2/1621 less than x?
False
Suppose -630 = -11*f + 26*f. Is f <= -39?
True
Suppose 0 = 6*w - 166 - 80. Let j = -165/4 + w. Is 3 at least as big as j?
True
Let c = 282 - 283. Let m be (424/(-608))/((-228)/(-5)). Let h = 2/361 - m. Which is smaller: c or h?
c
Let v be 60/8*(-8)/(-6). Suppose -5*s = -v*s + 70. Let h(u) = -21*u + 453. Let d be h(21). Which is bigger: d or s?
s
Let w = -649.39 + 639. Which is bigger: -1 or w?
-1
Let j = 848/715 + 2/143. Which is greater: j or -0.08?
j
Let n be (-18)/(-4)*-2 + 8. Which is greater: n or -2/2705?
-2/2705
Suppose 3*w - 4*s - 409 = 0, 3*s - 622 = -3*w - 199. Suppose 3*f + 142 = w. Are f and 2/105 nonequal?
True
Let f be 5 + ((-7)/5 - 72/18). Is f < -0.1?
True
Let c = -3 + -22. Let p = c + 23. Let w(d) = d + 6. Let r be w(-6). Is p at least r?
False
Let t be (-2)/(-6) - 1/12. Let r = 7.1 + -7. Let w = r - 7.1. Is w bigger than t?
False
Let j be -2 - (-588)/30 - 2/(-5). Let q be 16/j*((-4035)/1340 - -3). Is q greater than 0?
False
Let m = 251/3 - 84. Which is bigger: m or -2.46?
m
Let w be -3 + 18/(-30) + (-4)/10. Let k be w/(-6)*(-153)/(-18). Which is smaller: k or 6?
k
Let f(z) = -z**2 + z - 34. Let m be f(-6). Which is bigger: m or -75?
-75
Let b be (2913/(-54))/(-3 - (-242)/(-4)). Let i = b + 5/127. Which is smaller: i or 0?
0
Let g be 156/(-38) + (-2 - -6). Let v = -40 + 40. Which is bigger: v or g?
v
Let v be (-6 - 155/(-2)) + 1/2. Let l be 2*v/30 - (2 + 1). Which is greater: 1/4 or l?
l
Let f = 2.49 + -4.19. Do f and -2 have the same value?
False
Let z = 41 + -450/11. Let o be (-2)/(-2)*(0 + 2). Suppose 1 + 1 = o*t + y, 0 = -3*t + 2*y - 4. Is t smaller than z?
True
Let l = -1362351 + 29964639/22. Let w(r) = 108*r - 2. Let f be w(3). 