alse
Let z(t) be the first derivative of 8*t**3/3 + 41*t**2 + 10*t + 39. Let b be z(-11). Are b and -3/4 non-equal?
True
Let h(v) = -20*v - 54. Let l be h(-5). Let x be 187/l - 4 - 1/2. Do 0 and x have the same value?
False
Let r = 555 + -900. Let g = r - -519. Are 1 and g non-equal?
True
Suppose -5 = 5*z + 3*p, z + 5*p = -2 + 1. Which is smaller: -1/8027 or z?
z
Suppose 0 = -d - 3, 5*s - 3*d = 827 + 212. Suppose -6*w - 378 = -384. Is w greater than s?
False
Let p(y) = y**3 + 16*y**2 + y + 12. Let w = 52 + -67. Let i(h) = 3*h + 29. Let s be i(w). Let b be p(s). Does -5 = b?
False
Suppose 5*c - 6486 = 2*g + 12606, 0 = -3*g - c - 28587. Is g at least as big as -9531?
True
Let x(c) = -c**2 + 19*c + 7. Let o be x(20). Let v be 5 + o + 0/2. Is v greater than 2?
False
Let a = 7335 + -7149. Is a at most as big as -0.3?
False
Let s = 117 - 55. Let r = -61.99 + s. Which is greater: r or -1/4?
r
Let x = -1984 - -2209. Which is smaller: x or 217?
217
Let i = 73/424 - 5/106. Let m be (2/(-20))/((-16)/5880). Let f = m - 37. Is f smaller than i?
True
Let z = -77433934/9 + 8637895. Let x = z - 34385. Let q = -260 - x. Which is smaller: q or 2?
q
Let z = -41088 + 28198. Is z at least -12888?
False
Let k = 39273916/497 + -79022. Which is smaller: 0 or k?
k
Suppose -203*x - 117*x - 186*x + 5060 = 0. Suppose 0*b - 5*g - 25 = -4*b, -5*b - 4*g + 21 = 0. Which is smaller: b or x?
b
Let s = 328 + -324. Let v be s + -9 - -6 - 58*1. Is -55 bigger than v?
True
Let i = 12481 + -12534.53. Let b = 7.43 + i. Let l = b - -46. Is l at most -5?
False
Let y be (2/8*(-28)/(-21))/((-89)/267). Is y less than or equal to 5/1392?
True
Let r = 91 + -40.9. Let x = 99 - 49. Let b = r - x. Is b > -2.8?
True
Suppose 5*c + 2*r - 5517 = 0, c = r + 115 + 994. Is 1106 <= c?
False
Let q = -42.59 - 3.31. Let i = 45.06 + 0.94. Let z = q + i. Is z greater than 4?
False
Let g = 78 + -93. Let n be -2 - 0/(g/(-5)). Let y be n/3 + 1420/(-30). Which is smaller: y or -47?
y
Let i = -1073/12 - -89. Let m = 7/6 + i. Which is smaller: m or -17/6?
-17/6
Let m(v) = v**3 - 9*v**2 + 13*v + 7. Let a be m(7). Let j be ((-10)/(-20))/((-98)/12). Are a and j nonequal?
True
Let g = 687 + -682. Is 323 >= g?
True
Suppose -38*s - 2689 - 5709 = 0. Is s greater than or equal to -0.1?
False
Let l be (-2)/((-718)/(-360) + -2). Let s be -4*1257/l + (-1)/3. Which is bigger: -15 or s?
s
Let i be (-1689)/(-240) + 0 - (44 - 37). Is i bigger than -3?
True
Let g = -11154404/635 - -17566. Which is smaller: g or -1?
-1
Let p be (2082/8)/(69/184). Let h be p/(-6) + (-80)/(-120). Is h bigger than -115?
False
Let z = 72596 + -72596.32. Let a = -31 - -19. Which is bigger: a or z?
z
Let o = 145.868 + -146. Let k = 0.082 + o. Let t = -0.65 - k. Do t and 1/7 have different values?
True
Let p(x) = 135*x + 271. Let k be p(-2). Is 2/6117 > k?
False
Let m = 10 - 52. Let q = m + 42. Is q bigger than 0?
False
Let k be 43626/126 - 2/(-6). Is 347 at most k?
False
Let a be ((-19)/2)/((-42)/(-56)). Let u = a - -371/30. Do -2 and u have the same value?
False
Suppose 105*c = 111*c - 882. Suppose -c*g - 72 = -151*g. Let z = 1 - -15. Is z greater than or equal to g?
False
Suppose 0 = -6*f - 1106 + 800. Let s = -33 + -17. Which is greater: s or f?
s
Let b = 1/6372 - -3107/20804580. Which is smaller: b or 0?
0
Let g be (-141828)/(-220) - 336/(-560). Which is smaller: 646 or g?
g
Let a = 147 + -117. Let t be a + -34 + 1*2. Is t less than -11/21?
True
Suppose 64 = 6*w - 92. Suppose -3*s + 3*x = -21, -s + 3*x = 3*s - w. Suppose 0*m - s*m = 3*o + 15, -m = 0. Which is bigger: o or -32/7?
-32/7
Let y(h) be the second derivative of h**3/3 - 25*h**2/2 - 2*h - 8. Let s be y(16). Is s smaller than 0.7?
False
Let d = 615 - 615. Suppose d = -4*c - i - 2135, 654 = -c - 4*i + 124. Are -534 and c unequal?
False
Suppose -105*m - 8360 = -295*m. Which is bigger: m or 1220/27?
1220/27
Let s = -42 + 86. Let v = -24 + s. Let n = 14 - v. Which is bigger: n or -2/7?
-2/7
Let l be 0 + (1/(-36) - 0). Let s(r) = -2*r**3 + 4*r**2 + 10*r - 26. Let a be s(6). Let k = -254 - a. Which is smaller: l or k?
l
Let v(h) = -229*h + 2312. Let o be v(-14). Which is smaller: 5519 or o?
o
Let m be (-50)/4*(-2196)/(-915). Which is greater: 94/3 or m?
94/3
Let i be ((-52)/(-6))/(18/(-27)). Let q(y) = 10*y + 38. Let u be q(-17). Let k = -146 - u. Which is bigger: i or k?
i
Let z = 1 - 0.99. Let n = 16069/10 + -1607. Which is smaller: n or z?
n
Let r be (-9)/(27/(-12)) - 1*(-198)/(-48). Is r less than 5/6?
True
Let c = 201.77 + 4.23. Let v = 205 - c. Which is bigger: v or -46?
v
Let j(f) = -f**2 - 16*f + 69. Let h be j(0). Which is smaller: 85 or h?
h
Let h be (-6)/5*50/(-3). Let w(m) = -5*m - 14*m + 12*m - 13 + 8*m. Let d be w(h). Are d and 8 equal?
False
Let s = 0.11 + 21.89. Let i = -1434 + 1416. Let g = i + s. Which is bigger: g or -2/3?
g
Let n = -158/33 - -428/33. Let x(m) = -9*m**3 - m**2 - 17*m - 17. Let t be x(-1). Is n at most t?
False
Let u be 406*5/(-8)*340/(-425). Which is smaller: 197 or u?
197
Let f = 814 + -982. Is f greater than -169?
True
Suppose 4239*g - 18 = 4257*g. Do g and -262 have the same value?
False
Suppose -y = -4*h - 0*h - 17901, 3*h - 5*y = -13430. Let f = 2693949/602 + h. Which is smaller: 1 or f?
f
Let a = 1964 + -300499/153. Is 1 at least a?
True
Let p = 1678 + -150. Which is smaller: -2 or p?
-2
Let p be (-6)/10 - (-131784)/(-60). Let c = 252657/115 + p. Let m = c + 112/6785. Is 0 < m?
True
Let j(z) = 90*z + 2244. Let u be j(-10). Let f be (6/(-1) + -2)/(-1). Let c be u/(-105) - f/(-10). Do 2/11 and c have the same value?
False
Let v be 58/14 + 15/(-105). Is v greater than 141/41?
True
Let o = -3464018/55 + 183500689/2915. Let s = o + 349/11. Is s < -1/2?
False
Let j = 5058 + -4769. Are -0.14 and j non-equal?
True
Let k = 134851344/3163 + -42634. Let d = k + -306815/6326. Let y = 165/4 + d. Is -6 at least y?
True
Let q = -5305 - -5304. Do -1969 and q have the same value?
False
Let w = 103712/5 + -20742. Let o = -0.1 - 0.06. Is w smaller than o?
False
Let l = 874 - 386. Let t = -487.9599 + l. Is t greater than 0?
True
Let w(z) = -z**3 + 18*z**2 - 16*z + 12. Let i be w(17). Let v be (i + -32)/(-1*(-3)/20). Is v greater than -14?
False
Let f be (-6 + 72/10)*10/3. Suppose -4*t - 2*n + 102 = -2*t, 0 = -f*n + 20. Let q = t - 49. Is -16/5 >= q?
False
Let j be ((-22)/(-4))/(3 - 7/2). Let u be (-16)/64 - j/(-4). Let s be ((-1)/u)/((-3)/(4/(-4))). Which is greater: s or -3?
s
Let g = -23 + 27. Suppose -g*p - 422 = -5*j + 104, 2*j + 2*p = 196. Let v = j + -98. Which is smaller: v or 0?
0
Suppose 2*j + 147 = 5*j. Suppose 2*a + 23 = -2*n - j, -2*a + 4*n - 42 = 0. Is -162/5 greater than or equal to a?
False
Let c be (-238)/((-2)/(0 + -8)). Let v be c/(-88) + (-4)/(-22). Which is greater: 4 or v?
v
Let s be 12 - (-1)/390*-4682. Which is smaller: s or 1?
s
Let z be -10*(-18)/(-135)*-3. Suppose -3 = 5*h - 23. Suppose j + 0*j - z*o - h = 0, 0 = 2*j + 2*o - 58. Is j bigger than 24?
False
Let i be (3/(-1 - -145))/4. Let v be (-4 - -3)/((-4)/(-3024)*4). Let g = v - -188. Is g greater than or equal to i?
False
Suppose 4*k = -2374 + 690. Let c = k - -399. Which is smaller: 1 or c?
c
Let x be -4 + (3 - (-1 - (-96)/(-92))). Let r(c) = -c**2 + 23*c + 860. Let t be r(-20). Is x not equal to t?
True
Let r(x) = -x**3 + 12*x - 18. Let v be r(2). Let y(i) = 4*i**2 - 14*i - 27. Let n be y(v). Let u = 7 - -11. Which is smaller: n or u?
n
Let l = 14525 + -798851/55. Let j = -806/1595 + l. Let h = j + 91/58. Which is smaller: 3 or h?
h
Suppose 21*b = 1007 + 2101. Let u = b + -147. Let j be (-44)/(-78) + 1/(-3). Which is smaller: j or u?
j
Let g(d) = d + 8. Let m be g(8). Suppose 12*y + 11 + 49 = 0. Let s be y/(1/((-6)/m)). Which is smaller: 1 or s?
1
Let c = -5 + 3. Suppose -6*m = -3 - 9. Let z be 3 + (-40)/7 + m. Which is smaller: c or z?
c
Suppose -a + 3*k = 45, -4*a - 3*k - 95 = 2*k. Let l be -5*4/a - -1. Let w be (10 - 9 - 1/1)/1. Is w less than l?
True
Let z = -89726482009/3982 + 22533020. Let p = z - 1/362. Suppose 3 = -a + 4. Is a at most p?
False
Let h = 0.00362 + -0.00362. Which is smaller: -73 or h?
-73
Let j be ((-16)/(-452)*(-4)/(-656))/(-2). Is j less than -1?
False
Let m(f) = f**2 + 10*f + 16. Suppose -2*y = -8*y. Suppose 8*g + 5*k = 5*g - 9, 3*g + k + 21 = y. Let i be m(g). Is