 v = 185531/380 + -2441/5. Is -2 not equal to v?
True
Let w = -0.198 + -5.202. Let n = 17.5 + w. Is -1 > n?
False
Let j(k) = k**2 + 79*k + 1149. Let i be j(-19). Which is smaller: i or 1/150?
1/150
Let s be (-45)/(-150) + (-746)/2495. Which is smaller: -1 or s?
-1
Let t be 56/26 - (-2)/(-13). Let b be (-8)/(-8) - (t + 17). Is b less than -17?
True
Let t(b) = 2*b**2 + 7*b + 7. Let l be t(-5). Let d(z) = -2*z**2 - 6*z + 12. Let j be d(-5). Let p be 14/j*-4*3. Is l bigger than p?
True
Let t = -3524 - -3423.35. Let i = 103 + t. Is i less than or equal to -0.1?
False
Let r be 12 + ((-64)/16 - 11). Which is smaller: r or -1171?
-1171
Let o be (-8)/(-1) + (11008/5496 - 10). Which is smaller: o or -3?
-3
Let a be ((-15)/92)/(910/240 - 4). Which is smaller: a or 1/2?
1/2
Let b(f) = -4*f + 15. Let j be b(4). Let d be (3 - 1)*((-476)/(-480) + j). Is d not equal to -1?
True
Let d(x) = 2*x**2 + 5*x - 4. Let k be d(1). Suppose -4*r = 2*q - 6, k*r - 6 - 31 = 5*q. Suppose 14 = -r*w - 2*m, 3*w + m - 4*m = 12. Is 1/9 >= w?
True
Suppose 5*n + 12*n - 952 = 0. Let b = -48 + n. Which is bigger: b or 4?
b
Suppose -3*c = -2*l - 8232, -12*c + 17*c + 4*l - 13698 = 0. Is 2742 greater than c?
False
Let g = -5.09 + -21.01. Let o = 26 + g. Which is bigger: o or -150?
o
Suppose -s = -0*s - 2. Suppose -4*q + 50 = s*h, -2*h - 6*q = -3*q - 53. Let a = h + -22. Is a less than or equal to 1?
False
Let l(s) be the third derivative of s**5/60 + 5*s**4/12 + 5*s**3/2 + 3*s**2. Let m be l(-8). Let y be (m - -2) + 1 - 2. Which is greater: 1/38 or y?
1/38
Let n = 17741.6987 - 17742. Are 1/5 and n unequal?
True
Let k(f) = -f**3 - 25*f**2 - 6*f - 36. Suppose -b - 95 = 4*j, b + 8 = -j - 12. Let u be k(j). Suppose u = -9*i - 3. Do -12 and i have the same value?
False
Let h be (-266)/931 + (-2)/(-13) + (-6969)/(-1092). Does -35 = h?
False
Suppose -21*y + 18*y + 9 = 0. Suppose -4*v = 2*j - 20, -3*j = y*v - 5 - 10. Let z be 16/(-45) - (j - 8/36). Is 1/3 at most as big as z?
False
Suppose -2*w - 36 = -1242. Is -3 less than or equal to w?
True
Let o be 3695/(-60) - 2/(-8). Let v = -61 - o. Which is greater: v or 0.6?
0.6
Let o = 7962 + -7962. Which is smaller: o or 10446?
o
Let b = 50 + -90.9. Let o = 1443 - 1484. Let h = b - o. Which is greater: 6 or h?
6
Let j = -1314/5 - -3947/15. Let m = 0.04 - 0.07. Let t = m + -0.02. Which is smaller: j or t?
t
Let r be (4/(-3))/((-2004)/(-84)*189/18). Which is smaller: 0.1 or r?
r
Let n = -341 + 345. Suppose 3*c + g + g - 3 = 0, -n*c + g = 7. Is 363 != c?
True
Let g(s) = -s + 4. Let l(m) = 3*m + 11. Let n be l(-4). Let h be (n - 4)*24/(-10). Let j be g(h). Is j greater than -10?
True
Let r = -892 - -992. Suppose 398 = a + 3*a - 2*l, -5*a + 4*l = -490. Which is greater: a or r?
a
Let p(l) be the third derivative of -l**5/30 - 5*l**4/24 - l**3/2 - 25*l**2. Let w be p(0). Let n = -32/21 + -8/7. Which is smaller: w or n?
w
Let j = -284.842 - 0.358. Let i = -291 - j. Which is bigger: -1/2 or i?
-1/2
Suppose -3*p = 4*i + 2725, i + 1812 = -2*p + 3*i. Is -909 >= p?
False
Suppose -5*i - 275*b + 5365 = -273*b, 3*i - 3219 = b. Is 1073 smaller than i?
False
Let i be 14/(-208) + (-3 - -3). Let r(q) = 5*q**2 + 103*q - 42. Let t be r(-21). Is i less than t?
True
Let s = -20964/7 + 149410442/49889. Is s greater than 1?
False
Let m(u) = -u**3 - 10*u**2 + 13*u + 22. Let k be m(-11). Let q be (-60)/(-7) - k/6. Let b = 17/2 - q. Are b and 0.1 non-equal?
True
Suppose 4*g - 408 = 4*x, 1202*g - 2*x = 1197*g + 507. Which is smaller: g or -43?
-43
Suppose -5*p - 130*b + 134*b - 7 = 0, 2*p = -5*b + 17. Are p and 79/69 non-equal?
True
Let m = -2725 - -2721.01. Which is smaller: -1/3 or m?
m
Let w be -642*12/(-1928) - 4. Let x(u) = -81*u + 82. Let c be x(1). Are c and w non-equal?
True
Let o = -25954.8 - -25955. Which is smaller: o or 2/12037?
2/12037
Let b = 1405.5 - 1337.5. Which is smaller: b or -8?
-8
Let x = -847 - -974. Is 1410/11 > x?
True
Let b(q) = -q**2 + 6*q + 1. Let y(d) = d**3 - d**2 + 4*d - 7. Let z be y(2). Let o be b(z). Suppose -r - 5*r - o = 0. Which is greater: 2/137 or r?
2/137
Let t = 2.858 - 1.858. Let k = 0.03 + 0.77. Which is smaller: t or k?
k
Let f be -3 - ((-6)/45 + 103/(-15) + 6). Which is greater: 882 or f?
882
Suppose u + 5*c - 20 = 44, 64 = u - 2*c. Let d(h) = 3*h**2 + 3*h + 3. Let y be d(4). Are u and y nonequal?
True
Let o = 4.8 - 120.8. Let x = o - -113. Which is bigger: 0 or x?
0
Let h be (-2 - (-4)/2) + 6. Let d be 25 - ((-10175)/(-22))/25. Which is smaller: h or d?
h
Let z be 4/(-5) + 25060/(-175). Let g be ((-3)/z)/(5/50). Let f(n) = -n**3 + 5*n**2 + 7*n - 6. Let h be f(6). Which is greater: g or h?
g
Let n = -21 + 50. Let l = 0.0683 + 0.2317. Which is smaller: n or l?
l
Suppose 107*x + 29438 = -34013. Which is bigger: -4141/7 or x?
-4141/7
Let m be (-505)/2212 - 0 - (-764)/3056. Are -1 and m nonequal?
True
Suppose -2*m = 3*m - 40. Let r be (-4)/(-10)*(-10)/m. Suppose -23*g - 27 = 4*g. Which is smaller: r or g?
g
Let i = 146 - -25. Suppose 243*r - 234*r + i = 0. Which is smaller: r or -1?
r
Let o(r) = -8*r + 62. Let k be o(13). Let z = 46 + k. Is 8 less than z?
False
Let g = -31/1665 + -53461/347985. Which is smaller: 0 or g?
g
Let z be (8*1/4)/(1/(-753)*2). Is -759 > z?
False
Let m be (-2 + -1 + 270/80)/(94/8). Is -2/5 <= m?
True
Let d(s) = -s**2 - 10*s + 27. Let u be d(-13). Let j be (6/u + 0)*4. Is -22/7 greater than or equal to j?
False
Let j = -5.043 + -2.957. Do 259/5 and j have the same value?
False
Let f be 146/18*((9 - 17) + 7) + 8. Which is bigger: f or -233?
f
Let q(s) = 5*s**2 - 65*s + 12. Let t(a) = -10*a**2 + 128*a - 23. Let u(m) = 7*q(m) + 3*t(m). Let w be u(14). Is w less than 16/11?
True
Let x = 45 - 35. Let q be 1*25/x*4. Suppose 4*z + 44 = 4*h, -h - 4*h = 4*z - 37. Does h = q?
False
Let p(t) = -t**2 + 18*t - 13. Let c be p(17). Let g be (21/(-12))/((1/c)/(-1)). Let y be ((-22)/6)/(-2 + g/3). Is -35/3 < y?
True
Let h be 2/(-4)*(2 - 0)*-1. Let z(n) = n**2 + 6*n - 9. Let f be z(-7). Let j be f + 5 + (-274)/92. Is h at least as big as j?
True
Let f be -165 + (2*15/50 - 12/20). Which is smaller: f or -158?
f
Let d be (3/(-9))/(((-13)/7878)/((-16)/(-12))). Which is smaller: d or 268?
268
Let j be (-3114)/4152 + (3/12)/(1/2023). Which is smaller: 0 or j?
0
Let w = 11.7 - 4.8. Let u = -2.66 + w. Let z = 4.3 - u. Is z not equal to 2?
True
Let g(r) = 2*r**3 + 22*r**2 + 5. Let c be g(-11). Suppose -2*t + 6 = 2*v, 24 = -2*v - 2*v + c*t. Which is greater: -9/7 or v?
v
Suppose -17*b = 13 + 4. Let u = -5187897/821 + 6319. Are b and u nonequal?
True
Let y = -12.886 + 13.286. Which is bigger: -33.38 or y?
y
Let l be 15/4*(-4)/114. Let o be 0*-6*(-4)/(-72). Is l greater than o?
False
Suppose 0 = l - 6*l - 2*y + 286, -l + 4*y + 66 = 0. Suppose -l = -5*m + 2. Suppose 5*c + m = -c. Which is greater: 1.6 or c?
1.6
Let x = 213 - 73. Let s = x + -127. Which is smaller: s or -5/3?
-5/3
Let o be -4*(-2)/42*2163/618. Which is bigger: o or -832?
o
Let k = -29 - -26.2. Let h = k - -9.8. Let z = -14 + h. Is z less than 0.2?
True
Suppose 6*j + 4541 - 4337 = 0. Which is smaller: j or 7?
j
Let u(x) = x**3 + 20*x**2 + 18*x - 16. Let h be u(-19). Suppose 1 = 4*s - n - 3, 3 = h*s - 2*n. Let p = -495 - -16334/33. Is p equal to s?
False
Let x = -134.2 + 133.1. Are x and 201 unequal?
True
Let r be (-175 + 4 + 1)*4/(-8). Let m = -84 + r. Does 22/21 = m?
False
Let g = 9695 - 9663. Which is smaller: g or 482/15?
g
Suppose 0 = -19*r - 18912 + 2986 - 10731. Which is greater: r or -1401?
-1401
Let p = 100 + -67. Let l = 12 - p. Suppose 5*m + 4*n = -75, 4*m + 81 = -0*m + n. Which is smaller: m or l?
l
Suppose -16*t - 698 = -1434. Which is bigger: 1264/27 or t?
1264/27
Let i = -0.01 - 1.65. Let g = 0.66 + i. Let c be 15/(-12)*(-1 - 10/(-18)). Is g at least as big as c?
False
Let w(k) = -k**2 - 3*k + 13. Let i be w(-8). Let j = i - -9. Let u be 14/126 - (-164)/j. Which is greater: u or -6?
-6
Let z(c) be the first derivative of -3*c**2/2 + 66*c + 38. Let x be z(21). Which is greater: 7 or x?
7
Suppose -3*y + 4*y = -2. Suppose 6 = -v - z, 145*v = 142*v + z + 6. Is y smaller than v?
True
Let r be (2/1)/((-9)/1098). Let o = 889612/9 - 98602. Let x = r + o. Is -1/4 greater than x?
False
Suppose 2*j - 12340 = -y, 30853 = -2850*j + 2855*j + 4*y. Which is smaller: j or 1/3?
