10*f + 24 = 0. Let g(s) = -s. Let w be g(f). Do w and x have the same value?
True
Let x be 10/4*(-12)/(-15). Suppose 9*u - 18 - 9 = 0. Suppose x*i = u*i. Is 0 < i?
False
Suppose 0 = 4*h - i + 1490, -5*i + 1125 = -3*h - 8*i. Which is smaller: h or -374?
-374
Let j = 82 - 90. Let p = -39 - j. Which is bigger: p or 2?
2
Let b be (15 - 17)*1/7. Let g = 20 + -20.23. Which is bigger: g or b?
g
Let m(b) = -b**2 + 15*b - 14. Let d = -72 - -142. Suppose 5*s = -2*v + d, -s + v + 56 = 3*s. Let t be m(s). Which is bigger: 8 or t?
8
Suppose -2*n + 135 = -7*n. Let y = -15 - n. Suppose 3*d = g - 13, -3*d + y = -7*d + 4*g. Does d = -7?
False
Let c = 7.158 - -0.142. Let h = c + -7.6. Is h smaller than 1/17?
True
Let y(h) = h**3 + 4*h**2 + 2*h + 12. Let g be y(-4). Which is greater: -64 or g?
g
Let j be 1 - 0 - 0/(-1). Let z(x) = 3*x - 30. Let g be z(5). Let n be (-6)/g*15/123. Which is greater: n or j?
j
Let m = 701 - 695. Let f = -17 - -17.07. Which is greater: m or f?
m
Let p = -950 + 914. Is 0.5 >= p?
True
Suppose 253 - 49 = 3*b. Let n = -2 - -4. Suppose -n = 5*w + b. Which is greater: -13 or w?
-13
Suppose 22*u - 7*u - 14820 = 0. Is 989 greater than or equal to u?
True
Let l = 35 + -39. Let v be 17/(-2)*l/2. Which is smaller: v or 15?
15
Let d = 302 - 300. Which is smaller: 14/11 or d?
14/11
Let i(s) = -3*s**2 - 67*s + 46. Let h be i(-23). Is h >= -10/11?
True
Let r(x) = x - 12. Let f = -2 + 14. Let p be r(f). Is p at most 2/7?
True
Suppose j + 26 - 25 = 0. Let c be ((-4)/18 - 0) + 0. Is c less than or equal to j?
False
Suppose 23 = 4*a + 3*k, -9 = -a + 5*k - 9*k. Is a at most 10?
True
Suppose g + 337 - 427 = 0. Which is greater: g or 91?
91
Let z = 0.53 + -0.539. Which is smaller: z or 1?
z
Let i = 2.45 + 13.55. Let w = 6.2 + 25.8. Let c = w - i. Does -1 = c?
False
Let t = 12 + -10. Suppose 4*f - 9 = -r + 7, -19 = -f - 4*r. Which is smaller: t or f?
t
Let b be 65/20 + -4 + (-39)/(-68). Is b bigger than 10?
False
Let b(d) = -d + 5. Let a be b(-11). Suppose -3*g - 3*c = 212 + a, 0 = 2*g - 2*c + 160. Let p be 1 + -4 + g/(-27). Is p greater than or equal to -1?
True
Let s(c) = c**3 + 8*c**2 + 6*c - 7. Let d be s(-7). Let l = 254 + -246. Which is smaller: d or l?
d
Let g = -46 - -67. Is 20 less than or equal to g?
True
Let l = -0.14 - -0.14. Let w = -47.061 + 0.061. Let k = -33 - w. Which is smaller: k or l?
l
Let k = 78776585181/4213 - 18698454. Let y = k + -1/383. Is y at most as big as 1?
True
Suppose 23*t = 19*t - 5*d + 3057, 4*t - 2*d - 3050 = 0. Do 761 and t have the same value?
False
Let b(i) = -i**2 + 8*i - 11. Let f = 7 + -7. Suppose 29 - 2 = 4*a + 3*r, -5*a + 4*r + 26 = f. Let x be b(a). Which is smaller: 2 or x?
x
Let t = 206 - 58. Is t at least as big as 148?
True
Let b be (1/(-10) - 9477/130)*-4. Which is smaller: b or 293?
b
Let d = -283 - -283.1. Is d greater than 105/8?
False
Let j(a) be the first derivative of a**4/4 - 10*a**3/3 - 11*a**2/2 - 11*a - 11. Let s be j(11). Which is greater: -10 or s?
-10
Let i = 0.32 + -0.3. Let f = -65 - -68. Let r be f + (4 - (-58)/(-8)). Which is bigger: i or r?
i
Let v be (-98)/5 + (-4)/10. Let b be -4 - ((-4)/12)/((-2)/108). Which is greater: b or v?
v
Let y(p) = p**2 - 10*p + 20. Let x be y(9). Let j(n) = -6*n - 5. Let z be j(-3). Which is greater: z or x?
z
Let o(c) = 13*c**2 - 4*c - 1. Let k be o(-2). Let w = k - 52. Let v(p) = 2*p + 2. Let r be v(2). Is r greater than w?
False
Suppose 5*v + 47 = 3*v + 3*p, 0 = -v + 3*p - 19. Is v greater than or equal to -28?
True
Let n be (-3)/(-2)*(0 + -2). Let r be 2 - ((-3)/5 - n). Which is greater: 0.08 or r?
0.08
Let q = -45 + 119. Suppose -3*y - 246 = -3*l, 0*y - y = 3*l + q. Let u be (-30)/y + 5/8. Which is greater: 15/7 or u?
15/7
Let z = 3 + 1. Suppose h = -z*q + 7, -3*h - q = -h. Is h at least 0.2?
False
Let q(d) = -3*d - 13. Let f be q(-6). Suppose -5 = f*s - 4*m, -4*s = -6*s + m - 2. Which is bigger: s or -16/9?
s
Let t = -191/57 + 153793/45885. Which is greater: t or -1?
t
Let w(r) = r**2 + 15*r - 5. Let c be w(-15). Let x be (0 + c/(-50))*-4. Is 0 greater than or equal to x?
True
Let k = 2 - -1/4. Are k and -2 unequal?
True
Let t be 282/1034 - (-278)/(-11). Which is smaller: t or -151/6?
-151/6
Let k be -7*(11/(-7) + -1). Let l = 15 - k. Let t be 10/(-56)*(l - 1). Is 0 at most t?
True
Let b = -12 - -14. Suppose -4*t + b*t - 2*o = 0, -2*t + 2*o = -12. Suppose w - 3*m = -2*w, t*w - 4*m = -1. Which is smaller: w or -0.2?
-0.2
Let z(q) = -q**3 - 6*q + 2. Let r be z(3). Is -1 equal to r?
False
Let i = 58/7 - 8. Let w = -2.7 - -1.6. Let b = w - -1.14. Which is smaller: b or i?
b
Suppose 4 = 2*a - 4*a, -5*c + 14 = -2*a. Suppose 0 = -2*h + 6, -24 + 9 = -c*j - 3*h. Suppose -f - 2*f + g + 3 = 0, j*f + 3*g = -9. Which is greater: f or -1?
f
Let o = 316 + -28. Which is smaller: 289 or o?
o
Suppose 2*b + 4*s - 208 = -60, 0 = -5*s + 20. Let t = b - 34. Which is greater: 34 or t?
34
Let u = 15 - 12. Let l(t) = 8*t + 7. Let i be l(u). Let m = i - 44. Is -13 at most m?
True
Suppose 14*m - 8469 = 23*m. Is -940 greater than m?
True
Let t(i) = i - 9. Let s be t(11). Suppose 0 = -5*k - 0*k - s*h + 20, 3*h = 0. Which is smaller: k or 3?
3
Suppose -2*q - 2*c + 4 = c, -5*q = -3*c - 10. Suppose -4*h + 2*g = -28, -2*h - 5*g = q*h. Suppose 2*s - 1 + h = 0. Is -2 bigger than s?
False
Suppose -2*x = -5*j + 7, 23 = -x + 5*j + 7. Let q(l) = -3*l - 6 - 2*l - 3*l. Let t be q(-2). Are x and t unequal?
True
Suppose 18*v = -3023 - 8587. Does v = -644?
False
Let f(y) = y**3 - 13*y**2 - 21*y - 17. Let q be f(15). Which is smaller: 120 or q?
q
Let f(y) = -4*y + 44. Let v be f(9). Is v bigger than 2?
True
Let k(v) = 7*v - 138. Let b be k(21). Is -0.26 not equal to b?
True
Suppose -2*l - 5*l + 77 = 0. Suppose -2*k + 15 - l = 0. Is -1/3 >= k?
False
Let a = -232 - -232. Which is smaller: 0.038 or a?
a
Let u be 96/(3 + 15/10). Is 22 less than or equal to u?
False
Suppose f + 3 = 2. Let m = 7/4 + -37/12. Which is smaller: m or f?
m
Let h = 3401/78 + 123/26. Is 47 smaller than h?
True
Let d = -19702/67 - -294. Is d not equal to 1?
True
Let a = -4 + 46. Let h(z) = z**2 - 14*z + 81. Let s be h(10). Is a > s?
True
Let j = -15527/295 - -263/5. Suppose 0 = 5*n - t - 1, 2*n + 0*t + 1 = -t. Is n <= j?
False
Let z = 1 - -2. Let c be 2/6 - 85/(-15). Suppose o = 2*o - c. Which is greater: o or z?
o
Let l be 10/4*27/(-1215). Is l at least 1?
False
Let m = -330 + 85. Let v = m + 1953/8. Are v and -2 unequal?
True
Let v be (-526)/8*-1*-4. Let s = -3941/15 - v. Is 0 > s?
False
Let v = -135 + -363. Which is bigger: -497 or v?
-497
Let n be 5/((-165)/18) - 25/55. Let s = 1 - 1.3. Let d = -0.1 - s. Which is smaller: d or n?
n
Suppose 2 = v - 0. Let n(u) = u**2 + 3 + 0*u**v - 8*u + 3. Let d be n(7). Is 0 < d?
False
Let d be (-2 - -5)/(3/2). Suppose -d*f - f = -3. Let n be (-5)/3*(0 + -1). Which is bigger: f or n?
n
Let n be -6*(3 - 2/2). Let l be (6/(-5))/((-42)/(-280)). Let o(c) = c**2 + 12*c + 19. Let p be o(l). Which is smaller: n or p?
p
Let y(g) = 7*g**3 - g**2 - 3*g - 2. Let n be y(-2). Let i = -37 - n. Let t be i/95*5/(-4). Is t at least -0.4?
True
Let g = 117 + -117. Is -2/237 > g?
False
Let s = 9 - 1. Suppose o = s*o. Is -2/273 at least as big as o?
False
Let z = 51.8 + 2.2. Let i = z + -54. Which is smaller: i or 2?
i
Let s = -13 + 16. Suppose -s*r + 6 = -9*r. Is 3/31 <= r?
False
Let t be (0 - (-4)/(-8))*2. Which is smaller: t or 1/92?
t
Let w = -7 + -10. Let c = w + 2. Let y = c + 15.1. Which is greater: 14/3 or y?
14/3
Let h be (5500/(-110))/(4/38). Is -1 greater than or equal to h?
True
Let j = 0.606 + -0.73. Let p = j - -8.024. Is p equal to 0?
False
Let c = 75.7 - 2.7. Let o = c - 69. Which is smaller: -13 or o?
-13
Let n = -1161 - -4673/4. Is n at least 6?
True
Suppose 18*v - 29*v + 1452 = 0. Does 132 = v?
True
Let a(s) = 7*s + 13. Let r = 18 - 24. Let h be a(r). Which is bigger: -30 or h?
h
Suppose 0 = 20*m - 28*m. Is m != -7/78?
True
Suppose 42 = 7*s - 0. Let l be (2/s)/(580/(-15)). Is -1 < l?
True
Let w(z) = -2*z**2 + 13*z - 19. Let l be w(4). Is -5/23 < l?
True
Let u = -79/132 + 5/12. Let w be 334/1169 - (-43)/(-126). Is u smaller than w?
True
Let x be ((-36)/162)/((-2)/3). Which is greater: 182 or x?
182
Let w be 684/(-430) + (-28)/(-35). Is 0 at most w?
False
Suppose -n = -0*t + 2*t - 98, -4*n