-375.73. Let w = q + 381. Which is smaller: -0.41 or w?
-0.41
Let p = 146.22 - 148. Let i = p - -1.69. Is i at least 3?
False
Let v be -236 - (3 + 12/(-4))/5. Let y be (5/2 - 2)/((-177)/v). Which is bigger: -2 or y?
y
Let n be -4 + (-5120)/(-35) - 1. Let t = 141 - n. Is -1.5 equal to t?
False
Let b be (5 - 176/36)/(64/(-24)). Let z = b - -7/6. Is z greater than -1.4?
True
Let z = -0.4218 - -0.1218. Let p = -37 - -7. Which is smaller: z or p?
p
Let v = -1.56197 - -0.10197. Which is bigger: v or 1?
1
Let x be 69/15 - 6/(-15). Suppose x*m + 5 = 3*o - 25, -m - 2*o + 7 = 0. Let d be 187/(-51) - 2/m. Is d at least as big as -3?
True
Let g = 159 + -3031/19. Suppose -20*a - 225 + 205 = 0. Which is smaller: g or a?
a
Let a = 155 + -225. Let g(z) = 21*z - 26. Let p be g(1). Let y be (p/a)/((-3)/60). Which is smaller: y or -2?
-2
Let k = 36661 - 36060. Does k = 1801/3?
False
Let c be (0/1)/((-144)/90 - 228/(-30)). Which is smaller: c or 3/4031?
c
Let t = -1/9698 - -3782227/67886. Which is greater: t or 55?
t
Let c = 952 + -1348. Which is smaller: -399 or c?
-399
Let x = -0.13 - 0.47. Let c = 0.577 + x. Let n = c - 0.077. Is 19 at least n?
True
Let y = 234903/134 - -2512/67. Which is bigger: 1790 or y?
y
Suppose 341*h - 172147 = -31435 + 16148. Which is bigger: 453 or h?
h
Let i = 24133 - 24274. Is i less than 2/191?
True
Let d = 2261/50 + -1068/25. Is d bigger than -8/25?
True
Let o(f) = f**3 + 16*f**2 + 17*f + 27. Let w(q) = q**2 - 22*q + 57. Let a be w(18). Let i be o(a). Is i less than -31/9?
False
Let j = -433.0255 - -0.0255. Let y = 434 + j. Which is greater: -313 or y?
y
Let s = -1.71482 + 1.73482. Let i = -1 - -1.4. Let c = i + 0.6. Which is greater: c or s?
c
Let v be 68/(-4)*121/(-11). Let r = v - 180. Let l be 0/2 + 1*7. Is r less than l?
False
Suppose g - y - y - 135 = 0, -4*y = 16. Let w = g - 5229/41. Is -1 < w?
True
Let a = -113/7 + 263/28. Suppose -3*g - 23 = -4*j, 2*j = -5*g + 6 - 27. Suppose 2*n + 28 = -j*n - t, n - 3*t = -20. Which is bigger: n or a?
a
Let f be (-1)/(-1 - (-4)/6). Suppose -3*w - 10 = 5*h, 2*h + f*w + 13 = -0. Is 3/95 >= h?
False
Suppose -3*n - 90 = -21. Let q = 25 + n. Suppose q*p = -p. Do 1/24 and p have different values?
True
Let x = -0.4 + -19.6. Let r = -20.7 - x. Let j = 1.7 + r. Is j greater than or equal to -13?
True
Let t be (6/(-8))/(4*14/32). Let x = -32 + 32. Is t at most as big as x?
True
Let d = 0.41 + -0.51. Is 143/9 less than d?
False
Suppose -2*m - 10*g = -11*g + 502, 2*m + 3*g = -518. Let i = -264 - m. Which is bigger: -88/9 or i?
-88/9
Let o be (170 - -4)*(-860)/1161135. Let p = o - -2/1647. Is p < 1?
True
Let x be (155/186)/((-30)/54). Which is greater: x or 4/1145?
4/1145
Let k = 0.0073 + -3.0773. Let y = -0.03 + k. Let t = y - -3. Are -22 and t nonequal?
True
Let x = 4 + -2. Suppose -3*o - 2*h = 65, -x = 5*h - 6*h. Which is smaller: -0.2 or o?
o
Let u(o) = o**3 - 7*o**2 + 14*o - 2. Let g be u(5). Suppose -71*z = -68*z - g. Suppose -z*v - 13 = -19. Which is bigger: v or -1/40?
v
Suppose 13*v - 629 = 177. Which is greater: v or -33?
v
Let m = -2869.9 + 2870. Let u be (5 + -3)*(8 + -1). Let q be (5 - 2) + u/(-6). Is q less than or equal to m?
False
Suppose 0 = 2*b, -x + 5*x + 5*b - 8 = 0. Let p be (-30)/(-45) - x/(-6). Which is smaller: p or -3/119?
-3/119
Suppose 148 = -2*b - 5*x + 3*x, 0 = -b + 2*x - 68. Let k be (-5*(-1)/(-5))/(2/(-4)). Suppose i + 2*y = -71, -k*i + 4*y = 103 + 47. Is b > i?
True
Let c = 218214/7 - 199274/7. Let a = 2738 - c. Does 31 = a?
False
Suppose 3*n - 10 = -2*n, -n = 5*i - 292. Suppose -53*a + 35 = -i*a. Is a less than or equal to -28/5?
True
Let z = -1170 + 1171.849. Let d = 0.051 + z. Let a = d + 0.1. Do -10 and a have the same value?
False
Let v = 65 + -330. Let y = v - -265. Which is smaller: -5/2 or y?
-5/2
Suppose -14 + 12 = -2*t. Let p be (48/(-224))/(3*t/8). Which is smaller: 1 or p?
p
Let c = -9153.18544 + 0.18544. Which is smaller: -1 or c?
c
Let q(g) = -17*g + 4. Let m be q(2). Suppose 5*w + x = 7*w - 194, -w = -x - 98. Suppose 5*n = -256 + w. Which is smaller: n or m?
n
Let x(p) = p**3 + 7*p**2 - p + 9. Let u be x(-7). Let r be (-1)/3 - (u/6 - 4). Let y be 2/4*(-5 - 784/(-152)). Is r smaller than y?
False
Suppose 9 = -3*g - 4*t, -2*t + 13 = -4*g - 7*t. Let q be (18/g)/((-6)/28). Let o be 5/(15/(-2))*90/q. Which is smaller: -7 or o?
-7
Let q be 379477/1701126 - 1/(9/2). Is 2 smaller than q?
False
Let z(s) be the third derivative of 17*s**2 - 7/24*s**4 - 67/6*s**3 + 0*s + 1. Let l be z(-10). Which is smaller: -20 or l?
-20
Let b be (-2)/(2/3) + (-11974107330472577)/(-1732865366127). Let t = b + 11/225018227. Let x = t + -6907. Is x equal to 0?
False
Let g = -159.5268 - 0.4732. Is 3/2 bigger than g?
True
Let z be (4 + 4478/(-1118))*(2 + 696/(-342)). Which is bigger: z or 1?
1
Let q = 15267 + -15283. Which is smaller: -173 or q?
-173
Let y = 667/308 - 186/77. Which is greater: 396 or y?
396
Let p = 97/75 - -1/25. Let w = -281.5 + 20.5. Let z = w + 261. Do z and p have the same value?
False
Suppose -56*l = -4708 + 17644. Let c = l - -228. Which is smaller: c or 0.6?
c
Let w = -23 - -19. Let p be (0/(-3))/(-1 - 0) - w. Let n be p/26 - 82/26. Is n > -9?
True
Suppose -r + 5 = 5*p, 3*r = -3*p + p - 11. Let o be 1*p + -4 + 3. Let v be ((-1)/3)/((-2)/18). Which is greater: o or v?
v
Let k(g) = 4*g + 40. Let c be k(-8). Suppose d = c - 2. Which is smaller: -2/13 or d?
-2/13
Let a(g) = 11*g**2 - 3*g + 7. Suppose -9*b = -4 - 5. Let x be a(b). Is 15 not equal to x?
False
Suppose 3*j - 107*d = -112*d - 1338, 6*j = 5*d - 2721. Which is smaller: j or -450?
j
Let d(l) = -l**2 + 41*l - 76. Let w be d(39). Suppose -5*i - 6*r + 4 = 16, -w*i - 3*r - 6 = 0. Is i != -209?
True
Let q(b) = -1879*b + 3755. Let g be q(2). Which is smaller: 7104 or g?
g
Let a = 44 - 42. Suppose 0 = 4*m - 3*p - 71, a*m = 7*m - p - 75. Let y(g) = -g**2 + 13*g + 7. Let z be y(m). Which is smaller: -4 or z?
z
Suppose 169 = 5*w - 0*f + f, 2*f = 4*w - 138. Let i be 58/w - (0 - -2). Which is bigger: 1 or i?
1
Let w be 72/(-6) + (-2 + 7)*1. Let a be (-21)/12*-2*(-292)/w. Which is smaller: a or 147?
a
Let x be (-5)/(-4 - 21852/24). Which is smaller: x or -1?
-1
Suppose -3*u + 7 = -2*v, 296*v - 298*v = u + 3. Which is smaller: 5262 or v?
v
Suppose 0 = c + 2*c. Suppose -3 = -2*y + 4*j + 17, -2*j = -3*y + 38. Suppose s - 4*o = y, 0*o - 5 = -5*o. Which is smaller: c or s?
c
Suppose -3*i = -5*r + 13095, 5*r + 10 = -5. Let s be 19/i*2*1/4. Do s and 1 have different values?
True
Let z = 268.69 + -250.69. Suppose -o - 1 + 5 = 0. Is z greater than o?
True
Let u = -12472 - -12473. Which is smaller: -0.022 or u?
-0.022
Let s be (-6)/(-8) + (-15)/4. Let k(u) be the first derivative of u**3/3 - 41*u - 6. Let w be k(6). Which is smaller: w or s?
w
Let k be ((-10)/150*5)/(6/6). Let b = -33 + 23. Let h = -11 - b. Which is greater: k or h?
k
Let p = -5.58 + -3.32. Let w = -8.663 - p. Are w and 1 equal?
False
Suppose 5*d = -104 + 14. Let v be ((-2)/(-70))/(((-15)/d)/(-5)). Which is smaller: v or 1?
v
Let v = 2 - 7. Let x(s) = -s - 7. Let j be x(v). Let h = -1288 - -6424/5. Which is greater: h or j?
j
Let o = -13296 - -15341. Is 2 at least o?
False
Let p = -1.26 - -8.86. Let f = 0.001 - 6.601. Let t = f + p. Which is smaller: t or -13?
-13
Let l = -92 + 108. Suppose 7*t = -96 - l. Suppose -2*i = -2*u - 6, -u = -0*u - 3*i + 9. Which is bigger: t or u?
u
Let u = 12 + -4. Suppose 2*z + 2 = -u. Suppose -54 = 13*y - 4*y. Are z and y unequal?
True
Let m be ((-92)/(-6))/(2/(-3))*-4. Suppose 0 = -127*n + 131*n - m. Do n and 21 have different values?
True
Suppose -8986 = 2*x + 2*i, 2*x - 17967 = 6*x + 3*i. Let r be (-1)/(15/(-12)) - x/40. Let z = -240 - -352. Which is greater: z or r?
r
Let x(w) = -w**2 + w - 3. Let j be x(0). Let s = 65 + j. Let m = s - 373/6. Which is bigger: m or 0.2?
0.2
Let h be (5/94)/(225/1080). Which is smaller: h or -1?
-1
Let h = 1483/18323 + -3/73. Is 0 bigger than h?
False
Let k = 102508/195 + -6456/13. Is k < 28?
False
Suppose 1 - 5 = -4*a + 5*d, 2*a - 2 = -d. Let z be (-1 + 0)*(a + -1). Let b = -3861/5149 - -246/271. Are z and b equal?
False
Suppose -4*o = 5*b + 6, -3*b + o + 14 = -o. Suppose 3*x + b*x - 25 = -5*l, 0 = -2*l - 4*x + 18. Let i = 865/18 - 48. Is l at most i?
False
Suppose -217 = -5*w + 433. Let a 