25)/n)/(3/v). Which is smaller: b or 9?
9
Let z be (84/9)/(-7)*(-57)/4. Are z and 19 equal?
True
Suppose 6*o - o = -3*k, 0 = -3*k + 3*o + 24. Suppose -4 + 9 = k*q. Is q > 10/11?
True
Let z(i) = -39*i - 150. Let d be z(-3). Suppose s = -10 - 24. Let o = d - s. Do o and 0.12 have the same value?
False
Let t(w) = -w + 6. Let d be t(9). Let x be (-4)/(-3) - (-1)/d. Let r be (2 - x)*(-2)/8. Are -1 and r equal?
False
Let l(s) = 29*s**2 - 2*s. Let z be l(-2). Let j be (3/(-4))/((-18)/z). Is 1 at most j?
True
Let o(m) = m**3 + 12*m**2 - 12*m + 7. Let r be o(-13). Let i be r/27 - (-30)/(-351). Which is smaller: i or 0?
i
Suppose 48*v = 52*v - 80. Is v greater than or equal to 20?
True
Let d = 9.94 - 10. Let t = 7.94 - d. Suppose -5*o = 5*i - 5, 5*o - 2*i = -5 - 4. Is o less than t?
True
Let i(b) = -b**2 - 20*b - 16. Let v be i(-17). Is v at most as big as 32?
False
Let t be (-40)/5*1 + 5 - -2. Is 2/875 not equal to t?
True
Let t = -69 + 68.9. Which is smaller: -109 or t?
-109
Let g = -0.07 + -0.03. Let a = g + -1.5. Which is smaller: a or 2/5?
a
Let k = -11.35 - -3.35. Let s(p) = -p**3 + p. Let t(a) = -4*a**3 - 2*a**2 + 5*a - 4. Let j(d) = -3*s(d) + t(d). Let g be j(-3). Is k not equal to g?
True
Let a = 1106 + -1119. Which is bigger: a or -0.9?
-0.9
Let m = -84 - -119. Which is greater: -2 or m?
m
Let t = -252 + 377. Which is greater: t or 123?
t
Let q(x) = x**2 + 11*x + 42. Let c be q(-9). Is 24 at most as big as c?
True
Let a = -593/2 - -296. Do -0.07 and a have the same value?
False
Suppose 0 = 4*t, -c + 3*t - 2*t = 1. Which is smaller: c or -3/182?
c
Suppose -4*k + 2*j = 36, -4*j = -2*k - 7*j - 18. Let n be k*(-4)/10*(-4)/(-8). Which is bigger: 1 or n?
n
Let a be (-822)/(-2055) + (1888/(-10))/2. Is -464/5 smaller than a?
False
Let j be 2/(45/150*1090/(-12)). Which is bigger: 1 or j?
1
Let u(g) = -13*g**2 - g. Suppose 6 - 2 = -4*y. Let j be u(y). Is -12 < j?
False
Suppose 0*q - 2*q = -2. Let h = 7583 - 1061607/140. Let t = 3/28 + h. Which is greater: q or t?
q
Suppose 0 = 2*b - 3*t - 14, 0 = -b - 3*b + 5*t + 26. Suppose -n = 3*n - b. Which is greater: 0.25 or n?
n
Let b(x) = -2*x + 8. Let l be b(-6). Let j be -3 + (-9)/((-18)/l). Suppose -j = -4*t + 13. Which is bigger: 2 or t?
t
Suppose -6*f + 10 = -4*f - 4*m, -40 = -5*f - 5*m. Let z be 306/f - (-6)/21. Is z >= 44?
True
Let y be (-816)/4125 - (-4)/22. Let c = 244/375 - y. Let d = -49 - -48.92. Which is smaller: c or d?
d
Let w = -2.2 - -4. Let o = 10.9 + -8.1. Let m = o - w. Does m = -4?
False
Suppose -5*l + 2*x = -0*x + 35, x - 30 = 5*l. Does -3 = l?
False
Let k = 62 + -75. Let d = k - -22/3. Are -6 and d unequal?
True
Suppose -4*w + 0*w + 4 = 0. Suppose 0 = 10*p + 33 + 7. Is p >= w?
False
Let t(f) = 2*f**3 - 6*f**2 + 22*f - 9. Let l(y) = 3*y**3 - 5*y**2 + 22*y - 10. Let q(i) = -3*l(i) + 4*t(i). Let x be q(-11). Which is greater: x or -7?
x
Let g = -29.71 + 1.71. Which is greater: -1 or g?
-1
Let m = -8230 - -5618. Let z = m - -18338/7. Which is bigger: z or 8?
8
Let y be (-15)/6*(-1287)/45. Let p = 73 - y. Is 1 < p?
True
Let w = -6 + 15. Suppose -16 = -5*f + w. Let d be 3/(((-45)/12)/f). Is d greater than -5?
True
Let o(x) = -27*x - 1. Let z be o(0). Is -12/37 less than z?
False
Let v = -50.15 + 50. Let j = 23 + -16.15. Let m = v - j. Which is smaller: m or -0.1?
m
Let c = 0.51 - 36.51. Let v = 37 + c. Does v = -3?
False
Suppose 25 = 5*k - b, 179 = 3*k - b + 166. Let v be 2 - (15/(-8) + -1). Is k < v?
False
Let s = 570 + -596. Is -2 at most as big as s?
False
Let j = 0 - 8. Let o be 1748/299 + -2*(-2)/26. Let m = j + o. Which is smaller: m or -4?
-4
Let f = -151 - -162. Let h(l) = 6*l - 1. Let z be h(-1). Let p = f + z. Is 2 smaller than p?
True
Suppose 0 = -12*i + 8*i. Let d be -3*(-4)/102*(12 + -11). Is d != i?
True
Let o(k) = -k**2 - 8*k - 10. Let t be o(-6). Suppose 0*s - 2 = -s - y, 5*s + t*y - 4 = 0. Which is smaller: s or 3/7?
s
Let m be (-11 + 14)/((-18)/(-16) - 1). Let f = m - 24. Which is smaller: f or 0.16?
f
Let j = -882.7 - -889. Is j <= -5/6?
False
Let v(z) = 8*z**2 + 1. Let n be v(1). Let q be 4*n/(45/(-10)). Which is bigger: q or -7?
-7
Suppose 6 + 34 = 5*r. Suppose -v = -3*v + r, 3*d = 2*v - 5. Does d = -3/26?
False
Let x = -7 - -6.5. Let y = -0.46 - x. Let b = 243/4 - 61. Is y < b?
False
Suppose -87 = 5*n - 2*n. Let m = -26 - n. Is m not equal to -1?
True
Let l = 0 - 18. Let u = -11 - l. Let r = u - -1. Is 0.2 greater than or equal to r?
False
Let l be 1/6 + 129/(-558). Let c be (-10)/(-15)*9/2. Suppose 0 = c*y + 4*k - 5*k + 6, 5*k = 15. Which is smaller: l or y?
y
Suppose -4*f = -6*f. Let a(r) = -6*r - 5. Let c be a(-10). Let l = 661/12 - c. Is f > l?
False
Let b = 20/7 - 46/21. Suppose 21*k - 8 = 17*k. Suppose -3*u = 2*m - 10, -k*m + 3*u = 2 - 0. Which is smaller: b or m?
b
Let r be 3 + 5 + 1 + -1 + -4. Suppose 4*a = -r*o - 8, -2*a - 4 = 5*o - 0. Suppose 1 + 3 = 4*v. Which is greater: o or v?
v
Let p = 158.4 + -76.6. Let s = p - 81. Which is bigger: -2 or s?
s
Let a(i) = i**3 - 21*i**2 + 21*i - 16. Let g be (-3)/(-9)*3*(0 - -20). Let t be a(g). Suppose -3*v = -h + 8, -4*v - 1 = 5*h - 3. Is h equal to t?
False
Suppose 0 = 2*z + 2*n + 862, 3*n = 4*z + z + 2187. Let j be 114/z + (-12)/(-30). Which is bigger: -1 or j?
j
Let f = -4 - -3.8. Let r(t) = 2*t**2 + 3*t. Let v be r(-2). Suppose -z = 3 - v. Which is smaller: z or f?
z
Let l = -1714/79993 - -16/479. Is -2 smaller than l?
True
Let f(m) = m + 13. Suppose 2*w + 3*w = -615. Let t be (-4)/28 + w/21. Let g be f(t). Is g <= 7?
True
Let u be 18*(6 + 372/(-63)). Do u and 3 have the same value?
False
Let z be 2*(-2)/116*(-2 - 110). Is 5 less than z?
False
Let o be (-3)/((8/(-12))/((-12)/(-27))). Let i be 24/6 + -4 + o. Is i < 3/7?
False
Suppose 5*w = 4 + 11. Let b(o) = 4*o**w + 14*o**2 - 3 + o - 6*o**2 - 5*o**3. Let v be b(8). Is 5 equal to v?
True
Let c(a) = -a**3 + 11*a**2 - 5*a + 8. Let d be c(11). Let z be 3/9 + d/33. Which is greater: z or -1?
-1
Let r = 274 - 251. Which is smaller: r or 2?
2
Let j = 249/5 + -288/5. Let g = -283 - -275. Is j at least g?
True
Suppose -80 = -11*k + 6*k. Suppose -2*h + 46 = 5*w - 5*h, -2*w + 3*h = -22. Suppose -k + w = 2*g. Which is smaller: g or -8/3?
g
Let u(i) = 17*i**2 - 5*i - 6. Let m be u(-2). Which is greater: m or 76?
76
Let y = -23 + 37. Let h be 4/8 + y/4. Let v(f) = f. Let z be v(3). Is h not equal to z?
True
Let r(x) = -x**2 - 17*x - 17. Let w be r(-16). Let n be ((-9)/78)/(6/(-16)). Which is bigger: w or n?
n
Let c = -124 + 125. Which is smaller: c or 10/11?
10/11
Let o be (-36)/65 + (-96)/(-240). Which is greater: o or -5/7?
o
Let p(h) = -20*h**3 - 1. Let f be p(-1). Let k = 320 - 317. Which is bigger: f or k?
f
Let h = -16/1593 + -578147/11151. Let c = h + 52. Which is bigger: c or -1?
c
Let l = -15.5 - -0.5. Suppose 8*m - 4*m - 5*q = 143, 3*q + 73 = 2*m. Let z = m + -32. Which is smaller: z or l?
l
Suppose 220 = -35*m + 36*m. Let g be (-4)/(-22) - 128/m. Let p = 3.48 - 3.8. Is p less than or equal to g?
False
Let s be (-4)/(-118)*1/((-24)/(-8)). Which is greater: s or 0.3?
0.3
Let i = 484 + -331. Does i = 154?
False
Let q be (-3)/(-411)*(3 + 1). Which is greater: -1 or q?
q
Let p = 26.25 - 0.25. Let s = p + -25.89. Let j = s - -0.09. Which is smaller: j or -0.1?
-0.1
Let x = -383 - -697. Is x smaller than 315?
True
Let y = -0.4 - -0.5. Let j = -54/253 + 8/33. Let s = -59/345 - j. Is s greater than or equal to y?
False
Suppose -3*x - w - 5 = -6*w, -5*x = w - 29. Let p = 257 + -255. Suppose -14 = 2*k + 4*y, -x*y - 14 = -p*k + 8. Is k <= 3/4?
False
Let t = 0.1388 - 7.1388. Is t greater than or equal to 11?
False
Let w = 30 - 41. Let t = -12 - w. Let r be 2/6 + 184/24. Is t less than r?
True
Let n(d) be the second derivative of -d**3/6 + 3*d**2/2 + 2*d. Let p be n(1). Is p greater than or equal to 1/14?
True
Let s be 1/(50/30)*60/(-4). Are s and 29 non-equal?
True
Let q be (21/6)/((-8)/(-16)). Suppose -6*r = -q*r - 1. Which is greater: -3/37 or r?
-3/37
Let t = 2 - 1.9. Let w = 105 - 102.3. Let u = -10.7 + w. Which is smaller: u or t?
u
Let i(w) = w**2 + 8*w - 16. Let k be i(-10). Let r be 7/(-3)*(k - 13). Suppose 2*b - 3*f - r = -b, -4*b + 30 = -5*f. Does -0.1 = b?
False
Let p be (2/6)/(21/(-9)). Is p smaller than 0?
True
Let q = -10 + 14. Let s = 31.8 - 32. Let t = s - -0.3. Is 