= 19*o - 20*o. Do f and 716 have different values?
True
Let b = 10.6 + -8. Let v = b + -1.6. Let t = 0.2266 + 8.7734. Which is smaller: v or t?
v
Suppose 3*z = 16 - 7. Let y be (0 - 0 - z)*1. Let u be y*(-2)/(-6)*5. Is -6 at least as big as u?
False
Let o(w) = 55*w + 1. Let m be o(-1). Let x = -54 - m. Let s = 3965/9 + -441. Which is greater: x or s?
x
Let g = 18954047 + -46247873797/2440. Let u = g - -4/305. Is u less than 1?
True
Suppose 16*q - 19*q = -2*b + 9352, -3104 = q + 2*b. Let v = q + 208634/67. Is 0 <= v?
False
Let s = 9155 + -9154. Let v = -2183/2 - -186646/171. Which is bigger: s or v?
s
Suppose 12*i - 454 = -21*i - 2434. Is -39 < i?
False
Suppose -48027 - 193509 = -51*u. Is 4736 > u?
False
Let a = -2207 - -2216. Which is bigger: a or 138/17?
a
Suppose 16 = -3*n - n - 3*u, u + 5 = -n. Let s be (21/24)/(n + (-94)/(-95)). Let k = 83 + s. Are 0 and k non-equal?
True
Let v(j) = j**3 - 25*j**2 - j + 29. Let a be v(25). Suppose 6*p = p + g - 1740, -1392 = a*p - 4*g. Let f be p/90 - (-4)/(-3). Is f < -4?
True
Suppose -47*l = -32*l + 270. Let k be (16/(-8088))/((-3)/l). Is -1 less than k?
True
Let r = -1338 - -1340. Let q(k) = k**2 + 6*k - 3. Let i be q(-7). Suppose -5*y - i*f = 1, -4*f = -4*y - 6 - r. Are y and -7 equal?
False
Let w be 1 + 3/(-2)*(2 + -4). Suppose -3*h = 4*x - 6, w = -3*x + 5*x + 2*h. Which is smaller: -1/469 or x?
-1/469
Let h be 3 + (-1898)/(-7) + 2/(-14). Let s = h - 277. Is s bigger than -2?
False
Let r be (-10)/4*(-16)/(-20). Let b be (r - 2)/4*309. Let s be 2 + b/75 + 2. Which is smaller: 1 or s?
s
Let r be ((-2)/3)/((-3280)/(-1608)). Let t = -9978/205 - -243/5. Let m = r + t. Which is smaller: 5 or m?
m
Let y = -1.97898 + 0.07898. Is 3/154 greater than or equal to y?
True
Let j(g) = -2*g**2 - 62*g + 444. Let i be j(6). Do -2/10779 and i have different values?
True
Suppose -3*c + 5*u = -19, 2*c - 2*u = 4*c + 14. Let t be (-1 - (c - 1))*(-5)/25. Which is greater: t or -77?
t
Let r be ((-1105)/(-117))/((-49)/(-56007)). Is 10796 smaller than r?
False
Suppose -323 - 107 = 2*x. Let g be (-3)/(-6)*(x - -1). Let t = g - -130. Are 1 and t equal?
False
Let p(r) = 3*r**3 - 9*r**2 - 29*r - 7. Let u(c) = -c**3 - c**2 + c. Let d(a) = -p(a) - 4*u(a). Let x be d(-11). Let f = x + 25. Which is greater: f or 0.03?
0.03
Suppose 4*b + 8 - 4 - 184 = 0. Is b > 52?
False
Suppose 4*v + 2186 = 3*o + 8*v, v - 1454 = -2*o. Let z = o - 482. Is 244 at most z?
True
Let r(z) = z**2 - z. Let f be r(1). Let g(i) = -2*i**3 + 7*i**2 + 18*i + 11. Let j be g(6). Let b = j - -673/11. Is f not equal to b?
True
Suppose 0*v = 21*v - 147. Let y(u) = -u**3 + 5*u**2 + 14*u + 4. Let i be y(v). Let x = 395/114 - -2/57. Which is greater: i or x?
i
Let r = -3.08 - -33.68. Let g = r + -31. Let d = 0.4 + g. Which is smaller: 1 or d?
d
Let i = -13432 + 13433. Which is smaller: -3/9046 or i?
-3/9046
Let f = 9091 - 9219. Is -119 >= f?
True
Let v(s) be the third derivative of s**4/12 - 3*s**3/2 + 3*s**2. Let i be v(4). Let w be (-1)/4 + (-834)/216 + 3. Which is smaller: i or w?
w
Suppose 13*p + 500 = 8*p. Let q = -94 - p. Is 6 at least as big as q?
True
Let h be (3 - 6) + 183/60. Let k = h + 9/20. Let o = 3201/65 - 247/5. Is o greater than or equal to k?
False
Let o be ((-12)/45)/(21/(-15)). Let g be (-102)/(-187) - 12/22. Which is bigger: o or g?
o
Let f = 98 - 34. Suppose f = d - 2. Is d less than 65?
False
Let h = 17.5 + -17.194. Let f = h + -0.486. Which is smaller: 2 or f?
f
Let v be 10/4*648/(-60). Let y be v/((-5 + 4)/1). Let h = y + -34. Is -11 bigger than h?
False
Let v be (1846629/15498)/19 + -6. Let z = v + 5/42. Which is smaller: 0 or z?
0
Let w = -766 + 775. Is w bigger than -3.71?
True
Let i(c) be the second derivative of c**4/12 - 2*c**3 + 18*c**2 - 9*c - 1. Let k be i(4). Which is bigger: 6 or k?
6
Suppose -18 = -5*o - 3. Let j be ((-52)/(-12) + -5)/((-1)/o). Is -14 > j?
False
Suppose 951*y - 943*y = 4776. Does y = 595?
False
Let v(b) = -32*b + 19. Let u be v(-2). Suppose -2*i + 172 = 2*z, 0 = -13*i + 12*i - 2*z + 89. Is i greater than u?
False
Let k be (-15 - 12)/(36/(-1392)). Is 1040 at most k?
True
Let m(z) = 318*z + 81. Let f be m(-7). Do f and 4 have different values?
True
Let j be (1470/(-8))/(-5)*(-128)/32. Is j at most as big as 2/7?
True
Let q = -6633/5 - -36479/15. Is 1106 > q?
True
Suppose -28*n = -76*n - 48. Which is smaller: n or -4/987?
n
Let y be 40/60 - 46/6. Let n(r) = 22*r + 182. Let q be n(y). Which is bigger: 27 or q?
q
Suppose 0*v - 2*y - 638 = 4*v, 5*v - 5*y = -775. Let b be 4/16 - v/(-1864)*3. Which is smaller: -1 or b?
-1
Let k(q) = q**3 - 15*q**2 - 194*q - 70. Let h be k(24). Which is bigger: h or 459?
459
Let j be (5 + -3)*(-26142)/4. Let r be -29822*(j/4344 - -3). Let v = -1071/4 + r. Which is smaller: 1 or v?
v
Let c = -8020 + 8017. Is -249 greater than c?
False
Let u = -2 - -5. Suppose 20*v + 12 = 52. Suppose -18*n + o = -16*n - 6, -2*n - v*o + 18 = 0. Which is smaller: n or u?
u
Let y be 173105/(-178) + (9/(-6) - (0 + -2)). Are y and -967 equal?
False
Let d = -0.11 + -1.29. Let c = -5.6 + d. Let i = c - -8. Which is smaller: 8 or i?
i
Let h = -8526712/11 - -775925. Is h at least 768?
True
Let q(z) = 8*z**2 - 6*z - 12. Let u be q(8). Let j = 448 - u. Which is smaller: -8 or j?
-8
Let o = 0.11928 + -49.94928. Let x = o - -50. Let h = x - 0.27. Which is bigger: -0.15 or h?
h
Let a be ((-420)/(-3780))/(0 + (-20)/(-6)). Suppose z = -3*z. Which is smaller: z or a?
z
Suppose 0 = 4*i + t - 5552, -181*t + 183*t - 2776 = -2*i. Which is bigger: i or 1386?
i
Let h = -2052 + 2562. Are 511 and h unequal?
True
Let x(u) = u**2 + 27*u. Let q be x(-23). Let a = q - -92. Let d(b) = 2*b + 1. Let m be d(a). Is m at most as big as -1/19?
False
Let x = 0.6 + -0.634. Let z = -10.534 - x. Let c = z - -4.5. Which is smaller: -2/3 or c?
c
Suppose -123*i + 85277 = -70*i. Are i and 1608 equal?
False
Let a(f) = 2*f**2 - 25*f + 64. Let g = -143 - -149. Let s be a(g). Let j(u) = u**2 - 9*u + 4. Let x be j(5). Is x > s?
False
Let h = -155 - -154. Suppose -m = 2, 0*b + 36 = -5*b - 3*m. Let t be (-3)/b + (-2)/8. Is h equal to t?
False
Suppose 5*d + 435 = -5*s, -d - 2*d + 4*s - 268 = 0. Suppose -3*z + 2 - 12 = -r, 0 = 4*r - 16. Let i be ((-188)/d + z)*16/(-30). Is i <= 1?
True
Suppose 4*l + 14*w = 11*w - 4, 0 = -4*l - 4*w. Which is smaller: 563 or l?
l
Suppose 10*o - 29 = -69. Let j(y) be the second derivative of -y**3/3 + 3*y**2 - 6*y. Let t be j(4). Which is smaller: o or t?
o
Let a = 30 + -11. Suppose 0*f - 4*n - 12 = -4*f, 0 = 2*f + 3*n + a. Let s be (60/27)/(f/(-3))*9. Is s less than or equal to 29?
False
Let w be (2/6)/((-3)/(-36)). Suppose -2*z - 20 = 2*l - 56, l + w*z - 30 = 0. Let p be ((-4)/(-5))/((-1)/(-15)). Do p and l have different values?
True
Let j(a) = -a**2 + 80*a - 1430. Let n be j(53). Which is smaller: 1/10707 or n?
1/10707
Let h = 48601/614660 - 33/421. Which is greater: h or -1?
h
Let t = -533 - -638. Let v be (2/(-100))/(t/56 - 2). Which is smaller: 0 or v?
0
Suppose 2*j = 5*j + 3*q + 1878, -7*q - 42 = 0. Which is bigger: -622 or j?
j
Let l(r) = 135*r - 27. Let c be l(0). Which is smaller: c or -31?
-31
Let s = -139 - -110. Let b = s - -48. Let f = b + -18. Which is smaller: f or 5/4?
f
Let p = 21 - 29. Let m be 2/13 + 570/13. Suppose -m*o = -49*o + 15. Which is smaller: o or p?
p
Suppose -3*g = 3*w + 432, 2*w + w = 4*g + 583. Let i = g - -145. Are -2/25 and i non-equal?
True
Let l be (-12)/3 + (1118 - 129). Do 985 and l have the same value?
True
Suppose -5*s = -2*q - 4 + 3, q - 2 = 3*s. Let v be (q/26)/(71/(-12)). Is v less than -1?
False
Suppose -3*p + 9333 = 5*l, 1573 = -3*l + p + 7156. Is l at least as big as 1861?
True
Let j = 3 - 5. Let o(i) = -i**2 + 14*i - 38. Suppose 2*f = 3*k + 15, 4*k - 32 = -3*f + 16. Let r be o(f). Is r not equal to j?
True
Let o = -543 - -208. Let v = -334.91 - o. Does -9/7 = v?
False
Let l(b) = -11*b**2 - 21*b + 2. Let v(u) = -3*u**2 - 5*u + 1. Let z(p) = -2*l(p) + 9*v(p). Suppose -11*o = -6*o - 15. Let i be z(o). Which is smaller: -50 or i?
-50
Suppose 0 = -6*s - 24689 - 90637. Let i = s - -10110249/526. Which is smaller: 1 or i?
i
Let c(a) = -a**3 + 5*a**2 + 4*a + 2. Let t be c(7). Let d = t - -150. Let k = 103 - d. Is k less than or equal to 23?
True
Let t be (-30)/(-12) - (-5225)/300. Which is