q. Let g be d(9). Is g at least 25?
False
Let p = 31 - 125. Let l = p + 144. Suppose -200 = -288*x + 284*x. Is x < l?
False
Suppose -l - 4*i = -52, 2*l + 3*i - 117 = 8*i. Suppose -129 = -2*v - 17. Is l at most as big as v?
True
Let j be (-39)/99 + 12/18. Let k = -18757 - -18757. Which is smaller: j or k?
k
Suppose -4*x + l + 5 = 0, 4*l - 11 + 31 = x. Let b be (-12 + -1 + 6)*-2. Let n be 4/b - (-2000)/(-8176). Which is smaller: n or x?
x
Let s = -0.0308 - -0.1308. Let i be (-6)/(-18) + (-80)/6. Let w be 1 + 1 + i/7. Which is greater: s or w?
w
Suppose 3*c + 0 + 2 = v, 6 = -2*c. Let y = -100 - -100. Let n(g) = -g**3 - 3*g - 6. Let h be n(y). Is h greater than v?
True
Suppose -2310 = -54*p + 12*p. Let y(s) = -s**2 + 62*s + 12. Let r be y(p). Does -1 = r?
False
Let g be ((-1)/2 + 1)/((4743/34)/31). Are g and -802 equal?
False
Let j(z) = -11*z**2 - 296*z + 213. Let f be j(-28). Let h(x) = -22*x + 9. Let q be h(6). Is q smaller than f?
False
Let j = -0.018 + 1.018. Let k be (-2)/(-9) + ((-2712)/54 - 0). Which is greater: j or k?
j
Let h be (-1 - -2) + (91/39)/((-14)/12). Which is smaller: h or -1/344?
h
Suppose 11 = -q - 4*m + 2, m - 17 = -3*q. Let r be 630/(-24)*(-6)/q. Let p = -22 + r. Is p greater than -2/17?
True
Let b = -42 - -53. Let t be (-57)/(-21) - 2/(-7). Suppose t*r - b*r - 48 = 0. Does -4 = r?
False
Let w = -10.876 - -10.4. Let i = -0.091 - w. Let c = 0.015 + i. Which is smaller: c or -6?
-6
Suppose -a - 3 = -4*g, -3*g = -4*g - 5. Let n be a*(-1)/(-2) - (-11)/(-22). Let x = 12 + n. Are x and 5/12 non-equal?
True
Let c be 3/(-86)*(-12)/(-1). Let p be -21 + 5 + (9 - -8). Which is smaller: p or c?
c
Let l = 16 - 11. Suppose -3*k - 11 = -d - 32, 4*k - 72 = l*d. Let s(t) = -t**2 - 6*t + 6. Let j be s(-8). Which is greater: j or d?
j
Let q(b) = -2*b**2 - 7*b + 3. Let a be q(4). Let z be a/4 - 81/(-324). Do 2 and z have the same value?
False
Let z = 14682 - 14681.96. Are 0.082 and z equal?
False
Let x = -20 - 48. Let r = 8.4 + -25.4. Let g = x - r. Is g >= 0?
False
Suppose 4*m = -0*m + 20. Suppose -4*s + 15 = s. Let d(z) = z**3 - 3*z**2 + 5. Let l be d(s). Is l < m?
False
Let g be (-21 + 25)/(14/(-7763)). Is -2219 greater than or equal to g?
False
Let i be (-60)/20 - (-60)/13. Let g = 827/520 - i. Are g and 1 equal?
False
Let x = 1122 - 1163. Is x at least 9/4?
False
Suppose 2*g = 6*g - 15666 - 5466. Is g less than or equal to 5282?
False
Suppose -2*z - z = 4*r + 121, 2*r - 5*z = -67. Let k(q) = 3*q + 41. Let s be k(-3). Let x = r + s. Which is bigger: x or -1/18?
x
Let c = 2384 + -706. Is c at most as big as 1678?
True
Let i = -2 - -2.1. Let g = -0.4374 + 214.4374. Which is smaller: i or g?
i
Let i = -561 + 2782/5. Let o = i - 89/10. Let l be (1 - (-232)/(-24))*((-26)/(-4) - 5). Which is greater: o or l?
l
Let u be -2 + 1 + ((-195)/(-20) + -10)*-4. Is u at least as big as -176/129?
True
Suppose -11*u = -10*u. Suppose -9*i + 10 + 44 = u. Let z be (-1)/(42/(-10) + 4). Does i = z?
False
Suppose 2*b = -0*v - 5*v + 1060, 0 = 3*v + 4*b - 650. Are v and 210 non-equal?
False
Let g = 41.11 + -41. Suppose 2*d - 3*w = -13, -4*d - 2*w - 2*w - 16 = 0. Let j be (d - -7)*(-3)/6. Which is smaller: j or g?
j
Let d = -1/1829 + 113401/5487. Which is smaller: d or 106?
d
Let g = 1561/26 + -60. Let f(p) = -7*p - 3. Let l be f(-1). Suppose -l*x + 4*c + 2 = -2, -2*x + 5*c + 8 = 0. Is g < x?
False
Let q be (-38 + -1 + 0)/((-51)/476). Suppose 6*g + 44 = -q. Which is smaller: g or -67?
g
Suppose -11*t + 13*t = 26. Suppose -1056 - 374 = t*c. Which is bigger: c or -111?
c
Let n = 96 - 51. Let p be 5/(-2)*(-918)/n. Let l = p - 44. Is 29/4 not equal to l?
True
Let n(z) = -9*z**2 - 25*z - 216. Let s be n(-11). Which is greater: s or -1029?
-1029
Let s be 14/21 - (-52)/(-44). Let q = -1/3 - s. Which is smaller: q or 2?
q
Let c = -44/2781 + -6/103. Is -156 <= c?
True
Let m(t) = -49*t**3 + 4*t**2 - 14*t + 11. Let u be m(1). Suppose 0*x - x - 46 = 0. Is u greater than x?
False
Let p be (-6)/(-21) + 1288/(-3136). Which is greater: p or -6.6?
p
Let j be (2114/350 + -6)*25. Do j and -5/2729 have the same value?
False
Let t = 9233 - 10619. Which is smaller: t or -1387?
-1387
Let j(d) = d**2 + 3*d + 8. Let o be j(0). Let g = -3 + o. Suppose -5*q + 15 = -4*s, -2*s + g*q = 9 + 6. Is -2/89 < s?
True
Let g be (-4)/24 - 38/(-12). Suppose 0 = -2*y + 5*v - 5, -5*y - g*v = -5 + 2. Suppose y = f + 3*f - 108. Is 28 equal to f?
False
Let l = 1 + 29. Let p = l + -29.38. Let h = 0.85 - p. Which is bigger: 0.2 or h?
h
Let i(t) = 11*t**2 + 6*t - 261. Let q be i(5). Is q < 152?
True
Let d = 42.03 + -0.03. Let n = -114 - -71. Let o = n + d. Which is smaller: o or 58?
o
Let y = 14226.1 + -14948. Let p = y + 721. Is p > -19?
True
Let v be (-410)/(-1025)*(-10)/4. Is v <= -4/3799?
True
Suppose -2*n - 30 = -2*v, 4*n - 4 = -0*n. Let m be 252/(-66)*v/(-3). Which is greater: 21 or m?
21
Let b(h) = 7*h + 189. Let g(u) = -47*u + 18. Let i be g(1). Let k be b(i). Which is greater: k or -35?
k
Let m = -1623419/629696 + -1/39356. Which is bigger: -3 or m?
m
Let z be (-2792)/28 + (-2)/7. Suppose 5*f + 2*v = 505, 3*f + 5*v - 147 = 156. Let h = f + z. Which is bigger: h or -2/27?
h
Let u be (-31)/28 - 2/(-2). Let r(b) = 3*b + 56. Let f = -337 - -318. Let q be r(f). Which is smaller: u or q?
q
Suppose -23*s = -19*s + 14400. Let r be 788/s + 4/18. Which is smaller: 1 or r?
r
Let f = 0.7 - -0.3. Let x = 781.604 - 1.604. Let d = -745 + x. Which is smaller: f or d?
f
Let k(c) = 2*c**3 - 6*c**2 - 61*c - 5. Let f be k(-4). Which is smaller: f or -103?
-103
Suppose -6*k + 36 - 12 = 0. Suppose 4*c - 2*z = -k*z + 10, 5*c = -z + 11. Let g be (-4)/(-8) - ((-1)/c - -2). Is -1/42 at most g?
False
Let c = 509497197679/2996 + -170059143. Let k = c + -2/749. Let f(w) = w**2 + w - 1. Let o be f(1). Which is greater: o or k?
k
Let n be ((-35)/(-10))/7 - (-410)/140. Which is smaller: 3 or n?
3
Let l = 1253 - 167. Which is bigger: 1082 or l?
l
Let w(g) = 2*g**2 + g + 32. Let d be w(0). Suppose -2*k - 5*a + 17 + 11 = 0, -3*a = 5*k - d. Suppose 4*i = -4*i + 5*i. Are i and k unequal?
True
Let m = 6 + -4. Suppose -18*t = -420 + 1986. Let q = -89 - t. Is q less than or equal to m?
True
Suppose 4*g = 3*g - 2*t + 11, -5*g - t = -10. Let u(x) = x + 42. Let p be u(-8). Suppose -31*r = -p*r, -4*r - 3 = -3*i. Is g equal to i?
True
Let j = -0.99 + 0.98. Let l(y) = y**3 - 5*y**2 - 8*y + 7. Let r be l(7). Let f be (2/2)/(r/(-14)). Which is greater: f or j?
j
Suppose -2*i - 26 = 2*v, -46*v + 12 = -50*v. Let t be i/2 - (-1939)/742*2. Is 0 at least t?
False
Let q be (266/21)/((-2)/(-54)). Suppose 0 = 6*n + q - 0. Which is smaller: n or -54?
n
Suppose -20*x - 27*x = -285572. Which is smaller: 6079 or x?
x
Suppose -h = -5*r - 538, -3*h + 106 + 104 = -2*r. Is r > -92?
False
Suppose -1358 = -0*r - 14*r. Suppose 13*m + 396 = r. Is m at most as big as -25?
False
Let t be (-1)/((1 - 4)/(-3)). Let a be (6/12)/(t/(-86)). Let g = 130/3 - a. Are 1/2 and g nonequal?
True
Suppose -75 = -5*y - 5*g, 2*y - g = -0*y + 15. Suppose 3*b - 5*j = -15, -2*j - 4 = 2*b - y. Is b >= -3/323?
True
Let y(m) = m**3 + 19*m**2 + 25*m - 12. Let d be y(-18). Is d >= -17?
False
Let l be (-1 - -17) + 18237/(-1137). Which is greater: -1 or l?
l
Let p be 704865/84 + -5 - 2/((-16)/(-2)). Are p and 8385 unequal?
True
Let m = -12220 - -64619359/5288. Which is greater: m or 0?
0
Let v = 0.37 - -28.63. Let g = v + -21.9. Let h = g - 19.1. Is -0.1 <= h?
False
Let g be ((-48)/648)/(2/(-13691)). Let i = -189 + 696. Let k = i - g. Which is bigger: k or 0.3?
0.3
Let i be -7 + 57/3 - 611. Is -595 at most i?
False
Let h be (17 - 22) + 14/2 + 2. Let w be (-11)/h - (-4)/(-4). Which is bigger: -5 or w?
w
Let a = -890 - -887. Let k = -2.2 - -5.4. Let z = a + k. Is z equal to -1/4?
False
Let g = -144.4 + 27.4. Let x = g - -65. Let v = -51.93 - x. Is 1 < v?
False
Suppose -46*f = 30*f + 29*f + 102060. Is -969 at most f?
False
Suppose -5*v + 29 = l - 0*v, -3*l = -2*v - 36. Let h be l/12*(1 + -2). Which is bigger: h or 0.5?
0.5
Let j(a) = 191*a + 2027. Let z be j(-10). Which is bigger: z or 92?
z
Let z = -271681.7108 - -271628. Let m = -0.6208 - z. Let d = m + -53. Which is bigger: 2 or d?
2
Let q = 45 - 39. Let r be 2 + -2 + q + (-306)/56. Is 2 bigger than r?
True
Suppose 3*h = -5*d, -4*d + 3*h + 30 = d