 - a. Is f bigger than o?
True
Let o be -755*(18/15)/(-3). Suppose 0 = -2*j + 3*u - 257, -2*j - u + 49 = o. Let p = -2923/23 - j. Which is smaller: p or 1?
p
Let r = 45 + -34. Suppose 13*p - r*p = -2. Does p = -2?
False
Let r = 387 + -395. Is -1.8 equal to r?
False
Let b be -3 - (-14 - -5) - 6. Which is greater: -1/229 or b?
b
Let j = -228 + 224. Which is bigger: -0.32 or j?
-0.32
Let a be 10/(-30)*12/(-106). Suppose 32*k - 37*k = -5. Is k at least as big as a?
True
Let c = 0.1 + -0.2. Suppose 2*w + 3*r = 10, -2*w - 6 + 0 = -r. Let h be 1 + w + 10/(-40). Which is greater: c or h?
c
Suppose 0 = -4*t + 2*j - 594, 441 = -3*t - j + 4*j. Let x = -291/2 - t. Is x bigger than 5?
False
Let a = 12261/11 - 1115. Suppose 2*o + 3*b = -0*o - 10, 3*b = -3*o - 9. Suppose -x + o = -0. Which is bigger: a or x?
x
Let p = 0.04 + 0.16. Let s be (15/9)/(5/2). Which is smaller: s or p?
p
Let u = 0.103 - 1.103. Which is smaller: -2/19 or u?
u
Let p be (-2)/5 + 198/(-55). Let w(s) = 6*s + 12. Let n be w(p). Does -10 = n?
False
Let k be (-1)/(1/(-10)*2). Let p be 6/k - (-5 - -7). Which is smaller: p or 0?
p
Suppose 0 = -10*g + 5*g + 5. Let p be 3*g/(-3) + 3. Let d be p/3*3/2. Which is smaller: -1/10 or d?
-1/10
Let y(l) = 39*l - 779. Let m be y(20). Let p(s) = -13*s**3 + 2*s**2 - 1. Let g be p(1). Let t be ((-1)/g)/((-2)/(-28)). Are m and t equal?
False
Suppose 7*w - 4*w = 9. Suppose -2*c + l - 2 = -6, -3*c + 3 = -w*l. Suppose c*v = 5*z - 16, -4 - 6 = -5*z. Is 2 less than v?
False
Suppose -19 = -w - 4*u, 29 = 2*w - 4*u - 9. Are 11 and w equal?
False
Let g = -16 - -15. Let h = 0.9 - 0.4. Let p = h - 0.3. Which is smaller: p or g?
g
Let t = 2814/19 + -148. Are t and 6 non-equal?
True
Suppose -18*r - 1679 = 55*r. Is -41 <= r?
True
Let k = -20/79 + 422/2291. Let y = 0 + -3. Let w = -4 - y. Does w = k?
False
Let q(f) = 23*f + 77. Let h be q(-6). Is h at most as big as -60?
True
Let x = 5022 - 5022. Let s = 2.99 + -3. Are x and s non-equal?
True
Let a = 21 + -19. Suppose -a*v = -6*v. Let c be v + -2 + 7/2. Which is greater: 1 or c?
c
Let a(q) = q**3 - 12*q**2 - 14*q + 12. Let g be a(13). Let r be (3 + g)*4/2. Let f(v) = -2*v**3 - v - 1. Let y be f(-1). Is y at most as big as r?
True
Suppose -2 + 137 = 5*u. Suppose -3*d = -u + 24. Let h = d - 2. Is 2/15 <= h?
False
Let v be (-606)/(-92)*600/(-864). Let x = -100/69 - v. Are x and 4 equal?
False
Suppose 5*b - 98 = -12*h + 11*h, -3*h = -9. Which is bigger: b or 248/13?
248/13
Suppose 0 = -3*z - 5*k - 3 - 19, 2*z - 22 = 4*k. Which is smaller: -8/145 or z?
-8/145
Let n = 77 - 82. Let t be (65/(-10))/(5/4). Which is smaller: t or n?
t
Let w(g) = -7*g + 230. Let d be w(32). Does d = -13?
False
Suppose 4*t = i + 13, 0*t = 4*i - 4*t + 16. Let s(r) = -r + 9. Let a be s(5). Let m be a/(-14)*21/(-135). Is m smaller than i?
False
Suppose 3*i + 1 + 8 = 0, x + i - 6 = 0. Do x and -8 have the same value?
False
Let k = 0.2 - 0.1. Let i = -0.1 + k. Suppose 0 = 4*y + 1 + 3. Do i and y have different values?
True
Let v(d) = d - 4. Let r be v(7). Suppose 2*o + r*z = 2 + 3, 25 = 5*o + 5*z. Which is smaller: o or -1/2?
-1/2
Let q = 2.1 + -2. Let y = -866 - -923. Is y smaller than q?
False
Let a(x) = x + 15. Let l be 4/14 - 153/21. Let d be a(l). Which is smaller: 6 or d?
6
Let k = -25 - -38. Let h = -4 + k. Let v = -7.9 + h. Is v != -2?
True
Let j be (-3)/((-9)/6) + 1. Suppose -j*q - 2*b = -11, -3*q - 2*q + 5*b = -60. Do q and 8 have the same value?
False
Let v be 2*(3 - 1) - 2. Suppose v*o - 32 = f, 5*o - 91 = -0*f + 3*f. Let w = f - -12. Which is smaller: -9 or w?
w
Let v = -3/137 - -289/685. Let k = -28 - -33. Is v > k?
False
Let x = -11481/3422920 - 6/5155. Which is smaller: x or 1?
x
Suppose 4*y = -r, -2*y - 2*y + r = 0. Suppose y = -4*t + 4, -w + 0*t = 2*t. Is w less than -5/6?
True
Let g be (-114260)/65 + (-26)/169. Do -1757 and g have the same value?
False
Suppose 243 - 1539 = -24*q. Which is bigger: q or -2/5?
q
Suppose 6*l = 5*l - 3*o + 1, -5*l = -3*o - 77. Let h(d) = -d**3 - 2*d**2 + 5*d + 4. Let k be h(-4). Which is smaller: k or l?
l
Let n = -20 + 9. Let j be (-1 + 0 - 24/(-12))*11. Let x = n + j. Which is greater: 16 or x?
16
Let j = -1522 + 1305. Is j < 1/3?
True
Suppose -10*b = -4*b. Suppose b = -11*x + 23*x + 168. Which is smaller: -17 or x?
-17
Suppose -2*p + 59 = 39. Let b be (1/2 - 1)*4. Let d = p + b. Is d at most as big as 7?
False
Let g be (-12)/(-30)*130/2. Let o be g/24 + 3/(-9). Let z = 71 - 641/9. Is z less than o?
True
Let a(j) be the third derivative of j**6/120 + j**5/10 + j**4/8 + j**3/6 - j**2. Let s be a(-6). Let z = 24 + s. Which is bigger: 6 or z?
z
Let y = 7 - 5. Suppose 28 = 5*c - y. Suppose 0 = -c*b + 2*b. Is b greater than or equal to 1/7?
False
Let z(i) = i**2 - 6*i + 13. Let p be z(4). Suppose -4*d = 3*r - 2, 2*d + 14 = -2*d + p*r. Let q = 0.8 - -0.2. Which is bigger: d or q?
q
Suppose -5*t - 2*j = -0*t - 8, -8 = 3*t - 2*j. Let k be (21/(3465/22) - (-46)/(-210)) + 0. Is k less than or equal to t?
True
Suppose -4*b + 3*y - 4 = 0, 5*y - y - 1 = b. Let a = -2.22 - -2.82. Which is greater: b or a?
a
Let t(c) = 2*c**2 - 4*c. Let g be t(3). Let m = 84 + -84. Suppose -2*x = -3*y - 7, 6*y - 4*y - 6 = m. Are g and x equal?
False
Let s = -447953/257 + 1743. Is -1 >= s?
False
Let h(q) = -39*q + 66. Let s be h(7). Is -206 less than s?
False
Let c be 34/1*(-2)/(-4)*-5. Let a = 83 + c. Which is smaller: -24/11 or a?
-24/11
Let l(u) = 18*u - 43. Let v be l(13). Is 379/2 at most as big as v?
True
Let u be (-2)/(-1) + 9882/(-940). Let j = u + 3/235. Let m = -9 - j. Is -1/4 greater than or equal to m?
True
Let q be -4 - ((-31160)/32 + (-4)/16). Is 970 at most q?
True
Let m be 0 - (96/55)/(-2). Let s be 2/((-11)/(4 - 0 - 11)). Let p = m - s. Which is greater: p or -1?
p
Suppose -10*n - 607 = 313. Is -93 != n?
True
Let m be ((-1)/(3/(-1)))/((-2)/18). Let i(a) = 6*a + 10. Let j be i(m). Let d = -2 + 4. Is d != j?
True
Let x = 0.31 + -0.375. Let q = -0.055 + x. Let p = 3 + -2.9. Is p < q?
False
Let v = -880/13601 + -2/469. Which is greater: v or 1?
1
Suppose 8*n = 10*n - 5*f + 1, n - 2*f = -2. Is 0 at most as big as n?
False
Let g = 916 + -4599/5. Which is bigger: -4 or g?
g
Let q = -371 - -371.04. Is -0.094 less than or equal to q?
True
Let r = -539 - -541. Let c = 22 - 9. Is r bigger than c?
False
Let y(l) = l - 16. Let a be y(12). Is a < 1/7?
True
Let y = 91 + -92. Which is smaller: y or -1/253?
y
Let r = 414 - 435. Is r not equal to -27?
True
Let q = -305 + 485. Let a = q - 903/5. Let b(n) = 2*n - 12. Let t be b(6). Which is smaller: t or a?
a
Suppose -19*j - 198 - 3013 = 0. Is j greater than or equal to -167?
False
Let f = -14.531 - -0.031. Let i = 1.5 + f. Let b = i - -13.05. Is b at least 0.2?
False
Let n be 9/((-40)/(-8) - 30). Which is greater: n or -1?
n
Let c = -44 + 44.32. Let h = 0.42 - c. Is h bigger than 1?
False
Suppose 40 = 4*z - 2*n, -2*z - 4*n = 3*z - 24. Suppose -6*t + 4 + z = 0. Let c be 5 + t/(-5 - -3). Do 4 and c have different values?
False
Let l(b) = -8*b**2 + 4*b + 4. Let s = -7 - -11. Let u be l(s). Let m = u + 971/9. Is m >= 0?
False
Let i(p) = -p**2 + 16*p + 4. Let j be i(16). Suppose 0 = -j*f + 21 + 3. Let g(u) = -u**3 + 8*u**2 - 7*u - 5. Let q be g(f). Is 24 at most as big as q?
True
Suppose 3*t - 35 = 2*d, -t = 3*d - 0*t + 25. Let b be (-2)/d + (-1)/(-5). Let n(h) = -h**3 - 4*h**2 + 6*h + 4. Let u be n(-5). Which is greater: u or b?
b
Let n be (-44)/6 + (-8)/12. Let c = 11 + n. Let k = 44 - 47. Do c and k have different values?
True
Let v = 7/41 - 978/205. Which is smaller: v or 1?
v
Suppose -4 = -n + 2*p, -3*p + 1 = -2*p. Suppose 0 = b, -b - 2 = 4*y + n. Which is smaller: y or -3?
-3
Let x = -707557/7 - -100894. Let y = 185 + x. Which is smaller: 0.1 or y?
y
Let p(s) = -s**3 + 5*s**2 + 5*s + 5. Let b be p(6). Let t = -17 + 13. Let g = 3.6 + t. Is b equal to g?
False
Let p = 28 - 8. Let z = 19 - p. Let v = z + 5. Is v != 0?
True
Let r be 225/649 - (-8)/(-22). Which is smaller: 5 or r?
r
Suppose 3244 = 3*s - 2174. Let i = 45156/25 - s. Is -1 greater than or equal to i?
False
Let t = 0.05 - 0.05. Let j = 7 - t. Let x = -8 + j. Are -0.3 and x unequal?
True
Suppose -2*f - 12 = 2. Is f <= -3/5?
True
Suppose -s = -2*w + 3*w - 21, 4*w = 5*s - 105. Let m = s + -17. Suppose -m*a - 4*q = 80, 2*a = -0*q