37 + z. Let i = 4 - 3. Is i >= k?
True
Let j = -161 - -137. Which is smaller: j or -203/8?
-203/8
Let i be 3/((-3)/2 + 0). Let q be 384/1110 + i/5. Let g = q - 247/222. Which is bigger: g or 0?
0
Let s = 0.227 + 0.743. Let r = s + 0.03. Which is bigger: r or 5/6?
r
Let n = 11/28 + 1/140. Which is smaller: n or -54?
-54
Suppose -4*m - 5*b = 0, 5*m = 2*b + 3*b + 45. Suppose -3*s - 5*r - 14 + 4 = 0, -r - m = 0. Which is smaller: s or 4?
4
Let y = -127 + 126.5. Which is greater: y or 24?
24
Let f be (20/12)/(0 - -1). Suppose 0 = -p - 3*q + 6, -p + 1 = -0*p - 2*q. Suppose 4*o - p = o. Which is smaller: f or o?
o
Let m(l) = -3*l**2 - 4*l - 2. Suppose -3*j - 28 = -4*c, 3*j = c + j - 7. Suppose c*r + 2 = 6*r. Let z be m(r). Is z greater than or equal to -7?
True
Let g be 28/(-9)*120/(-28). Suppose -5*n - 2*d = 8, -2*n = d + 4*d + 20. Suppose h - 3*h + 28 = n. Which is smaller: h or g?
g
Let f = -56.6 + 46. Let s = f - -11. Which is greater: s or 0.1?
s
Suppose 0 = -2*t - 2*u - 0 + 2, -3*t + 4*u + 3 = 0. Suppose 8*o + t = -15. Let a be (-5)/6 - 2/4. Which is smaller: a or o?
o
Suppose 4*z + 5*s = 370 - 36, -s = 2*z - 170. Let h(i) = 14*i - 11. Let t be h(7). Which is bigger: t or z?
t
Let g be ((-1)/(-3))/((-49)/(-315)). Let j = g - 23/14. Are j and 1 non-equal?
True
Let o be 4 - 825/265 - (1 - 0). Which is greater: 0 or o?
0
Let l = -0.105 + -0.095. Which is smaller: 3.28 or l?
l
Let z = -99 - -163. Suppose -20 = 2*k + 2*x - z, -4*k = x - 94. Is k at least as big as 23?
True
Let q be 793/65 + (-2)/10. Is q less than 49/4?
True
Suppose -2630 = 3*u - 2*g, 5*g - 2035 + 300 = 2*u. Is u at most -880?
True
Let w be ((-48046)/(-16))/(-6*(-15)/(-40)). Let p = w - -1335. Is p greater than or equal to 0?
True
Let q be (-60)/(-110) - (-6)/(-11). Let n = -4/3 + 35/27. Which is greater: n or q?
q
Let y(d) = d**3 - 10*d**2 + 14*d + 9. Let b be y(8). Let v(w) = w**2 + 8*w + 4. Let s be v(-6). Is s greater than b?
False
Suppose 0 = 2*w + 2, 3*o + 3 = 7*o - 3*w. Let l(c) = c + 2. Let m be l(o). Is m greater than 6/11?
True
Suppose r = 3*u - 3, 5*r + 4*u - 5 = -u. Let m be (-14)/441*-7 + 58/(-180). Which is smaller: m or r?
m
Let i(q) = 12*q. Let b be i(-6). Let l be (b/(-32))/(0 + -48). Let u = -19/64 - l. Is u less than 1?
True
Let v = -16 + 11. Let j be v/(-4)*2*2. Suppose -5 = -j*s + 4*d, 2*s + 3*d + 22 = 1. Which is smaller: 0 or s?
s
Let q be (-2)/6*(-72)/204. Let v(u) = u**3 - u**2 + u. Let f be v(0). Suppose f*o = -3*o + 3. Is o at most q?
False
Let y be (1/2)/((-9)/(-2136)*4). Let k be ((-5)/(-3))/((-1)/18). Let d = k + y. Is d smaller than -3?
False
Let f = -1.078 + 0.978. Which is bigger: 304 or f?
304
Suppose -25 + 21 = g. Let y be (-2)/(1/(38/g)). Is y not equal to 20?
True
Let x = -6 + 10. Let y(q) = 15*q**2 - 1 + 5*q - 14*q**2 - x. Let v be y(-6). Is -1 at least as big as v?
False
Suppose 10*z + 40 = 12*z. Let s = 14 - z. Is s greater than -7?
True
Let g = -40.9 + 40. Let z = -14.1 + 16. Let f = g + z. Which is smaller: 11 or f?
f
Let w(r) = 2*r. Let t be w(0). Suppose t = 5*n - 3*n. Let x = -256 + 9470/37. Is x >= n?
False
Suppose 780 = 32*f - 27*f. Which is smaller: 155 or f?
155
Suppose -4*b - 46 = -4*z - 34, 0 = -4*z + 3*b + 7. Which is bigger: -19/34 or z?
-19/34
Suppose -2*b + 1878 = -392. Let u = 107823/95 - b. Which is smaller: u or 0?
u
Let y(t) = -t**3 + t**2. Let q be y(1). Suppose q*d = -3*d + 30. Let u be -12 + (5 - 1) + 7. Is u less than d?
True
Let g = -20.042 + 0.042. Let k = -10 - g. Let v = -10.1 + k. Is v < 10?
True
Let z be (-88)/944*-32 + -3. Which is smaller: z or 1/3?
z
Let d be (2 + -6)*4/(-4)*-16. Suppose -6 = -x - 3. Let z be 3 + d/10 + x. Is -3 less than z?
True
Let h be ((-1 + 5)/(-4) - 3) + 3. Let p be (2 - -1)/(((-12)/80)/h). Is 20 >= p?
True
Suppose 596*z + 3070 = 606*z. Is 308 less than or equal to z?
False
Let d be (-488)/22 - 18/(-99). Let m = -18 - d. Suppose -m*o = -0*o + 44. Is o >= -10?
False
Suppose 0 = 3*w - 0*w + 12. Let c be w - (-3)/((-6)/22). Is c greater than or equal to 1?
False
Let p be (-98)/(-8) - 14/56. Let l be (-2 - -4)*p/(-108). Are -1 and l unequal?
True
Let f(b) = -b + 5. Let x be f(5). Let g = 14 + -20. Let l be g - -6 - 15/12. Does l = x?
False
Let n be -61*((-2)/3 - 791/(-1155)). Let c = 10/11 + n. Which is bigger: c or 0.6?
0.6
Let v = 47 - 29. Which is smaller: 19 or v?
v
Let g = 395 - 447. Is -54 > g?
False
Let g be (27/12)/(1/8). Let b be (g/15)/((-13)/(-25)). Is b greater than 2?
True
Let m(s) = 3*s + 220. Let a be m(-64). Which is bigger: a or 85/3?
85/3
Let w = 304 - 281. Is w <= 23?
True
Suppose 3*x + 5*q + 91 = 0, -3*q = -4*x - 96 + 23. Let n = x - -25. Suppose 2*m - 4*d - n = 3, -2*d - 2 = 0. Is -3/4 > m?
False
Let j(c) = -10*c + 42. Let p be j(6). Let h(l) = -l**3 - 19*l**2 - 19*l - 13. Let y be h(p). Which is greater: 11 or y?
11
Let u(f) = 53*f - 37. Let i be u(2). Is i at least 72?
False
Let l(z) = z**3 + 4*z**2 + 8*z + 4. Let t(x) = -x**2. Let m(j) = l(j) - 4*t(j). Let u be m(-7). Let p be (12/(-8))/(u/4). Is 10/9 greater than or equal to p?
False
Let n be 51 + 5 + -5 + 0. Which is smaller: 50 or n?
50
Let z = -624155/146 - -4275. Are z and 1 equal?
False
Let b(c) = -c**2 - 39*c + 487. Let g be b(10). Do g and -4 have different values?
True
Let o be ((-1)/(-5))/(0 - 28/(-21)). Let p be 0/2*(-2)/(-4). Which is smaller: p or o?
p
Suppose -4*x = -4*f + 2 + 10, -2*x = -f + 1. Suppose -4*m + x = -2*m. Which is smaller: 6 or m?
m
Suppose 19 = 3*z + 20*y - 24*y, 8 = 4*z - y. Which is smaller: z or -1/264?
-1/264
Let b(z) = -z**3 + z**2 + z - 13. Let y be b(0). Let i be 7/((-21)/(-6)) - 13. Is y smaller than i?
True
Let r = -2 + 4. Suppose -g - 2*g + 4*d = -63, 4*g + r*d = 84. Let n be 5 + -2 + (-60)/g. Is n greater than or equal to 1?
False
Suppose -2323*a = -2331*a. Which is smaller: -1/156 or a?
-1/156
Suppose 2*i = -2*i - 76. Let z = i - -39. Let k = -50/3 + z. Which is smaller: k or 4?
k
Let y = 10.2 + 0.8. Let b = y - 13. Let j = 299 + -2693/9. Is j smaller than b?
False
Let d = 32 + -9. Let w = 14 - d. Let a be -4*4/(-24)*w. Which is smaller: a or 0?
a
Suppose -19*p + 1159 = 3553. Is 2 equal to p?
False
Let l = 41.9 + -42.18. Which is bigger: -4 or l?
l
Let t be ((-45)/21 - -2)*(-455)/65. Which is smaller: t or 1/1453?
1/1453
Suppose 0 = -4*v + 2*d - 14, -3*v + 4*d = -3 + 6. Let s = -3 - v. Let a = -266/3 + 90. Which is smaller: s or a?
a
Let h(y) = 3*y + 3. Let f be h(5). Let s be 638/(-1089) - (-4)/f. Are s and 0 equal?
False
Let b(j) = -j**2 + 24*j - 144. Let x be b(8). Is x <= -174/11?
True
Suppose 4*c + 271 = 5*y, -c - 5*y = 33 + 16. Let w be (c/(-120))/(1/5). Let s be ((-12)/9)/1*-3. Is s > w?
True
Let d = 1.31 - 1.71. Which is greater: d or -3/17?
-3/17
Suppose -2*c = 4*y - 12, -4*c + 2*y = -c + 6. Suppose 0 = b + 6*b - c*b. Which is greater: -4 or b?
b
Let j be 164/20 + 1/(-5). Let i be j/((-12)/(-3)) + 15. Suppose -3*x + 4 + i = 0. Is x not equal to 7?
False
Let v be 1/(-2)*(-1 + 1). Let q = 149 - 98. Let w = q - 203/4. Which is greater: w or v?
w
Suppose -2 = y - v, 2*y + 2*v + 1 = v. Is 2/667 less than y?
False
Let a = 3 - 3. Let z be 4 - (2 - -23)/5. Let u be (0 + z)/(1/19). Is u not equal to a?
True
Let w = 50 - 30. Let v = w - 20. Is v less than -0.4?
False
Let o be (12/(-102) - 87/(-17)) + -2. Suppose -3*s = -s - 58. Suppose 0*z + 9 = o*z, -5*z = f - s. Which is smaller: f or 0.1?
0.1
Let j = -64827910887248/11819448493 - 1/176409679. Let u = j - -5485. Let s = u + 71/871. Is s greater than 0?
True
Let w = 35 + -24. Suppose -w*t + 17 = -10*t. Do 13 and t have the same value?
False
Let k = -2 - -2. Let y(w) = w**2 + 6*w + 4. Let j(a) = -a**2 - a - 5. Let z be j(0). Let c be y(z). Is c at most as big as k?
True
Let x = -263 - -235. Which is smaller: -27 or x?
x
Suppose 2 = p + 2*u, -1 = -0*p - p - u. Suppose 231 = -22*c + 143. Which is greater: c or p?
p
Let h be (-2658)/16 + 28/224. Which is bigger: h or -165?
-165
Let d(x) = 12*x - 129. Let c be d(0). Are c and 1 nonequal?
True
Let x(p) = -p**2 - 8*p - 6. Let j be x(-7). Let n(r) = 20*r + 1. Let z be n(j). Let o be -1*(12/z)/2. Which is smaller: -13 or o?
-13
Let t = 21199 + -456350872/21527. Let a = t - -1054787/774972. Let j = -10/9 + a. Which is bigger: j or 1?
1
Let y = 8001 + -8000. Let a be (-1)/(-3) - 1/3. 