re r and y nonequal?
True
Let u = -2/29851 - -895592/925381. Let x be (0/9)/(2/(-1)). Is x at most u?
True
Let u = 78.9 - 93. Let z = 3.1 + u. Is z less than or equal to 0.2?
True
Let i(t) = 56*t - 10304. Let b be i(184). Is b >= -31/142?
True
Let u(f) = f. Let j be u(-1). Suppose 0 = 7*k + 1084 - 139. Let c be (-2 + k/(-66))/((-7)/252). Is c bigger than j?
False
Suppose 39 + 31 = 5*r. Let f be 120/(-14) + (-62)/r + 4. Let x = -6 - 2. Which is smaller: x or f?
f
Let o be 41914/(-8382) - (-115)/(207/9). Is o not equal to 0?
True
Let c = 10657 - 10656.58. Is -32 at least c?
False
Let g = -1.5 - 0.5. Let o = -233.811 + -0.189. Let s = 222 + o. Is g > s?
True
Suppose 4*t - 3 = 40*h - 39*h, -3*h = 2*t - 5. Let p be -3*t/3*1/(-1). Which is smaller: p or -292?
-292
Let v(a) = -3*a**3 + 20*a**2 - 13*a + 11. Let s be v(6). Let m be 0/(-1*(-5 + 15/s)). Let k = -17060/37 + 461. Which is smaller: k or m?
k
Let l = -5043 - -4856. Is -187 at least as big as l?
True
Let v = -4570 + 1086. Is -3485 less than v?
True
Let t = 583 - 1179. Let u = t + 418. Is u at least as big as -177?
False
Let i = -640 + 640.0244. Let k = i - -0.0356. Let s = 2 - -1. Which is smaller: k or s?
k
Let i = -0.02 + 0.22. Let b be -17 - (29 - (-20 + 8)). Which is smaller: i or b?
b
Let k be (9/8 + -1)*22. Let h = 798 + -796. Is k != h?
True
Let v(h) = h**3 - 17*h**2 + 29*h + 16. Let j be v(15). Let x = -42 - -75. Let y be (-3)/18 - x/126. Which is smaller: y or j?
y
Let g = 776 - 429. Let m = g + -1726/5. Let a = -1 + 1.2. Is m bigger than a?
True
Suppose 3*h + h = -4, 3*u = 4*h + 7. Let z be u/2 - 38/68. Let x(f) = -13*f - 65. Let k be x(-5). Is k greater than or equal to z?
True
Let q(b) = 2*b - 41. Suppose 3*i + 3*j - 36 = 0, -5*i + 2*j + 3*j = -110. Let s be q(i). Is s at most 20?
True
Let t be 3*1 + -20 + 21. Suppose 16 = r + x, -t*x - 56 = -5*r - 3*x. Suppose r = -13*v - 1. Is v >= -1/124?
False
Let d = 17.012 + -0.012. Let l = -1.6271 + 18.5731. Let c = l - d. Does -0.1 = c?
False
Suppose 4*d = -2*p + 394, 4*p - 7*d = -13*d + 794. Which is smaller: p or 20/9?
20/9
Let p = 378 + -581. Let f = -24763/122 - p. Which is bigger: 1 or f?
1
Suppose 0 = -v + 3*m - m - 6, 4*m = -2*v - 28. Let q = v - -12. Let a = 293 + -2047/7. Is q equal to a?
False
Let v = -14571 - -14610. Which is smaller: 637/16 or v?
v
Let d = 1480.158 - 1499. Let h = d + -0.158. Is h != -3/7?
True
Let w = 0.657 - -0.044. Let a = w - 0.727. Which is smaller: 0 or a?
a
Suppose 0 = -18*b + 22*b + 6*d + 4296, -2*b - 2212 = -5*d. Which is smaller: -1090 or b?
-1090
Suppose -12*o - 182 = -20*o + 15*o. Which is bigger: -29 or o?
o
Let u = -2 + 3. Let d = 926 + -890. Let t be d/180 - 10/44. Which is bigger: u or t?
u
Let h = -8.09 - -8. Let g = h - 0.01. Let n = -26318/17 + 1548. Is n bigger than g?
False
Let t = -9078 - -9076. Let x(f) = 2*f - 1. Let q be x(3). Let d be (0 - t)*(q + 216/(-44)). Which is smaller: 0 or d?
0
Let d be 1 + (16/(-1) - 2). Let o(b) = -19*b - 79. Let u be o(-6). Let h = u + d. Do 19 and h have the same value?
False
Let x be ((-2)/8)/(180/27360). Suppose g - 74 = 3*g. Is x greater than or equal to g?
False
Let q = 4870 + -4776. Which is greater: q or -2.2?
q
Let g = -3969/5 - -43979/55. Is g >= -10?
True
Let o be (1238/(-7))/(708/(-1239)). Is 310 at most as big as o?
False
Let a(q) = q**2 - 24*q + 53. Let w be a(21). Suppose -50 = 15*h + 100. Are w and h unequal?
False
Let o = 1/37873 - -2499605/492349. Let k be -1 - 1*5/(-1). Which is smaller: o or k?
k
Let u = -180.7 - -177.7. Suppose -9*d - 12 = -3*d. Is u at most d?
True
Let q(z) be the first derivative of -z**4/4 - 8*z**3/3 + 3*z**2/2 - 49*z + 171. Let o be q(-9). Let h(w) = -w**2 - 5*w + 6. Let y be h(-5). Is o smaller than y?
True
Let c be ((-1)/(-3))/((-1)/3). Let k be 141377/(-3)*(0 - c/29). Let n = k + 1625. Which is smaller: 0 or n?
n
Suppose -9*h - 4773 - 6465 + 3219 = 0. Which is bigger: -9798/11 or h?
-9798/11
Let f be 20/(-8) - -3 - ((-357)/(-706))/1. Does -0.2 = f?
False
Let i(z) = z**2 - 16*z + 9. Let y be i(0). Let q(h) = -16*h + 143. Let v be q(y). Is v smaller than -2/1235?
True
Suppose 151*k + 462 = 158*k. Suppose 2*i + 318 = -3*i + y, -i + y - k = 0. Is 1 >= i?
True
Let n = 279 - 277. Let w be (3 - n/(-1))/(-14 + 13). Is -21/4 bigger than w?
False
Let r = -3.997 - 0.003. Let n = 4.1 - 0.1. Let c = n + r. Is c equal to -5?
False
Let k = 70 - 70. Let i = -1993 + 2001.3. Which is smaller: k or i?
k
Let h = 225.082 - 224.982. Suppose 0 = 5*u + 6 + 4. Let z be 3/u*16/(-30). Is h < z?
True
Suppose 248 - 78 = -17*n. Let b(j) = 258*j - 3. Let z be b(n). Let o = z + 214385/83. Is o <= -1?
False
Let i = -0.88713 + -0.18817. Let z = -0.0753 - i. Is 0.12 at most z?
True
Let m(z) = -17*z**2 + 517*z + 68. Let f be m(30). Are f and 2/11 equal?
False
Suppose -2*u - 92 = 5*v, 0 = -3*v + 2*u - 48 - 4. Let w be -3*(-2)/v*-3. Let o be (224/(-30))/(30/(-25)). Do w and o have the same value?
False
Suppose -173 + 173 = 52*f. Let q = -347/2 - -43383/250. Which is smaller: f or q?
f
Let l = -13372 + 441311/33. Is 2 less than l?
False
Let i(w) = 2*w + 17. Let c be i(-6). Suppose o = -c*o. Let p = -5072/43 + 118. Is p equal to o?
False
Suppose -2*s + 6*s + 6970 = -c, -5*c - 34975 = -5*s. Does -6990 = c?
True
Let f = 9466/9 - 996. Let d = f + -56. Let c = -38.127 + 0.127. Is c < d?
True
Let a = 206 + -41. Let h = a + -164. Let l be 15/5 - 27/10. Do h and l have the same value?
False
Let s be 2/(-8) + 2 + 2057/(-476). Is s at least -0.5?
False
Let m = -39 + 38. Let b = -11.87 + -0.75. Let t = b + -0.38. Which is smaller: t or m?
t
Let k be 1518/(-316) - 460/(-184). Which is bigger: -3 or k?
k
Suppose 4*c = a + 14, -3*a - 3*c = -6*c - 3. Suppose -t = -a + 15. Let o(f) = -f**2 - 10*f - 8. Let i be o(t). Is -6/25 >= i?
False
Let z(m) = -m**2 - 51*m + 334. Let b be z(6). Suppose -5*x + 9 + 1 = 0. Suppose 4*c = -5*a - 65, 0*c = a - x*c - 1. Do b and a have the same value?
False
Let p = -1974 + 2377. Is p > 0?
True
Let z be (-19598)/140 - (6 + 2 - (-2726)/(-329)). Is z greater than or equal to -140?
True
Let j = 197.9 + 9.1. Let s = j - 299. Let q = -7 + 7.1. Which is smaller: q or s?
s
Let o be 4/(-18) - (148569/594)/(43/86). Which is greater: -499 or o?
-499
Let m be 66/38 - (-6)/(-3). Let p be 3/(-9)*2*1*-6. Suppose -4 = -a + 4*n + 3, 2*n = -p*a - 8. Is m < a?
False
Let h be 3/(36/8) - (-1)/3. Suppose 0 = -p + h + 32. Suppose 3*n = -n - q - p, -3*q = 15. Is -7 bigger than n?
False
Suppose 4*b = -4 + 24. Suppose j - 26 = -49. Let t = j - -31. Which is bigger: t or b?
t
Suppose 288*f - 4608 = 270*f. Do 268 and f have different values?
True
Let h = -0.4 - 1.6. Let g = 20472 - 20464. Do h and g have the same value?
False
Let d = -3.55 - -0.05. Let p = -481917/7 - -68845. Is p at most d?
False
Let z be (-9)/(-2) + (15/10 - 1). Suppose z*n = -25 + 10. Let p be (2/n)/(70/(-189)). Which is smaller: p or 3?
p
Let p(b) be the second derivative of 3/2*b**3 + 0 + 4*b**2 + 12*b - 1/12*b**4. Let z be p(6). Is 26 equal to z?
True
Let s be 10 - 4/(-4) - 130252/11840. Which is smaller: 0 or s?
s
Let s = 26300 + 12849. Is 39149 at most as big as s?
True
Let r = -268 + 270. Suppose -3*f - 5 = -w - 38, -3*f - 75 = r*w. Which is smaller: -34 or w?
w
Let c = -21660 - 15299. Is c greater than -36959?
False
Let n = -9/175 - -2059/175. Suppose -2*t = -4*j + 8, t - 7660 = -2*j - 7620. Do n and j have different values?
True
Let i = -34128/5 - -440724/65. Is -46 greater than i?
False
Let z(w) = -23*w**2 - 54*w - 13. Let q be z(-6). Let y = -463 - q. Are y and 56 non-equal?
True
Let t = -2463 + 4167. Let x = t - 1587.9. Let r = 116 - x. Which is smaller: 54 or r?
r
Suppose 0*k + 5*d = -k - 44, -4*d = -k - 8. Let h = k + 27. Suppose 0*f - h*f + 10 = -r, -2 = -3*f + 5*r. Is f >= 19/5?
True
Let v(n) = -4*n + 2 - 31*n - 20*n + n. Let q be v(2). Let y be q/(-22) - (-20)/110. Which is smaller: y or -2?
-2
Let o be 6/(-4)*(-4)/6. Let f = -11 + 24. Suppose 2*b - f = -11. Is o smaller than b?
False
Let m = 8134.9 + -8135. Suppose -8*o + 2*o = 108. Is m > o?
True
Let x = 546.486 + 39.514. Is x greater than or equal to -10/3?
True
Let p be (-466990)/(-510) - (-2)/6. Is p < 914?
False
Let f(h) = 5*h**2 + 28*h - 7. Let l be f(-6). Suppose -l*v - 339 = 86. Which is smaller: 1 or v?
v
Let i be 