 - 144. Let z be s(-21). Is -38 less than z?
False
Suppose 7*d = 132 - 545. Suppose -2*r - 130 = 2*y, -5 = 5*r - 4*r. Is d smaller than y?
False
Suppose 4*r - 38 = -5*t + 17, r = 0. Let d = 0 - 0. Suppose 2*h + s - 3 = -0*s, d = -5*h + s + t. Is h > 2?
False
Let a = -12.0319 - -0.1319. Which is greater: 4 or a?
4
Let h = -12.01 - -13. Let t = 0.21 + h. Which is smaller: 6 or t?
t
Let x = -18599 - -17929439/964. Is 0.1 smaller than x?
False
Let c(s) = 2*s - 26. Let r be c(12). Let m be r/(-5) + (-198)/45. Let z be 3/(-1) - (-1 - -2). Does m = z?
True
Let n = 3/5 + 1/5. Suppose -6*z + 5*z + 1 = 0. Let t be 1*(-1 - (0 - z)). Is n != t?
True
Let i be (-14)/(-40) - (-117)/(-156). Which is smaller: i or 747?
i
Let d be 571912/(-9380) + 2/(14/(-3)). Which is greater: d or -61?
-61
Let a = 5541 - 5560. Let r = 45 - 66. Is r greater than a?
False
Suppose -22*n + 8*n = 28. Suppose -1 - 9 = 2*q. Let l = n - q. Is 1 greater than l?
False
Let a = 2677/273621 - 1/1227. Let r be ((-8)/16)/(-5*9/(-90)). Are r and a equal?
False
Let s(k) = -k**2 - 15*k + 10. Let x be s(-15). Let c = 31 - x. Suppose c = -8*z + 7*z. Is -21 at least as big as z?
True
Let g = 27.219 - 5.149. Let q = g + -22. Let j = -1 + 1.2. Which is greater: j or q?
j
Suppose -5*s + s = -4. Let g = 75/19 - 485/171. Are g and s equal?
False
Suppose -3*k = -3*p + 5 + 6085, k = -4*p + 8105. Which is greater: 2028 or p?
2028
Let v = 8734 - 26426/3. Let f = -74 - v. Are -18 and f equal?
False
Let d = -14 + 17. Suppose 0 = -5*n - g - 7, d = -5*g - 7. Are n and -3/29 equal?
False
Suppose -4*y = -2*n + 26, n - 5*y = -2*y + 14. Let d(z) = -z**2 + 13*z - 7. Let i be d(n). Suppose 2*t - 5*t = -42. Is i equal to t?
False
Let f = 0.3 - 0.38. Suppose 69 - 57 = 6*p. Is f greater than or equal to p?
False
Let y = -13 - -17. Suppose -4*d - 4*r + 25 = -d, d + 3*r = 15. Suppose d*w = -w - y. Which is greater: w or 2?
2
Let s = -420 + 388. Which is smaller: -22 or s?
s
Let h = 2 + 4. Let q be (h/(-4))/(23/184). Is q <= -1?
True
Suppose 5*y = -20, p - 3*y - 17 = -0*y. Let f = -162 + 158. Is p equal to f?
False
Suppose 2*q - 2*z = -2, 4*q = z + 5 - 3. Suppose 0 = -2*f + 79 - q. Are f and 39 equal?
True
Let v = 0.175 + -0.13. Let n = 0.035 - v. Which is bigger: 3 or n?
3
Suppose -48*r + 42*r - 78 = 0. Which is bigger: -10 or r?
-10
Let n be 13/((-78)/(-12))*(1 - 12). Which is greater: -21 or n?
-21
Let l = -24 - -241/10. Let s = -242 - -242. Which is greater: l or s?
l
Let u = -0.2 + 0.9. Let i = -4 - -3.7. Let t = u - i. Is 16 less than or equal to t?
False
Let l(y) = 2*y**2 + 4*y - 9. Let z(j) = -2*j**2 - 3*j + 8. Let q(x) = 3*l(x) + 4*z(x). Let d be q(5). Do -46 and d have different values?
True
Let d = 94 + -86. Let m(j) = -2*j**2 - 6*j + 7. Let y be m(-5). Let t = 22 + y. Are t and d unequal?
True
Let k = 3/4 - 41/44. Suppose -g + 4*j + 23 = 0, 3*g + 2*j = -j + 9. Let u = g - 6. Is k smaller than u?
True
Let p = -0.056 - -0.616. Let y = p + 0.44. Let o = -9.2 - -8. Are o and y equal?
False
Let d = -39 - -19. Let f = 16 + -15. Let c be ((-28)/d - 2) + f. Which is bigger: -5/8 or c?
c
Let q be (2 + (-4)/5)*-5. Suppose -55*i - 23 = -62*i - 58. Which is greater: q or i?
i
Suppose 2*x + 16 = 6*x. Suppose 3*m = x - 16. Let n be (6/124)/(3/m). Which is smaller: 0 or n?
n
Let x be (78/2*-1)/(-3). Suppose -x = -7*z + 8. Which is greater: 1 or z?
z
Let l(x) = x**2 - 6*x + 9. Let t be l(2). Does -1/1109 = t?
False
Let i(x) = x**2 - 8*x + 5. Let o be i(6). Let k(y) = -54 + 49 + 4*y - 5*y**2 + 0*y**3 - 4*y**3 + 5*y**3. Let f be k(4). Is f < o?
False
Let p = -28.45 + 29. Let d = 0.55 - p. Let r = 0.18 - 0.09. Is d equal to r?
False
Let z = -0.103 + -84.897. Let m = z + 85.3. Is -1.3 >= m?
False
Let y = 3 - 0. Suppose -3*j + 24 = v + y*v, 5*v + 5*j - 35 = 0. Let h = -4 - -3. Which is smaller: v or h?
h
Let c = 11/2216 - 915263/11080. Let u = 119347/1445 + c. Which is smaller: u or -1?
-1
Suppose k + u + 17 = 0, 4*k - 9*u = -6*u - 33. Does k = -4?
False
Suppose 2*c - x = 37, -4*c - 5*x + 81 = -0*x. Suppose -2*k - c - 3 = d, 3*k = 5*d - 46. Which is smaller: -23/2 or k?
k
Let j be (-138)/4*56/(-42). Suppose 3*h = -h + 2*v - j, 0 = 3*h - 5*v + 31. Is h at most as big as -13?
False
Let f be (-8)/(-2 + (3 - 3)). Let p be (4 - 3)/(f/20). Suppose -p*q + q - 22 = 2*z, 15 = -3*q. Is -1 < z?
False
Let c(k) = -13*k**2 + 42*k - 127. Let n be c(5). Is n at least -4?
False
Suppose 6*o = 2*o - 252. Let z = o + 121/2. Is 2 greater than or equal to z?
True
Suppose -2*t = 2*t. Suppose -4*z + s = 2*s + 1, 3*z - 3*s - 3 = t. Let b be (2/4)/(z - -1). Do b and 2/41 have different values?
True
Let c(x) = 4*x**3 - 4*x**2 + 4*x - 2. Let k be c(2). Let v = 117 + -95. Do v and k have different values?
False
Suppose 0 = -0*q + 2*q - 28. Let v be ((-4)/q)/(9/(-21)). Is v at least as big as 7/8?
False
Let h = 104 - 105. Let q be (h/(-2))/((-50)/(-12) - 1). Which is bigger: 0 or q?
q
Let w = -16.046 - -16. Let r = w - 1.954. Is 1/7 not equal to r?
True
Suppose -3*o + 2*w = 2*o - 25, 5*o - 10 = -w. Let s be (4 + -8)*o/12. Is s > 3?
False
Let s = -37 - 62. Let l = s + 111. Which is smaller: l or 11?
11
Let h = -0.3 - -0.1. Let a = 0.096 - 10.896. Let d = a + 11. Do d and h have different values?
True
Let h be ((-602)/132 - -2) + (-12)/72. Let q be 104/(-182)*7/2. Is h at most as big as q?
True
Suppose 17 = -2*q - 3*g, q - 3*g + 10 + 3 = 0. Let u = q + 7. Which is smaller: -5 or u?
-5
Let m = -0.55 - -0.49. Let s = 4 - 9. Let j = -4 - s. Is m greater than j?
False
Suppose 5*h - 60 = -x - 8, -4*x - 56 = -4*h. Let l be -1 - 3 - h/(-3). Are -0.012 and l unequal?
True
Let u = 8966/27 + -332. Let y(k) = k + 1. Let d be y(12). Suppose d = -v + 4*f, -2 = -v - 2*f + 3. Which is smaller: v or u?
v
Suppose -d = -6*d - 3*y - 9768, -5*y + 20 = 0. Is -1957 smaller than d?
True
Let q = 3.05 + -3. Let h = q - 0.1. Suppose -10*s = -33*s. Which is smaller: s or h?
h
Let k(h) = -3*h + 40. Let r be k(12). Suppose c - 3*c = t - 11, 0 = t - r*c + 19. Do t and -8 have the same value?
False
Let q be (7 - 6) + 6 - 16. Which is bigger: q or -3?
-3
Suppose -4*g - 2*a + 384 = 1006, 0 = 3*g + a + 469. Let y = g - -787/5. Which is smaller: y or -2?
-2
Let n = 7 + -7. Suppose t - 3*u + 6 = 17, 4*t - 2*u - 14 = n. Do t and 5 have the same value?
False
Let r be (4/5)/((-12)/330) + 3. Let k = -27 + 8. Are r and k non-equal?
False
Let g = -682/879 - -2232433/16701. Let p = -133 + g. Which is bigger: -1 or p?
p
Let f = -0.051 + 7.051. Let s = -10 + f. Which is smaller: 2/13 or s?
s
Let a = -1083 + 1074. Let j be 1/4 - (-99)/(-12). Which is smaller: a or j?
a
Let m = 115 - 139. Which is greater: -23 or m?
-23
Suppose 4*r - 5*r + 2 = 0. Let l(w) = -8 + 0*w + 1 - w. Let z be l(-8). Are r and z unequal?
True
Suppose 18*r - 20*r - 150 = 0. Let y be ((r/(-6))/5)/((-5)/50). Which is greater: 1 or y?
1
Let i = -3 + 2. Let v = -8653/399 - -451/21. Is v != i?
True
Suppose 316 = 7*q + 43. Is 33 equal to q?
False
Let l = -0.0669 + -1.9331. Let x be (3/(-24))/((-3)/4). Which is smaller: l or x?
l
Suppose 3*g + n - 41 = -n, -2*n + 19 = g. Are -1 and g non-equal?
True
Let z be ((-8)/636)/((-4)/(-6)). Suppose 8 - 15 = 7*s. Is z >= s?
True
Let x = 15/41 - 184/615. Let g = 0.2 + -0.3. Which is smaller: g or x?
g
Suppose 9 = -2*p + 77. Let u be 7 - 3 - (0 - p/(-9)). Are u and 10 non-equal?
True
Let f = -6522 - -6520. Suppose 4*n + 16 = -4*g, 3*g = -5 - 1. Is n < f?
False
Suppose 6*j + 2 = 5*j. Let v be -4 + j + 3 + 2. Which is smaller: -4/23 or v?
v
Let c = -0.218 + 14.218. Which is smaller: 2 or c?
2
Let y = -13.2 - -11.18. Let h = -0.02 - y. Let r = -1.2 + h. Is r greater than or equal to 1/4?
True
Suppose 8*u - 10*u = 88. Is u not equal to 2/3?
True
Let f(v) = -4*v + 51. Let p be f(6). Let q be 36/(-1161)*p/6. Which is smaller: q or 1?
q
Let u = -763 - -756. Is u greater than or equal to -5?
False
Let u be 4 + (-104)/22 + 3. Let c = 414/187 - u. Let p(k) = k - 5. Let w be p(4). Are w and c equal?
False
Let f = 409/136 - 13/34. Is f < 4?
True
Let x(g) = 120*g - 2. Let h be x(-1). Let q = h - -115. Is q less than or equal to -1?
True
Let v = -21658/453 - 7/302. Do v and -48 have the same value?
False
Let l = 4.55 - 105.55. Is l greater than or equal to 1.2?
False
Let z(v) = -v**2 + 30*v + 41. Let q be z(33).