*t + 3*c - 91, 0 = -5*t + 5*c + 350. Suppose -t*m + 75*m + 80 = 0. Do 1/4 and m have the same value?
False
Let f(j) = 5*j**2 - 6*j - 86. Let z(q) = -q**2 + q + 17. Let o(p) = -2*f(p) - 11*z(p). Let u be o(-9). Which is greater: 58 or u?
58
Suppose -2*m = 2*y, -5*y = -2*m - 0*y - 28. Suppose 4*d - 2*a = -d - 8, -4*d - 2*a = -8. Let o be 1/(-4)*m - d. Is o > 3/8?
True
Let q = 1641 - 1635. Which is greater: -0.6 or q?
q
Let b = -0.1855 + -0.0145. Let q(s) = -2*s**3 + s**2 - s + 2. Let a be q(2). Is a at most as big as b?
True
Let w(t) = t**3 - 11*t**2 + 17*t. Let n be w(9). Let k(a) = a**3 + 8*a**2 - 10*a + 4. Let d be k(n). Let m = 40 + -28. Are d and m equal?
False
Suppose -21*j + 18*j + 27 = 0. Suppose 5 = j*u - 14*u. Which is bigger: 2/21 or u?
2/21
Let m be 2/2 + (-200)/35. Let t = m - -356/77. Let j(b) = b + 6. Let p be j(-5). Is p < t?
False
Let i be ((-116)/(-6))/(4/6). Let z = 161 + -131. Which is smaller: i or z?
i
Let h be (-154)/(-1320) + ((-8)/(-20))/(-2). Let j(t) be the first derivative of t**2/2 + 5*t + 1. Let k be j(-4). Is h greater than k?
False
Suppose -h - 3 = -4. Let c = h + 2. Suppose 4*y - 25 = -r, c*r + 0*y = 2*y + 5. Which is greater: r or 4?
r
Suppose 2*a + 2*a - 16 = 0. Suppose -w = -5*w - a. Let g be (-4 + 8 - 2)/(17*-3). Are w and g equal?
False
Suppose 7*f - 2*f - 15 = 0. Let g be (-261)/120 + (-33)/15 + f. Which is smaller: g or -2?
-2
Let s = 27473 + -165253/6. Is s at least as big as -68?
False
Let g(p) = p + 52. Let x be g(-31). Which is greater: 20 or x?
x
Let i = 10.9181 - -0.0819. Is i > 2?
True
Let h(d) = -3*d - 14. Let u be h(-4). Let q be u/(-6) - 11/(-33). Which is smaller: -30 or q?
-30
Suppose -2*o = 5*u - 8, 0 = 3*o - 7*u + 2*u - 12. Suppose -1 = -o*l + m - 9, 4*l = 4*m - 20. Which is greater: 1/69 or l?
1/69
Suppose d + 3*d = 2148. Is 538 >= d?
True
Let q be 148/2035*22/4. Let x = 153/230 - 3/46. Is q at most as big as x?
True
Let v = 152 - -6. Is 158 > v?
False
Let m = 23 + -41. Which is smaller: m or -17?
m
Let n(y) = 2*y**2 + 18*y + 18. Let v be n(-7). Do 31 and v have the same value?
False
Suppose 0 = -3*g + 1 + 11. Suppose -4*t + 182 = -q, 3*t + 2*q - q = 140. Suppose j = 3*p - g*p - 10, 0 = -5*j - 3*p - t. Is -7 <= j?
False
Let j = 2/725 + -1632/65975. Which is greater: j or 1?
1
Let h = -12 + 29. Suppose -6 = 2*j - 5*j, h = -3*o - 2*j. Suppose -24 - 16 = 5*n. Which is greater: n or o?
o
Let z(i) = 3*i + 122. Let w be z(-24). Does w = 50?
True
Suppose 18*g = 24*g - 6. Which is greater: 4/73 or g?
g
Let h = 4 - 4.1. Let z = -18.45 + 0.45. Let u = 17.9 + z. Are u and h non-equal?
False
Suppose b + 5*c - 23 = 0, -b + 2*c - 1 = -3. Suppose -b = -k + 4. Is k greater than or equal to 12?
True
Suppose m - 5*m = -z, 4*z = 3*m. Let u = 423/4 + -4669/44. Is z greater than u?
True
Suppose 0*a + 132 = -5*a - 4*z, -2*z - 136 = 5*a. Let n(m) = m + 27. Let t be n(a). Which is smaller: 43 or t?
t
Let b be 0 - 12/(-2) - 1300/208. Let a be (-1)/(-19)*(-4)/(-8). Do b and a have the same value?
False
Let y = -60 + 104. Let x = 64 - y. Is x smaller than -0.1?
False
Let a = -0.22 + 0.02. Let f = -19.198 + 0.198. Is a <= f?
False
Let y be (1/4)/(21/(-12)). Let m be (1/3)/((-11)/(-33)). Which is smaller: m or y?
y
Suppose 442*t - 438*t - 15 = 5*i, 3*i = t - 2. Let z = 35463/52 - 682. Is z less than or equal to i?
True
Let m be 3 - (-3 - -3) - 3. Let h(i) = i**2 - 4*i. Suppose 15 = -5*x + 35. Let k be h(x). Is k at least as big as m?
True
Suppose -p = 4*p. Let w = 34/597 - -794267/5970. Let l = w - 133. Do p and l have the same value?
False
Let h(r) = r**3 - 2*r**2 - r + 2. Let j(n) = -n + 11. Let t be j(8). Let g be h(t). Let y(i) = i**3 + 3*i**2 - 2*i + 3. Let w be y(-3). Is w > g?
True
Let n = 452 + -487. Which is bigger: 1.7 or n?
1.7
Suppose -r = 4*r + 3*p - 3, -r - p - 1 = 0. Suppose 4*l - 4*c = 8, -l - r*c - 1 = l. Which is smaller: l or -2/141?
-2/141
Suppose 37*b - 38*b = -4*s + 34, 0 = -2*s - 2*b + 12. Which is smaller: s or 5?
5
Let n = -26 + 30. Suppose 0*t - n*t + 44 = 0. Suppose -t = -7*b - 4. Does b = -3/8?
False
Let g be (4/(-6))/(2/3). Let p = g - -11. Suppose 3*x - 6 = u, -u = 8*x - 3*x - p. Which is smaller: x or 3?
x
Let c be 3575/(-5) - (-2 + 1). Let b = c + 350. Let w = 2189/6 + b. Which is smaller: 1 or w?
w
Suppose -5*v + v = -972. Let h = 364971 - 9130352/25. Let k = h + v. Do -1 and k have the same value?
False
Suppose 36*s - 493 = 263. Do 23 and s have the same value?
False
Suppose 4*n + 3*g + 15 = -33, 0 = 3*g + 12. Let x be (-2 - n)*2/6. Which is smaller: 1 or x?
1
Let t = -1753 + 22791/13. Are -0.11 and t equal?
False
Let f = -4 - -8. Suppose -f*r - 4*y - 4 = 0, -3*y - y = -3*r + 25. Suppose h = 5*s - 15, 43 - r = 5*s + 4*h. Which is greater: 1 or s?
s
Let a(h) = 2*h**3 - h**2 - 4*h - 2. Let v be a(-1). Which is bigger: 10/21 or v?
10/21
Let v be 3/((-10)/4 + 1). Let x(c) = -6*c - 6. Let l(o) = 7*o + 7. Let s(k) = 5*l(k) + 6*x(k). Let p be s(v). Is p >= 0.1?
True
Let r = -0.323 - -28.323. Is -1 <= r?
True
Let l = 85 + -85. Suppose l = i - 9*i + 96. Let m = 13 - 0. Which is bigger: i or m?
m
Let i = 3.09 - 0.09. Let c = 0.1027 - -0.0273. Is i > c?
True
Let d = -147.03 + 148. Let a = d - 0.9. Which is bigger: a or 2?
2
Let a = -9 - -16. Let m(v) = v**2 + 7*v + 6. Let q be m(-6). Let f be -3 + 9 + (q - -2). Which is smaller: a or f?
a
Suppose 1 = 4*r - 7. Let t be r + (-6*12)/4. Let f = -13 - t. Which is smaller: 5 or f?
f
Suppose r + 2*q - 6 = 0, 4*r + q - 6 - 4 = 0. Let f = 4 + r. Let j(n) = 2*n - 19. Let t be j(f). Is -5 at least as big as t?
True
Let y = -1973/25 + 79. Which is bigger: -1 or y?
y
Let h(y) = -4*y + 2. Let r be h(10). Let n = 29 + r. Is 2 at least as big as n?
True
Let f = 101379713/3695 + -27437. Is f equal to -1?
False
Let i(s) = -s**3 + 11*s**2 - 11*s + 10. Let t be i(10). Suppose 5*p - 3*u - 1 = 0, 4*u + 4 = -t*p + 4*p. Let y = 0 + -4. Is y != p?
True
Let q = -169 - -71. Let j = q - -983/10. Which is smaller: -1 or j?
-1
Let a = 0.05 + -1.05. Let y(i) = -9*i + 172. Let h be y(21). Which is smaller: h or a?
h
Let d = -303 - -472. Suppose 0 = -3*s - d - 566. Let q be (-2)/11 - s/924. Is q bigger than -1?
True
Let l = -1560/2557 - -266200523/436334151. Let o = l + -276441653/1194501. Let h = o + 232. Does h = 2/3?
False
Let j be 3*1 - ((-56)/(-8) + -3). Let q = -32920285/113568 - 562/3549. Let c = -290 - q. Is j less than or equal to c?
True
Let x = -3 + 3. Let j be (-1 - 2)*(22/10 - 2). Which is greater: x or j?
x
Let y = 17 - 17. Is 2/205 != y?
True
Suppose -3*o = -6*o - 132. Let w = -37 - o. Suppose -b - 32 + 7 = -3*j, -5*j = -b - 39. Is j at least w?
True
Let o be (-3)/(-6) - 1 - -1. Suppose 2*p + 5*n - 29 = -10, 4*n = -5*p + 5. Let l be ((-1)/p)/(39/(-18)). Is l <= o?
True
Let v be 32/4 - (-3 + 7). Which is greater: 2/45 or v?
v
Let n be (51/68)/(1/(-24)). Let i be (-12)/9*(n + 0). Is i at least as big as 24?
True
Let g be (-1552)/280 - 4/(-1). Let h = 7/5 + g. Are 4/5 and h non-equal?
True
Let n = 63 + 15. Let z = 81 - n. Which is bigger: z or -1/2?
z
Suppose 4*a = 2*a - 6. Let t be ((-3)/(-3)*(-4 - a))/(-1). Let w = 71/6 + -425/36. Is t greater than or equal to w?
True
Let b = 2 + -5. Let l = -0.0029 - -0.1229. Are l and b unequal?
True
Let n be (-186)/26 + 7 - (-4 - 145/(-325)). Suppose 5*s - w + 2*w = 14, 5*w - 26 = -3*s. Which is smaller: s or n?
s
Let t = -29 + 9. Suppose -137*q = -125*q + 240. Is t at most as big as q?
True
Let q(i) = -i**2 + 6*i. Suppose 23 = 2*g + 11. Let l be q(g). Which is greater: l or -5/6?
l
Suppose 4*c + 9 + 3 = d, 3*d = 0. Is -33/17 smaller than c?
False
Suppose 674*u - 504 = 667*u. Do u and 72 have different values?
False
Let k(m) = -2*m**2 + 12*m - 2. Let y be k(6). Let n = 87/5 + -17. Let p = -1/5 + n. Which is greater: y or p?
p
Let h = 0.51 - 97.51. Let j = h - -94. Is j less than or equal to -2?
True
Let a = -1705 - -1704. Which is bigger: a or 513?
513
Suppose 0 = 3*f - 3 + 6. Let m = -253 + 260.36. Let n = m + 0.64. Is f equal to n?
False
Let y(b) = b**2 + 4*b + 3. Let v be y(-4). Let q be (-5)/(v - (0 - -1)). Suppose 442*u + 462 = 211*u. Which is bigger: q or u?
u
Suppose -3*p - 10 = -8*p, -3*h = -2*p + 31. Which is smaller: h or -10?
-10
Let q = 8 + -3. Suppose 24 = 5*u + 3*k, 0 = -2*u + 4*k + 2 - 8. Let m be q + -11 - (u