 = j - -0.09. Is y less than or equal to 0.24?
True
Let u = 871 + -867. Suppose 54*v - u = 52*v. Is -71 at most as big as v?
True
Let t be (-69)/((528/(-22))/(-72)). Is t < -165?
True
Let t = 33 + -32. Let r be t - 7/((-28)/(-8)). Let c be (-90)/200 - r/4. Which is bigger: c or 0.4?
0.4
Suppose -801 - 564 = -39*a. Suppose -4*n - 3*v + 6 = -22, -a = -5*n + 2*v. Which is greater: n or 2?
n
Let i = -4.6 + 3.6. Let c = 44 + -51. Is c greater than i?
False
Suppose -3*b = 6*b - 99. Suppose 4*q + 13 = 4*w - 7*w, -3*w - b = 2*q. Do q and 2/109 have different values?
True
Let h be (-2)/3 - 196/273*-1. Let t be (-8 - 6/3)*-1. Suppose -12*r - 2 = -t*r. Do h and r have different values?
True
Suppose -2*d = -2*t + 10, -2*d + 32 = 6*t - 6. Which is smaller: 1/4097 or d?
1/4097
Let u = -1910.948 - -1915. Let h = -4.1 + u. Which is bigger: h or -2?
h
Let x = -55481 - -55358. Let d be ((-1)/((-1)/(-125)))/1. Does d = x?
False
Let y = -38 + 38. Suppose y = a + 4*a - 145. Suppose -k = -4*l + 31, -a + 0 = -2*l + 5*k. Is l equal to 7?
True
Let j be 9 - (3 + (-2 - 4 - 0)). Let k be (-5)/6*j/(-15). Is k smaller than -0.0071?
False
Let o = -201 - -200.6. Let y = 87 - 87.37. Let m = y - o. Is m greater than or equal to -0.2?
True
Let r = 3448.8 + -3449. Is -421/4 at least r?
False
Let x = -1.741 - 146.359. Let q = -4.1 - x. Is 2/3 at least as big as q?
False
Let n = -16 + 7. Let t = 97212.4 - 97213. Which is bigger: t or n?
t
Suppose 5*g - 60*g + 50765 = 0. Do 923 and g have the same value?
True
Let x = 586 + -529. Suppose 0 = -8*y - x + 369. Is 41 less than y?
False
Let w be 4/(-12) - (-2128)/30. Is w bigger than -0.2?
True
Let a be 10/(-85) + (2077698/(-119))/3. Is -5819 at least as big as a?
True
Let m(j) = -8*j**3 + 8*j**2 - 4*j - 5. Let a be m(1). Is -125/16 at least a?
True
Let o = 31 - 25. Let c = o + -6.046. Let f = c + 0.046. Which is greater: f or 9?
9
Let d = 58318 + -58314. Let u be (6/8)/((-6)/(-14)). Which is smaller: u or d?
u
Suppose 4*f - 3*r - 459 = 0, 0 = -r - 3*r - 4. Let y be 27/540*((-130)/f + 1). Which is smaller: 1 or y?
y
Let y = -6519 + 6907. Is 0 smaller than y?
True
Let m = -553 - -559. Suppose 6 = -2*g + w, 5*g + m = g - w. Which is bigger: 1/20 or g?
1/20
Suppose 7*m - 1799 = 2*m - 4*b, 3*m - 4*b = 1073. Suppose -19 = -5*z - m. Let q be 74/z + 10 + -9. Which is smaller: q or 1?
q
Let s = -14805 + 14805.08214. Are s and -0.1 equal?
False
Let a be (24/(-238)*(-217)/62)/6. Is a greater than -8?
True
Suppose 4*k = -2*c + 5*c - 16, 0 = -4*k - c. Let z be k + (-2 - 1*(0 + -3)). Suppose -3*q + 2*p - 64 = z, -3*p + 3 = -3. Is -20 > q?
False
Let h = 71 - -28. Suppose 0 = 6*l + h - 99. Which is greater: -2/113 or l?
l
Let v be (-35622)/24*(3 + 847/(-273)). Is v less than or equal to 153?
True
Let a = -7258 - -7254. Which is greater: a or -88/19?
a
Let r(m) be the second derivative of -m**4/12 - 13*m**3/6 - 4*m**2 + 13*m. Let k be r(-12). Let d = k - 4. Which is smaller: d or 4/3?
d
Let q = 5397.778 + -5397. Which is smaller: 0.1 or q?
0.1
Let s(c) = 6*c**3 + 2*c**2 - 1. Let j be s(1). Let q be (5/(-30))/(j/(-154)). Do q and 7 have the same value?
False
Suppose 4*k = j - 777, -j - 2*k + 295 + 482 = 0. Is j greater than or equal to 776?
True
Let q = 31 + -30.98. Let w = q - 0.08. Let k = 0.16 + w. Is k > 5?
False
Let i = -8 + 12. Let o be 1/(-3)*(-24 + 448/28). Is i greater than o?
True
Suppose -4*x - 77 = -49, -3*y - 77 = 2*x. Is y > 0.27?
False
Let d be (27 - (-1 + 1))/(-1). Let k be (115 - 119)*(-11)/(352/(-216)). Are d and k nonequal?
False
Let v be ((-8)/1 + 5)*-1. Let s be (-12)/16*289/v. Let r = -73 - s. Is -0.14 at most as big as r?
False
Let g(x) = -27*x + 1911. Let i be g(-13). Is i > 2262?
False
Let r = 56 + -53. Suppose 8 = 2*h + r*g, -4*h - 2*g = -9 - 23. Let x be (-621)/45 - -4*2/h. Which is smaller: -43/3 or x?
-43/3
Let y(l) = 33*l + 170. Let x be y(-25). Let j = -653 - x. Which is smaller: j or -6?
-6
Let k = -40 - -40. Suppose -3*y + 11*y + 24 = k. Let c be (-1 - y)/(1 + 246/(-258)). Which is bigger: c or 42?
c
Let v(r) = r**3 + 73*r**2 + 24*r + 1751. Let d be v(-73). Which is smaller: d or 26/1025?
d
Let l = 13 + 2. Suppose l = 7*v + 127. Is v less than -20?
False
Let h = 21499 - 26646. Which is greater: -5144 or h?
-5144
Let q = 8988 - 24568. Which is greater: -15579 or q?
-15579
Let p be (-7)/21*(-6)/5. Suppose 6*v = 8*v - 544. Suppose -12*a = -20*a + v. Which is bigger: p or a?
a
Suppose 29 = -m + 56. Suppose -m = 447*z - 456*z. Do z and 25/14 have different values?
True
Let o = 147 + 51. Let l = o - 198. Which is bigger: l or 1?
1
Let i = 23 - 24. Let u be (-167)/21 + (-39 - -46). Which is greater: i or u?
u
Let m = 13 - 8. Suppose 9 = 2*a + 47. Let d = 25 + a. Which is greater: d or m?
d
Suppose 5*h = -c + 43, -3*h - 55 = -8*h - 5*c. Let w be 333/504 + (-3)/h. Suppose -3*k + 2*n = 91 - 313, 0 = 4*k - 2*n - 296. Is w not equal to k?
True
Let m = 75 - 54. Let v = 21.11 - m. Let i = -0.21 + v. Is -1.5 at least as big as i?
False
Let y = -5299/232 - -191/8. Is 2 <= y?
False
Suppose 69 = 2*b - 165. Suppose 0 = -0*x + 3*x + b. Which is greater: -38 or x?
-38
Let t(i) = 4*i**2 - 19*i - 3. Let l be 23/46 + 10/(-4). Let r be t(l). Which is smaller: 50 or r?
50
Let y be (6/8)/((-14)/1). Let b = 8249 - 8249. Is b >= y?
True
Suppose 95*v - 90*v = -470. Let p = v + 561. Are p and 466 equal?
False
Let b(k) = k**3 - 10*k**2 - 57*k + 229. Let f be b(13). Which is greater: f or -54?
f
Let w = -201 - 111. Let p be 2/(-6)*(6/(-2) - w). Is -103 <= p?
True
Suppose 0 = 2*q + 3*t + 4497, 88 = t + 81. Which is bigger: -2257 or q?
-2257
Suppose 0 = -t + f - 4, 5 = -2*t + 4*f - 1. Let g(l) = -4*l + 12. Let i be g(3). Let v be (-2 + -2)*(i + 1). Which is smaller: v or t?
t
Let x = -21847 - -21849. Is -145 bigger than x?
False
Let m(f) be the first derivative of -f**4/4 + 7*f**3/3 - 7*f**2/2 + 8*f - 12. Let s be m(6). Do s and 60 have different values?
True
Let m(p) = 3*p**2 - 19*p - 14. Let i be m(7). Let l be -3*(59/(-21) - (-3 - i)). Which is smaller: l or -2?
-2
Let j = -110 + 65. Let s = -48.1498 - 0.0502. Let l = j - s. Which is greater: l or 2?
l
Let h = 119 - 118.3. Let r = 5127/5 - 1025. Is h >= r?
True
Let r = 60.05 + 1.95. Let i = r - 121. Which is greater: i or -1/4?
-1/4
Suppose 96 + 70 = -166*m. Are m and 3/1477 unequal?
True
Let o = 54/173 - -5310/2941. Let w be -3*((-2)/4 - (-5)/(-10)). Is o not equal to w?
True
Let i = -866.14 - -874. Let h = -8 + i. Let q = h - 0.06. Is 5/4 at most as big as q?
False
Suppose -5*j = -2*q + 641, 4*j + 295 = -2*q - 225. Suppose n - 4*v + 628 = -4*n, 4*v = -3*n - 396. Does n = j?
False
Let j(z) = 1 + 1 + 2*z + 3. Let h be j(-2). Let i(q) = -5*q + 5. Let v be i(h). Are -2/75 and v unequal?
True
Let x = 1040.44 - 1024. Let i = x + -16.7. Let u be 1 - (-16)/10*-1. Is u at most i?
True
Let y = -466 - -6495/14. Let a = -509/266 - y. Suppose 3*r - 5*r = 3*f + 3, 4*r = 2*f + 2. Which is bigger: a or r?
a
Let l = 536 - 537. Let z(w) = -3*w - 26. Let h be z(-8). Which is bigger: l or h?
l
Let p = 436 - -393. Let u = p + -828. Is -8 >= u?
False
Let y = -1443 - -1439. Let v be (-6)/8*(-20)/5. Let a be -1*((-20)/(-14) + v). Which is smaller: a or y?
a
Let v(b) = 36 + 31 + 13 - 34*b + 127. Let s be v(6). Is s <= 17/10?
False
Suppose -2*p = -0*p - 22. Suppose -2*z + 3*o + 194 = 0, 4*o - 75 = -z - 0*o. Suppose -9*s + 16*s - z = 0. Do s and p have the same value?
False
Let g = 170 - 169.838. Let z = g - 0.182. Is z at most -1/5?
False
Let u(n) = -21*n**3 + 7*n + 14. Let d be u(-2). Suppose -4*w - 37 = f, 0 = 5*f + 17*w - 14*w + d. Are f and -33 unequal?
False
Let i = -27/14 + 53/42. Which is greater: -3450 or i?
i
Suppose 13*z = 38*z - 575. Let l(a) = a**3 - 23*a**2 - a + 35. Let i be l(z). Which is greater: 106/9 or i?
i
Let h be -1 - (5 + -13) - 8. Let n be h/(3 + (-4 - -2)). Does n = 2/891?
False
Suppose -3*i = -7*i - 4, -151 = d - 3*i. Are -154 and d equal?
True
Let z = 260.5 + -29.5. Let y = -215 + z. Is y equal to -1?
False
Let r = 9401644/11 + -853334. Let m = 1360 - r. Does m = -1?
False
Let w be ((-60)/50)/((-276)/(-800)). Which is bigger: w or -2?
-2
Let s = 1.69 + -95.69. Let r = s + 93.98. Let f = -6.2 + 2.2. Which is greater: f or r?
r
Let s(y) = -y**3 - 26*y**2 - 4*y - 95. Let b be s(-26). Let u = 158 + 