+ -320.6. Let d = 348 + w. Let j = -19 + d. Which is bigger: 2 or j?
2
Let z = -677 - -680.31. Let k = z + -0.31. Let l be -2 - -1 - (-195)/105. Which is smaller: k or l?
l
Let m(q) = -q + 24. Let x be m(20). Let b(j) = 23*j**2 - 13 - j**3 - x*j**2 + 2*j - j. Let p be b(19). Which is greater: p or 20/3?
20/3
Let y be (0 + 3 + -8)*(0 + 103). Let c = y + 312. Which is bigger: -205 or c?
c
Let x = -3.1321 - 0.0039. Let r = -0.036 - x. Let j = 3.5 - r. Which is bigger: j or 1?
1
Suppose -6 = -5*h + 14. Let t = 111 + -109. Suppose 0*f = h*f + 4, 4 = -t*y + 2*f. Which is smaller: 0 or y?
y
Suppose -700 = -5*p + 125. Suppose 0 = -5*d + z + 198, -6*d + 2*d + p = -3*z. Let j = d + -47. Which is smaller: -9 or j?
-9
Let u = 0.022 - -11.878. Let y = u + -11.3. Let l = y - 0.4. Which is bigger: 0.47 or l?
0.47
Let a = -38.1 + 38. Let t be (51 - 43)*1/(-34). Does t = a?
False
Let c be -339 - (1/7 + (-513)/(-133)). Let i = 409 - 751. Which is greater: i or c?
i
Let y = -571.2 - -632. Let g = 61 - y. Which is smaller: g or -35?
-35
Let l(f) = 977*f - 4706. Let z be l(4). Do z and -787 have different values?
True
Let f = 0.2233 + -0.3001. Is -0.2 less than f?
True
Let c be 2428/6 + (-10)/15. Let v be (94 + -97)/(6/c). Are v and -204 nonequal?
True
Let q be 11/(-33) - 10*2/(-6). Suppose 0 = -4*n + 20, 3*a - 226 = 4*n - q*n. Which is smaller: 78 or a?
a
Suppose 3*n = -110*n + 1018356. Are 9013 and n nonequal?
True
Let q = 7.61 + 74.39. Let p = 82.1 - q. Which is bigger: -0.0386 or p?
p
Let a = -63 + 259. Suppose -4*o + a - 28 = 0. Let u = o - 41. Which is smaller: -2/11 or u?
-2/11
Let b = 4760 + -4760.5. Which is bigger: 15/46 or b?
15/46
Let q(n) = 540*n - 5589. Let j be q(-12). Does j = -12069?
True
Suppose 0 = -9*j + 8*j + 2. Let m = -6209 - -6209.28. Is j at most m?
False
Let w = -51.75 + 50. Which is smaller: 1 or w?
w
Let i = -92 - -172. Let w = 64 - i. Let q = -18 - w. Which is greater: q or 9?
9
Let i(b) be the first derivative of b**3/6 - 4*b**2 - 11*b + 12. Let f(u) be the first derivative of i(u). Let q be f(8). Which is smaller: q or -3/11?
-3/11
Let u = -0.18 + 0.18. Let n = 1/3718 + -24169/7436. Are n and u non-equal?
True
Let a = -35.28 - -37.28. Which is smaller: 2311 or a?
a
Suppose -15 = -2*n + 7*n. Suppose -27 = -2*f + 5*m - 3, 0 = -f + 2*m + 10. Suppose f*i + 2 = -5*l - 11, -4*l + 4*i = 16. Is l <= n?
True
Let n be 2*(-6)/8*4/(-6). Is -289 at least n?
False
Let v = 5.1 + -5. Let y = 174 + -128. Let j = y - 57. Is v >= j?
True
Let y = -6958 - -6819. Which is bigger: y or -13?
-13
Suppose 103*t - 4*o + 2916 = 108*t, -5*t + 2884 = -4*o. Does t = 583?
False
Let b be 9/(-9) - 59/10. Suppose -2*p - 6*g = -7*g + 11, -3*p + 4*g = 14. Is p > b?
True
Let u(r) = r**2 + 10*r + 13464. Let w be u(0). Let m be 1/11 - 1719/w. Is m greater than or equal to -1?
True
Suppose 0 = 638*z + 70*z - 1416. Is z at most 184/167?
False
Let a(w) = 7*w + 30. Let n be a(-4). Suppose n*m = -5*i - 699, -12*m - 4*i - 357 = -11*m. Are 1/4 and m nonequal?
True
Let y be 1 - -3*2/6. Suppose -2*f = y, 4*f = 2*k + k + 29. Let m be (-7)/(-3) + (-16)/6. Which is greater: m or k?
m
Let b = 3 - 4. Let z be (5 + 1448/(-290))/(1/(-2)). Let v = 153/580 + z. Which is smaller: v or b?
b
Let w = 17.58 - 19.6. Let f = w + -5.33. Let d = -7.9 - f. Is 0.1 < d?
False
Let k = -64 - -184. Let m be 3*847/(-168)*-8. Which is bigger: k or m?
m
Let q be (3/(-2))/(18/80). Suppose 5*l + 5*z + 5 = 0, -5*z + 0 = -4*l - 22. Which is smaller: l or q?
q
Let s(n) = n**2 - 8*n - 12. Let t be s(5). Let h(i) = i**2 + 25*i - 58. Let y be h(t). Is -6 greater than or equal to y?
False
Suppose -k + 1 = -m, 0*m = -2*k - m + 5. Suppose u - 2*f = 4 + 23, -k*u = 5*f - 27. Suppose b + y = -6, 3*b + u = -y - 3. Is -3/4 at least as big as b?
True
Let v = 17 + -17.01. Let d = -0.5906 - -0.4706. Which is smaller: v or d?
d
Let t(q) = 3*q**3 - q**2 - 8*q + 24. Let i be t(2). Suppose n + 2*n = 84. Is n less than i?
False
Let y = -30412 - -29446. Which is bigger: y or 11/5?
11/5
Let g(u) = 1087*u - 68. Let l be g(-11). Let t = 252473/21 + l. Is -3 less than t?
True
Let p = 486 - 504. Let k be -3*(-17)/p + 3. Which is greater: 0 or k?
k
Let x be -2 + 133*1 + -2. Let d be 1200/(-200) + (-1056)/(-8) + 3. Does x = d?
True
Let s = 36 + -4. Suppose -b + 5*j = 40, s = -2*b + j - 21. Is b bigger than -26?
True
Let b = 313 - 309. Suppose b*m + 8 = 5*c - 1, 0 = 4*c + 4*m. Which is bigger: 3/176 or c?
c
Let k(x) = 4*x**2 - 9*x - 310. Let n be k(10). Is -25/99 smaller than n?
True
Suppose 5*d = -41*p + 38*p - 20, -p - 3*d = 12. Is -19/282 smaller than p?
True
Suppose -67*m + 79*m + 4 = 244. Which is smaller: m or 84?
m
Let t = -9.08 + -0.08. Let i = 9 + t. Is i < -0.3?
False
Let u(m) = 4*m - 2. Let a be u(3). Let z(h) = a + 2*h + 0 + 12 - 4. Let j be z(-12). Is j smaller than -22/3?
False
Let g = 26 - 7. Let n = g - 11. Suppose 2*j + 5*z + 14 = 0, 3*j = -z + 32 - 27. Which is bigger: n or j?
n
Let i = -0.12 + -74.88. Let j = i + 71. Which is greater: -0.04 or j?
-0.04
Let s be (-4 - 34/(-8))/((2/(-2))/20). Which is greater: -0.205 or s?
-0.205
Suppose -8*z + 11 - 78 = 59*z. Suppose -r - 3*k = -25, 0*r + 2*k = 5*r - 40. Let m be r/42*12/(-15). Does z = m?
False
Suppose 0 = f + f - 5*z - 230, 5*z = 5*f - 560. Suppose -4*q + f - 90 = 0. Suppose -q*p + 4*a + 4 - 12 = 0, -2*p - 2 = -a. Which is greater: 4 or p?
4
Let z = -12 - -17. Suppose 65*w + 485 = 86*w - 502. Which is smaller: w or z?
z
Let v be (-14)/63 + (-1078)/9. Let y = v + 232. Does 110 = y?
False
Let j = -223 - -141. Let d(v) = -85*v**2 - 359*v - 358. Let x be d(-1). Which is bigger: x or j?
j
Let k = -45.16 - -45.01. Which is smaller: k or -15?
-15
Let d = 9580 - 9600. Suppose -5*q = 10, 3*g = -g + q + 10. Do d and g have the same value?
False
Let o be (-6)/(-4)*448/(-24). Let l = 11 - o. Let d = l + -18. Do 22 and d have different values?
True
Let x = -50.726 - -0.626. Let j = -20 - 30. Let d = j - x. Which is smaller: -6 or d?
-6
Let b = -43 - -120. Let j = b + -77.06. Which is bigger: 0.08 or j?
0.08
Let y(a) = a**3 - 10*a**2 - 24*a - 10. Let q be y(12). Let j(i) = -i - 14. Suppose -w + 28 = -8*w. Let r be j(w). Is r less than or equal to q?
True
Let b be (-2)/1756*(-312)/546. Which is smaller: b or -1?
-1
Let i = -147.69 - -0.69. Let q be (46/(-39))/(-2) + (-5)/(-65). Which is bigger: i or q?
q
Let m be 10 + 1404/(-60) - -13. Which is smaller: m or 32/5?
m
Suppose 4*w - 2*w - 6 = 0, 0 = -2*z - 3*w - 3607. Is z less than or equal to -1808?
True
Suppose 9*x + 597 = 102. Let m be (-4)/5 + 3916/x. Which is bigger: m or -73?
m
Let a be (-926)/(((-28)/21)/(18/27)). Is a at most as big as 472?
True
Let u = 8 - 7.58. Let a = u + -0.44. Let s be (352/40 - 9)/(14/(-20)). Is s at most as big as a?
False
Let g = 5809.335 + 27.665. Is g not equal to 1?
True
Let m be (-22309)/3 - ((-1054)/93 + 11). Is m less than -7436?
False
Let l be (10/(-6))/((-22)/(-66)). Let n be (-3)/(12/4)*(2 + l). Let t be 2*((-2)/n)/((-32)/(-600)). Is t less than or equal to -24?
True
Suppose -2*q - 1042 = 280*d - 283*d, -6*d - 4*q + 2092 = 0. Which is smaller: 2446/7 or d?
d
Let t be 6 + 16058/(-2898) + 1/(-9). Suppose d - 3*k + 69 = 2*d, 4*k - 64 = -d. Suppose 79*m - d*m = 0. Which is smaller: t or m?
m
Let b be (-1 - 957)*(35/14 - 5). Let y = b + -117351/49. Which is bigger: 0 or y?
y
Suppose -2*u + a - 486 = 0, -2*a = 3*a. Let i = 227 + u. Which is greater: i or -0.03?
-0.03
Let o be (-12)/(6 - (-11 + 10)). Let z(p) = 18*p**3 + 2*p**2 - 2 - 17*p**3 - 4*p**2. Let d be z(2). Is d not equal to o?
True
Let q = -131 + 192. Let k = 20 - q. Are -7 and k nonequal?
True
Let j(l) = -l**3 + 6*l**2 - 14*l - 37. Let u be j(13). Which is smaller: 2 or u?
u
Let l = -136.8 + 23.8. Let z = -182 - l. Let a = z - -70. Which is smaller: 0.027 or a?
0.027
Let v = -0.19558 - -0.09558. Is v smaller than 2818?
True
Let p = -4940 + 5175. Is 2598/11 < p?
False
Suppose -3*r - u - 4*u + 22 = 0, -2*u = 5*r - 5. Let p be -2 - 554/(-400) - (-25)/(-1200)*-18. Which is smaller: p or r?
r
Suppose 26*c + 281 = -785. Which is bigger: 3 or c?
3
Suppose 62*m - 60*m - 39 = 3*k, k = 4*m - 23. Is -15 less than k?
True
Let p be 82/(564/76 + -7). Is 196 at most p?
False
Let s = -1 - 0. Let a = -389.91 - 5.09. Let o = -379 - a. Are s and o equal?
F