 -526 + 463.4. Let p = -62 - a. Let m = -0.4 - p. Which is smaller: -21 or m?
-21
Let w(u) = -3*u + 0*u - 1147*u**2 + 5*u - 8 + 1146*u**2. Let y be w(-9). Do -105 and y have the same value?
False
Suppose 4*i + 34 = -2*f, -403*f + 399*f = -4*i - 28. Is 130/427 at most as big as f?
False
Let o be (-18)/3 + (3/9)/((-18)/486). Which is smaller: -115/7 or o?
-115/7
Suppose 0 = n - 4*v - 199, 43 = -6*n + 5*v + 1275. Which is greater: n or 205?
n
Let s = 0 - 0.5. Let z = 6612.7 - 6614.9. Is z greater than or equal to s?
False
Let s = 8436 + 2235. Are s and 1 nonequal?
True
Let w = -70 - -69.57. Let u be (-2)/(-29) + 45423/(-8961). Does u = w?
False
Let o be 6046066/1870 - 3/((-408)/(-16)). Let q = o + -16259/5. Let y = q + 1256/33. Is y less than or equal to 19?
False
Let k = -28576927/1965005 + 4/56143. Let p = -106/7 - k. Which is smaller: p or 2/3?
p
Suppose 19 = -n + 49. Suppose -62*m = -117 - 69. Let c be 18/(18/m) + 27. Do c and n have different values?
False
Let w = 0.6612 - 0.3612. Is 190/7 != w?
True
Suppose 5*y - 50 = -i - 0*y, -4*y = 2*i - 94. Suppose 43*q - 46*q = -i. Is 72/5 bigger than q?
False
Let j(c) = -54*c - 970. Let s be j(-18). Do s and -350 have different values?
True
Suppose c = -4*l + 26, 4*l + 0*c = -4*c + 32. Let a be 1/(l/15 + (-14)/10). Let t = 950 - 79799/84. Which is smaller: a or t?
a
Suppose 1216*o - 594*o + 307890 = 0. Suppose -1393 = 4*v + 587. Is o greater than v?
False
Let g = -19997.88 + 20479. Let m = g + -481. Which is smaller: -1 or m?
-1
Let p(w) = 7*w**3 + 70*w**2 - w - 10. Let f be p(-10). Are f and 0.422 unequal?
True
Let w be (-8)/(-2)*(-290 - -292) - 43348/5422. Which is smaller: 1 or w?
w
Let u = 97 + -68. Suppose -u = -7*k + 27. Suppose -k*s = -20*s + 996. Which is smaller: 84 or s?
s
Let m = 333 + -315. Let h(b) be the second derivative of b**4/12 - 10*b**3/3 + 18*b**2 + 2*b. Let u be h(m). Which is smaller: u or -3?
-3
Let y(q) = -q**3 + 3*q**2 - 4*q + 1. Let x be y(3). Let p(d) = d**2 - d. Let b(z) = -4*z**2 - 12*z - 1. Let j(a) = -b(a) - 2*p(a). Let m be j(-6). Is m > x?
False
Let c = 7 + -7. Suppose 9*v - 5*v + 116 = c. Suppose 0 = -3*f - 2*a - 85, 103 + 16 = -4*f + 3*a. Does v = f?
True
Let y = 1/63665 + -21837447/22410080. Let m = y - -5/32. Which is smaller: -2 or m?
-2
Let g(k) = 242*k + 3490. Let v be g(-13). Is v greater than 350?
False
Let x(v) = -33*v - 1. Suppose u - 14 = -4*q, -5*u + q + 2*q = -1. Let p be x(u). Let t = -78715 + 78647. Is p >= t?
True
Let g be (-18)/6399*(90/(-12) - -6). Is 3 equal to g?
False
Suppose -8*h = 1346 - 1146. Which is bigger: h or -51/2?
h
Let t be (3 - -3) + (2046/(-315) - 4/(-10)). Which is smaller: 316 or t?
t
Suppose -10 = 4*c + 2*j, -2 = -5*c - 5*j - 22. Let v = -39523/7 + 5644. Which is greater: v or c?
c
Let o(j) be the second derivative of -5*j**3/3 - 39*j**2/2 - 24*j - 2. Let g be o(0). Which is greater: -40 or g?
g
Let s = -2/9385 - -2192338/9385. Let g = s - 234. Which is bigger: g or -6.7?
g
Suppose p - 6*p = p. Suppose p = -3*i + 4*s + 10, -2*i - 2*s = -1 - 1. Let q = 41 + -41.07. Which is smaller: i or q?
q
Let h be ((-19212)/10)/((-63)/210). Is 6403 less than h?
True
Let r be (-1)/(-2) + 21/(-34). Let v = 9064 - 9063. Which is smaller: r or v?
r
Let q(x) = -60*x**2 - 162*x + 18. Let v be q(-6). Which is greater: v or -1171?
v
Let a = -65 + 65.4. Let o = -122 - -121. Is o >= a?
False
Let j = 33937 + -780985/23. Do -18 and j have the same value?
False
Let z = 45382 + -45067. Which is bigger: 355 or z?
355
Let t be 12/(-8)*15/((-135)/(-2886)). Which is bigger: -477 or t?
-477
Suppose 28*v - 26*v = 400. Let n be 95/v*-6 - -1 - -2. Is 0 equal to n?
False
Suppose -4*x + k = -2*k - 6, 2*x - 8 = 4*k. Let t be (-21)/35 + (x - 12/5). Let s = -10 - -7. Are t and s unequal?
False
Let b be -2*(57/(-4))/((-20)/(-480)). Let z be -3*2*40/b. Which is smaller: z or 0?
z
Suppose u - 131 = -20. Let g be 11/(-99) - (-991)/9. Which is smaller: g or u?
g
Let o(u) = 25*u + 168. Let g be o(-6). Suppose g*a + 14 = 302. Do a and 14 have the same value?
False
Let a be -1 - ((-2)/(-7) - 1). Let p = -2736.5 - -2736. Is a greater than p?
True
Let n = 121 - -256. Which is smaller: n or -2?
-2
Let r = 653.7 + -694.87. Let a = r - -41.8. Which is smaller: a or 0.1?
0.1
Let b = 258 - 172. Let s = 87 - b. Which is bigger: -60 or s?
s
Suppose 0*m - 3*m - 4*y = -333, 3*y = 2*m - 205. Suppose 4*l - 523 = 5*b, 2*l - 206 = 3*b + m. Is b at least as big as -102?
False
Let y(x) = -18*x - 1078. Let s be y(-60). Are -7/27 and s unequal?
True
Let c be 4 + ((-2)/1 - 11). Let x = 10 - 7. Let k be x/(-5*c/15). Which is smaller: k or -3/10?
-3/10
Suppose 2*a = -5*k - 94, -10 = -2*k + 3*k - 4*a. Let j = 1421 + -1439. Does k = j?
True
Suppose -34 + 24 = 2*x + 2*l, -4*x + l = -10. Is 2/6983 < x?
True
Suppose 9*d - 4*d + 201 = 3*b, -236 = -4*b - 4*d. Let w = 63 - b. Let g = 199/399 + -4/57. Which is smaller: g or w?
g
Suppose 49 = 35*d - 56. Suppose -4*r - 31 = -5*y, 71 = 7*r - 11*r - d*y. Does r = -1.7?
False
Suppose 2*w - w - 384 = -4*f, -4*f + 5*w = -360. Let a = f - 67. Let u be 1/(-2) - (-26)/a. Is -1 smaller than u?
True
Let z = -2633 - -8139. Which is smaller: z or -0.2?
-0.2
Let c(a) = 4*a**2 + 15*a - 14. Let l = 41 - 48. Let t be c(l). Suppose 0 = -0*r - 3*r - 4*h + 112, 5*h = -2*r + t. Is r < 35?
False
Let u be -1*(-8)/(-456)*37. Is -1 not equal to u?
True
Let g = 54354/41 - 1326. Let o(r) = -32*r**2 + 4644*r - 581. Let a be o(145). Which is bigger: g or a?
g
Suppose -60 = -3*s - 0. Suppose -21*p + 15*p + 270 = 0. Let j = p + -24. Which is smaller: s or j?
s
Let j be 43/(-2 + (-6)/(-2)). Let h be (-2)/43 - (-71972)/1634. Is j at most h?
True
Let c(k) = -719*k - 32396. Let i be c(-45). Let q = 7429 - 52288/7. Which is greater: q or i?
q
Let r(l) = l**2 + 22*l + 122. Let v be r(-9). Suppose 2*g + 2*g = 3*q + 204, v*q - 51 = -g. Does 49 = g?
False
Suppose -u - 3*a + 5 = 28, 5*u = -a - 129. Let n be (-1)/(-1) + (23 - -3). Let l = u + n. Which is smaller: 4 or l?
l
Suppose -371 = -3*y + 628. Is 333 <= y?
True
Let k be (3 - 9)/3 + -2. Let o be (64/(-44))/8 + 204/33. Suppose 0 = -o*j + 4*j - 4*j. Which is smaller: j or k?
k
Let v = -8691 - -8949. Is v >= 8?
True
Let b = -10806 - -10805.94. Which is smaller: 986 or b?
b
Let t = 50 + -100. Let b = 85 + t. Let z = 35.1 - b. Is -1 at least z?
False
Let c be (0/7)/(-6) + (1123 - -4). Let a be (6/(-126))/((-14)/c). Is 1 > a?
False
Let f = -152 + 81. Let w(a) = -8*a + 43. Let c be w(-8). Let h = f + c. Which is smaller: h or -0.2?
-0.2
Let b = 740 - 742. Suppose d - 2*d - 55 = 2*m, 0 = 5*d + m + 284. Is d bigger than b?
False
Suppose 2 = 2*g + 5*o, 0*g - g + 10 = -2*o. Suppose -g*l - 7 = -25. Suppose -182 = 4*h - 2*t, 0 = -3*t + l. Are h and -45 equal?
True
Let k = -0.006 - -20.506. Let m = k - 17.5. Is -18/11 > m?
False
Let l = -2011/7 - -286. Suppose -2*i = -k - 49, 4*k + 86 = 5*i - 2*i. Suppose 10 = 6*q + i. Which is bigger: q or l?
l
Let a = 900 - 966. Let x be a/(-154)*(303/(-153) - -2). Let u = 3 - 2. Which is bigger: x or u?
u
Let c be ((-9)/(-54)*0)/(-2). Which is smaller: -4/8065 or c?
-4/8065
Let o = 20570565733/135 - 152377975. Let y = o - -3414. Which is smaller: y or 1?
y
Suppose 16 = 2*s - 4*s. Let j be (0 + 3 + -6)*-1. Suppose -2*d + 24 = -4*f, 47*f = 43*f + j*d - 20. Is f >= s?
True
Let h = 8271/10 + -1655/2. Is -3352 less than h?
True
Let l be 4/(-22)*1 + 3507/231. Let n be (6/30)/(9/l). Which is greater: n or -274?
n
Let g be (-1 - (-104728)/6)*27/(-342). Let y = g + 1378. Which is smaller: y or 0?
0
Let m = 214 - 212. Let p = 0.0519 + -28.0519. Is m > p?
True
Let f = 490 + -242. Let b = f - 256. Which is greater: -6 or b?
-6
Let j be (4*68)/(8/(-28)). Let s be ((-6)/4)/(4*21/j). Do s and 95/6 have the same value?
False
Let g be (2/(-4))/((-955)/10). Let n be ((-6)/3 + 0)*13/(-26). Which is greater: n or g?
n
Suppose 0 = 5*m + 2*v - 8712, -3*m = 2*m - 4*v - 8676. Is 1740 greater than or equal to m?
True
Let c be 6/(14769/99 + 18/(-99)). Is 0 smaller than c?
True
Let n be (-2)/(-3)*3/2. Let f = 2/2217 - 11279/215049. Is n greater than f?
True
Let w = 157 - 154. Let s be (-1)/w + 52/39 + -2. Which is smaller: s or -3/29?
s
Let o = 60 - 62. Let p be 4 + (o - 2 - -5). Suppose p*i - 109 = -119. Which is smaller: i or -5?
-5
Let f be (