re 8609 and j unequal?
False
Let j be (-7 - -12)/(1 + 0). Suppose 6*l + n - j = l, -2*l - 4*n + 2 = 0. Which is bigger: l or -2/173?
l
Let b = 0.4624 + -0.3291. Which is greater: b or 0.1?
b
Let x be 14*(-27)/1512 + 487/(-4). Is x at most -108?
True
Let c be (-2 + 3)/(7/7). Let p(x) = -x**3 + 3*x**2 + 3. Let r be p(3). Let n be r - (-116)/120 - 4. Is c < n?
False
Suppose 7*q - q = 6. Suppose 4*l - 9 = -q. Suppose 4*h = l*h - 8. Which is greater: -3 or h?
-3
Let b = -4052 + 4043. Is -40 < b?
True
Let y = 0.342 - 0.2. Let j = -0.042 + y. Which is greater: j or -2?
j
Let c = -67124/5 + 13505. Which is bigger: 81 or c?
81
Let y = 317 - 319. Let d be (3 - y - 4)/(3/6). Is d != 23/20?
True
Suppose 3*o - i + 164 = 0, 10*o + 5*i = 8*o - 98. Let r = 51 + o. Is 0.08 greater than or equal to r?
True
Let x = -373 + 350.38. Let v = x + 22.6. Which is greater: 0.016 or v?
0.016
Let u = 6.952 - 0.152. Let z = -8.8 + u. Are 0.32 and z nonequal?
True
Suppose -3*r - 609 = -4*b, -4*r = -35*b + 39*b - 644. Is b less than 778/5?
False
Let d = -1341 + 276. Let h be (-2 + -1)*(-3763)/d. Is h smaller than -10?
True
Suppose 28*d - 1515 = 17665. Let o be 18/117 - d/650. Which is smaller: o or -2?
-2
Let y be ((-14)/(-28))/((-2)/(-4)). Is -3/889 < y?
True
Let j = 63.085 - 0.085. Let q = 53 - j. Let x = 10.013 + q. Is x < -0.1?
False
Let y be (171/4 - -2)/((-1)/(-4)). Suppose y*x = 177*x. Which is smaller: 2/643 or x?
x
Let z(u) be the second derivative of 5*u**3/6 - 5*u**2 + 3*u. Let o be (-27)/(-3) - 2 - (10 - -9). Let n be z(o). Is 1 smaller than n?
False
Let f = -2 + 2. Let h be ((-3 + 179)/(-8))/(74 + 2). Are f and h equal?
False
Let t be (8/(-7) - -2) + 3/21. Let b be 2/3 - -22*t/(-15). Let z = -0.8 + 0.7. Which is bigger: b or z?
z
Let x = 14 + -23. Let n = 3586 + -3570. Are n and x non-equal?
True
Suppose 2*c + 0 = -2. Let u(k) = -2*k**3 + 13*k**2 + 11. Let v(f) = f**3 + 3*f**2 + 2. Let o(s) = -u(s) + 5*v(s). Let b be o(c). Which is smaller: b or -5?
b
Let u(a) = -3*a**3 + 14*a**2 + 4*a - 3. Suppose 15 = 3*y - z, -4*z + 7 = 2*y - 3. Let n be u(y). Let k be ((-6)/(n - -6))/((-1)/6). Is k at least as big as 4?
False
Suppose 0 = -u + 3 - 4. Let a(h) = 15*h**2 - 5*h - 4. Let t be a(u). Suppose -t*b = -14*b + 22. Is b less than or equal to -6?
True
Suppose t = -5*f + 912, -6*f + 4*f - 5*t + 351 = 0. Let i = -164 + f. Is 18 < i?
True
Let d = -8811 + 8817. Let p be (-18)/4*(-10)/3. Suppose -z = 2*g - p, 5*z - 33 = -3*g - g. Which is bigger: g or d?
g
Suppose x + 575 = -5*l, 2*x = -l - 2*x - 96. Let f = -637 - l. Which is greater: -520 or f?
-520
Suppose -5*o + 10640 = 14*o. Let h = o - 11762/21. Let a be (-6)/4*3/(-18). Is a greater than or equal to h?
True
Let t = -35 + 37. Suppose -5*i = -t*h + 3996, -2*i + 1181 = -5*h + 2771. Let b = 15997/20 + i. Which is smaller: 0 or b?
b
Let i = -1.075 - 3.925. Which is smaller: 51 or i?
i
Suppose -94*w = -91*w - 183. Suppose -71 = -i + 5*h, -4*i + 3*h + 327 = -8. Suppose 5*q = i - w. Do -1 and q have the same value?
False
Let r be 2/(-8) + (-41)/((-3608)/726). Let s(n) be the first derivative of -n**3/3 + 9*n**2/2 - 9*n + 2. Let i be s(6). Which is bigger: r or i?
i
Let u(y) = -y**3 - 2*y**2 + 112*y + 407. Let a be u(-4). Is -43/5 less than a?
False
Suppose -26*t = 31*t + 171. Which is smaller: t or 31/4?
t
Let h be (-2)/2 + 2/3. Let t = 737 - 2023. Let q = 1285.996 + t. Is q less than or equal to h?
False
Let h = 71 - 68. Suppose w + 5*f - 645 = 0, -h*w - 3*f = 554 - 2489. Let o = -3192/5 + w. Which is smaller: -1 or o?
-1
Let s = 26669 - 26689. Which is bigger: s or -38?
s
Let w be 2/(-6) - (-146)/6. Let t = w - 26. Let a = -1391 - -1390.88. Which is greater: a or t?
a
Let f(m) = m**3 - 20*m**2 + 17*m + 34. Let n be f(19). Let r be ((-296)/16)/((-2)/n). Is -37 bigger than r?
False
Suppose 3*z = -4*l - 218, 4*z + 5*l + 300 = 2*l. Is z at most as big as -75?
True
Suppose 0 = 3*i + 2*d - 90 + 8, -5*i - 2*d = -130. Let l(x) = x**2 - 20*x - 36. Let h be l(i). Suppose -3*a - h = -78. Is a at most as big as 6?
True
Let i(v) = -97*v - 1556. Let n be i(-11). Do -489 and n have the same value?
True
Let a = 0.34 + 1.05. Let i = -17.61 - a. Let h(p) = -p**3 + 6*p**2 + 6*p + 7. Let y be h(7). Which is smaller: y or i?
i
Let j be (-9)/(3 - 12) - (-1 - -10). Let s be (34 + 0)*(-2 - (-36)/j). Does -222 = s?
False
Let g be (-3715250)/1575 - (-16)/18. Is -2359 >= g?
False
Suppose -w - 2*k + 2 = 0, -10 = 3*w - w - 3*k. Let j = 1/1452 - 111/121. Which is smaller: j or w?
w
Let x = 18 + -7. Suppose 2*r = 4*r, -b = 4*r - 168. Suppose -3*m = 11*m - b. Which is smaller: m or x?
x
Let k = -50762 - -157085/3. Which is smaller: 1601 or k?
k
Let z be 11/(-386)*3854/(-451). Is z != 0?
True
Let b = 507 + -511. Let d be ((-1146)/b - -3)*(-48)/(-36). Is d bigger than 385?
True
Let a = -216.4 - -232.4. Which is smaller: 4 or a?
4
Suppose q = -5*d - 47 + 350, 309 = 5*d - 2*q. Let j = 65 - d. Let b be (j - 5)*2/(-164)*-6. Which is smaller: 0 or b?
b
Let n = -73 + 73. Suppose n = -16*y + 11*y + 110. Which is greater: y or 17?
y
Let s = -45 - -48. Let i(p) = p**3 - 3*p**2 - 38*p - 14. Let n be i(8). Which is smaller: n or s?
n
Let n be ((-6)/5)/(30/(-1725)). Suppose -3*q - n = -39. Let a(m) = m**3 + 4*m**2 + 2*m - 4. Let b be a(-4). Are b and q nonequal?
True
Let f be ((-9)/6)/(6/16 + 0). Let u be f + 3/12 + (-62)/(-8). Suppose 2*y + u*y - 102 = 0. Do 19 and y have the same value?
False
Let k(c) = -c**3 + 2*c**2 + 3*c - 4. Let p be k(5). Let m(z) = -z**3 + 26*z**2 + 99*z - 416. Let w be m(29). Are w and p equal?
False
Let a = 10 + -6. Let d = 4 + 1. Suppose 0 = 14*p + d*p. Is p at least as big as a?
False
Let k = 1/8068 - -16131/40340. Is -3.881 bigger than k?
False
Let a = -35169 - -35173. Do a and 3.571 have different values?
True
Let t be (296/40 - 8)/((-2)/10). Suppose 11 - 8 = -t*r. Let v be -1*3 + (-62)/(-20). Which is bigger: r or v?
v
Suppose -2*r + 9 = 2*w - 5, 3*r + 19 = w. Let z = 29830/7 - 4252. Which is bigger: z or w?
w
Let t = -3.6579 - -3.69. Let l = -28.1321 + t. Let q = l - -29. Which is greater: q or 2/7?
q
Let x be 703/66 + (-3)/(-54)*3. Which is smaller: x or 11?
x
Suppose 5*l + 8 = 548. Suppose 8*d = l + 28. Let u = 194 - 197. Which is smaller: u or d?
u
Suppose -4*l + 33 + 29 = -v, -2*v = 3*l + 102. Which is bigger: v or -1509/28?
-1509/28
Let v be 99/36 + 27/12 + -3. Let y be (88/12 + -8)/(v/81). Is -232/9 at least as big as y?
True
Let v = 10 - 6. Let j(g) = 33*g - 38. Let b be j(2). Let d be 3 + b/13 - 5. Which is smaller: v or d?
d
Let j = 13.45 + -601.45. Let i = j + 421. Which is smaller: i or -2/3?
i
Suppose 2868*l - 2863*l + 32770 = 0. Is 0.1 at least l?
True
Let d = -102 - -182. Let u = -80.39 + d. Let a = u + 0.39. Which is greater: -2 or a?
a
Let n(i) be the first derivative of i**4/4 - 4*i**3 - 4*i**2 - 11*i - 5. Let b be n(13). Let j = b - 49. Which is greater: 0.1 or j?
j
Let o = 6/125 + -109/4875. Let s(p) = p**3 + 6*p**2 - 14*p + 20. Let u be s(-8). Suppose -r = u*r + 5*v + 10, -5*r + 5*v + 20 = 0. Is r smaller than o?
False
Suppose -31*i = -28*i. Suppose -3*v + 128 = -6*a + 8*a, i = -a - 3*v + 64. Let n = -57 + a. Is 7 bigger than n?
False
Let i = -184141/6 - -30322. Which is smaller: i or -369?
-369
Let v(g) = g + 26. Let m be v(-26). Do m and 46/485 have the same value?
False
Let h be 92/23*(-19)/116 - -1. Let v be 327/145 + 4/(-4). Let t = h + v. Which is greater: -1/4 or t?
t
Suppose 14*k + 15 = 57. Suppose -d - g = -2*g - 3, k*g = -4*d + 47. Suppose 4*u - 3*u = d. Are u and 8 equal?
True
Let i be (-6)/((-3)/(-6) + -2). Suppose 4*q - 47 - 60 = p, 3*p - i*q + 289 = 0. Let o = 91 + p. Which is smaller: -1/12 or o?
-1/12
Let j(n) = 20*n**2 + 116*n + 85. Let l be j(-5). Let d = 0 - 1. Is d less than l?
True
Let j be 15*156/(-585)*(-2 - (-31850)/15926). Is 0 != j?
True
Let d be (1/2)/(43/946). Suppose -d*n = 13*n - 96. Which is smaller: n or 7?
n
Let h = -9 - -53. Let c be -2 - (5 + (-45)/5). Suppose -5*d = -3*g + 22, 30*d = -c*g + 34*d + 18. Which is smaller: g or h?
g
Let k = -142591 + 142607.1503. Let c = k - 0.0503. Is c at least 1?
True
Let a = -0.0173148 + -0.0956852. Suppose 5*d = -0*d + 10. Which is bigger: d or a?
d
Let b be 183/2562 - 2/28. Is 36/53 greater than or equal to b?
True
Let o = 478 + -467. Let m = 