 1 - (-4 - -1). Suppose -5*c = 3*x - 14, 5*c = 4*x + t - 8. Let u be (-2)/11 + (-81)/(-264). Is c != u?
True
Let z = -127 + 217. Suppose 4*q + j - 152 = 0, 5*j - j - z = -2*q. Which is greater: 36 or q?
q
Let c = 293/246 - 1/41. Let i = -17/18 + c. Is 2/5 less than or equal to i?
False
Let s = -103 + 102. Which is smaller: s or 2/241?
s
Suppose 51*m - 31 + 133 = 0. Which is bigger: m or -5/8?
-5/8
Let g(z) = z**2 - 24*z + 28. Let i = -8 + 31. Let q be g(i). Which is smaller: q or 7?
q
Let d = 30.4 + -25.4. Let k = 1.3 + -1. Is d > k?
True
Suppose 4*r - 5 = -2*l + r, 3*r = 15. Let x(c) = -2*c - 24. Let t be x(18). Let i = t - -54. Which is bigger: l or i?
l
Let h be 16 - 4*(-2)/2. Let z = h + -21. Let d = -107/5 + 21. Is z > d?
False
Let n be (-573)/(-301) + -3 + 1. Let c = -2/43 + n. Let m be (15/12)/5 + (0 - 35/28). Is m < c?
True
Let d be (-4)/(-8) - (143/(-6))/13. Let f = -0.9 + 0.6. Which is greater: d or f?
d
Suppose r + 2*j = -r - 16, -2*j = 3*r + 25. Let d be 4/(-16)*(-24)/r. Is -1 greater than d?
False
Let y = 116.945 + -117. Let k = -2.155 - y. Is k < 3?
True
Let w = -2 + 7. Suppose 14 = w*v + 3*u, -4*v + 0*u + 4*u - 8 = 0. Is 16/7 bigger than v?
True
Let t be (-3)/5*2/24. Let f = 32 - 29. Suppose 4*q - o - 1 = -2, 0 = -f*q - 2*o + 13. Which is smaller: q or t?
t
Let b = 0.12 - -4.88. Let c = 22 + -19. Let h = 2 - c. Do b and h have different values?
True
Let p be ((-1 - 0) + 2)*(62 - 8). Suppose p = a + 5*a. Suppose 4 = 4*q - 0. Which is smaller: a or q?
q
Let o = 1252.3 - 1255. Let d = -143/228 - 3/76. Which is smaller: d or o?
o
Suppose o - 67 = 2*a, a - 6*o = -2*o - 30. Which is smaller: -131/4 or a?
a
Let o be (-2)/(-6) - 10/(-6). Suppose 7*b + 478 = 541. Which is smaller: o or b?
o
Let m = -0.26 + -0.12. Let a = -0.26 - m. Is a <= 0.2?
True
Let o = 36 + -30. Suppose -4 = 5*j - o*j. Is 3 greater than j?
False
Suppose -8 + 0 = -f. Let t(l) = -l**3 + 9*l**2 - 5*l - 27. Let d be t(f). Is d < -6?
False
Suppose 0 = -5*k + 100 - 25. Suppose -k = -o - 2*o. Which is smaller: 4 or o?
4
Let x = 104 + -103.8. Which is smaller: x or -38?
-38
Suppose 8*c = 13*c - 255. Let j be 17/c - 0/(-1). Is j >= 1?
False
Let t = -865 + 593. Are t and -272 non-equal?
False
Let k = 79 + -78.75. Let m = 0.1 + -0.1. Which is greater: m or k?
k
Let h(k) = -k**2 + 4*k - 3. Let p be h(4). Which is smaller: -8/3 or p?
p
Suppose -2*u - 4*r - r - 10 = 0, -4 = u + 2*r. Let m be (-208)/(-1664) + (121/56 - 2). Is m greater than u?
True
Suppose l + z = -1, -3*l + 26*z - 21*z = -13. Is l at least 2/5791?
True
Suppose -2 = -a - 0*a. Suppose 0 = 4*h - 20, -a*t = -h + 4*h - 43. Which is smaller: 12 or t?
12
Let g(x) = 33*x**2 + 2*x + 5. Let s be g(-4). Let j be 320/s + (-2)/3. Is j at most as big as -1?
False
Let a be -3*(220/72 - 2). Let z = -903 - -900. Which is greater: z or a?
z
Let v(f) = -4*f + 15. Let w(m) = -3*m + 15. Let l(h) = 5*v(h) - 4*w(h). Let z be l(11). Is -73 greater than z?
False
Let j = 18 + -18. Suppose j = -4*i - p + 331, 5*i + 3*p + 2*p = 395. Let y be 0 + i/(-39) + 2. Are -1 and y equal?
False
Let i = 78 - 78.2. Let d = 0.5 + 0.5. Which is greater: d or i?
d
Suppose -7*o = -3*o - 28. Let t = o - 3. Let u = -5 + t. Which is bigger: u or -2?
u
Let s = 1921 + -2024. Is s at most -100?
True
Let r be 5/2 + (-1748)/552. Let u = -0.14 - 18.86. Is u less than or equal to r?
True
Let m be -1*(-1 + -3 + 0). Let l = 554 + -548. Which is smaller: l or m?
m
Let n be ((-9)/12)/(1/(-8)). Suppose 267 = 4*j - t, -j + 2*t + 54 = n*t. Let f = j - 464/7. Which is smaller: f or 0?
f
Let j(b) = -b**2 - 2*b + 34. Let y be j(-11). Let l = y - -5. Are -59 and l equal?
False
Let n be 316/1*14/(-154). Which is smaller: -29 or n?
-29
Let y(h) = -h**2 - 11*h + 1. Let f be y(-11). Is f >= -10/539?
True
Let r = -7 - -14. Suppose -9 = -r*k + 4*k. Which is smaller: k or 8/3?
8/3
Let t(c) = 3*c**2 - 5*c + 5. Let a be t(2). Let v be a/(-7)*(-1 - -1). Which is greater: v or -1/20?
v
Suppose 10*y = -372 + 252. Which is bigger: y or -9?
-9
Let c(h) = -h + 1. Suppose -3*d + 5 = -7. Let t be c(d). Let o = 0 + -2. Is t < o?
True
Let p = -69 - -68. Is 2/29 at least p?
True
Suppose d - 2*d + 2*h = 7, -d + 3*h - 7 = 0. Let k be (d/(-21))/((-2)/6). Is k greater than 1/25?
False
Let q(m) = m**3 - 8*m**2 + 8*m - 5. Let c be q(7). Suppose u - y - 6 = -c*u, 2*y = u + 3. Let g be u/2*63/(-18). Which is greater: -4 or g?
-4
Let x(i) = -i**3 + 17*i + 14. Let h be x(-5). Is -4 bigger than h?
False
Suppose 0 = 5*t - 14 + 4. Let b be 4/(-14) + 74/14. Suppose -2*r + 5*p - 14 = 0, -4*r - b = p + 1. Which is bigger: r or t?
t
Let y = -15 - -18. Let n be ((-2)/y)/((-24)/(-36)). Let k be n*3 - 196/(-66). Is 1 < k?
False
Let s = -5 - -8. Suppose -3*p - o = -36, -4*o - 29 = -4*p + s. Let q be 19/44 + (-2)/p. Which is bigger: q or 1?
1
Suppose 6*q - 4*q = -3*d + 15, -3*d + 5*q = -15. Suppose 1 = -d*p + 6. Let l be 28/16 - (-2)/8. Which is bigger: p or l?
l
Let n = -3 - -13. Suppose b - 5*s = -3*s + 19, 3*s = -6. Let z = 24 - b. Is z < n?
True
Let p = -8.14 - -3.32. Let r = p - -5. Let x = 0.17 - r. Which is smaller: x or 0.1?
x
Let i = 95.05 + -95. Which is smaller: -3/16 or i?
-3/16
Let s be 17/10 - 3/6. Suppose 25*y - 24*y = 2. Which is bigger: y or s?
y
Suppose 0*z - 3*t = 5*z + 59, 55 = -5*z - 5*t. Let f = 17 + z. Let s be (f + -1 - 3) + -1. Which is smaller: s or -4?
-4
Suppose -5*l - 1184 + 1169 = 0. Is l greater than 22?
False
Let y = 167 - 168. Which is smaller: y or -25?
-25
Let k(c) = -1. Let b(j) = j - 3. Let x(g) = -b(g) + k(g). Let p be x(1). Which is greater: p or 3/7?
p
Suppose 4*q - 73 - 7 = 0. Let x = q - 21. Is x equal to -2/15?
False
Let z(y) = y**2 + 8*y - 7. Let r be z(-10). Let a = 62 + -37. Let w = a - r. Does w = 13?
False
Let g = 6546 - 6556. Let t = 2045/3 + -691. Is t less than g?
False
Suppose 7*f = 12*f. Suppose 5*d + 18 + 17 = f. Is d >= -7?
True
Suppose 52 = -2*q + 6*z - 2*z, -5*q - 106 = -4*z. Is -25 greater than q?
False
Let w(k) = 2*k + 6. Suppose -4*d + 11 = -2*t - 7, -3*d + 9 = 0. Let r = t + 1. Let p be w(r). Is 7/5 bigger than p?
False
Let k(d) = -d**2 - 15*d + 36. Let g be k(-19). Are -18 and g nonequal?
True
Suppose 4*y = y - 15, 2*y = -2*w + 14. Suppose -3*b = b - w. Suppose -5*o - 19 = -z, -4*z - 3 = b*o + 13. Is z less than or equal to 0?
True
Let r be ((-1)/2*-1)/(27/6). Suppose -13*a + 3 = -10*a. Is a != r?
True
Let t(p) = -p**2 + 2. Let c be t(0). Suppose -q = 4*v + 4*q - 32, -5*q + 5 = -5*v. Suppose c*w = v*w - 1. Which is smaller: w or 7/3?
w
Let h be 14 - (-4 - (-3 - -6)). Does -5 = h?
False
Let i be (-4)/(-6) - 12008/(-2400). Let z be (1 + 45)*2/(-16). Let u = i + z. Is -1/4 less than u?
True
Let z = -469 - -659. Which is bigger: 0.3 or z?
z
Let q = -0.295 - 17.105. Is q at most 2?
True
Let y be (-7326)/5481 - (-6)/63. Which is smaller: y or 1?
y
Suppose -3*l - i = 7 - 3, 0 = -3*i + 15. Let z(r) = -r**3 - 3*r**2. Let h be z(l). Let v = 1 + h. Are 1 and v non-equal?
False
Let z = 32496/13 - 2502. Is -0.3 bigger than z?
True
Suppose -4*i - 13 + 37 = 0. Suppose -2*w - 5*t + 44 = 0, -t = i*w - 4*w - 28. Which is smaller: w or 7?
7
Let z be 2 + -2 + 4 + -1. Suppose -5 = z*w + 4. Let u = 3 + w. Which is smaller: 3/4 or u?
u
Suppose 2*b = 3*d - 74, 2*d + 1 = 2*b + 51. Let m(o) = o**3 + 9*o**2 + 2*o + 1. Let l be m(-2). Which is greater: l or d?
l
Let q = 47 - 50.8. Let s = q - 7.2. Which is bigger: s or 0?
0
Let x be 105/315*(0 - 0). Is x at most as big as -8/361?
False
Suppose 19 = 4*i + 15. Is i smaller than -4/33?
False
Let x = 101 - 1007/10. Suppose -b - 5*c - 16 = 0, 10*c - 12*c - 5 = -b. Is b at most as big as x?
True
Let w = -191 - -227. Is w greater than or equal to 43?
False
Let v be (30/4)/(12/112). Let y = v - 62. Is y <= 4?
False
Let w = -15 - -18. Suppose 0 = 4*u - w*u + 4. Which is smaller: u or -21/4?
-21/4
Suppose 3*q + 0*i + 5*i = -3, 3*q - 3*i - 21 = 0. Suppose -5*v + 15 = -0*v - q*x, 0 = -5*v - 3*x - 20. Let c = 0 + -0.2. Which is smaller: c or v?
v
Let s = 2.05 - 2. Let r = 1069 + -1044.95. Let y = s - r. Is y not equal to 1?
True
Let u = 0.0177 - 0.4177. Which is smaller: -71 or u?
-71
Suppose 5*h - 7 - 3 = o, h - 2 = -3*o. Let m(a) = -40*a - 2. Let z be m(h). Let l be (4/10)/(z/10). Is l <= -1?
False
Suppose -4*o = -16, o = 4*n + 3*o - 24. Let