 m be 6/(-5)*30/12. Let i be (-10)/3 + 2/m. Is i at most v?
True
Let p = -2.93 - -2.83. Let k = -50 - -27. Are p and k equal?
False
Let y be 0 + 1 + -2 + 1. Let p = 1 - y. Let v be 80/768*4*(-2)/5. Which is smaller: v or p?
v
Suppose 80 = 4*s - 2*i, -40 = -2*s - 5*i - 0. Is s at most as big as 27?
True
Suppose 0*j - 5 = 5*j + 5*t, 5 = -4*j - 5*t. Suppose 6*s - 7*s + 6 = j. Let l be -8*(2 - s)/16. Which is bigger: 4 or l?
4
Let l(w) = -w**2 + 7*w - 1. Let t(q) = -2*q**2 - 11*q + 13. Let v be t(-6). Let r be l(v). Is -8/25 at least as big as r?
True
Let d(n) = 220*n**2 + 2*n - 3. Let k be d(1). Let t = k - 1309/6. Let l be 2/6*(-3)/(-1). Which is smaller: l or t?
t
Let v be (-6)/(-30)*(1 - -1). Let n be (-14)/(-4)*(-72)/(-63). Suppose -4*t = -s + n, s - 4 = -8*t + 3*t. Is t less than or equal to v?
True
Let p = 21.8 - 22. Which is smaller: p or 90?
p
Suppose -b - 5*k = 3*b - 20, -3*b - 2*k = -8. Let u be (-3)/(-6) - 590/460. Let j = -1108/1357 - u. Which is bigger: j or b?
b
Suppose 0*a - 4*a = -3*y + 10, -4*a = 4. Let z be 3*(44/12 - y). Suppose -2*o + 15 = -z*o. Do o and -5 have the same value?
True
Let j(q) = q**3 + 35*q**2 + 32*q + 12. Let a be j(-34). Is 81 smaller than a?
False
Suppose 3*n + 0*n = 129. Let t = n + -44. Is t at least as big as 69?
False
Let o = 5.65 - 2.65. Which is greater: -21 or o?
o
Let o(g) be the third derivative of g**6/120 + 2*g**5/15 + g**4/3 - 4*g**3/3 - 13*g**2. Let f be -1 + (2 - (-16)/(-2)). Let x be o(f). Is x > -15?
False
Let i = 3.539 + -1.239. Which is bigger: i or -0.12?
i
Let w(h) = h**2 + 7*h + 4. Let g be w(-7). Let p(k) = -3*k - 5. Let f(n) = -21*n - 36. Let q(x) = -2*f(x) + 15*p(x). Let z be q(-3). Is z at least g?
True
Let f = -34 - -45. Let h = f - 11. Does 0.6 = h?
False
Let m be (31868/496)/(2/16). Is m at most as big as 0?
False
Suppose -5*l + 4 = -16. Suppose 4*q - 2 = -x + l, 2*x + 5*q = -3. Is -13 greater than x?
True
Let t = -12991/50 - -1299/5. Suppose 4*u = 6 - 2. Which is smaller: u or t?
t
Let s(l) = -l**2 + 27*l - 31. Let j be s(4). Are 63 and j unequal?
True
Let z(m) = -m**3 - 1. Let o be z(0). Let r = -10 + 22.9. Let j = r + 0.1. Which is smaller: j or o?
o
Let d = 0.093 - 0.13. Let c = -0.063 + d. Is -62 at least c?
False
Let s be (-1 - -2)*(-1 - -10). Suppose 0 = s*y - 14*y - 5. Is -0.4 equal to y?
False
Let f(n) = 2*n**2 + 37*n + 8. Let z be f(-17). Which is smaller: z or -32?
z
Suppose s = 2*r + 2*s - 4, -5*s = 0. Suppose 4*p = -14 + r. Do 0.1 and p have different values?
True
Let s = -1291 + 1260. Which is smaller: -25 or s?
s
Suppose 5*j = -45 + 65. Let n(q) = 5*q + 2. Let r be n(j). Are 24 and r unequal?
True
Let k(p) = -4*p - 12. Let f(v) = -v**2 + 3. Let g be f(-3). Let x be k(g). Suppose t - 4*h + x = 0, -4 + 1 = 4*t - h. Is 1 greater than t?
True
Suppose w - 4 = -3*z + 1, 15 = 3*w - 5*z. Suppose -5*g = 5*h + 50, 2*h - 64 = 9*g - w*g. Is -17 greater than or equal to g?
False
Suppose -3*c = -2*u - 58 + 53, 3*c + 7 = -u. Is c not equal to -2/259?
True
Suppose -g - 46 = -46. Suppose -r - 5 + 67 = g. Is 61 bigger than r?
False
Let r(j) = 4 + 3*j - 5 - 1 - 2*j - 11*j**2. Let k be r(-8). Let p = k + 5010/7. Which is smaller: 2 or p?
p
Let w(s) = 20*s + 142. Let y be w(-7). Do y and 24/37 have the same value?
False
Let d be 1*-2 - (-2234)/1000. Let p = -2/125 - d. Which is greater: -1 or p?
p
Let q be 1/(-3) + 14/6. Let i be ((-2)/3)/(9/(-81)). Let u be (-1)/3 + 8/i - -2. Is u equal to q?
False
Let z be 2 - (3/5 + (-36)/10). Suppose 0*b - 5*n = -b + 5, -5 = 5*b + z*n. Which is greater: -40 or b?
b
Let d = -0.33 - -4.63. Let s = d + 0.7. Are -4 and s nonequal?
True
Let o = -60.8 - -60.4. Which is smaller: o or 2.7?
o
Let a be ((-36)/8 - -2) + (-4325)/10. Which is bigger: -436 or a?
a
Let t = -82.636 + 0.636. Which is greater: t or -0.1?
-0.1
Let c be (-16)/8 - -2*1. Let j = 77/23 - 4011/1150. Let q = 111/100 - j. Which is bigger: c or q?
q
Let i be 4/12 + 42/9. Suppose 3*l - 1 = r, i = 5*l - 3*r - 2. Let f be l/(-2)*1/(-8). Do 1/4 and f have different values?
True
Suppose 4*u = 2*m - 22, -2*m + 8 - 1 = u. Let f be 4/6*(-30)/m. Let t be 16/42*6/f. Which is smaller: t or 0?
t
Let v = 81 - 393. Is v greater than or equal to -312?
True
Let g(x) = 2*x**3 - 3*x**2 + 3*x - 1. Let q be g(1). Let f be (-3)/(0 - (0 - q)). Are f and -3 non-equal?
False
Let y = 129/14 + -61/7. Which is bigger: -294 or y?
y
Let z be (2082/(-9))/(-6 - (-40)/6). Is z less than or equal to -348?
False
Let a(y) = -3 - 104*y**2 - 13*y + 105*y**2 - 1. Let u be a(9). Is -40 greater than u?
False
Let n(j) = -8*j - 21. Let b be n(13). Which is smaller: b or -123?
b
Suppose 56 = 3*d - 2*q + 18, 76 = 5*d + 3*q. Is 14 <= d?
True
Let v be -14*(20/(-8))/(-5). Let g be 14/(-49) - (-5)/v. Suppose -m - 34 = m. Which is smaller: m or g?
m
Let n = -75 + 149. Is 73 at most as big as n?
True
Let p be (-4)/8*4 - -2. Let x be 42 + (p + 1 - 2). Suppose -x + 15 = -2*s. Which is greater: 14 or s?
14
Let t = -3548 + 3301.1. Let b = t - -233. Let p = -14 - b. Which is bigger: -2 or p?
p
Let r = -16 + 14. Let k be r*2/16 + (-111)/4. Is -28 greater than k?
False
Let x(y) = -y**2 - 7*y + 2. Let m be x(-7). Suppose 48 = -4*z - m*d, 0 - 6 = -3*d. Suppose -4*n - 56 = 2*a, 0 = 4*n - 2*a + 3*a + 56. Is z >= n?
True
Suppose -2*y + 2*m = -3*m - 16, 2*y - 3*m = 12. Is 2/5 at most y?
True
Suppose q - 3*l = 5*q + 60, 0 = 5*q + 5*l + 80. Let a = q - -18. Let c be ((-3)/a)/(33/24). Are c and 1 equal?
False
Let a(t) = 2*t**3 - 39*t**2 + 17*t + 38. Let x be a(19). Which is bigger: x or 3/244?
3/244
Let p = -9.38 + 11.7. Let o = p + -2.4. Let i = 0.62 - o. Which is greater: i or 0?
i
Let a be (16 + -2 + -8)*(-2)/304. Is 0 at most a?
False
Let h(c) = c - 15. Let b = 5 - -10. Let l be h(b). Suppose -j - 4*j + 15 = l. Which is bigger: 8 or j?
8
Suppose -4*h + 24 = -3*h - 5*j, 4*h - 21 = 5*j. Suppose 20*l = 18*l - 6. Let p be (-4)/(l + 15)*h. Is p <= 13?
True
Let d(h) = -h**3 + 18*h**2 - 33*h + 16. Let a be d(16). Is 2/71 smaller than a?
False
Let n = -43261521/4342 + 19927/2. Which is bigger: 1 or n?
1
Suppose -v = 5*p - 52, -p - 124 = -4*v - 0*v. Let z be (v/18)/8 + 4/(-18). Is z >= 3?
False
Suppose -7*d = -574 + 168. Let c = -58 + d. Which is greater: -2/135 or c?
c
Let c(a) = 3*a**3 + 6*a**2 - 3*a - 5. Let d be c(3). Which is smaller: d or 599/5?
599/5
Suppose 0 = -5*m - 5*z + 40, -2*m + 4*z + 0 = 2. Suppose 8 = -8*v + 48. Is v greater than m?
False
Suppose 0 = -18*o - 89 - 1045. Which is bigger: o or -2/3?
-2/3
Suppose 0 = -39*j + 1185 - 15. Are j and 175/6 equal?
False
Suppose 4*x - 19 - 21 = 5*q, 2*q - x + 19 = 0. Let f = 329 + -325. Suppose 20 + 15 = -2*o + 3*m, 0 = f*o - 2*m + 50. Which is bigger: q or o?
o
Let t = -38 + 30. Let p(z) = 3*z + 19. Let g be p(t). Which is bigger: g or 2/3?
2/3
Let m = 3.9 + -6.6. Let a = -3 - m. Let o = -12 - -11. Which is greater: a or o?
a
Let d = -14633/5 - -2958. Let v = 28 - -3. Let g = d - v. Is -1 > g?
False
Let k(q) be the second derivative of -q**5/20 - 2*q**4/3 + 5*q**2/2 + q. Let b be k(-8). Let a(t) = -t**2 - 3*t + 2. Let h be a(-2). Which is bigger: b or h?
b
Suppose n + 30 = 6*n. Let c be (210/(-280))/(1/(-16)). Let u be 2/n*c/40. Which is smaller: 1 or u?
u
Let p(o) = 3*o**2 + 14*o - 4. Let j = 1 + -7. Let h be p(j). Is h greater than 20?
False
Let a = -41 - -48. Suppose -w + 3*y + a = -2*y, 0 = -y. Do 6 and w have the same value?
False
Let a be -2 - (1 + 122/1*-1). Let u = -147 + a. Which is greater: -0.1 or u?
-0.1
Suppose -191 = -47*m + 608. Suppose 0*r - 2*r = -2*q + 4, 5*r = 4*q - 10. Is r <= m?
True
Let r = 1461 + -1385. Which is smaller: r or 78?
r
Let b = 979 - 990. Which is greater: b or -57/5?
b
Let z be (771/1542)/(1/(-2)). Let h(s) = -s + 1. Let i be h(1). Which is smaller: i or z?
z
Let j(f) = -f**2 - 30*f + 109. Let m be j(-33). Which is smaller: m or 77/8?
77/8
Suppose -2*z = z - 15. Suppose -2*g + g + z = 0. Is 7 <= g?
False
Let x = -428 - -426.68. Which is smaller: x or -0.2?
x
Let p = -15.2 - -15. Which is smaller: p or 6/47?
p
Let t be -3 + 4/(152/118). Let m be 15/5 - 2 - 3. Do t and m have the same value?
False
Let s(o) be the third derivative of o**6/120 + o**5/5 - 7*o**4/12 - o**3/6 + o**2. Let f be s(-13). Let d = -13 + f. Is 1/14 at least as big as d?
True
Let h = 9 + 10. Let o 