r than c?
True
Let f be (8 + 276/(-36))*21. Is 76/11 >= f?
False
Let r = -1255/1001 - 16/77. Let z = 47/39 - r. Which is bigger: 4 or z?
4
Suppose 0 = -17*o + 9*o - 560. Let t be 2*1 + 6*20/o. Let d be ((-6)/4)/3*2. Are d and t unequal?
True
Let g be (-888)/48*4/3*-3. Which is smaller: g or 68?
68
Let n = 3/62 + -311/1302. Is n < -1?
False
Let t = 347 + -286. Are t and 59 non-equal?
True
Let k = -0.07 + 31.07. Let r = k - 30. Is r not equal to -0.02?
True
Let o(n) = -16*n**2 - 81*n - 6. Let x be o(-5). Which is smaller: 2/87 or x?
x
Suppose -4*p = 2*a - 8 - 4, 6 = 5*a - 2*p. Let k be (3/a)/(5 - 4). Which is smaller: k or 2?
k
Let d be 9 - 0 - 84 - 6. Which is bigger: d or -82?
d
Suppose -5*f - 4*j + 825 = -2*j, -4*j - 165 = -f. Suppose -7*z = -2*z - f. Is 33 at most z?
True
Let c = -0.4 - -0.44. Let r = -1492 - -1492.2. Is r less than c?
False
Let q(j) = -j - 29. Let l be q(-14). Let g be (l/35 + 3)/2. Is 2 greater than g?
True
Let w(f) = -f + 14. Let m be w(11). Suppose -3*p + 271 = 4*l + 55, 0 = -m*l + p + 175. Are l and 57 unequal?
False
Let b = -94 - -94.01. Let h = 0.047 - b. Which is greater: h or 2/9?
2/9
Let z be 4*(-3)/(-12)*22. Suppose -z = 2*t + 20. Let c be ((-1)/t)/(2/6). Is c less than 1?
True
Let j = 191/1005 - -2/201. Is j at least -52?
True
Let q = -131 - -314. Which is greater: 184 or q?
184
Let z(q) be the third derivative of q**5/60 + q**4/4 + 2*q**3/3 - q**2. Let t be z(-6). Suppose 4*p + 20 = t. Which is smaller: p or -3?
p
Let n = 160.89 - 161. Are n and -7 equal?
False
Let y be 2 + 1 - (0 - -1). Let p be y/(1 + 2*5). Let n be 0*(1/(-2) - ((2 - 5) + 2)). Which is greater: n or p?
p
Let h be (-540)/183 - (1 - 4). Let s = h - 88/549. Is -2/5 <= s?
True
Let n be (-2*8/(-21))/((-4)/(-60)). Let l = -254/21 + n. Is -4.9 less than l?
True
Let j(m) = -8*m**2 - 2*m + 1. Let t be j(1). Let i(h) = -17*h - 19*h - 21*h + 56*h - 5. Let s be i(t). Are 3 and s equal?
False
Suppose l = -4*d - 16, 0 = 54*l - 59*l + 2*d + 8. Let b = -5.565 - 0.035. Is b smaller than l?
True
Suppose -208 = 25*d - 17*d. Does -23 = d?
False
Suppose -z - z + 38 = 0. Suppose 2*v - z = 5*m, -6*v + 5*m + 63 = -2*v. Let q = v - 65/3. Does 0 = q?
False
Suppose 2*w + 5*u - 307 = -125, -5*w = 5*u - 455. Suppose 3*b + 27 = -x, 4*b + w = -4*x + x. Which is smaller: -34 or x?
-34
Let g be (-7675)/(-9800) - (-9)/(-24). Is 1 greater than or equal to g?
True
Let l(u) = u**3 + 4*u**2 + 3. Let v be l(-4). Suppose 18 = v*x - 15. Which is smaller: x or 14?
x
Let q be (-12)/(-26) - 2325168/(-12194). Which is smaller: 190 or q?
190
Let a be (-60 - -61)*(123/(-234) + (-1)/(-2)). Suppose -4*g = g. Which is smaller: a or g?
a
Suppose 15*p - 400 = 5*p. Let g = 41 - p. Which is greater: -2/433 or g?
g
Suppose 86*t = 87*t - 12. Suppose 5*p + 4*i - 3 - 38 = 0, 4*p - t = 2*i. Suppose 0 = q + q - 8. Which is smaller: q or p?
q
Let m = 0.18 - 10.18. Let i = -9.97 - m. Let u = i + 5.97. Is u equal to -0.1?
False
Let t be (-2)/6 + (-78)/(-18). Let r = -47 - -47. Let p be r - 6/(-15) - (-12)/(-30). Is p greater than t?
False
Let x = -38.008 + 0.008. Let c = -35.63 - -0.63. Let o = x - c. Which is smaller: -0.3 or o?
o
Let m(j) = 4*j + 18. Let l be m(7). Which is smaller: 47 or l?
l
Let a be (12/14)/((-1)/(-7)). Let l = 14 + -10. Suppose y - o = 1, 5*y - 5 = 4*o + l. Is a equal to y?
False
Suppose -33 = 5*a - 3*c + 88, 5*c - 56 = 2*a. Let l = a + 2. Let m be (-1 - 54/l) + -2. Is m < -1?
False
Suppose 7 + 2 = 3*d. Suppose -r + d*r = -2. Let k = -755 - -11329/15. Is k less than r?
False
Let f(l) = 12*l**3 - l**2 - l. Let t be f(-2). Let b be ((-14)/t)/((-1)/(-215)). Let u = b + -31. Which is bigger: 1/5 or u?
1/5
Let v = 536 + -592. Which is greater: -2 or v?
-2
Suppose o + 11 = 5. Let x = 91 + -38. Suppose -2*t + 17 = -3*t + 2*v, -5*v = -4*t - x. Does o = t?
False
Let q = -0.06 + -52.94. Let f = -56 - q. Is 0.1 smaller than f?
False
Let c = 821 - 822. Which is smaller: -12 or c?
-12
Suppose -o + 9 = -0*v + v, -4*o - 5*v = -41. Suppose -2*k - 46 = -3*f - 12, 2*f - 28 = -o*k. Which is smaller: 11 or f?
11
Suppose -j - 4 = 3*p + 3*j, -3*p = -2*j - 2. Suppose -7*q + 8*q + 954 = p. Let g = 75368/79 + q. Is g at most 1?
True
Let r = 132534539/120 - 1104434. Let b = r + -165/8. Which is smaller: b or 0?
b
Let t be (52/36)/((-2)/3). Suppose 8*j - 7 + 23 = 0. Is t at least j?
False
Let t be 2/(-1) - (-9 + 0). Let a(l) = -17*l - 4. Let i(b) = 9*b + 2. Let q(u) = -4*a(u) - 7*i(u). Let p be q(1). Are p and t unequal?
False
Let q = -2.847 + 2.947. Let p = -12 + -13. Which is bigger: p or q?
q
Let c(g) = -g**3 + 1. Let v be c(0). Let d be (38*-1)/(v - -1). Is -18 smaller than d?
False
Let s be ((9 - 5) + 0)*3/(-3). Let k = -24 - -143/6. Is s at most as big as k?
True
Let g = -56.9 + 57. Which is bigger: g or 23?
23
Let g be 380/248 - (0 - 6/(-4)). Is g at most as big as 2?
True
Let u be (-108)/(-18)*2/(-4). Is u less than -27/7?
False
Let l = -63 - -62.34. Let h = l + 1.66. Is h != -4/9?
True
Suppose -2*x + 14 = -18. Let l be 20/12*13/65. Which is greater: x or l?
x
Let a(g) = -2*g**2 + g + 0*g**2 + 5*g**3 - 6*g**3 + 7*g**2 - 4. Let h be a(5). Is 2/91 smaller than h?
True
Let f = -1/1005 - -1037/32160. Is 1 at least as big as f?
True
Let i = -72410944/773115 + 24184/259. Let p = i - -4/199. Does 0 = p?
False
Let o = 278 + -286. Which is smaller: o or 12?
o
Let z = 0.0793 - 9.0793. Which is smaller: z or 0.25?
z
Let s = 41765/90079 - 1/81890. Let p = -7131/22 - -324. Let y = p - s. Is y smaller than 0?
True
Let h be (532/36)/(-7) - -7. Which is bigger: 5 or h?
5
Let o(j) = j**3 - 6*j**2 + 5*j + 2. Let x be o(5). Suppose x*k + a + 5 = 7*k, 15 = 3*a. Suppose k*d + 5*r + 21 = 0, -2 = -3*d + r - 8. Are d and -2 non-equal?
True
Let b = 4.4 - -15.6. Let q = -22 + b. Do -2 and q have different values?
False
Let s be (4/6)/((-2)/66). Suppose 19 = h - 3. Let c = h + s. Is 0.2 not equal to c?
True
Suppose -r + 0*v + 19 = 5*v, 0 = -3*r + 4*v - 38. Let s = r + 10. Let d(l) = 2*l**3 - 10*l**2 + 4*l - 5. Let m be d(s). Is -22 at least m?
False
Suppose -5*c = -5*o + 4*o - 32, -o - 2 = 0. Suppose c*j = 1 + 17. Are j and 0 nonequal?
True
Let g be 9/((-162)/(-12))*(-27)/2. Suppose 0 + 2 = j. Suppose -25 = 3*t - 4*a, j*t - 3*a + 9 = -7. Are g and t equal?
False
Let j be (-104)/17 + 32 + -26. Which is bigger: -1/5 or j?
j
Suppose -2*j = -3*j + 50. Let x be 5 + 40/15*(-138)/(-8). Which is smaller: x or j?
j
Let r = 7 - 5. Let t be (r - 2) + (31 - -4). Which is smaller: 36 or t?
t
Suppose 2 = 29*o - 31*o. Let f be 4 - o - 598/143. Is -1 greater than or equal to f?
False
Let v(n) be the third derivative of n**6/120 + 3*n**5/20 + 3*n**4/8 + 2*n**3 - 14*n**2. Let w be v(-8). Is 1 at least w?
False
Let p = -3 - -4. Let f = -52.7 + 55.7. Which is smaller: f or p?
p
Let r = 3 + 63. Which is bigger: 1/2 or r?
r
Let y(u) = u**3 - 41*u**2 - 82*u - 108. Let f be y(43). Is f greater than or equal to -10?
True
Suppose -12 = 5*l + 3. Let f be (-1 + 1)/(l/(-3)). Let j(a) = -a**3 + 9*a**2 - 19*a - 5. Let y be j(5). Is y smaller than f?
False
Let u = -1515 + 13637/9. Which is greater: -137 or u?
u
Let y = -50 - -83. Is y bigger than 34?
False
Suppose 65*l - 66*l = 52. Which is greater: l or -53?
l
Let a be (-352)/(-68) - (-7 - -5 - -7). Are -4 and a equal?
False
Suppose j - 4 = 2*c, -6*c = -c + 5*j + 10. Let h = -1 + 5. Let a be c/3 + h/(-12). Is -5/4 at most a?
True
Let g = 0.143 - -0.217. Which is smaller: g or -0.2?
-0.2
Suppose 2*u - 471 = 3*m, 2*u + 3*m - 465 = -0*u. Let z = u + -1142/5. Is 6 at most as big as z?
False
Suppose 0 = -h + 1, -3*n + 8*n = 5*h - 60. Which is smaller: -106/11 or n?
n
Let w be (-3 - 21) + 4 + 2. Let a = w + 22. Do 14/3 and a have the same value?
False
Let u = 73/2079 + 3/77. Let g(m) = 4*m + 1. Let n be g(1). Suppose -3*f = -2*k - 17, 2*k - 4*k - n*f + 23 = 0. Which is bigger: k or u?
u
Let k be 5/(60/28)*3. Let c = 21 + -9. Suppose b = -2*z - 3, c = z - 4*z. Which is bigger: k or b?
k
Let o = -3.09 + 2.89. Let l = 0 + 0. Let a = 2 - l. Which is greater: a or o?
a
Let g = -36681/224 - -1150/7. Which is greater: 0 or g?
g
Let o = 217 + -663. Is -447 greater than o?
False
Let i be 1132/42 + 2/(-7). Suppose -31*z + 85 = -1086 + 303. Which is bigger: i or z?
z
Suppose -5*l = 4*o - 68, -2*o = l - 5*o - 6. Let y be