
-53/4
Let b(d) be the third derivative of d**4/4 + 85*d**3/6 - 67*d**2. Let v be b(-14). Are 12/11 and v non-equal?
True
Suppose -251 = -2*o - 3*z, -3*o = z - 132 - 269. Which is smaller: 121 or o?
121
Let t = -774 - -1058. Let b = 283.847 - t. Which is smaller: -2 or b?
-2
Let m be (((-60)/8)/3)/(335/400). Let s = m + -17423/201. Which is smaller: -91 or s?
-91
Suppose 142*f = 147*f - 10. Suppose 0 = -3*b - 5*a + 338, f*b + 84 - 303 = 3*a. Are b and 111 unequal?
False
Suppose -2*s + 2*g - 4096 = 0, 173*s - 169*s = 2*g - 8184. Which is smaller: -2045 or s?
-2045
Let o = -78 - -87. Let q(x) = x**3 - 10*x**2 - x + 4. Let w be q(10). Let t be ((-4)/w)/(14/161). Is o at least as big as t?
True
Let h be (-6)/(-16) - 171226/(-528). Let l = h + -324. Let c = -85/3 - -28. Which is smaller: l or c?
c
Let a be (-8)/(-1) - 2*(-2)/(-4). Suppose -5*u = -10, a*i = 5*i - u - 4. Which is smaller: i or -2?
i
Let m = -2.1 + -2.7. Let u = 7.8 + m. Let x = 10.97 - 11. Which is smaller: u or x?
x
Let g be 2 + (-16)/6 + 1. Let l = 210.43 - 213. Let d = l + 26.57. Are d and g nonequal?
True
Let z = 282 + -731. Let k = z - -449.3. Which is greater: 2 or k?
2
Let j(u) = -u + 15. Let c be j(20). Let y be (c*(-2)/20 + 1)*10. Let w be (-2)/4 - 140/(-8). Which is bigger: y or w?
w
Let m be (-2 - 0)/((-5)/235). Suppose 88*d = m*d - 90. Which is bigger: d or 10?
d
Let t = 86/3 + -28. Let n = -1.885 + 467.885. Is t at most as big as n?
True
Suppose u = -3*u + 20. Suppose -u*s - 9 = 1. Suppose 0 = 3*q - 2*j - 5, 320*j - 319*j = 4*q. Is s >= q?
False
Suppose 3*a + 274 = -122. Let i be (a/7)/(-4) + 12/42. Let o be (-1)/i*((-1)/3 + 2). Do 1 and o have different values?
True
Let a = 5.01043 + -0.01043. Are a and 3.84 unequal?
True
Suppose 34*s + 48*s - 26*s - 43960 = 0. Is s greater than or equal to 788?
False
Let f = 1087 - 1081. Suppose -5*n + 85 = 5*u - u, -3*n = -u. Is f < u?
True
Let p be (4 - 9) + -121 + -4. Let y = p - -121. Are y and 15 nonequal?
True
Suppose 2*f - 4 = 3*f. Let m be (-4)/(-5) - 525/(-125). Suppose 5*y - 7 = m*u + 6*y, 0 = -u + 2*y - 8. Which is bigger: f or u?
u
Let z = -5023 - -5394. Are z and 2 unequal?
True
Suppose -2*x = 2*f + f - 7, -x + 4*f - 13 = 0. Let h(o) = -2*o**2 - 12*o - 5. Let w be (-2)/(-2)*-2*3. Let j be h(w). Which is smaller: j or x?
j
Let j = -2811/5 - -22633/40. Suppose -4*u + 14 = -6. Which is smaller: u or j?
j
Let r = -11 - -5.2. Let u = r + 5.737. Let d = u + 1.263. Is 1 >= d?
False
Let k be (-3)/10*(1 + 22279204206/172). Let z = 38859073 + k. Let g = -3/860 - z. Which is smaller: g or 4?
4
Let s = 639 - 939. Let r = s + 305. Which is smaller: 27/5 or r?
r
Let o be ((-1)/3)/(176/704). Suppose 5*k - 3*k = 0. Are o and k equal?
False
Suppose -503*l = 4*o - 508*l - 936, 5*l = -3*o + 702. Is o less than 232?
False
Suppose 9 + 16 = 5*r. Let x be 2*((-26)/(-4) - r). Suppose -v + 24 = 5*s, -2*s = -2*v - 3*s + x. Does -2/181 = v?
False
Let g = 10316/7 - 112211/70. Which is smaller: g or -130?
-130
Let t be (-845)/(-70) - (-4)/(-56). Let m be t/28 + (-320)/28. Let d = 7 - 14. Which is smaller: d or m?
m
Let t(v) = 2*v**3 - 3*v**2 - 13*v + 26. Let r be t(2). Suppose r = 21*n - 23*n. Which is smaller: n or 11?
n
Suppose 42*t = 56*t + 3 + 25. Which is greater: -200/93 or t?
t
Let c(y) = 4*y + 25. Let q = -194 - -190. Let a be c(q). Which is bigger: 39/4 or a?
39/4
Let t(p) = p + 9. Let b be t(-7). Suppose 0 = -4*z + 6*z - b. Let a be 6/9 - (8 - 7). Is z at most as big as a?
False
Let m(y) = -y**3 - 8*y**2 - 9*y - 54. Let l be m(-7). Let f be 1675/l + (-8)/64. Suppose 3*z + 4*n = -2*z - 185, -2*n = z + 31. Is z at least f?
True
Let g = -3649/3 + 1319. Suppose 3*d = 3*k + 327, 28*k - 198 = -2*d + 26*k. Is d greater than or equal to g?
True
Let h = 0.295 + -0.3614. Let k = h - 0.1066. Which is smaller: k or -1?
-1
Let a = 1468479/257 + -5714. Which is greater: -1 or a?
a
Let l be -2 - (-3 - 4 - -6). Let b = -9/1870 - -6311/1699830. Which is bigger: l or b?
b
Suppose 54*t - 43*t = 0. Is -3/85 <= t?
True
Let d(i) be the third derivative of i**5/30 - i**4/12 + i**3/6 - 2*i**2. Suppose 0 = -4*x + 2*x. Let p be d(x). Which is smaller: -1/6 or p?
-1/6
Let l = 987 + -9931/10. Which is smaller: -5 or l?
l
Let x(y) = -48*y - 30 - 3*y**2 + y**2 - 20*y. Let j be x(-30). Is 209 at most j?
True
Suppose -16*x + 10 = -14*x. Suppose 72 = x*h - 4*d, 5*h + 2*d - 29 = 55. Is h greater than -4?
True
Suppose -3 = u + 9. Let w = -8462 - -8456. Is w greater than or equal to u?
True
Let a = -46697 - -46635. Let q = -58/3 + 19. Is q bigger than a?
True
Let a = 11401 - 285061/25. Let z = 21 + -22. Is a > z?
False
Let c = 299 + -295. Suppose 4*a + c*v = -16, -a + 10 = -4*v - 1. Are -2/3 and a non-equal?
True
Suppose -2*n + 5 = -3*u, 14 = -1688*u + 1686*u + 4*n. Are u and -1/1643 equal?
False
Let f = 328/5613 - -184716577/28065. Let z = 6543 - f. Is z <= -39?
False
Let u be (-6)/(-20) + 199080/400. Suppose 20*a - 11752 = -1772. Is u equal to a?
False
Let c = -7433 + 7434. Suppose 5*o = -4*y - 45, 3*y - 3*o = -0*y. Let m(i) = -3*i - 5. Let p be m(y). Which is smaller: c or p?
c
Suppose -4*r + 5*i - 2*i = -955, 5*r - 1192 = 2*i. Let g = -243 + r. Which is bigger: g or -6?
g
Let p = -11 - -16. Suppose 5*m = p*k + 10, -m - m = -2. Let j be (-10)/44*(-1 - (-3)/(-15)). Does k = j?
False
Suppose h - 6 = -2*h. Suppose -3*y - 1 = -3*n - 4, 4*y = h*n. Let c be (4*y)/((-12)/174). Which is bigger: 57 or c?
c
Let s = -61 - -106. Let o = -71 - s. Which is greater: 2/3 or o?
2/3
Let m = -127 - -887/7. Is 254 not equal to m?
True
Let t = 6625/36 + -184. Suppose 3*l + 5*x = -4, -18*l = -15*l - 5*x - 46. Which is smaller: t or l?
t
Let u be (18/(-7))/(6/(-42)). Let k(h) = 16*h + 127. Let g be k(-8). Let s be (u - 13)*(g - -2). Which is smaller: 2 or s?
2
Let s = -13234 - -12702.05. Let p = 532 + s. Are 0.04 and p nonequal?
True
Suppose -5 = 3*h + f, 5*f + 12 = -h - 13. Let t be (h - -8)*2*17/34. Suppose -t*z - 8 = -4*z. Is -3 less than z?
True
Let w be 6 - 2 - 7930/(-1040). Which is bigger: 11 or w?
w
Let w(i) = -i**3 - 6*i**2 + 12*i + 53. Let t be w(-7). Let f = -161 - -167. Are f and t equal?
False
Let j = 1.41 - 1.41. Let w be (-2)/4*0 - 6123/51. Let t = -120 - w. Which is smaller: t or j?
j
Let m be (-2)/5*(-1)/(-1). Let i be ((-19)/(-2))/((-75)/15720). Let u = i - -1982. Which is greater: u or m?
m
Let h = 6331 - 6272.03. Let m = -58.7 + h. Which is smaller: 3/2 or m?
m
Let j(o) = -8*o**3 + 136*o**2 + 12*o - 205. Let d be j(17). Is -10/59 less than d?
False
Let b(y) = -y**3 - 33*y**2 + 33*y - 29. Let a be b(-34). Suppose 3*i = n - 57, -2*i + a*i = -n + 45. Is 52 bigger than n?
True
Let s be (46/54 - 1)/((-10)/(-15)). Are 90/13 and s equal?
False
Let u = 0.006 + -0.007. Let k = -4618/3 + 1576. Let s = k - 37. Which is bigger: s or u?
u
Suppose -u - 5*o = -25, 19*u - 4*o = 14*u - 20. Suppose 2*k - 4*j + 7*j - 44 = u, -2*k = 4*j - 46. Is k smaller than 2?
False
Let a be (-2)/3 + (-232)/(-366). Suppose -2*i = 6*o - 9*o, 0 = 2*i - 5*o. Which is bigger: i or a?
i
Let m(j) = 14*j - 114. Let n be m(8). Let a(d) = 2*d**3 + d**2 + 7*d + 10. Let i be a(n). Which is smaller: i or -86/5?
-86/5
Let h be ((-10)/((-50)/(-5)))/1*4/(-6). Which is greater: h or -7209?
h
Let c(a) = -3*a**3 - 110*a**2 + 19*a - 47. Let n be c(-37). Is 2475/4 greater than or equal to n?
False
Let g be 40/24*(-2)/2. Let n = -19.5 + 3.5. Let w = n - -17. Which is bigger: g or w?
w
Let c(q) = -2*q - 7. Let v be c(-3). Let n be ((-4)/(-680))/(v/(-4)). Suppose 0 = -39*i + 36*i. Is i not equal to n?
True
Let q be 2/4 - ((-24339)/(-42) + 17). Are 6 and q unequal?
True
Let x be (16/44 - 0) + 162630/(-198). Which is bigger: x or -817?
-817
Let l = -18030 - -10459. Is l > -7569?
False
Let n be 28/20 - (-103)/5. Which is smaller: -81 or n?
-81
Let o = -0.148 - -0.219. Let a = o + 11.029. Let v = 10.9 - a. Which is greater: -8/7 or v?
v
Let p be (-24)/(-10)*(-70)/(-3). Suppose 8*s - p = s. Suppose 0*h - 8*h = -s. Are h and 0.001 equal?
False
Suppose -21*m - 7205 - 6214 = 0. Is m at most -639?
True
Let h(g) = 7*g - 104. Let v be h(11). Let y be -3*((-840)/v)/(68/6). Which is greater: y or -9?
y
Let i = 2.1 + -0.1. Let l = i + 7. Let m = -0.0352 - -2.0352. Which is greater: l or m?
l
Let u = 393 + -420. Let f be (u/(-18))/(12/8)*1. I