 296 - 295.1. Suppose m + 4*s = -m - 66, 4*m + 80 = 5*s. Let h be (-1 - 27/m)*5. Is h > w?
False
Let d = 242 - 267. Which is bigger: -24 or d?
-24
Let g = -132 + 214. Let d = g - 78. Which is greater: 0 or d?
d
Let d = -7069 + 2580187/365. Is d smaller than 0?
False
Let r = -472/2865 + 6/191. Suppose 4*w - 28 = -28. Which is bigger: r or w?
w
Suppose -3*p - 10 + 13 = 0. Let f = 9 + -10.2. Let c = f + 1.4. Is p greater than or equal to c?
True
Let f = 0.141 + -14.741. Let j = f + 17. Let w = j + -2.3. Is 0.1 smaller than w?
False
Suppose -4*h + b - 6 = -b, 12 = -2*h + 4*b. Let l be -2 + (-1)/((-3)/12). Let k be (1/(-3)*l)/(-12). Which is greater: k or h?
k
Let w be (177/36 - 5)/((-4)/(-12)). Which is greater: w or 1041?
1041
Let b(k) = 8*k**2 - 24*k - 160. Let v be b(-8). Is v equal to 542?
False
Let w = 9 + -4. Let c be w/8*(-9)/(-45). Which is smaller: c or 1?
c
Let v be ((-1)/3)/((-1045)/231 + 5). Does -2 = v?
False
Suppose -t - 4*p - 2 + 4 = 0, 0 = -5*t - 5*p + 25. Suppose -4*k = -t - 2. Let v = -41 - -45. Is v greater than k?
True
Let p = -242.9 - -208. Let c = p + 35. Suppose -g = g - 2. Does c = g?
False
Let f(z) = -11*z**3 + 4*z**2 + 3*z - 1. Let h(b) = -4*b**3 + b**2 + b. Let y(c) = 3*f(c) - 8*h(c). Let x be y(4). Let q = 1.2 - 1. Does x = q?
False
Let b = 27369142/105185 + -1/21037. Suppose 1006 = -3*d + k + 230, k + 1 = 0. Let w = d + b. Is 0 not equal to w?
True
Let c be (-1)/(-9)*204/63784. Which is greater: -1 or c?
c
Let n = 12243/4 + -3078. Is -16 less than n?
False
Let h = -54 - -136. Let o = h - 82. Is o less than 0?
False
Let j(f) = 87526*f - 3. Let o be j(-10). Let l = 1181605123/1350 + o. Let r = l + 1/50. Are 1 and r equal?
False
Let k(o) = -38*o - 2. Let u be k(-1). Let p = u + -37. Is p <= 0?
True
Let d = 237 - 237.986. Let j = -0.014 + d. Which is bigger: j or -5?
j
Suppose -9*h + 4 = -5*h. Suppose -2*a + 7*a = 2*o - 5, 4*o + a + h = 0. Suppose x = 3*x. Do o and x have different values?
False
Let z(g) = -g**2 - 2*g + 165. Let f be z(-14). Which is bigger: -13 or f?
f
Suppose -7*j - 3 = -4*j. Let x be (-3)/6 - 11/2. Let n be (-48)/42*(-3)/x. Which is smaller: n or j?
j
Suppose 0 = v + 4, -s - 7 = 4*v + 7. Suppose 2*k = -3*j + 2*j + 13, 0 = -s*k - 2*j + 14. Which is greater: 4 or k?
k
Let d be 39/12 - (-1)/(-4)*-3. Suppose 0 = 3*l + d - 19. Which is bigger: l or 2?
l
Let j = 4 + 1. Suppose -j*s - 2*l = 57, 77 = -5*s - 0*l + 3*l. Suppose 18 = 2*u + 42. Which is smaller: s or u?
s
Let t be 1/((-4)/9 + 1). Let c(o) = 26*o + 1250. Let d be c(-48). Which is greater: t or d?
d
Let p = -1 - -1. Let k = 61 + -53. Let n be k/22*(13/(-2) - -6). Do n and p have the same value?
False
Let h be (-2)/(-4)*(-114)/(-3). Suppose -31 - h = -5*d. Which is bigger: 11 or d?
11
Suppose 4*x - a - 4 = 0, -8 + 12 = -a. Which is bigger: x or -3/136?
x
Suppose 0 = -3*v + 5*x + 242, -5*v + 3*x + 440 = 2*x. Let h = v + 5. Is 94 != h?
False
Let u = 0.45542 - 51.58142. Let r = u + 0.126. Do 0 and r have different values?
True
Suppose -13 = 5*j + 7. Let a be 1/(-13)*-24 - (-20)/130. Let t be (((-32)/(-82))/j)/a. Which is bigger: 0 or t?
0
Suppose 4*b - 63 = 5*i, -4*b = 2*i + 3 - 45. Suppose 2*r = 3*d - 2, -r - 5*d = -d - 21. Suppose -17 = -4*j - 1, -r*a = 2*j + b. Is -3 at least as big as a?
True
Suppose 91 = -35*p - 609. Let r = 30 + -12. Let l = p + r. Which is smaller: l or -9/4?
-9/4
Let w(y) = -y**2. Let q(f) = f**3. Let x(v) = -q(v) - w(v). Let k be x(1). Which is smaller: k or -2/15?
-2/15
Let n = 0.98 - -0.02. Let y = 52 + -32. Do y and n have different values?
True
Let q = -0.076 + 11.176. Let p = -11 + q. Is p <= 13?
True
Suppose 0 = 2*z - 4*z. Let l be 9 - 8 - (-1)/((-11)/16). Which is greater: l or z?
z
Let r be 0/(6 - 5 - 0). Which is bigger: -11/236 or r?
r
Let g(r) = 2*r - 7. Let s be g(3). Let v be 0/(2 - 4)*(-2 - s). Which is bigger: 3/16 or v?
3/16
Let g = -4 - -2. Suppose 4*n - 31 = -2*c - n, 0 = -3*c + 3*n + 15. Let p be g/c + 84/16. Is p > 6?
False
Let y = -4 + 10. Suppose -4*c = -5*c + y. Suppose 0 = -c*i + 9*i. Are i and 1/4 equal?
False
Let u = -54704/9 - -6072. Is -7 < u?
True
Let a(q) = q**2 - 2*q - 3. Let c be a(3). Suppose -15*t + 11*t = 0. Let r(s) = -s**2 - s - 2. Let f be r(t). Is f at least c?
False
Let s = -77 + -11. Let j = s - -88. Is -4/5 < j?
True
Let m(z) = -6*z + 27. Let s be m(-16). Suppose 0 = -5*a + 2*a + s. Is 39 != a?
True
Suppose 3*q = -0*q + 6. Suppose 0 = -2*x + 4*x, 0 = t + q*x - 6. Let j be (-210)/45*t/(-4). Which is smaller: j or 5?
5
Let o(j) = -2*j + 1. Let x be o(-2). Suppose 0*h = -x*h - 20, -w = h - 5. Let v be (-15)/w + 0 + 1. Which is smaller: -1 or v?
-1
Let a(w) = -w**3 + 4*w. Let d be 0 + 0/3 + 2. Let f be a(d). Which is greater: 0.18 or f?
0.18
Suppose 1 = 2*i - i, 0 = 4*h - 2*i + 14. Let c = h + 0. Does c = -2?
False
Let r be 8 - (7 + (-77)/(-63)). Are -1/1175 and r nonequal?
True
Let q(s) = -6 - 3*s + 20 + 7 + 6*s. Let k be q(-7). Let o = k + -10. Which is greater: o or -8?
-8
Let j be 11/176 - (-45)/(-80). Which is bigger: j or -41/4?
j
Let h be 4/(-8)*(11 + -11). Which is bigger: 5/22 or h?
5/22
Let k = -7 - -6. Let h be 13/(-15)*(-31)/31 + -1. Which is bigger: k or h?
h
Let l be 1 - 8 - (0 - 11). Is l at most as big as 84/31?
False
Suppose -5*j = -5 - 10. Suppose -15 = j*w - 2*w. Let k be (-6)/w - (-28)/(-20). Is 1/28 at least k?
True
Let f(c) be the second derivative of -c**4/6 - 7*c**3/6 + 7*c**2/2 - 25*c. Let r be f(-5). Is -9 smaller than r?
True
Let i = -199/10 + 62986/3165. Which is bigger: i or 0?
i
Let q = 4.6 + -6.33. Let h = q + -12.47. Let k = h + 14. Is k <= 0.5?
True
Let j = -57/439 + 271969/1756. Let u = j + -154. Suppose 3*x + 9 = -2*o + 3, 2*o - 5*x - 10 = 0. Which is bigger: u or o?
u
Let b = 1.45 + -1.7. Let a = 0.25 + b. Which is bigger: -9 or a?
a
Let u = -24.78 - -25. Let x = -471 + 474.78. Let h = u + x. Is h != 0.1?
True
Let g = -65317/23 - -2834. Which is bigger: g or -7?
g
Let c(v) = -v**2 - 3*v - 2. Let x be c(-5). Let j = -6 - x. Suppose 3*p = 7*p - 5*b - 1, 2*p + j = -4*b. Are -9/7 and p nonequal?
True
Let z = -2.675 + 2.47. Does z = -1?
False
Suppose 0 = 2*u - 4*u + 18. Suppose -u*l = -4*l. Suppose l*b - 1 = -b. Is 3 less than or equal to b?
False
Let z be (-148)/(-28) - (-1 - 27/(-21)). Let j be 6 - (6 - 3) - (z - 3). Which is bigger: j or -0.3?
j
Let j be 2/10*(-15)/(-12). Let h = -376 - -2634/7. Which is smaller: j or h?
j
Let k be (-21)/(-28) + 46548/(-48). Do -971 and k have different values?
True
Let t be (26/(-9) - -3)*12/(-4). Let p = 3183 + -57317/18. Let z = 361/198 + p. Are t and z non-equal?
True
Let l = 69.85 + -63. Let f = -0.15 - l. Let y = f - -9. Do -2 and y have different values?
True
Let x(r) = -14*r + 476. Let c be x(34). Let m = 468 - 13566/29. Which is greater: c or m?
m
Let j = 5 - 7.8. Let w = j + 2.97. Let k = w + -14.17. Which is greater: k or -2/3?
-2/3
Let a(p) = 48*p + 91. Let x be a(-4). Is x greater than or equal to 0.1?
False
Suppose 3*b + b = 544. Suppose 4*n = b + 36. Which is smaller: 44 or n?
n
Let j = 49.4 + -51. Let v = 7 - 5.5. Let a = v + j. Is a at most as big as -0.2?
False
Let t = 19.38 - 19.591. Do 0.2 and t have the same value?
False
Let h be 8840/12 + (-3)/(-9). Let t = -5179/7 + h. Do -4 and t have the same value?
False
Let u = 87.7 - 87.9. Which is smaller: u or -0.185?
u
Let h = -1281 + 1280.8. Which is bigger: h or 937?
937
Let k be 8/20 - (-49)/(-175). Which is bigger: -1 or k?
k
Suppose 0 = -2*f - 5*k - 6 + 21, 0 = 5*f + 4*k - 12. Is 25/41 > f?
True
Suppose -3*i - 19 = 4*h, -4*i - 4*h = -7*h + 67. Suppose -60 = -31*g - 400 - 1. Is g less than or equal to i?
False
Suppose -16*n + 13*n = -18. Suppose -h - n*h = 147. Do -20 and h have different values?
True
Let x be ((-16)/(-6) + -2)/(-2). Let g = -27 + -8.8. Let y = g - -36. Is x >= y?
False
Suppose 3*j + f - 10 = 0, 18 = j + 4*j + f. Suppose -3*b - 17 = -u, 2*u + 11 = b - 4*b. Let y be u/4 + 114/36. Does j = y?
False
Let a be (16/32)/((-2)/(-12)). Which is greater: 41/10 or a?
41/10
Let j = -349 + 991/3. Let m = -18 - j. Do 1 and m have the same value?
False
Let u = -969 + 969.2. Is u < -399?
False
Let b(x) = -5*x**2 + 4*x + 24. Let l(n) = 6*n**2 - 5*n - 24. Let c(y) = -5*b(y) - 4*l(y). Let p be c(5). Does -2/41 = p?
False
Let m(r) = 2*r - 21. Let w be m(9