f = -370.4 + 371.4. Let n = -983 - -9863/10. Let i = n + -18/5. Is i at least as big as f?
False
Let f = -1/266 - 3719/1330. Let v(h) = -h**3 + 7*h**2 - 10*h - 4. Let x be v(5). Is x not equal to f?
True
Let v(l) = l**2 + 12*l + 12. Let n be v(-11). Let g = 3/4 - n. Let c be 6/(-4)*2/3. Is c less than g?
True
Let v be 4 + -6 - (-26)/(-2). Let j = v - -19. Suppose j = 2*b + 3*n - 2, -2*n - 16 = -2*b. Which is greater: b or 34/5?
34/5
Suppose -25*s + 96 = -31*s. Let n be (s + (-5 - -2))/7. Does -3 = n?
False
Let w(a) = -a - 2. Let f be w(4). Let p(g) = 0*g**3 - 7 - g**2 + 5*g - g**3 + 0*g**3 - 4*g**2. Let o be p(f). Which is smaller: o or -3/8?
o
Let p = 2/225 + 131/450. Let w(t) = t - 2. Let u be w(6). Suppose 4*j - 3*x + u + 5 = 0, -2*j - 4*x + 12 = 0. Does j = p?
False
Let c = 1 - 0. Suppose -39 = -5*a - 0*a - q, 2*a - 5*q + 6 = 0. Suppose a*w - 27 = 1. Which is smaller: w or c?
c
Let o(n) = -41*n + 695. Let m be o(19). Do -10 and m have the same value?
False
Let p = -1284 - -1695. Is p at most 410?
False
Let j = 12 + -14. Let a = j + 6. Is 0.2 < a?
True
Suppose 4*q = 2*o - 6, 3*q + 4 = 6*o - 5*o. Are 3 and o non-equal?
True
Let d(l) be the second derivative of -l**4/6 + 14*l**3/3 - 24*l**2 + 3*l - 7. Let q be d(12). Let u = 4327/21 - 206. Is u < q?
False
Let x(v) = -v**3 + 10*v**2 - 10*v + 7. Let u be x(9). Which is bigger: u or 15.2?
15.2
Suppose 3*p + u - 11 = 0, -14 = -p - 4*u + 8. Let m be (-9)/4 + 0 + p. Let q = 1.98 + -2. Is m at most as big as q?
True
Let f = 559/3 - 86095/462. Which is bigger: -1 or f?
f
Let c(t) = t**3 - 5*t**2 - t + 8. Let u be c(4). Let z be (u/(-18))/((-2)/(-12)). Which is smaller: -1 or z?
-1
Let m be (-2 - 6/(-2))*-12. Let y be 4/2 + 44/m. Which is smaller: -3 or y?
-3
Let q be (-3)/(-1) + 5/5. Suppose 4*u - 7 = -c + 3, -5*c + q = -3*u. Is -7 <= c?
True
Let g(n) = -12*n + 4. Let h be g(-3). Let p = -39 + h. Which is smaller: p or 3?
p
Let g be ((-2 + 1)/(6/(-30)))/41. Which is greater: g or 0?
g
Let t = 0.02 - -0.38. Let j(c) = 6*c + 13 - 3*c + 3. Let a be j(-6). Is a less than or equal to t?
True
Let o = 9 + -11. Let m be (3/(-34))/((-3)/(-4)). Is m at most as big as o?
False
Suppose -16 = 3*i + z, -4*z + 5*z = 4*i + 26. Is i at most as big as -5?
True
Let h be ((-15)/575)/((-12)/8). Is 1/2 not equal to h?
True
Suppose 7*b + 178 = 17. Let h = -7 - b. Suppose -2*n + h = -w, n + n = 5*w + 64. Is -12 != w?
False
Suppose 0 = c + 4*c - 70. Suppose 0 = 2*m - 6*m. Let v be 4/(-12)*3 - (m + -15). Is v <= c?
True
Let y be -2 + 1 + (-18)/(-22). Let l = 9 - 6. Let u be -8 - l - (2 - 5). Which is bigger: y or u?
y
Suppose 50*m - 1540 = 54*m + 3*r, 0 = -3*m + 3*r - 1176. Which is greater: -387 or m?
-387
Suppose 185 = -6*y + 2*y + s, 3*s = 3*y + 150. Let d be ((-325)/y - 3) + -4. Is -1 bigger than d?
False
Let q be ((-1)/(-1) - 2)/(51/51). Is -174 greater than or equal to q?
False
Suppose 2*f = 1490 + 1006. Suppose f = 4*k - k. Let z = k - 9566/23. Which is smaller: z or -1?
-1
Suppose -v + 23 - 22 = 0, -5*s - 9 = v. Which is smaller: s or -1/5?
s
Let v = 2698/63 + 110/63. Is 46 greater than v?
True
Let a = 0.1 - 0.8. Let l = -4.3 + a. Do -6/5 and l have the same value?
False
Let i be (30/(-40))/(2/8) - 0. Let d be -5 - (i - (-25)/(-11)). Let n = -2 - -1. Which is smaller: d or n?
n
Let g be (-12)/48*(1 + (0 - 9)). Suppose 2*h - 5*a = 22, h - g*a - 8 = 2*a. Is h at least as big as 16?
True
Let q = 35 - 48. Which is greater: q or -12?
-12
Let s = 27.11 - 27. Let y = 0.1 - s. Is 1/3 at least as big as y?
True
Suppose t - 4*h + 5 = -4*t, -5*t = -3*h. Suppose t*n = -n. Let p = 19/4 + -5. Is n bigger than p?
True
Let k be 15/(-2)*(-1)/10. Let y be 1 + (-3)/(-7) + (-104)/63. Is y >= k?
False
Let z = 1.624 + -1.534. Is -7/19 less than or equal to z?
True
Let a be 24/((-56)/7) + 1. Which is greater: a or -29?
a
Suppose -4*j - 3 = -3*j. Let i = -334 - -335. Is j smaller than i?
True
Let z(s) = -8*s**3 - 8*s**2 - 6*s + 4. Let m be z(-3). Let x be (-15)/24 - -1 - m/16. Which is smaller: x or -11?
-11
Let u = -12 + 16. Suppose u*j + 2*v + 32 = 0, 0 = -4*j + 3*v - 4*v - 30. Let g = j - -3. Do g and -4 have the same value?
True
Let y be (-21)/(-6) + 2/(-4). Let g be (-2728)/(-465) - 5/3. Is y > g?
False
Let q(g) = g**2 + 13*g + 19. Let i be q(-11). Let d be (-1)/21 - i/9. Which is smaller: d or -1/9?
-1/9
Let d = 0 - 0.08. Let r = -1.88 - -2. Let x = r - d. Is -1/4 greater than or equal to x?
False
Let j(l) = -8*l**2 - l - 1. Let u be j(-1). Let s be u/(-12) - 8/66. Which is bigger: s or 1?
1
Suppose 4*m = 5*p - 25, -12 - 3 = 2*m - 3*p. Suppose z + 2*z - 6 = m. Suppose -2*h = z*q + 8, -h = -4*q - 4 - 17. Which is bigger: 2 or h?
2
Suppose 385 = -8*a - 119. Let c = a + 545/9. Is c at least -3?
True
Suppose -50 = 5*r - 5*s, -2*s = -s - 5. Let q(t) = t + 7. Let d be q(r). Suppose -d = -3*j + j. Which is smaller: -2/17 or j?
-2/17
Let j(l) = -17*l**2 - l - 7. Let v be j(3). Is -163 != v?
False
Let h(w) = w**2 + 14*w + 23. Let c be h(-13). Suppose c*j - 24 = 6*j. Let x be -1*2*14/(-4). Is x at most j?
False
Let j = -1347 - -130. Which is smaller: -1218 or j?
-1218
Suppose 246 = -4*k - 2*d, -d = 2*k - 6*k - 231. Let n = 82 + k. Suppose 5*l = -n + 38. Is l at most as big as 1?
False
Let b = 91 + -90. Which is smaller: b or -4/119?
-4/119
Let h = -39 + 38. Let f be (135/39 - 3)/(-1). Which is greater: h or f?
f
Suppose 3*z - 2*q - 70 - 133 = 0, 5*z - 339 = 4*q. Is z smaller than 64?
False
Let m = 28600529637 - 191795151393183/6706. Let o = -5/6706 - m. Let h = o + 52. Is 0 less than or equal to h?
False
Suppose -u = -1, -2*u + 20 = 5*k - 7*u. Suppose -12 = -k*z + z. Suppose -2*s = -4*f - 4, 3*f - 2*s + z + 1 = 0. Which is smaller: f or -2/133?
-2/133
Let b be -6 - 12/(-3) - 2. Suppose -6*g = z - 3*g - 7, 0 = 2*z - g + 7. Which is smaller: b or z?
b
Let c = 13 - -92. Let u = c + -104.9. Is u equal to 0.089?
False
Suppose -4*b - 12 = 0, 3*h - b + 38 = 2. Which is smaller: -3 or h?
h
Let d = -155747/17 - -9165. Which is bigger: d or 2?
d
Suppose v + 1 - 14 = 0. Let h = 17 - v. Let u = -4 - -6. Which is bigger: h or u?
h
Let a(n) = n**3 + 10*n**2 + 17*n - 3. Let l be a(-7). Let w(t) = -t**3 + 5*t**2 - 2*t - 6. Let y be w(4). Is l greater than or equal to y?
True
Let j(c) = -c**3 + 12*c**2 + 13*c - 6. Let l be j(13). Is l at most as big as -14?
False
Let k be -2*(5/(-2) - -1). Let m(o) = -124 + 2*o**2 + 3*o - 128 - 132 - o**3 + 385. Let u be m(k). Is -2/11 != u?
True
Let p = -31 - 9. Let f be -1*(-1 + p/(-46)). Which is smaller: f or -1?
-1
Suppose -2*c - 17 = -3*p, -4*p - 4*c - 1 = 3. Suppose -n + 2*n = -5*j + 35, -p*n - j = -63. Suppose -2*r = -n + 2. Is 7 >= r?
False
Suppose -2*u - 127 = -u. Let c = -3129191/24 - -130510. Let y = c + u. Which is smaller: y or 0?
0
Let o = -2 - -2. Suppose 0 = -3*j + 15, -4*a + j - 45 = -0*a. Let m(z) = z**3 + 11*z**2 + 9*z - 10. Let w be m(a). Is w smaller than o?
False
Suppose -3*m = 122 + 151. Which is greater: 1/4 or m?
1/4
Suppose 0 = -6*v + 67 + 53. Which is smaller: v or 17?
17
Suppose -2*j = -0*j. Suppose j = g + 2 + 4. Let a = 5 + g. Do a and -1/2 have the same value?
False
Let v(l) = 3*l**3 + 3*l**2 - 2*l - 2. Let t be v(2). Suppose i + 4*q + t = 0, -5*q - 9 = -4. Are i and -27 equal?
False
Let w be 6/(-87) - (-103320)/(-522). Which is smaller: w or -196?
w
Let t be 6*(3 + -1)*(-3)/459. Is t bigger than -1?
True
Let l = 526 + -386. Which is smaller: 138 or l?
138
Let c = 101.9 - 102. Which is greater: -10.6 or c?
c
Suppose 172*h - 176*h = 284. Let r = 76 + h. Do 8 and r have the same value?
False
Suppose -11*z = -4*s - 14*z + 35, -20 = -s - 3*z. Suppose 22 = s*j - 178. Is 40 greater than or equal to j?
True
Suppose -12*q + 3*q = 6*q. Is q less than 5/87?
True
Let m(u) = u**3 + 10*u**2 + 3. Let i be m(-10). Suppose -i + 8 = n. Let b be n - 1 - (1 - -2). Do -4 and b have different values?
True
Suppose 50 = -33*x + 23*x. Which is greater: x or -22/5?
-22/5
Let t = 13 + -25. Let j be (-57)/21 + (66/21)/(-11). Which is smaller: t or j?
t
Let k be ((-6)/(-16))/((-2394)/56). Are k and 1 non-equal?
True
Let n be (-4)/16*-28 - (2 - 1). Is n <= 200?
True
Let d = 427 - 1041. Is d less than -614?
False
Suppose -3*r = -a - 15 - 15, 3*a = -r - 50. Let t be (-9)/402*(-24)/a. Let s(l) = l + 2. Let p be s(-1). Is p 