 t. Which is smaller: i or -2/7?
-2/7
Let w be (14 - 15)*(-2 - 0). Let d be 14*(-3)/18 + w. Which is bigger: d or -2?
d
Let m = 597293/1995 - 1497/5. Do m and 1 have different values?
True
Suppose -2 = 3*g + 2*q - 15, q - 9 = -2*g. Is -14 != g?
True
Suppose 3*b + 2*f - 19 = 0, -2*f + 13 - 9 = 0. Let q(s) = s**2 - 4*s + 1. Let c be q(4). Is b at most as big as c?
False
Suppose 2*x - 5*x = 4*q + 3475, 2312 = -2*x - 5*q. Let v = x - -796. Let h = -1837/5 - v. Which is smaller: -2 or h?
h
Suppose -4*s + 9*s - 3*w = 84, s + 5*w = 28. Is s != 21?
True
Suppose -2*d - 2*w + 7 = 39, -4*d - w = 49. Let j(q) = 3*q + 2. Let y be j(d). Let h = 29 + y. Which is greater: h or -10/17?
-10/17
Let m = -34 + 69. Let v be -7*2/10 + 14/m. Which is smaller: v or -2/11?
v
Let h = -1955 - -1956. Is -2 > h?
False
Let g = 35 - 39. Let d be (-207)/(-6)*g/(-3). Which is smaller: d or 47?
d
Suppose -4*t + 0*b + 3*b - 1402 = 0, 3*b = -6. Which is bigger: -351 or t?
-351
Let v be (-3)/(-1) - (8 - 5). Suppose -p + 0*p - 3 = 0. Let x be ((-4)/20)/(2 + p). Which is bigger: x or v?
x
Let l = 13 - -6. Let p(d) = d**3 + 11*d**2 + 20. Let t be p(-11). Which is smaller: t or l?
l
Let m be (2/6)/(2/18). Suppose 0 = -2*d + m*x - 20, -4*d + 3*d + 2*x = 12. Is -32/7 greater than or equal to d?
False
Let a be 6/3*-2*-25. Let s = a - 101. Is 2/51 less than s?
False
Suppose 0 = -249*o + 250*o - 16. Suppose 0 = 4*i - 4, -5*n - 3*i = -n - 67. Is o equal to n?
True
Let f = 0.1 - 0.2. Let a be 20 + -3 - (-1)/1. Suppose 0 = -a*u + 20*u + 28. Is u greater than or equal to f?
False
Let b be ((-6)/(-60))/(62*(-2)/10). Is -1 > b?
False
Let h = -8/411 + 231/137. Do h and -6 have the same value?
False
Let w(u) = u**2 + 5*u + 11*u + 6*u + 24 - 2*u. Let i be w(-19). Is 8 bigger than i?
True
Suppose 56 = w + 2*d, -2*w + 115 = 5*d - 2*d. Is 64 < w?
False
Suppose -4*i - 6 + 22 = 0. Suppose 12 = -5*j + 3*o, 0 = -2*j - o + i*o - 3. Let u be 1 + (j - 9/(-12)). Which is greater: -2 or u?
u
Let h = 2991/17 - 176. Suppose -3*c - 15 = -3*t, 0 = -3*c - 150*t + 155*t - 25. Is c at most as big as h?
False
Let y be 14/4 + 3/(-1). Let d = -27.72 + 0.72. Is y equal to d?
False
Let v = -208 + 206.2. Which is smaller: 13 or v?
v
Let t be 148/6 - (-2)/(-3). Suppose 2*f = -5*j + 25, 4*f - 1 - t = -5*j. Let q(v) = -2*v**2 + 10*v + 13. Let c be q(6). Is f > c?
False
Let g(f) = 3*f**3 - 29*f**2 - 8*f - 20. Let x be g(10). Which is bigger: 4/45 or x?
4/45
Let p(l) = -l**3 + 25*l**2 + 2*l - 53. Let q be p(25). Are 12 and q unequal?
True
Suppose 4*g - 2*g = 2. Let b be 0/(3 + g) + 0. Which is smaller: b or -4/71?
-4/71
Let f = 2.881 + -0.881. Suppose y + c - 24 = -3*y, 5*c = -2*y + 12. Let q be (2/4)/((-15)/y). Are q and f equal?
False
Suppose -4*g = -4*g - 18*g. Is -28/25 smaller than g?
True
Let l be ((-12)/(-8))/((-3)/6) + -15. Let r = -20 - l. Is -3/5 < r?
False
Suppose 3*c - 2*s - 79 = 0, 9*c + 3*s - 41 = 8*c. Let t be 56/3*3/2. Which is greater: c or t?
c
Let o = 137 + -117. Which is greater: 19 or o?
o
Let t(r) = 2*r**2 + 5*r + 3. Let u be t(0). Suppose 0*f + f + 51 = 5*h, -h - 5*f = -5. Let k be (-55)/h*(u - 5). Does k = 11?
True
Suppose 2*s + 0 = -4. Let h be 2/4*(-4 + s). Let x(l) = -l**3 - 4*l**2 - 4*l - 2. Let a be x(h). Which is bigger: 6/7 or a?
a
Suppose 5*u - 2200 = 5*a, -3*a - 1310 = -19*u + 14*u. Is a greater than -447?
True
Suppose -2*j + 0 + 19 = -5*q, -18 = 3*q + j. Let y be -7 + -3 + -4 + 9. Let m = y - q. Which is smaller: 1/13 or m?
m
Let a = 1190.2 + -1214. Is 1 < a?
False
Suppose -4526 = -103*i - 64369. Which is greater: i or -580?
-580
Let u = -1.2 + 1.9. Let f = 1.2 + u. Is 1 bigger than f?
False
Let x be 1851/5*(-2)/(-2). Let o = x + -369. Suppose -2*u + 2*a = -5*u, 2*a = 0. Which is greater: u or o?
o
Let j be (-1155)/2322 - (1 - (-39)/(-26)). Is 0 at most as big as j?
True
Let l be 20/15 + 2/3. Let y be (l - -1) + -1 + 4. Let r be (-25)/(-5) - (-1)/1. Is y smaller than r?
False
Suppose 2*y - 6 = 4*k, y = -2*y + 9. Suppose -2050 = -2*j + 4*j. Let g be (-360)/j + 2/(-5). Which is greater: k or g?
k
Let k = 31 + -28. Let v be (-1 - k) + 23/5. Is 2 smaller than v?
False
Suppose 3*x + 0 + 6 = -3*o, 4*o = -2*x - 8. Let a be 1/4 + 94/8. Suppose 0 = -u - 5*j - a, 3*u + 5*j + 2 = -4. Is x less than u?
True
Let i(g) = g**2 + 19*g + 10. Let f be i(-19). Suppose f*d - 14*d = -12. Let q be (-20)/60 - 5/d. Are -15/8 and q nonequal?
True
Let h be 140/(-120) + -17 + (-2)/(-12). Which is bigger: -91/5 or h?
h
Suppose -4*a - 2*l + 863 = -731, 1179 = 3*a - 4*l. Is a greater than 0.2?
True
Let o = -221 + 222. Which is smaller: o or -41?
-41
Let d(j) = -10*j**2 + j. Let g be d(1). Let z be ((-4)/3)/(1434/g). Which is smaller: z or 1?
z
Suppose 4*q - 3*w = -2*w - 3, -4*w + 12 = -4*q. Which is smaller: -6/125 or q?
-6/125
Let a(k) = k**3 + 33*k**2 - 33*k + 32. Let j be a(-34). Is 1 at most as big as j?
False
Let w = -1405 - -1389. Is -30 <= w?
True
Suppose -5*q - 6 = -11*q. Which is greater: q or -1/65?
q
Let y be -2 - 4/((-68)/33). Let s(h) = 9*h - 486. Let w be s(54). Which is smaller: w or y?
y
Let t be ((-250)/7)/((-20)/(-140)). Which is smaller: t or -249?
t
Suppose -7*k - 27 = 1. Which is greater: -21/5 or k?
k
Let a(y) = y**2 - 3*y - 4. Let k be a(4). Let g be -13 + 3 - 1/(2/(-8)). Let i be k - (-4)/(-8)*g. Is 3 less than i?
False
Let v be (-1)/(0 + 2/(-10)). Let t(w) = -2*w + 8. Let h be t(v). Is 18 less than or equal to h?
False
Let c = 806 - 652. Is c at most as big as 0.2?
False
Let y = -1/338 + -2011/5746. Let u = -14.2 - -14.2. Are u and y nonequal?
True
Suppose -3*z = -12, 2*z - 258 = -5*h + 5*z. Is h >= 53?
True
Let k be 10/(-25) + 4/10. Suppose 6 = 3*m - k*m. Suppose -764 = 2*s - 768. Is s at most m?
True
Let k(w) = -w**3 + 6*w**2 + 4. Let q be k(6). Let l = q + 2. Let s = -1 - l. Is -7 at least as big as s?
True
Let q = 217.91 - 218. Which is smaller: 2/3 or q?
q
Let r = -1 - -7. Let c be 2 - (-7 + r/3). Let z be c/(-18) - 3/(-6). Which is smaller: z or 0.1?
0.1
Suppose -2*z + 16 = 2*z. Suppose p = 5*b + 17, z*b + 25 - 3 = -2*p. Suppose w - 2*w - 2*f = 6, -4*w - 19 = 3*f. Are p and w equal?
False
Let h(t) = -t**3 + t**2 - 2*t + 3. Let d be h(3). Which is smaller: -20 or d?
d
Let n(l) = 4*l**2 - 83*l - 12. Let y be n(22). Is 101 less than or equal to y?
False
Suppose m + 22 = -3*r, 3*m + 36 = -4*r - 0*m. Let x be -2*(2 - (-15)/r). Let g = x + -1. Which is smaller: g or -1?
-1
Let o(i) = -i**2 - i - 179. Let z be o(0). Is z bigger than -179?
False
Let c = 83 + -83.05. Is -12 equal to c?
False
Let t = -59/20 + 15/4. Let y = 1.1 - 1.14. Let m = -1.04 - y. Which is smaller: t or m?
m
Let b = -508 - -478. Which is bigger: b or -25?
-25
Let u = -0.025 - -5.325. Let w = 0.3 - u. Is w at most as big as -1/3?
True
Let x = -0.123 + -6.177. Let s = -6.2 - x. Are s and 1/8 equal?
False
Let p(d) = -d + 2. Let a be p(-2). Let f = a - 2. Let l be (-4)/((-78)/10 - -7). Which is smaller: f or l?
f
Let r = -1262/7 + 7775/42. Is -2/7 less than r?
True
Let k be ((9 - 5)/(-4))/(-1). Is -1/6 > k?
False
Suppose 4 = -u - 0. Let x = -994 + 962. Let z be 1/u + 120/x. Is z > 0?
False
Suppose 5*p + 7*p + 12 = 0. Let g = 4 - 2. Let c be (2/84)/(g/8). Which is bigger: c or p?
c
Let s = -214 + 429/2. Which is greater: 0 or s?
s
Let h be (7187/5)/(3 + 351/(-15)). Let g = -141/2 - h. Are -1 and g equal?
False
Let x = 136 - 93. Let w = 87/2 - x. Which is smaller: w or -3/7?
-3/7
Let z be 436/18 - 20/90. Suppose 27*r + 66 = z*r. Which is smaller: -20 or r?
r
Suppose 0 = f + 3*f. Suppose -5*y - 63 = -12*y. Suppose -2*b - y = q, -5*q = -3*b - 0*b - 7. Is f less than or equal to q?
False
Let o(i) = i**2 - 10*i + 6. Let t be o(10). Suppose -t*x - 1 = 5. Is -4 <= x?
True
Let y be (-54)/6 - -5*7. Which is smaller: y or 7?
7
Let r be (((-2)/23)/(-2))/((-38)/(-570)). Is r less than 2?
True
Let m(u) = -u**2 + 19*u + 55. Let h be m(21). Is h < 13?
False
Let r be 1138/(-396) - (-4)/(-22). Let j = -9142/99 - -984/11. Let s = r - j. Which is greater: s or 1?
1
Let i be 6*((-14)/3 - -5). Suppose 2*o - g = -i + 3, 5*o - 7 = 4*g. Which is bigger: o or -1/33?
-1/33
Let f = 0.2 + -1.2. Let b = -1715/2 + 926. Let n = b - 67. Is f greater than n?
False
Let k(q) be the second derivative of q**5/20 - 3*q**4/4 + 3*q**3/2 + q**2/2 - 8*q. Let s be k(8). Is 