-240. Let p be 6/w*1*-2. Is p not equal to -2/119?
True
Suppose -2*p + 8 = -7*t, -4*t + 1026*p - 1028*p = -8. Is t at least as big as -59/415?
True
Let y = -3670/7 + 21192/35. Suppose -210 = -2*f - 3*l - 62, -f + 5*l = -100. Are f and y equal?
False
Suppose 74*f - 7 + 64 = 17*f. Which is greater: f or 55/526?
55/526
Suppose -4*b + 4*u = -468, -u + 219 = 2*b - 0*b. Let j = b + -105. Suppose 4*x - 11 = -j*x. Is -3/22 > x?
False
Let o = -0.86 + 1.04. Let y = o + -0.18. Suppose 23*q = 27*q + 4. Which is greater: q or y?
y
Suppose 27096*g - 27122*g = 0. Which is smaller: g or 1/15018?
g
Let a be (-4 + 88/24)/((-2)/(-4278602)). Let y = a - -494177863/693. Let d = -8/63 + y. Is d less than -2?
False
Let z = -56.82 - -56.95. Are -62 and z equal?
False
Let b(y) = y**2 - 28*y + 121. Let v be b(25). Let r be (-6)/30 + 906/(-20). Let s = v + r. Which is smaller: -0.1 or s?
-0.1
Let q be 9/1 + 7 + -3. Let p be (385/22)/(q/12). Which is greater: p or 15?
p
Let u be (-126)/(-91404)*24/(-42). Which is smaller: 0 or u?
u
Let v = -1127 + 1997. Suppose -24*z = -34*z + v. Is z bigger than 86?
True
Let y = -260 + 329. Let r be 4/(-56) - y/(-798). Which is bigger: -1 or r?
r
Let q(j) = -j**3 - 9*j**2 - 7. Suppose 0 = -0*i - 3*i - 4*n - 47, -2*i - 8 = -2*n. Let p be q(i). Let y = 780 - 776. Which is smaller: y or p?
p
Let i(w) = -w**2 + 12*w + 1. Let a be 18/5*-1*30/(-9). Let z be i(a). Let f be (-1 + 2)/(0 + 1). Is f greater than z?
False
Let l = -284.4946 + -0.1054. Let u = -285 - l. Which is smaller: -103 or u?
-103
Suppose 2*n = -2*n + 2*i, 2*n - 5*i = 0. Let c = -313603/491385 + -1/10455. Is n bigger than c?
True
Let z = -0.035 + 0.463. Let o = z + 52.672. Let a = 53 - o. Which is smaller: -35 or a?
-35
Let v = -156.7 + 157.519. Let h = 0.089 - v. Let r = 1.51 - 1.51. Which is smaller: h or r?
h
Let q = -110 - -109. Let l be (-3 - -3) + (75 - q). Are -1 and l non-equal?
True
Let u = -12049 + 12050. Do u and 0.02351 have different values?
True
Suppose -2*b + 2*g - 4 = 0, -4*g - 3 = -5*g. Let w be (-20)/b*((-44)/(-16))/(-11). Suppose 2*r - w*r = 4*h - 94, 0 = -4*h + 16. Which is smaller: r or 24?
24
Let h = 193 - 183. Suppose h*x + 105 = 15. Is x < -1.2?
True
Let y = 9103 + -9949576/1093. Which is smaller: y or -1?
-1
Let f = 0.154 + 9.146. Let w = f + -9.89. Let l = w + 0.66. Is -2/11 != l?
True
Let r = -11.434 + 0.134. Let l = -11.2 - r. Which is smaller: -6/13 or l?
-6/13
Suppose -5*t - 268 = -13. Let h = -11 - t. Let g = h + -48. Is -4 greater than g?
True
Let v = 35 - 25. Let c = 11.72 - -0.28. Let p = c - v. Is p >= -1?
True
Let h(f) = -f - 6. Let l be h(-6). Let n(i) = 7*i + 25. Let d be n(-9). Let s be -1 + 18/30 - d/70. Is s bigger than l?
True
Let h = 36 - 39. Let o(g) = -6*g - 7. Let b be o(h). Let a = b + -56/5. Which is bigger: a or 0.3?
0.3
Let z = 0.006 + 76.994. Let y = 54 - z. Let x = 45 - 45. Which is bigger: y or x?
x
Let q = 12281 - 331580/27. Let f = 7 - 8. Is f at most q?
True
Suppose 2*b - g = -103 + 425, -602 = -4*b - 5*g. Is 119 at least b?
False
Let a = 4276 + -4274.087. Which is smaller: 0 or a?
0
Let m = -98117 - -98075. Suppose -2*i - 4*q = 72, -3*q - 32 = -0*i + i. Is m less than i?
False
Let q = -317 + 315.6516. Let j = 0.0484 + q. Is -14 greater than j?
False
Let n(r) = -r**2 + 17*r + 1117. Let i be n(43). Let a be 3/6 - 43/38. Which is smaller: i or a?
i
Let f = -212 + 597. Let r be f/14*2/5. Which is smaller: 80/7 or r?
r
Let d = -260 - -273. Suppose d*f - 276 = 11*f. Is 137 greater than f?
False
Suppose -28 = -28*k + 21*k. Suppose -5*p - x + 118 = 0, -36 - 44 = -3*p + k*x. Is 20 less than p?
True
Suppose 4 = 4*t + 4*z, -4*t + z + 18 = -2*z. Let h be (-42)/(-28)*109/t. Let n = -55 + h. Which is greater: -1 or n?
n
Let g = 412 - 431.1. Let o = g + 18.4. Let c = 3/4 - 5/12. Is o <= c?
True
Let g = -9869 + 9870. Which is smaller: 6/9037 or g?
6/9037
Let f = -71207 + 6267. Let d be (-8 - f/8115)*3. Which is greater: d or 1?
1
Let f be (0 - (-885)/(-100))*8 - 5. Is f at least -75?
False
Let c = -4146 - -4071. Which is greater: c or -24?
-24
Suppose -2*m + 15*t - 13*t - 344 = 0, -t = 7. Is m less than or equal to -178?
True
Let q = -19523 + 19522. Let n = -0.38 - -0.4. Is q < n?
True
Let h = -0.7 - 1.3. Let w = -9.786 - -9.71. Is w < h?
False
Let u be (-4268)/208 + 5/(-6)*153/(-170). Is -19 < u?
False
Let b = 685979/1158608 + -9/5104. Is 2 <= b?
False
Let m be (42/35)/(54/20). Let u(f) = -f**2 + 14*f + 29. Let q(n) = 2*n**2 - 15*n - 29. Let v(s) = 2*q(s) + 3*u(s). Let p be v(-9). Which is bigger: p or m?
p
Let x(d) = 1 - d - 3 + 36*d**2 - 31*d**2. Let v be x(-1). Let i be ((-80)/(-48))/(10/v). Is i at most as big as -0.05?
False
Let d(i) = 5*i + 574. Let j be d(-116). Let t = -116819/17780 + -3/2540. Which is smaller: t or j?
t
Let w = -6 - -3. Let f(d) = -9*d - 1. Let h be f(w). Let u be 29 + ((-2 - 19) + 3 - -16). Is u > h?
True
Suppose -5*k + 0*k = -2*q + 429, -5*k = 4*q - 783. Let f = -807 + q. Let n = -15129/25 - f. Is 0 >= n?
True
Suppose -h = 3*h - 408. Suppose 4*u - i - 410 = 0, -77*i + 321 = 3*u - 80*i. Which is greater: h or u?
h
Let t(m) = 5*m**2 - 61*m + 20. Suppose 9*u + 456 = 47*u. Let b be t(u). Which is smaller: 9 or b?
b
Let x = 22736 - 22735. Which is smaller: -2/29297 or x?
-2/29297
Let d = -579 - -973. Let w = -393.9 + d. Which is bigger: -43 or w?
w
Let k = -19305 - -96943/5. Which is greater: 84 or k?
84
Let m = 65303 + -180531. Let u = 579923/5 + m. Let a = -760 + u. Which is smaller: -3 or a?
a
Let g = 664/7213823 - 6/4489. Which is smaller: -1 or g?
-1
Let t = 51.92 + -52. Suppose -5*h + h = 12, 3*q + 12 = -4*h. Let c be 0 + q + 2/5. Which is greater: t or c?
c
Let p = -20242 + 20241. Is 2/13993 < p?
False
Let n be (-2)/((-484)/110 - -4). Is n >= 157/25?
False
Let l(o) = 50*o + 68. Let t(k) = -49*k - 69. Let u(z) = 4*l(z) + 3*t(z). Let v be u(-4). Which is smaller: -1 or v?
v
Let o be (-70)/(-15)*6/(-4). Let v(l) = l + 6. Let n be v(o). Let i = 369 + -398. Is i not equal to n?
True
Let v = -14 - 14. Suppose 231 = 7*q - 14*q. Let k = q - v. Is -5 at most k?
True
Let k be (-5 - (-12)/3)/1. Let r be k/8 + (-6)/(-304). Is r < 1?
True
Let u be 15/(-20) + (6/21 - 10/(-14)). Which is smaller: u or -887?
-887
Suppose 8*h - 184 = -0. Let q = 25 - h. Suppose -q*a = -0*r - r - 1, -r = -1. Which is smaller: a or -4/31?
-4/31
Let d(i) = 3*i - 8. Let j be d(6). Let b be 19/j + 3/(-2). Suppose 3*o - 21 = t - 5, 4*o = -3*t - 100. Is b smaller than t?
False
Let j = -573 - 3508. Is 1 bigger than j?
True
Let t(q) = 3*q - 9. Let z be t(11). Let n = -169 + 115. Let p = n + 55. Is z < p?
False
Let y = 1/15 + 33/5. Let u = 5322 + -5315. Which is smaller: y or u?
y
Let m = -4678 + 4724. Which is bigger: 0.3 or m?
m
Let l be 14/10 - 1242/630. Let k be 104/28 + (-6)/(-21). Let y be 2/k - (-6)/(-4). Is y <= l?
True
Let p = -618/41 - -10494/533. Suppose -1334 - 136 = -135*q - 110*q. Is p > q?
False
Let a(w) = -3*w**2 + 19*w - 12. Let i be a(13). Let c be (-1 - 20/(-16)) + 70/i. Which is smaller: c or -1?
-1
Let q = 10155 - 10156. Is q >= 2/21931?
False
Let l = 12571 + -12571.2011. Are -7 and l equal?
False
Let m(l) = -l**2 + 24*l + 266. Let s be m(32). Is s >= 8.9?
True
Let g(p) = 4 + 0 - 3*p + 0 - 2*p. Let o be g(2). Suppose 19*a - 25*a - 48 = 0. Is o greater than a?
True
Let l = -13 - 26. Let j = l + 39. Let y = 902/115 - 39/5. Which is smaller: j or y?
j
Suppose -5*a + 19 = 4*c, -11*a + 4*c = -14*a + 21. Which is smaller: 16/1135 or a?
a
Let g = -109787/8 + 6027773/440. Which is smaller: g or -25?
-25
Suppose 22*i = 41*i. Let v = 9 + 3. Suppose 9*y - v*y + 3 = i. Are -7 and y nonequal?
True
Suppose 0*b - 3*o + 45 = 3*b, o = 2*b - 45. Suppose -b*m - 138 = 242. Is m at least 5?
False
Let x = -79237 + 6338869/80. Is x not equal to 0?
True
Let d = 0.64 + -0.17. Let b = d - 25.47. Let q = -45 - b. Which is bigger: q or 2/3?
2/3
Let v be (-730)/(-9) - (1846/(-234) - -8). Are v and 119 equal?
False
Suppose 67325 = -37*h + h - 48379. Which is bigger: h or -3216?
h
Let t be (12/(-10))/(7/35). Let j be (1/((-11)/(-2)))/t. Let u = -235 - -235. Which is bigger: j or u?
u
Suppose 6*k - 193 = -21*k + 2777. Which is smaller: k or 109?
109
Let h(r) = -50*r**2 + 8*r - 8. Let t be h(3). Let d = t + 442. Is d < 8?
False
Let l(h) = -h**2 + 106*h - 18