o n?
True
Suppose 27*n - 5*o + 17 = 28*n, -o + 1 = -n. Let s be (675/(-72))/3 - (-2)/n. Which is smaller: -1 or s?
s
Let b(d) = -17*d - 1291. Let p be b(-76). Which is bigger: p or 46/295?
p
Let w be (-1 - -2)/((-19)/95). Let m be ((-122)/w)/((72/(-10))/6). Is m at least -19?
False
Let z = 0.0833 - 114.0833. Is -0.06 < z?
False
Let c(l) = -2*l**2 - 13*l - 1. Let z be c(-6). Suppose 0 = -z*a - 34 - 41. Which is smaller: -16 or a?
-16
Let y be -1 - (-75)/(-60)*56. Which is smaller: -106 or y?
-106
Let h(a) = 15*a**2 - 2*a - 2. Suppose 3 - 15 = -6*o. Let b be h(o). Let n = b + -268/5. Is n greater than -0.29?
True
Let d(n) = 58*n + 871. Let t be d(-15). Are -78/223 and t equal?
False
Let o = 1470.4 - 376.4. Which is greater: 3 or o?
o
Let z(i) = -i + 1. Let j(a) = -3. Let t(w) = -2*j(w) - 2*z(w). Let x be t(-2). Suppose -u + 6*u - 20 = -4*d, x = u + d - 5. Do u and 2/369 have the same value?
False
Let v = 38.58679 + 0.41321. Which is greater: -7/11 or v?
v
Let d be 6*(-8)/144 - -1*(-1170)/(-27). Let n be ((-15)/(-9))/((-2)/(-50)). Is d bigger than n?
True
Let p(b) = -10*b - 307. Let s be p(19). Let n = s + 495. Which is greater: 1/5 or n?
1/5
Let i(c) = -c**2 - 57*c + 2848. Let v be i(32). Are v and 38/277 non-equal?
True
Let x = 193 + -1348/7. Let k = 26/63 - x. Which is greater: 1 or k?
1
Let g be (-2)/9 + 16864/66816. Which is greater: 0 or g?
g
Suppose t = -5*q - 30, 2*t - 16 + 40 = -4*q. Which is greater: -1.0761 or t?
t
Let j be (-11)/2*344/(-1892). Is 0 less than j?
True
Let x be (-74)/264 + (-3)/(-12). Let h = 379378 + -379378. Is x greater than h?
False
Let n = -8273 + 8274. Which is smaller: 5/589 or n?
5/589
Let g(o) = 83*o + 45. Let n(m) = -81*m - 46. Let c(a) = 5*g(a) + 6*n(a). Let d be c(-3). Is d != 161?
True
Let k = 6.9 - 6.85. Let p = k + 0.93. Let y = p - 4.98. Do y and 14 have different values?
True
Let h(u) = -u + 13. Let w be h(5). Let i(f) = f**3 - 7*f**2 - 7*f - 3. Let k be i(w). Suppose -5*a = n - 2*n - 20, 4*a - 16 = -k*n. Is 1/29 less than n?
False
Suppose -37 = -3*s + 2. Suppose 5*q = 2 + s. Suppose q*u - 324 = 4*n + 7*u, 2*u - 146 = 2*n. Is n bigger than -78?
True
Let n be (-2)/(-4) - (450/12)/(-15). Suppose -5*w + 2*f - f = -25, 0 = n*w - f - 13. Let x(t) = -5*t**3 + t + 1. Let y be x(-1). Which is bigger: y or w?
w
Let r = 0.81 + 3.29. Let t = r + 5.9. Let p = t - 10.2. Is p not equal to -6?
True
Suppose -3*f + 4*p + 597 = -308, -2*f + 2*p + 604 = 0. Suppose f = 4*h - 393. Is h < 174?
False
Suppose 2022 = 9*i - 2244. Let j = 3312/7 - i. Is j smaller than -0.03?
True
Suppose 5*t + 0*t = -2*d + 87, -16 = 4*d. Suppose q + 5*o + 3 = -2, o + t = q. Suppose -4*x = l - q, -11 = -4*x + 5. Which is smaller: -3/22 or l?
l
Suppose -194*a + 5210 = -2162. Which is bigger: a or 51?
51
Let n be (-3291)/(-45) + (-2)/15. Let k = n + -70. Suppose 0 = -5*g - k*v - 112, -v + 43 = -3*g - 27. Which is smaller: g or -21?
g
Let h be 1700/725*10/(-8). Which is smaller: -2 or h?
h
Let a(t) = -t**2 + 600*t + 4829. Let b be a(-8). Suppose 0 = 3*j + r + 76, -2*j - 64 = -0*r - 2*r. Let s = -60 - j. Do b and s have the same value?
False
Let v = -5.18928 + 0.18928. Suppose -3*l + 3*f = -6 - 0, -4 = -4*f. Let u be (l/(-9))/((-5)/(-3)). Which is greater: u or v?
u
Let f = 3783.033 + -3783. Is f at least as big as 40?
False
Suppose 0 = 2*a - 11*a - 1524 - 5073. Are a and -732 non-equal?
True
Let w(k) = -k**3 + 23*k**2 - 5*k - 337. Let c be w(23). Which is smaller: c or -453?
-453
Let k = -2/18055 - 18268/161068655. Which is greater: k or 1?
1
Suppose -258*m + 263*m - 1650 = 0. Let u be -215*(0 - 24/m). Which is bigger: u or 16?
16
Let s(a) = a**3 - 3*a**2 - 8*a + 23. Let f be s(5). Suppose f*u + 646 = 14*u. Which is bigger: -36 or u?
u
Let u(c) = -55*c**3 + 2*c**2 + 5*c + 9. Let j be u(-2). Which is bigger: j or 3132/7?
3132/7
Suppose -4*b - 32957 = 5*c, -4*b - 10 = -9*b. Let f = 92377/14 + c. Let y = f + -2353/434. Which is smaller: -1 or y?
-1
Let r(t) = -58*t**2 + t - 1. Let g be r(1). Let f = 5340 + -5400. Which is smaller: f or g?
f
Let z be 6/10 - (-3106)/(-5010). Let n = z + 3172/108717. Suppose 0 = -4*o + 121*d - 117*d, -5*o - 3*d = -8. Which is bigger: o or n?
o
Let m = -152645 - -1072083/7. Which is greater: 510 or m?
510
Let v be 316 - -1*(-4)/(-6)*-6. Let g = 935/3 - v. Is g smaller than -3/13?
True
Let a(b) = 5*b**2 - 6*b - 17. Let u be a(5). Suppose 131*d = 128*d - u. Let v(l) = -l - 31. Let o be v(-8). Is o > d?
True
Suppose -6*u + 11 = 3*f - 2*u, -2*u + 6 = 2*f. Let k be (((-9)/(-69))/(-3))/(f/(-5)). Are k and 1 non-equal?
True
Let g(u) = 604*u - 1614. Let i be g(6). Do i and 2009 have different values?
True
Let u = -2201/1588 - -54/397. Is u at most as big as 18?
True
Let c(v) = -40*v + 531. Let l be c(15). Which is smaller: 10 or l?
l
Let v = -218 - -205. Let u be (v - -13)/((-1)/(-1)). Which is smaller: u or -2/31?
-2/31
Let w be (6/(-28))/((-561)/(-748)). Are w and -255 equal?
False
Let k(y) = -4*y**2 + 103*y + 1525. Let w be k(-21). Is -2401 greater than or equal to w?
True
Let g be (-2835)/(-28) - (-12)/32*2. Let v = g - 101. Which is bigger: v or -1/4?
v
Let u be (-1)/(5/147770*14). Is -2109 > u?
True
Let h(c) = 5*c**2 - c - 1. Let n be h(-2). Let f be 2/((8/12)/(n/(-9))). Let v be 65/9 + ((-14)/(-9))/f. Is v greater than -2?
True
Let y = -351.0334 + 0.0334. Which is smaller: y or -0.2?
y
Let a be (-16)/20 - ((-1368)/90 - 6/(-15)). Let c(y) = y**2 + 2*y + 3. Suppose -6*d + d = 20. Let j be c(d). Is a at least j?
True
Let m be (-1 + 2 - 0) + -59. Let i = 2009 - 2068. Is m bigger than i?
True
Let l = 7.5 + -7. Let g = -0.6 + l. Let f be (-281 - -293)*2/108 + (-5)/(-18). Is g <= f?
True
Let q(g) = g**3 - 39*g**2 + 126*g - 36. Let w be q(32). Which is bigger: -3171 or w?
-3171
Let v = -185 + 86. Are -99 and v equal?
True
Suppose 11*n + 6299 + 11543 = 0. Is n smaller than -8116/5?
False
Suppose 0 = -5*i - u + 483, -3*i + 7*u + 273 = 2*u. Let v be 10 + -8 - (95 + -1). Let x = i + v. Which is smaller: x or 6?
x
Let q be (-28)/49 + (-964)/28. Let f = 38 + q. Suppose -f*o + 13 - 7 = 0. Do o and 0 have the same value?
False
Suppose -9 - 31 = -8*p. Suppose -2*w = p*u - 5, -3*u - 4*w + 11 = -6. Which is greater: -2/7 or u?
-2/7
Suppose 3*z + 51 = -3*q, 19*z + 5*q = 20*z + 41. Let b be (0 - -4)*8/(-2). Which is smaller: z or b?
z
Let f = -57 + 36. Let k = -0.5 - -22.5. Let w = k + f. Is -0.3 smaller than w?
True
Let t = -36227 - -572785095/15811. Is 1 < t?
False
Let t be -3*(148/(-12) + 6). Suppose -41 = 20*f + t. Is f >= -0.007?
False
Let q be (9/(-2) + 5)*(-2)/(-10). Suppose 68*w = 65*w + 18. Let h be 10/w + 8/(-12). Which is smaller: h or q?
q
Let s = 158 - 155. Let y be (20 + -21)*s/1. Let d be 224/(-90) + 4/(-10). Is d < y?
False
Suppose -326*z - 28 = -333*z. Suppose -2*f + 5 = h, 0*f - f - h + z = 0. Is f != 3/62?
True
Let g = 21221 - 84901/4. Are -17 and g equal?
False
Let o = -0.067 + 1.067. Let a be 4/64*(-4 + -11). Let h = a - -253/48. Which is smaller: o or h?
o
Let r be (49/35)/((-3)/(-10))*-6. Let y be ((-36)/8)/9*r. Which is bigger: y or 8?
y
Suppose -3*r + 5311 - 15228 = -j, 2*j = -4*r - 13226. Which is smaller: -3305 or r?
r
Let p = 1/607 - -13952/5463. Which is greater: p or 4?
4
Let n = -4 + -13. Let u = n + -43. Let a = -1 + u. Is a at least as big as -2/7?
False
Let s = 10.3 + -10.36. Let k = -707 + 705. Which is bigger: k or s?
s
Suppose -5 = 3*m - 173. Let k = m + -60. Let z = -2 - -1. Is z not equal to k?
True
Let d(y) = y**2 - 19*y - 13. Let t be d(20). Let m(q) = q**2 - 5*q - 19. Let v be m(t). Is v >= -5?
True
Let m = 105171/17122 + 1/2446. Suppose 2*t + 8 = 4*f, -5*t + 73 - 51 = 4*f. Suppose 69*c = 66*c + b + 12, -5*c = -t*b - 19. Is m at least as big as c?
True
Let l = -2 + -2.2. Let j = 11.1 + l. Let m = 7.3 - j. Is m smaller than -4/11?
False
Let j be ((-200)/(-12) - 11) + -6. Which is bigger: j or -2/253?
-2/253
Let x = 73.5 + -591.5. Let n = -502 - x. Which is smaller: 8 or n?
8
Let s = -6.366 - -7.366. Which is bigger: 2040 or s?
2040
Let m = 11.059 - 15.059. Is m < 764?
True
Let r = -1 - -3. Let c be 27/23 + r/(-2). Let d be (-6)/(-12)*130/(-91)*(-4)/10. Is d < c?
False
Let d be (2 - -7)*180/81. Are -87 and d equal?
False
Let l be (39/9 - 3)*15. Suppose y + l - 48 = -4*u, y = -3*u + 21. Suppose u*j = 8*