 + 152 = 3*t. Suppose o + 7 = -t. Which is greater: o or 0.1?
0.1
Suppose -5 = -m + f - 4*f, -4*m + 2*f + 6 = 0. Suppose n - 19 = -4*y, 0 = -4*n + m*y - 22 + 170. Let x be 2/(-14) - 5/n. Which is smaller: -4 or x?
-4
Let o(b) = -b**3 + 9*b**2 - b + 7. Suppose -3*f = -5*d - 27, 3*f + 3*d = -d + 27. Let v be o(f). Let i be (-4)/v*-1*-2. Do i and 2 have different values?
True
Let w = -10.23 - -9.23. Is w at least as big as 10/11?
False
Let d = 25 - 8. Let l = d - 17. Let k = 3.7 + 1.3. Is l < k?
True
Let p = -63/20 - -15/4. Which is greater: p or -38?
p
Suppose -h - 5 = 4*h. Let m be -1 - 12/(-2)*15/102. Is h less than or equal to m?
True
Suppose -3*v = -2*v. Let i = -2063/3572 + 29/47. Is v > i?
False
Let i = 90 - 628/7. Let g = -0.33 + 0.81. Let s = 0.69 - g. Which is smaller: i or s?
s
Suppose g - 3*g = -5*i + 34, 0 = i + 2*g - 2. Suppose 4*n - m = 6, 5*n + 3*m - 11 = i*m. Are -2 and n nonequal?
True
Suppose 2*h - 18 + 24 = 0, -4*h + 63 = 5*y. Is y equal to -17?
False
Let i be 385/110 + (-2 - 0). Let p be (-1 + -4)*2/2. Let u be p*(2 - (-33)/(-15)). Which is bigger: i or u?
i
Let r = 8 - 1. Let o = 798 + -796. Which is smaller: o or r?
o
Let t = -32 + 36. Let j be (7 - t - (3 - 3))/(-1). Which is greater: -20/7 or j?
-20/7
Suppose 0 = -13*n - 26*n - 39. Is n <= -1/41?
True
Suppose 6*m = -9*m + 21*m. Which is smaller: 9/44 or m?
m
Let r be 0/((2 - -2)/(-2) - -3). Let j(d) = d + 12. Let y be j(0). Let k be 5/(50/y) - 1. Which is smaller: k or r?
r
Let b(u) = u**3 - 2*u**2 - 5*u - 1. Let k be b(4). Let v(j) = j + j**2 + 11*j**2 - 4 + 0 + 2. Let d be v(1). Is d >= k?
True
Let j be 12*((-38)/(-84) + 6/(-21)). Which is greater: j or 12/23?
j
Suppose -2*c + 39*s - 40*s - 165 = 0, -2*c + s - 167 = 0. Is 1 less than or equal to c?
False
Let n(k) = -k**3 - 4*k**2 - 5*k - 5. Let t be n(-3). Let w be -1*(1 + t) - -7. Suppose w*g - 44 = 1. Do g and 9 have the same value?
True
Suppose 2*s = 3*s + 7. Suppose 5*h - 4*d = 613, 2*h - 6*h - d + 503 = 0. Let f = h - 133. Is s >= f?
True
Let z be 5135/(-91) - (-12)/(-21). Do -57 and z have different values?
False
Suppose 7*i = i + 528. Which is smaller: i or 86?
86
Let i = -57 + 63. Suppose -21 = k + 2*a, 4*k - i*a = -a - 32. Is k bigger than -41/3?
True
Let v be (-4)/(-3)*(-8)/32. Suppose 4*x - 16 + 0 = 0. Let d be (1*x/6)/(-1). Which is bigger: d or v?
v
Let d(y) = 54*y - 1485. Let u be d(40). Which is smaller: 0.1 or u?
0.1
Let s = -2.656 + -0.344. Is 6/85 less than or equal to s?
False
Let t = -44.4 - -46.4. Which is smaller: t or 0.22?
0.22
Let k = 42 + -31. Let q = 29 - k. Let t be 1*(-2*1 - -1). Which is smaller: q or t?
t
Let j = -5 - -4. Let t = -3/4 - j. Let v be (-48)/36 + 22/12. Which is bigger: v or t?
v
Let k be (-3)/18 - (-188)/(-24). Let h be -3 - ((-2)/k - 4). Do 2 and h have the same value?
False
Let z = 18 + -11. Let a = z + 5. Suppose -t - a = -4*t. Which is bigger: t or 3?
t
Let j(y) = -y**2 + 13*y - 2. Let n be j(12). Suppose -2*r = -3*h + 26, 4*h - 4*r - 33 = -3*r. Is n less than or equal to h?
False
Let t be -1 - (2 + 3*-1). Suppose x - 18 = -5*x. Suppose -f + 2 = -2*o, -4*o - 3 - 11 = x*f. Do f and t have the same value?
False
Suppose 20 - 71 = 17*d. Which is bigger: 4/53 or d?
4/53
Let r(c) = c**2 + 33*c + 56. Let d be r(-31). Which is greater: -98/15 or d?
d
Suppose 22*x + 100 = -28*x. Is x less than -40?
False
Let h = 29794 - 2592148/87. Let j = 4/29 + h. Let c(a) = a**3 + 6*a**2. Let x be c(-6). Which is smaller: j or x?
j
Let y(l) = -l**3 - 2*l**2 + 2*l + 1. Let o be y(-3). Suppose -o*b + 14 = -2*b. Which is greater: b or 3?
b
Let q = 6/2189 - -1035367/10945. Let g = q + -95. Let r be 1/(-3) + (-2)/(-2). Which is bigger: g or r?
r
Let x(j) = -j**2 - 5*j - 4. Let o be x(-3). Let p be (4 - 4)/(6/o). Do p and 0 have different values?
False
Suppose 0*w = 2*w + 2860. Let q be 94/(-611) - (0 - (-168)/w). Which is bigger: q or -1?
q
Suppose -3*m = -2 + 5. Let s(o) = -o**2 - o - 1. Let g be s(m). Let z = g - -11. Is z less than 10?
False
Suppose 4*i + 3*a - 50 = 2*a, -i + 2*a + 17 = 0. Suppose -m - 131 = -5*h, -8*h = -i*h. Which is smaller: -132 or m?
-132
Let c = 3.3 + -0.3. Let q = -2.6 + c. Let j = 0.101 - 0.201. Is j >= q?
False
Let b = -71 - -214/3. Suppose 5*d = -10 - 0. Which is smaller: b or d?
d
Let q(w) = -w**3 - w**2 - w. Let b(y) = -5*y**3 + y**2 + 4*y. Let l(z) = b(z) - 4*q(z). Let r be l(6). Is 12 less than r?
False
Suppose -2*h = -0*h. Let g = h - -1/2. Are -3/23 and g nonequal?
True
Let r = -151 - -62. Let k = 88.8 + r. Let h = 13/60 + -7/15. Which is bigger: k or h?
k
Let m be 4*(-34)/2820 + 12/90. Which is greater: 0 or m?
m
Suppose -2 = 3*c - 2*o, c + 5*o = -0*c + 5. Let d be 1*(c + (0 - 2)). Let p be ((-24)/14)/(-1 - -3)*7. Is d greater than p?
True
Let v(f) = f - 6. Let w(a) = -5*a + 31. Let t(d) = 11*v(d) + 2*w(d). Let b be t(4). Let j be 7/(-5) - (3 + -5). Is b smaller than j?
True
Let q(g) = -28*g - 29. Let o be q(-6). Is 140 bigger than o?
True
Let x(t) be the second derivative of -t**4/12 - t**3/3 + t**2/2 - 12*t. Let a be x(0). Which is greater: -7 or a?
a
Let n = 0.33 + 3.67. Let q = -3/44 + 465/44. Let p = -11 + q. Is p at most n?
True
Let u(z) = 2*z**3 - 89*z**2 + 43*z + 44. Let i be u(44). Which is greater: 5 or i?
5
Let w(v) = -v**2 + 8*v - 8. Let z be w(7). Let j = 54 + -49. Let a = z - j. Which is smaller: a or -2?
a
Let b = -1182 + 1183. Which is smaller: b or -1/11?
-1/11
Suppose 4*r = -c - 10, -2*r + 0 = -4*c - 4. Let i be r/((16/(-6))/4). Is 5 at least i?
True
Let j be (6/784)/(16/608). Let a = j + -2/49. Is -1/2 != a?
True
Let g = -12.74 - -14. Let y = -24.4 - -23. Let t = g + y. Is t at least as big as 0?
False
Suppose 1143*z = 1140*z - 6. Let d be -6*((-4)/5 - -1). Which is smaller: z or d?
z
Suppose 0 = -2*p + 2*n, 3*p - 10 = -0*p - 2*n. Suppose 0 = 2*k + p*f - 6, -5*k - 1 - 14 = -5*f. Suppose k = -4*m - 5 - 3. Is m < -3?
False
Let n(f) = -f**2 + 6*f - 8. Let s be n(3). Is -1/40 bigger than s?
False
Let z be 1*(-5 + 5)/(-5). Is z at most as big as 74?
True
Suppose -6706 = 17*m + 4599. Which is bigger: m or -664?
-664
Let b = -2624 + 7979/3. Which is greater: 37 or b?
37
Let k(f) = -f**3 - 11*f**2 - f - 15. Let i be k(-11). Let d be 4/i*0/(-3). Suppose v + 0*v = d. Are v and -2 unequal?
True
Let z be (0 + 2/4)*(-280)/(-500). Is z > -1?
True
Let b(g) = 11*g**2 + g - 7*g**2 + g**3 - 3*g**2 + 0*g - 7. Let y be b(0). Let a = -17 + 10. Do y and a have different values?
False
Let n(m) = -m**3 + m**2 - 2*m - 3. Let l be n(0). Let r(z) = 3*z + 10. Let s be r(l). Which is bigger: 3 or s?
3
Let l(k) = k**3 + k**2 + 777. Let w be l(0). Let q = 42737/55 - w. Is 1 smaller than q?
False
Suppose 0 = -8*w + 647 - 111. Is w != 67?
False
Suppose -9*a = -11*a - 3*t + 1353, 3335 = 5*a - 2*t. Is 1 not equal to a?
True
Let c = -423.3 + -93.7. Which is smaller: 0 or c?
c
Let r = 104 - 103. Let m = -1.53 - -0.13. Let x = m + r. Which is smaller: 2/7 or x?
x
Let n = 1/2479 - 5029/176009. Let j(a) = 2*a + 6. Let o be j(-3). Which is bigger: n or o?
o
Let w = 12 - 10. Let j = w + -7. Let s = 6 + j. Which is bigger: 0.4 or s?
s
Let f be 5 - (-1 - -6)/(-5). Let g(p) = p - 14. Let c be g(f). Which is smaller: -6 or c?
c
Let q be 1 + (-8)/2 + 5. Let n(f) = 1 - 3 + q*f - 3 + 0*f. Let s be n(2). Is 2/13 greater than s?
True
Let i = 55 + -72. Which is greater: -88/5 or i?
i
Suppose 3*u = -0*u + 27. Suppose 15 + u = -2*d. Let k(h) = h**2 + 13*h + 13. Let w be k(d). Which is greater: 2/25 or w?
w
Let a = 12 + -5. Let m = a + -3. Let t = m + -4.6. Is -2/3 at most as big as t?
True
Let s be (193 - 6)/(-11) - (-1 + -5). Which is smaller: s or -9?
s
Let s = 470 - 461. Is s not equal to 34/7?
True
Suppose 9*m - 123 = 102. Which is smaller: m or 28?
m
Let t = -372 + 390. Is t at least -6?
True
Suppose 3*n - n = 26. Let g = n - 17. Let c be (-1)/(g*(-3)/12). Is c greater than or equal to -1?
True
Suppose -2096 = 13*g - 419. Is g greater than or equal to -128?
False
Let s be 2/(-5) - (-2)/5. Let n = -15473/81 - -191. Let m = n - 65/648. Is s at most as big as m?
False
Let z = -0.2166 - 0.0834. Do -129 and z have different values?
True
Let n = -2515/2 + 1214. Which is greater: n or -0.4?
-0.4
Let n be (-1225)/(-6) - (-7)/(-42). Suppose -84 = 6*j + n. Let v be (-4)/j*-3*-4. Which is greater: 