/36 - -26/9. Let m = h - 55/36. Is m less than or equal to d?
False
Let i = 990 - 1065.1. Let l = i - -75. Which is bigger: l or -1.2?
l
Let b be 3/(-5)*(-2880)/416. Is 4 greater than or equal to b?
False
Suppose -1 = 69*q - 68*q. Is 37 != q?
True
Let g = 19 + -20.1. Let w(s) = 1 + 1 - 20*s**2 + 12*s + 6*s**2 + s**3 + 12. Let u be w(13). Do u and g have the same value?
False
Let r = -0.57 + 0.37. Let l = r - 0. Which is bigger: -1/4 or l?
l
Suppose 6*o + 40 = 2*o. Let w be 9/o + (-30)/50. Is -3 > w?
False
Suppose 0 = -j + 3*l + 6, -2*j - 3*l + 3 = -6*j. Let o(y) = y**2 - 4*y - 5. Let a be o(4). Which is greater: j or a?
j
Let j = -0.01 - 3.99. Let v = 8 + j. Let b = -1.12 - -0.12. Is v at most b?
False
Let f(y) = y**2 + 11*y - 1. Let k be f(-11). Which is smaller: -1/145 or k?
k
Suppose 12*b = 9*b + 6. Suppose 0*d + d + 4*f + 20 = 0, d + 10 = -2*f. Suppose 0 = -d*c - b*c - 2. Is 2/5 < c?
False
Suppose -p - 9 = 2*m, m + 31 = -2*m + 2*p. Let k = m + 11. Let j be k - 3*(1 - 0). Is j at most 0?
False
Let f be 9*1*(1 + -2). Let j = 183 - 192. Is j less than f?
False
Let k = 2.01 - 2. Let f = -3.06 - -3.2. Let o = 0.24 - f. Which is bigger: k or o?
o
Suppose 2*z - 38 = -4*k - z, 4*k = 3*z + 50. Let v = 289 + -273.1. Let n = -16 + v. Which is greater: k or n?
k
Let j(z) = -z**2 + z. Let h be j(1). Let q = -66 + 96. Let t be 10/(-8)*((-36)/q)/6. Does h = t?
False
Suppose 28*s = 928 - 1208. Let y = 75/4 + -19. Which is bigger: y or s?
y
Let r be (-452)/168*(-1 + 2)*2. Let n = r + 17/3. Which is smaller: n or -2/13?
-2/13
Let k = -49 - -76. Let r = -26 + k. Which is greater: 7 or r?
7
Suppose -14 = 4*o + 2. Let x be (-6)/2*(-1 + 0). Suppose 2*l - 8 = 4*p - 0*l, -x*l - 12 = 2*p. Is p smaller than o?
False
Let n = -7 + 9. Let o be n/9 - 153/324. Let x = -0.1 - 4.9. Is x < o?
True
Let a = -16 - -15.94. Let w be (-12)/16*(-46)/18. Let v = -5/4 + w. Is v at least a?
True
Let f be ((-6)/45)/((-8)/(-12)). Suppose 195 - 91 = -26*b. Is f >= b?
True
Let l = 30.2 - 320.2. Which is smaller: l or -2?
l
Let j = 20 + -20.4. Let a = 1.4 + j. Are a and 2/7 equal?
False
Let o be ((-1450)/29)/(0 - -1). Let i = -54 - o. Let f be (((-4)/(-5))/(-1))/2. Which is smaller: f or i?
i
Let y(c) = c**3 - 15*c**2 + 12*c + 7. Let w be y(14). Which is smaller: -177/8 or w?
-177/8
Let l be 1/(614/1806 - 4/14). Let c = l - 1670/91. Is c less than or equal to 0?
False
Let x = -1.77 - -47.77. Are -3 and x equal?
False
Let i = 0.4 - -37.6. Let j = i + -64. Which is smaller: j or -0.1?
j
Suppose g + 0*g = h + 3, 5*h + 7 = 3*g. Let l(d) = 5*d. Let k(c) = -6*c + 1. Let p(r) = 3*k(r) + 4*l(r). Let m be p(h). Which is smaller: 4 or m?
4
Let l = 404.9 + -380. Let p = 25 - l. Which is smaller: p or 7?
p
Let r be (15/1)/(8/(-24)). Is 1/4 at least r?
True
Let y = 58/21 + -643/210. Let t = 2 + -1. Which is greater: t or y?
t
Let n be -5 + (-3)/(-3 + 0). Let m = 4 + n. Suppose -d + m*d = 7. Is -7 less than d?
False
Let k(n) = -n**2 + 6*n - 4. Let s be k(4). Suppose 2*u = 0, -3*v + u = -2*u - 9. Suppose 7*p = v*p + s. Which is bigger: p or -1/7?
p
Suppose 618 + 180 = -14*b. Is b <= -58?
False
Let b(m) = -m**2 - m - 8. Suppose -4*z + 6*z = 10. Suppose -3*v = 2*x + 4, -3*v - z*x = -1 + 11. Let l be b(v). Is -7 at most l?
False
Let s = -0.03 - -0.08. Let x = -0.45 - s. Let f = -0.7 - x. Is -0.3 greater than or equal to f?
False
Let r = -1478869/283868 + -10/5459. Let k = r + 21/4. Are k and 1 equal?
False
Let d(j) = j**2 + 12*j - 17. Let y be d(-13). Which is greater: -40/11 or y?
-40/11
Suppose 0 = -5*i + 5*s + 25, -3 = -s - 5. Suppose -i*t + 120 = 2*t. Is t at most as big as 25?
True
Let u = 33 + -21. Let d be (1/5)/(u/80). Which is smaller: 0 or d?
0
Let g = -0.1 - 0.1. Let x = -18 + 23. Suppose -x*m = -s + 2, -3*m - 12 = 3*s - 0*m. Which is greater: g or s?
g
Let r = -1.377 - -1.537. Are r and -4 nonequal?
True
Let z be 6088/(-34)*(-4)/76. Let p = 268741/28203 - -1/1659. Let o = p - z. Is -1 smaller than o?
True
Let r = -33.4 - -53.4. Is r smaller than 4?
False
Suppose m = -3, 2*t = 7*t - 5*m - 15. Let q = -24 - -13. Let s = q + 18. Which is bigger: t or s?
s
Suppose 2 = -p + 3. Let i be 0 + p - (3 - 2). Suppose 20 = j - i*f - 3*f, 4*j - 3*f - 44 = 0. Which is smaller: 6 or j?
6
Let n = -8.5 + 1.6. Let o = -5.4 - n. Which is bigger: o or -0.2?
o
Let i = 24 - 17. Suppose 5*w = -4*k - 0 - i, 0 = -4*w - 4*k - 4. Is -3 greater than or equal to w?
True
Let v = 10 + 11. Let j be (36/27 - 2)*-6*5. Which is greater: j or v?
v
Let q(m) = 12*m - 6. Let v be q(-3). Let o be (0 + 2)*6/v. Let l = -24 + 10. Which is greater: o or l?
o
Let n(d) = d**3 - 4*d**2 + d - 3. Let s be n(2). Does -1/4 = s?
False
Let q be 2/(((-2110)/(-20))/(2/(-12))). Is q at most -1?
False
Let c = 692 + -4828/7. Which is bigger: c or -4?
c
Let b = -18 - -45. Let q = b - 28. Is -11/8 at least as big as q?
False
Let u = -29 - -34. Suppose 12*f = 9*f - u*p - 32, 0 = f - 3*p - 8. Is -7 at least as big as f?
False
Suppose -5*v - 420 = -11*v. Which is greater: v or 69?
v
Let k be (1/8)/(-3 + 50/15). Let c = -6 + 16. Suppose 13*w - c*w = 0. Is k smaller than w?
False
Let v(q) = q**2 - 6*q + 6. Let d be v(5). Suppose -2*z = -10 + 2. Suppose -2*k + z*u = 8*u - 4, -k + 2*u = -6. Do k and d have the same value?
False
Let z = -327/116 + 2/29. Let o(k) = -k**3 + 6*k**2 + 9*k - 5. Let p be o(7). Suppose 5*i + p = -11. Which is bigger: z or i?
z
Let i = -31 + 28. Let n = 13 + -9.9. Let p = n - 3. Which is smaller: p or i?
i
Suppose 17*l = 18*l - 3. Suppose 0 = 5*s - 3*g - 10, -4*g + 2 = 4*s - 6. Suppose -18 = -4*v + s*v. Is v equal to l?
False
Let v(x) = -x**2 - 1. Let y(i) = -7*i**3 - 5*i**2 + 3*i - 4. Let q(h) = -3*v(h) + y(h). Let s be q(1). Is s greater than or equal to -2?
False
Let h = 140 + -557/4. Let c be (6/15)/((-1)/(-5)). Suppose -3*m = 3*r - 12, c*r + 4*m - m = 12. Are r and h equal?
False
Let p be (0 + 18/24)/((-951)/(-8)). Which is smaller: -1 or p?
-1
Let c be ((-6)/(-5))/((-38)/(-95)) - 52. Let g = c + 48. Is g equal to -6/11?
False
Let f = 321 + -320. Suppose 0 = 2*i + 3*i + 20, -62 = 2*z + 5*i. Is z at most f?
True
Suppose 0 = 3*t + 5*r + 4, 5*r + 7 = -4*t. Suppose -3 = -5*v + 32. Let l = -12 + v. Which is smaller: l or t?
l
Let w(n) = n**2 + n. Let g be w(1). Let t = 3/367454 + 156902393/56955370. Let c = t - 11/31. Is c not equal to g?
True
Suppose -3*f = 2*f - 15. Let p = -0.56 - -0.52. Is p at least f?
False
Suppose -r + 5*r = 16. Let x be (r/6)/(452/(-12)). Which is smaller: 1 or x?
x
Let f = 1774755521/247 - 7185235. Let g = f - 118/13. Are -1/3 and g unequal?
True
Let h = -78.51 + 76.51. Suppose -142 = 3*x + 2*l, x + x + 3*l + 88 = 0. Is x smaller than h?
True
Let v = 15 - -20. Let a be v - (3 - (0 + 2)). Suppose -4*r = -2*i + a, -3 = 4*r - r + 3*i. Which is smaller: r or -3?
r
Let l = 19384.814 - 19405. Let f = l + -0.014. Let s = f + 20. Is s bigger than -0.4?
True
Let l(t) = -2*t - 2. Let m be l(-1). Let z be (m + -4)/(4/(-2)). Which is smaller: -2/19 or z?
-2/19
Let m = -0.3 - 0.7. Let i = 90 + -90. Let q = m + i. Which is smaller: q or 1?
q
Let v = -0.135 - 0.265. Do -0.07 and v have the same value?
False
Let w = -26635/39 - -683. Is 0 equal to w?
False
Suppose 4*c + f = 10, 3*c + 2*c - 2 = 4*f. Suppose -4*q = s - 31, -3 = q + 2*s - c. Let d be 3/q - (-19)/(-3). Are -6 and d non-equal?
False
Let b = 39 - 24. Let z = -246 + 256. Is z equal to b?
False
Let s = 0.297 - 0.257. Which is bigger: 0.1 or s?
0.1
Let y = -222 - -13095/59. Let l = y + 440/531. Do 0 and l have the same value?
False
Let o(r) be the second derivative of 11*r + 1/12*r**4 + r**2 + 1/3*r**3 + 0. Let f be o(-2). Which is bigger: 4 or f?
4
Let b be (77/(-4))/((-6)/(-24)) - 2. Let n = -79 - b. Which is bigger: 2/9 or n?
2/9
Let v be (-1 - -5)*(-1 - (-51)/36). Is v at most as big as -1?
False
Let j be ((-6 - -1)/(-5))/1. Let b be -3 + 0 - (-108)/40. Which is smaller: j or b?
b
Suppose 3*o = 1274 + 1012. Is o greater than or equal to 763?
False
Let k be (2 - 80/(-92))*537/8. Let h = -771/4 + k. Suppose 0*x = 4*x. Is x at least as big as h?
True
Let j be (-7)/(-3) + 42/63. Suppose j*n = -u - 2*u, -u - 5*n = 20. Is u at most as big as 4?
False
Let h = 0.04 + -1.04. Let i(v) = -2*v + 1. Let l be i(0). Is h < l?
True
Let c = 3/2 + -17/6. Let k = -107.49 + 107.