 be (3 + 7 - f) + (-63)/1. Is -60 less than q?
False
Let u(m) = -2*m**2 - m. Let x(r) = 4*r**2 + 31*r + 29. Let k(a) = -u(a) - x(a). Let f be k(-14). Are f and -2/393 equal?
False
Let n = 517 - 513. Let f be ((2 - -1) + -3)*(5 - n). Is f at most 1/391?
True
Let v = 0.941 - 0.96. Let c = -0.119 - v. Let o = 5.1 - 1.6. Which is smaller: c or o?
c
Let s = -64 + 67. Suppose -2*r + 11 = 5*v - 9, 0 = -4*r - s*v + 26. Let w = 849 - 3375/4. Which is bigger: w or r?
w
Let o = -20.421 - 819.579. Which is smaller: o or -7?
o
Suppose 7432 + 5342 = -3*k + 2*r, 30 = 5*r. Which is greater: -12761/3 or k?
-12761/3
Let u be 9/(4*(-4)/(-2640)). Suppose -s = 14*s - u. Let l = s - 99. Is l at least 3?
False
Suppose -n + 120 = 4*z + 3*n, -5*z + 4*n = -186. Suppose -x - z = -39. Is x <= 10?
True
Suppose 2*r + 83 = 2*k + 3*r, -3*k + r = -137. Let i = -548 - -1181/2. Is k < i?
False
Let t(x) = 217*x**2 - 20*x - 19. Let k be t(-1). Suppose 0 = -5*h + 5*i + 710, -5*h + 476 = 3*i - k. Is 142 at most as big as h?
False
Let d(j) = -j**3 + 12*j**2 + 25*j - 8. Let z be d(12). Let l = 848339/2680 + -3299/134. Let y = l - z. Which is greater: y or 0?
0
Let i = -542 + 554. Let d = 197/568 + 2/71. Which is bigger: d or i?
i
Suppose 754 + 538 = -34*f. Is -38 smaller than f?
False
Suppose -16*l + 10*l = -12. Suppose -18 = 3*d - 21. Which is greater: l or d?
l
Suppose 5*r = -4*w - 10, r - 3*w + 1 + 1 = 0. Let c(j) = j**3 - 13*j**2 + 4*j + 40. Let m be c(13). Let v be m/8 - 1/r. Which is smaller: 13 or v?
v
Let d be (-2 + (-4 - -2))*8/51376. Is d != 0?
True
Suppose 2*l - 9*l = 5*l + 12. Let h(r) = 10*r - 4. Let b be h(-8). Let z be (-38)/b - 2/7. Which is greater: l or z?
z
Let i = 2855.5 - 2855.545. Which is smaller: 10 or i?
i
Suppose -216 = -6*l - 2*l. Let v be (-4)/(6 + -5) - l. Let o = v + 56. Is 24 <= o?
True
Let v(m) = m. Let n be v(2). Let k be 115/275 - n/(-11). Let z(u) = u - 1. Let p be z(3). Which is greater: p or k?
p
Let v = 192 - 192.91. Let f = -24665 - -24663.99. Let g = v - f. Which is greater: g or 5.2?
5.2
Let n = 20.9 - 19. Let s = n + -2. Let q = -59494 - -59496. Which is smaller: q or s?
s
Let x = 6 + 69. Let g = x + -75.1. Which is smaller: g or 95?
g
Let h(d) = -33*d + 5324. Let z be h(161). Let r(g) = -6 + g**2 + g + 8*g - 2*g**2. Let q be r(6). Are q and z nonequal?
True
Suppose 10 = 5*m, 3*l - 6*l = -4*m - 7. Suppose -7 = 6*i + l. Let b(o) = -o**3 - 17*o**2 - o - 25. Let v be b(-17). Which is smaller: i or v?
v
Suppose 20*o + 11507 = 41327. Let x be -3*(-2422)/o + -5. Is x < -1?
False
Let b be 624/216 + 3/27. Suppose -s + b*s = 3*f - 513, -f = -4*s - 1031. Is s less than -258?
False
Let r = -33 - -33.62. Let p = -4.72 + r. Let k = -0.9 + p. Which is greater: k or -4?
-4
Let v(z) = 6*z**2 + 17*z + 5. Let h be v(-5). Suppose -h + 116 = 2*y. Which is bigger: 26 or y?
26
Let a be (-37)/(629/34) + 34/41. Do -2 and a have different values?
True
Let z(r) = 4*r**3 - 107*r**2 + 60*r + 126. Let a be z(26). Do a and -271 have the same value?
False
Let g = 4409/2 - 108027/49. Does g = -1?
False
Let k = 465.8 + -34.8. Let h = k + -407. Is h < -2?
False
Let l = 0.123 + 1.137. Let j = l - 1.2. Do j and -6 have the same value?
False
Let a be ((-45)/(-3))/(-3) - (306396/99)/12. Which is smaller: -262 or a?
a
Let x be -118058*12/504 + 4/(-42). Which is smaller: -2809 or x?
x
Let u be (102/(-14))/(60/420). Which is smaller: u or -0.101?
u
Let v be (-6)/(-14) + 39/7. Let w be (0 + 0)/(v*(-3)/9). Is 3/106 <= w?
False
Let d = 444 - 380. Let p = d - 80. Is 2 at most as big as p?
False
Let r = -2196 - -891. Let y be 14*(r/430 - -3). Is y at least as big as 1?
False
Suppose 0 = l - 5*y + 90 + 756, -5*l + 4*y = 4188. Does l = -838?
False
Let i = -34 + 33. Let k = 2902 + -1572885/542. Which is greater: k or i?
k
Let w = 30612.1 + -30611. Which is smaller: w or 6/43?
6/43
Let f = 409 + -447.8. Let c = -38.8 - f. Which is smaller: c or 51?
c
Suppose -3*z + 24 - 12 = 0. Suppose -b + 0 = -p + 4, p - 3*b = -z. Suppose 0 = p*r - 2*r + 2*r. Which is smaller: -1/3 or r?
-1/3
Let w be -2 - 15/(-20) - -1. Let f = 92 + -118. Which is bigger: w or f?
w
Let g be -4 + (-35)/(-5) - -1. Suppose -2*c + 2 = -g. Suppose -c*x - 2 = -5. Do x and -1 have different values?
True
Let g be (-14)/4*(-36)/(-126). Let s = -1117/1725 + 18/25. Is s greater than g?
True
Let q = 27758 - 15948. Which is smaller: q or -2/3?
-2/3
Let p(i) = 33*i + 6. Let g be p(6). Let a be 0 + g - (-24)/(-6). Is a > 199?
True
Let y = -0.9358 + -0.0642. Let x = -34 + -2. Which is bigger: y or x?
y
Suppose 26*a - 27 = 17*a. Suppose -2*v + 3*v - 105 = -3*j, -3*v = a*j - 333. Which is greater: 113 or v?
v
Let i(p) = p**3 + 13*p**2 + 31*p + 14. Let y be i(-10). Let g be 9*(y/(-6) - -1) - 3. Is g bigger than 2/571?
False
Let d = -6.74 - 0.46. Let h = -7.9213 - -0.0213. Let y = d - h. Which is bigger: 0.01 or y?
y
Suppose 4*r = -0*r - 268. Suppose -2*g - 1161 = -4*a - 1419, -2*a - 3*g = 141. Is r >= a?
False
Let x(i) = -4*i**3 + i**2 + 2*i + 1. Let z be x(2). Suppose -199*b + 56 = -203*b. Let w(q) = 4*q + 34. Let v be w(b). Is z < v?
True
Let s be (-13*(-2)/(-2108))/(508/6096). Which is greater: -1 or s?
s
Let t = -200 - -285. Suppose d - p + t = -2*d, -5*d - 153 = 4*p. Suppose -3 = -4*u - 123. Is u bigger than d?
False
Suppose 42 = -t + 45. Let g be t - 5/2 - 85/155. Which is bigger: 0 or g?
0
Suppose -3*l + 8 + 9 = 5*u, 0 = l + u - 3. Let i = -171 - -198. Let x be ((-18)/i)/(5/(-12)). Which is bigger: l or x?
x
Suppose 3*s - 5*m - 22 = 0, 4*s - 29 = s - 2*m. Suppose -5*f - 4*q = -45, -3*q = -8*f + 6*f - 5. Suppose -f*i + 8 = 13. Which is smaller: s or i?
i
Suppose 4*n = -4*c - 760, -4*c - 775 = 3*n - 2*n. Suppose -127*a - 43*a - 53885 = -20565. Is a not equal to c?
True
Let w = -17.05178 - -0.05178. Is 0.3 bigger than w?
True
Let o = 42/23 + -271/161. Let t = 17 - 13. Suppose -t*s - 12 = 4*z, 0 = 2*s + 3*s + 10. Which is smaller: o or z?
z
Let w be (-1990)/(-4680) - (9 - 0)*(-7)/(-84). Is 0 at least w?
True
Suppose 224*w - 15 = 221*w. Let x(q) = -q**3 + 6*q**2 + 4*q + 9. Let z be x(7). Let f = -8 - z. Do f and w have the same value?
False
Let v be (-2924)/(-8) - (1 - 2). Let n = v + -358. Let p = -141506 + 141516. Is n > p?
False
Suppose 3*j - 29*i - 697 = -25087, 5*j + 4*i + 40807 = 0. Are j and -8158 equal?
False
Let o be 3/(22722/7570) + -1. Let c = 11273/166628 - o. Suppose 5*b - 549 = 2*z - 532, 2*z + 4*b = 10. Is c <= z?
False
Let q be -1 - 6/(-5) - 39078/170040. Which is smaller: -1 or q?
-1
Let v = 2.099 + -20.099. Which is smaller: v or 53?
v
Let n be (-6 - 228/(-18))/((-16)/(-1176)). Is n greater than 489?
True
Suppose -7*z - 3450 + 20530 = 0. Let d be z/20680 - 3/((-33)/(-2)). Which is smaller: -1 or d?
-1
Let o(d) = -d**2 - 10*d - 21. Let c be o(-4). Let x be (c + -2)*(1 - 72/75). Which is smaller: -1 or x?
-1
Let b = -2/27 + -61/27. Let v be 7 + -1 + 4 + -4. Let n be -4*2/v*(-6)/(-4). Which is bigger: n or b?
n
Let q = 7.03 - 7. Let z = 926 + -917. Is q less than z?
True
Let k = -1250 + 1124. Is k <= 10?
True
Let a be ((-9)/3)/(3/(-748)). Let v = -24682/33 + a. Is v greater than or equal to 4?
False
Suppose -4*q - 109 = 3*d, 291*q - 289*q - 5*d + 113 = 0. Let l = 48 + -81. Do q and l have different values?
True
Let g(r) = -r**3 - 7*r**2 + 8*r + 5. Let c be g(-7). Let d be (c/(-9))/((-1)/(-3)). Suppose 8 = 5*a - d. Is a > 3?
True
Let w(q) = q**3 + 6*q**2 - 4*q - 3. Let h(s) = -s**2 - 8*s - 2. Let z be h(-7). Suppose -4*x - 4*k = 8, -z*x + 2*k - 34 = k. Let p be w(x). Is 19 equal to p?
False
Let p = 6085302/1963 - 3100. Do p and -1 have the same value?
False
Let m = 2/5 - -1/10. Let x = 0.985 + -0.045. Let b = -0.84 + x. Is m at most as big as b?
False
Suppose -27*a + 234 = -25*a. Suppose h = 40*h - a. Is 0.051 greater than or equal to h?
False
Suppose -4*r + 644 = -4*o, -4*r + 680 = 3*o + 2*o. Let s = 167 - r. Is 5/8 smaller than s?
True
Let g(n) = -n + 1. Let x be g(6). Suppose 1638 = -2*q + o, -q + 3280 = -5*q + o. Let l = q + 816. Is l < x?
False
Let v(t) be the first derivative of t**5/30 - 17*t**4/6 + 20*t**3/3 + 32. Let a(m) be the third derivative of v(m). Let f be a(20). Is 8 less than f?
True
Let p = 164 - -40. Is 198 < p?
True
Let c be 12/15 - (-38)/(-10). Let u be (-20 - 1251/(-72))*2/3. Which is smaller: c o