-228.51273 - -0.07273. Let j = c + 186.6. Let h = -42 - j. Is h greater than 0.1?
False
Let f(l) be the first derivative of l**2/2 - 12*l + 7. Suppose -4*s = -3*n + 16, -3*s + 8*s - 49 = -2*n. Let o be f(n). Is o less than 1/90?
True
Suppose -1995*w - 1442 = -2009*w. Let o = -207 - -309. Is o less than or equal to w?
True
Let g(k) = 83*k + 6. Let s be g(1). Let m = s + -91. Let p be (m/(-4))/(1 - (-78)/(-16)). Is -1 equal to p?
False
Let y = -638/3 - -204. Suppose 8 = -16*u + 15*u. Which is bigger: u or y?
u
Let h = -29 + 30. Suppose 32*m - 58 = 3*m. Is m >= h?
True
Let b be (2/7)/((-15)/(-105)). Suppose -5*r = b*r + 224. Let g = r - -34. Which is greater: g or 1/2?
g
Suppose -69 - 45 = -19*m. Suppose -2*z + b = -5*z + m, b - 5 = -2*z. Which is smaller: -2 or z?
-2
Let n = 33 - 27. Let c be (-1)/((10/58)/(-5)). Suppose n = -4*p - 5*h + 49, 5*h - c = -2*p. Which is bigger: 10 or p?
10
Let i be 1*-4*(42/(-8) - -4). Let u be (i + (0 - 6))*1. Let s = 507/17 + -30. Which is bigger: s or u?
s
Suppose -2529 = 8*h - 4*h - 3*w, 0 = -3*h - w - 1874. Are h and -623 equal?
False
Let s = 14603 + -14602. Which is bigger: -21/1217 or s?
s
Suppose -6*d = -35 + 287. Let u(j) = -j**3 + 6*j**2 + 10*j + 6. Let k be u(8). Are k and d nonequal?
False
Let k(w) = w**3 + 7*w**2 - 7*w + 1. Let s be k(-8). Let m(o) = -141*o**2 + o**3 - 12 - 2*o + 0*o + 148*o**2. Let c be m(s). Which is greater: -1 or c?
c
Let r(n) = -79*n - 178. Let p be r(-4). Are 144 and p equal?
False
Let m = -321 - -321. Let b be (-148)/(-370)*(1 - (m - 4)). Is 1 < b?
True
Let j(z) = z**3 + 2*z**2 + 3*z - 4. Let d be j(0). Let g be d/((-2)/(-74)*-2). Is 75 not equal to g?
True
Let d = -1420.04 - -1420. Which is smaller: d or -7.8?
-7.8
Let z = -471 - -230. Let c = z - -276. Are 34 and c unequal?
True
Let z be (-1630)/25*(-120)/(-48). Is z greater than or equal to -0.03?
False
Let y = 5.3 + -5.293. Let v = y - -0.022. Let m = v - -49.971. Which is bigger: 0 or m?
m
Let p = -9319 + 8761. Which is bigger: p or -559?
p
Suppose 4*i = -5*p + 121, -87*i - 59 = -4*p - 86*i. Let n = -8094 - -56787/7. Is p <= n?
True
Let j be (-39)/3 + (76 - 59). Which is greater: j or 570?
570
Let n = 91 + -95. Let l(q) = 36*q + 145. Let s be l(n). Which is bigger: s or 2/603?
s
Let w = 9180 + -9665. Which is greater: -476 or w?
-476
Let y be ((-27)/15)/(6/(-10)). Suppose y*f + 25 = 4. Let h = -61 - -61. Which is greater: f or h?
h
Let o be (-3)/4*(-8)/(-96). Suppose 0 = 4*f - 4*x + 24, 3*f - x + 11 = -5*x. Let y be (0 + -5)*f/(-25). Is o at least as big as y?
True
Let a = -4754 - -4753. Suppose -3*z + 2 = 5. Is a >= z?
True
Let k(r) = -r**3 + 8*r**2 + 7*r + 21. Let p be k(9). Suppose 219 = -5*x + p*u - 352, 3*x = -5*u - 329. Is x at least -112?
False
Let b be (33/33)/(2/14). Suppose 1 = b*o - 34. Is o not equal to 4?
True
Let v be (59794/4)/((-1134)/(-324)). Which is bigger: 4270 or v?
v
Suppose 5*z + 40 = 5*u, -12 = 4*u - 2*u + 5*z. Let c(k) = 2*k**2 - 3*k - 7. Let i be c(u). Let v = 458/3 + -1667/12. Is v smaller than i?
False
Suppose -26*z = -30*z + 168. Let u(b) = 20 - z + b + 7. Let h be u(15). Are h and -10/17 equal?
False
Let u = 6 - 3. Let l(m) = u*m**2 + m**2 + 4 - 3. Let r be l(1). Which is smaller: -0.05 or r?
-0.05
Let g = -6236 - 236. Let b = g + 2439942/377. Is b >= 1?
False
Let y be 1/(-118)*(-3)/33*4. Let s = -1632.2 + 1632. Which is greater: s or y?
y
Suppose 17*p + 9285 = -6593. Let s = 941 + p. Let u = -6 + 16. Which is smaller: s or u?
s
Let j = -2.75 - -1.75. Let r = 50.94 - 2.94. Is j <= r?
True
Let y be 2/(-1) - (-15)/2. Suppose -12*p - 5049 = -2013. Let r = -248 - p. Are y and r equal?
False
Let k be (-12)/(-15) - 3212436/(-530). Is k >= 6061?
True
Let t = 8899/184 - 730/23. Is -6 <= t?
True
Suppose -2*p + 32 = -5*y + 140, 2*y + 270 = -5*p. Let u be (((-9)/(-3))/3)/(4/(-256)). Let i = -118 - u. Is p at most as big as i?
True
Let k = -35301523919/1889980 - -4947702/265. Let n = 2812806613/920028 - k. Let t = -3065 + n. Which is bigger: 0 or t?
0
Let l(k) = k**3 + 7*k**2 - 3*k - 46. Let d be l(-6). Let c be -2 + -52 + -9 + d. Is c less than or equal to -60?
False
Suppose -5*o - 5 = 0, 3*l - 3*o + 2 = o. Let f be l + -5*(-20)/25. Which is greater: 6.3 or f?
6.3
Let f be -2*(-2 + 0)/(1 - -1). Let k be ((21/(-6))/7)/f*4. Let g be k*3*(-2)/(-3). Are g and 1 non-equal?
True
Let i be (-6)/(-8) - (-17646302)/(-152). Let z = 9702301067/83562 + i. Let p = z - 2/2199. Is 17 equal to p?
False
Suppose 3*k = -2*d + 11, 4*k - 4 = 4*d - 16. Let x = 7 - d. Suppose -x*j - j = -2*j. Are j and 3/11 unequal?
True
Let i be 2*((0 + -15)/5)/2. Let y be (14/28)/(-1*i/(-6)). Which is bigger: -25/28 or y?
-25/28
Suppose 9*u + 365716 = -43*u + 101400. Which is bigger: -5084 or u?
u
Let m = -0.035 - -3.035. Let s = -5918 - -5887. Are s and m nonequal?
True
Let r = 35272/64688015 + -6/7669. Which is greater: 1 or r?
1
Let p(j) = 21*j - 68 + 14 - 14*j. Let v = -21 - -30. Let d be p(v). Is d > 6?
True
Let l = 0.028972 + -22.375972. Let a = l + 0.247. Let j = 22 + a. Which is bigger: -14 or j?
j
Suppose -4*y - 9 = 5*j, 88*j = 92*j - 4*y. Which is bigger: 1/3237 or j?
1/3237
Let w be (2 + 8/(-5))*-95. Let z = -22 - w. Suppose 4*x + 0*j = j + 4, z = 5*x - 4*j. Is x at most -5/17?
False
Let d = -26880 + 26879. Which is bigger: d or 17/225?
17/225
Suppose -17*j + 6*j = 462. Let q be j/(-105) - (326/(-10) + -1). Let x = q + -37. Is x greater than 2?
False
Let s = 0.2482 + -0.2482. Which is smaller: s or 840/23?
s
Let k be 107 + -98 - (-12991)/5. Is k bigger than 2608?
False
Let x = 12195 - 12192. Are 366/91 and x non-equal?
True
Suppose -43 = -5*g + 4*d, -4*g - 3*d + 5*d = -38. Let m = -2186 + 15380/7. Which is smaller: m or g?
g
Let k = 45148 + -38315. Is 6833 smaller than k?
False
Let q be (1/2)/(21/126). Suppose -q*w + 8*w + 871 = 2*u, -3*u = -w - 1274. Is u < 422?
False
Let l = 4/441 - 2413/22932. Let a be (-1)/2 + 21/14. Are a and l unequal?
True
Let k be 8/(-2)*2/8. Let r = 1036 + -42473/41. Which is greater: k or r?
r
Let q = 1.203 + -1.303. Is 1589 greater than or equal to q?
True
Let a be (-1)/(-2)*0/1. Let v be (-6)/(-21) - (a + 27/21). Let g be 279/(-315) + 3/5. Which is smaller: v or g?
v
Let o be 2 + (1 + -2)/(13/26). Let n(q) = q - 4. Let s be n(6). Suppose 3 = -l, 3*m - s*m = -4*l - 14. Is o at least as big as m?
True
Suppose 0 = -403*l + 1143 + 723048. Is l at most as big as -1/3?
False
Let c(v) = -v + 6. Let k be c(5). Let u = -79748/1999391 - -2/13241. Is u bigger than k?
False
Suppose 85 = -5*f + 65. Let q be f/(-6) - (-4)/234*-12. Which is bigger: q or 5?
5
Suppose 0 = -43*s + 291 + 6159. Suppose 824 + 82 = 6*w. Is w greater than s?
True
Suppose 0 = 263*f - 262*f + 6. Let l be (-261)/81 + f - -9. Which is smaller: l or 88/13?
l
Let z(x) = -14*x**2 + 3*x + 22. Let p be z(-4). Let n = p - -152. Is n <= -63?
False
Let x = 9392 + -9391. Which is bigger: x or 1.1706?
1.1706
Let g = -8483 - -8291. Which is greater: 2 or g?
2
Let r = -0.233 + -300.767. Let w = r - -298. Which is smaller: -28 or w?
-28
Suppose 0 = -4*a - 4*j + 12, -7*j + 4*j = 5*a - 21. Suppose a*i = -5*i + 44. Suppose i*d + c = -0*d, -d + 17 = -4*c. Which is greater: d or 12/25?
d
Let t(u) = 5*u**3 - u**3 - 4*u**3 - 6*u**2 + 3*u + 2*u**3. Let o be t(2). Let q be ((-18)/5)/3*1. Is o greater than or equal to q?
False
Let w be ((-4886)/63*-9)/(-2). Is -349 <= w?
True
Let m = 21008 - 53045202/2525. Which is smaller: 0 or m?
m
Let q = -100.14 - -100. Let g = q - -0.013. Let c = -0.073 + g. Is c < 2/13?
True
Let b = -14 - -41. Suppose -b*h + 28*h = 26. Let r be (h/(-91) + (-10)/14)*-5. Do r and 7/2 have different values?
True
Let y be -1*24/16 - (-183)/138. Let g = -90/253 - y. Suppose -1 = l - t + 2*t, -4*t - 8 = 0. Is l smaller than g?
False
Suppose -65*x = -67*x + 10. Suppose -x*b = 5*b + 140. Let t = -33 - -20. Which is bigger: b or t?
t
Let f = -80 + 5. Let d = -76 - f. Are d and -7.7 non-equal?
True
Suppose 0 = t + 4*c + 361, 85*t + 744 = 83*t + 3*c. Is t bigger than -1842/5?
False
Let f = -5725.4 - -5640. Which is smaller: f or -1/2?
f
Suppose -240 = -u - 3*u. Suppose -3*l - z - 3*z - u = 0, l = -4*z - 12. Let c be (l/(-1590))/(4/(-10)). Is c <= -1?
False
Suppose 904*f - 5768 = 900*f. Suppose 1394 = -6*a + f. Which is smaller: 4 or a?
4
Let p(g) = -6*g*