- 0). Suppose 3*h - 2*i = -4, -3*h - 2 + 0 = -i. Is h at most as big as c?
True
Let h(t) = 13*t**2 + 2*t - 41. Let a be h(-6). Let z = -2058/5 + a. Which is greater: z or 2?
z
Let y = 46680 + -144007802/3085. Which is smaller: 0 or y?
y
Suppose 0*g = 2*g + 5*c - 77, -109 = -4*g - c. Let b = g + -63. Let k = b - -39. Which is smaller: k or 7/5?
7/5
Let v = -73 + 80. Let c be (6 + (2 - v))*3. Is c bigger than 16/5?
False
Let u be (18/8)/((-156)/208). Let b be (u*3/(-27))/((-1)/(-7)). Let f be -2 + 1 + 2 - -2. Are f and b non-equal?
True
Let m = 5291 - 5292. Which is greater: 64/47 or m?
64/47
Let q = 5948 + -5912. Let k be 2*-63*(-18)/21. Suppose -4*t = -t - k. Is q at least as big as t?
True
Suppose -4*j - 46 = -2*b - 0*j, 33 = b - 4*j. Suppose -4*q + 198 = -b*q. Which is bigger: q or -21?
-21
Suppose 96 = -3*w + 7*w. Suppose -7*q + w + 4 = 0. Suppose 6*k - q = 10*k. Is k greater than 3?
False
Suppose 12*m + 25 = 49. Suppose 6*j = -m*z + 2*j - 32, -5*z - 80 = -j. Let x = 2/351 - 10183/702. Is x greater than or equal to z?
True
Let z be -10 - -20*(2 - (-1512)/(-304)). Does -69 = z?
False
Let p be (-2)/3*(-2 - 1). Suppose 2*t - 11 = 3*d, p*d + 2*t - 9 = 3*d. Let i be (-3)/(-1) + d + 3. Is 2 < i?
True
Suppose 4*m - v = 8*m - 876, -444 = -2*m - 2*v. Let p = m + -219. Is p >= -2/15?
False
Let l be (182/1092)/((-8)/(-12)). Is l greater than -28/799?
True
Let f = 6 + 3. Let p(z) = 10*z**2 - 3*z**3 - 38 + z**3 + 51 - 11*z + z**3 - 26. Let w be p(f). Is w < -31?
False
Let x = 1.993 + -1.693. Let r = -93/533 - -4/41. Is x at least as big as r?
True
Let t = -87 - 82. Let c = -171 - t. Which is bigger: c or -3/5?
-3/5
Let g = 396.37 - 397.911. Is g equal to 0?
False
Let h = -19.8 + 102.8. Let z = h + -83.245. Let m = 0.045 + z. Which is smaller: 0.34 or m?
m
Let t be (18/12*16/(-6))/(1248/14064). Which is bigger: t or -46?
t
Let q = 16423 + -15947. Is 487 less than or equal to q?
False
Let p be (0 - (-31)/3)*(-7 - -10). Suppose -4*s + 5*r + p + 1 = 0, 2*s = 2*r + 14. Is s smaller than 10/3?
True
Let b(n) = n**3 + 5*n**2 + 3*n - 4. Let p be b(-4). Let h be ((-8)/(2 - -2))/(1170/8292). Let x = h - -71/5. Which is bigger: x or p?
x
Let a = -2777 - -2687. Are a and -88 nonequal?
True
Let d = -598 - -334. Let q = d - -274. Which is greater: q or 1.1?
q
Let y be 2775/27 + 44/198. Suppose 107*c = y*c - 136. Which is smaller: c or -1?
c
Let d = 13.29 - -9.865. Let l = -23.1 + d. Is l less than or equal to 0.1?
True
Let v(o) = 31*o**2 + 2*o + 1. Let n be v(-1). Suppose 4*k + k + 5*t - n = 0, 0 = -5*k - 4*t + 29. Suppose -18*u = -17*u - k. Is 5 less than or equal to u?
True
Let o = 101 - 100. Let c = -432 - -430.8. Which is smaller: o or c?
c
Let i = -195 - -115. Let n = i + 67. Which is smaller: -3/2 or n?
n
Let j be (-326)/1555 + (-5)/(-25). Let y = j - -673/5287. Let i = y + 28/51. Which is smaller: 0 or i?
0
Let t = -1881321/452276 - -6/10279. Let w = 17/4 + t. Which is greater: w or 0?
w
Suppose 2*u + 4*b = -16 + 6, b - 2 = -2*u. Let t be (-2 - (-3)/u) + 6/10. Is t > 62?
False
Let w = 0.494 - 0.208. Let t = w - 0.273. Is 0.2 bigger than t?
True
Let i be (-16)/22 - (-2 - -1). Suppose -71*j - 116*j + 2057 = 0. Is j less than or equal to i?
False
Let c be (-2)/5 + 44/10 - (-75867)/(-24871). Which is bigger: 1 or c?
1
Suppose -5*g - 3*h + 4*h = 12, 3*g = 23*h - 164. Let p = -49/9 + 2722/495. Which is greater: p or g?
p
Let x = -9097/10 + 1819/2. Suppose -t + s = -3, 0 = 2*t - 4*s + 8 - 20. Suppose 0 = -t*p - 2*p. Are p and x nonequal?
True
Let x(f) = -52*f**2 + 49*f + 383. Let n be x(-9). Is -4269 != n?
True
Let z = 124 - 286. Let a = z + 178. Which is bigger: a or -1/2?
a
Let i(n) = -3*n**3 + 10*n**2 - 5*n - 93. Let t be i(-3). Is t at most as big as 1210/13?
True
Let x = -7 - -8. Suppose -28 = -13*r + 24. Suppose r*h - 7*h = 12, -4*y = -4*h - 24. Which is smaller: x or y?
x
Suppose 0 = -3*y + 4*u + 3, -3*y - 4*u + 0*u + 27 = 0. Suppose 11 = -o + y. Let f be (-8)/6*((-14)/(-4) - -2). Which is smaller: f or o?
f
Let i = 1/13727 - -13725/27454. Which is smaller: -13504 or i?
-13504
Let r be (4 - 0)*(-58)/(-8). Let g(p) = 476*p + 4314. Let x be g(-9). Is r at least as big as x?
False
Let z(s) = 456*s**2 + 7*s - 11. Let w be z(2). Let a be (-2)/(-29) + (-1344)/w. Which is greater: 39 or a?
39
Let p = 6606 - 7100. Which is bigger: p or -491?
-491
Let c be (4/6)/((-18)/1647). Let q be (-69)/1 - 840/(-105). Is c not equal to q?
False
Let m = -0.061 - -0.181. Let o = 3623.66 - 3624. Which is smaller: o or m?
o
Let v be ((-236)/(-56) - 4)/(162/(-24) + 0). Let s(n) be the third derivative of n**4/24 + n**3/6 - n**2. Let a be s(-1). Which is smaller: a or v?
v
Let a be 11008/(-16530) + (-108)/(-162). Let o be 4/8 + 26963/(-49590). Let s = a - o. Which is smaller: s or -1/4?
-1/4
Let z(i) = -i**3 + i**2 + 3*i + 6. Let c be z(-5). Let p(g) = 3*g**3 - 10*g**2 + 11*g - 39. Let n be p(5). Is c < n?
False
Let u = -67 - -467/7. Let r be 12*-4*((-1)/3)/1. Suppose -f - r = -5*m, 3*f + 3*m + 2 - 8 = 0. Is f > u?
False
Let f be (-396)/(-10) + (1 - 16/10). Suppose -10*d - 1 = f. Which is bigger: d or 6?
6
Let v be (-2)/((-1)/(5 - 4)). Let d be (v/4)/(68/(-24) + 3). Suppose d*n + 39 = o + 2*o, -5*n = 5*o - 65. Which is smaller: o or 17?
o
Let t be (-1 - (-2)/6)*(-9834)/(-44). Let s = t - -134. Let f be s/(-12)*(5 + 13092/(-2620)). Is f at least -1?
True
Suppose p - 3026 = 2*y, 4*p - 5*y + 3044 = 15154. Suppose -55 + p = -17*a. Is -174 bigger than a?
True
Suppose 0 = 4*q - 3*y - 93, -2*q + 8 + 39 = -y. Let o = -71 + 1033/11. Which is bigger: o or q?
q
Let u(i) = -56*i - 255. Let w be u(-7). Which is bigger: w or 147?
147
Suppose -47*x = -61*x + 210. Let u = -264 - -279. Is u <= x?
True
Let v(c) = c**3 + 200*c**2 - 825*c - 1819. Let g be v(-204). Let u be 7/2 - 2/(-4). Suppose -u*t = -3*t + 1. Is t > g?
False
Suppose 6*y = -10*y + 97 - 129. Which is smaller: y or -17/28?
y
Let a be 1/(-16)*(-3 + 301/105)*20. Do a and 559 have the same value?
False
Let a = -165 + 166. Suppose -b - a + 2 = 0. Which is bigger: 9 or b?
9
Let t = -28117 + 28113. Let n(z) = -z**2 - 4*z - 3. Let w be n(-5). Which is smaller: t or w?
w
Suppose -9 + 28 - 7 = -12*x. Is x bigger than -15/1117?
False
Suppose 4*w = -p + 30, -7*p + 6*p - 12 = -2*w. Which is bigger: p or 111/136?
p
Let r = -10907 + 13926. Which is greater: 3021 or r?
3021
Let v = 35662 + -35680. Let q be (4/(-6))/((-10)/(-195)). Which is smaller: v or q?
v
Let w(g) = g**2 - 62*g + 333. Let u(j) = 15*j - 83. Let l(i) = 9*u(i) + 2*w(i). Let p be l(7). Is p > 93?
True
Let j = -22267 - -36061. Let c = 13769.116 - j. Let f = c + -0.116. Is f not equal to -0.1?
True
Suppose -425 = -5*t + 625. Let g = t + -135. Which is smaller: g or 76?
g
Let d(p) = -p**2 + 4*p + 9. Suppose -n = 4*v - 16, 5*n - 5 - 3 = -2*v. Let t be d(v). Suppose -4*l + 0*l - 15 = -j, -l = -5*j + 37. Which is smaller: t or j?
j
Let g = -4647 - -51119/11. Let t = 163 - 84. Is t at least g?
True
Let v(l) = -l**2 - 2*l - 6. Let w be v(-4). Let b = w - 11. Is b equal to -19?
False
Let n be ((-256)/192)/((-20)/742). Which is bigger: 48 or n?
n
Let j(c) = -2*c**2 - 21*c - 28. Let x be j(-9). Let u = -18157/286 + 127/2. Is x not equal to u?
True
Let y(s) = 233*s + 4658. Let n be y(-20). Which is smaller: -268.8 or n?
-268.8
Let t(d) = d**3 + 4*d**2 - d - 10. Let l be t(-3). Let j be (0*3/(-6))/l. Suppose 2*m = h + 4*h - 50, -2*m = j. Is h smaller than 9?
False
Let q = -25982 + 25812.9. Is 1/4 less than or equal to q?
False
Let h be 9/(405/(-1218)) + (-46)/(-690). Which is smaller: -854/31 or h?
-854/31
Suppose 3*j + 0*j = -5*y - 14, 3*j - 4*y = 22. Suppose a = 2*u - 3181 - 2492, -u + 2835 = a. Let i = -65216/23 + u. Is j equal to i?
False
Let z = 268829/26 - 10341. Is -1 at least z?
True
Let u be 148304/309465 - ((-1)/90)/(2/(-8)). Suppose -s - 2*t + 8 = 0, t - 4*t = -4*s - 12. Suppose -b - 1 + s = 0. Which is smaller: u or b?
b
Let o = -60658 - -14497240/239. Is -1 equal to o?
False
Let i = -153 + 167. Suppose -2*f + 2*y = -i, -9 = -f + y - 2*y. Which is greater: 13/2 or f?
f
Let l(h) = h**3 - 12*h**2 - 1. Let x be l(12). Let c be 355/10 + x/2. Let d be c*7/((-105)/(-9)). Is 21 greater than d?
False
Let p = 52.3 + -111.1. Let q = p + 58.4. Do q and 11 have the same value?
False
Let i = 5 + -3.