reater: -2 or t?
t
Let n(i) be the second derivative of -i**5/20 + 5*i**4/6 + 23*i**3/6 + 7*i**2 - 7*i. Let y = -12 + 24. Let z be n(y). Is 21/8 > z?
True
Let k = 333.47 - 365.6. Let l = k - -32. Let h = l - 2.87. Which is smaller: 3 or h?
h
Let a be 39/65 + ((-42)/(-255))/1. Are 2 and a equal?
False
Let y(o) = o**3 - 9*o**2 - 38*o + 31. Let l be y(12). Let z be (-1)/(-2)*54/4. Is z at most as big as l?
True
Let s be 27/6*(-7 + 1). Let p be ((-840)/s)/7 - 4. Let y = 2/9 + p. Do 9 and y have different values?
True
Let w = -1560.053 - -1560. Is -2/5 at least w?
False
Suppose 8*i + k = 7*i + 12, -k + 2 = 0. Do 7 and i have the same value?
False
Let u(c) = c**3 + 7*c**2 - c. Suppose -4*t - t = 35. Let b be u(t). Let n be 0 + b/((-364)/(-48)). Which is smaller: n or 0?
0
Let k be 4/10*120/(-48). Which is bigger: -53 or k?
k
Let s = -3805 - -98895/26. Is s != 0?
True
Suppose 5*t - 4*t = 0. Let f = -439 + 438. Which is bigger: t or f?
t
Suppose 0 = -2*g + 3*w + 4, -2*w = 2*g + 16 - 10. Which is smaller: g or 7/74?
g
Let p(u) = 12*u - 60. Let o be p(5). Which is smaller: o or -4/7?
-4/7
Suppose 5*q = -y + 2 + 24, 0 = 2*q - 2*y - 20. Let a be ((-16)/10)/(4/80). Let c be q/(-10)*a/12. Is c at most as big as 1?
False
Let r = -529800254/195 - -2716933. Let m = r + 3/65. Is m bigger than 9?
False
Let l be 741/819 + (-1)/((-14)/(-8)). Which is smaller: 3/8 or l?
l
Suppose 8*n + 53 = 5*n + 2*m, -2*n - m = 26. Let t(s) = -2*s**3 + 2*s - 1. Let x be t(2). Is n at least x?
False
Let o = 693 + -693. Is o not equal to 4?
True
Let h = 504.2 + -504. Which is greater: h or -19?
h
Let v(x) = -6*x - 5. Let k be v(-2). Let o(t) = t**3 + 9*t**2 - 2*t + 1. Let s be o(-9). Suppose 3*i - s - 8 = 0. Is k >= i?
False
Suppose 4*b - 2*f - 28 = 0, f = 5*f. Let g(a) = -a**2 + 6*a + 6. Let d be g(b). Let l be (-576)/5040*14/36. Which is smaller: l or d?
d
Suppose 0 = 9*p - 5 - 31. Let w be (-2)/p*8/1 + -13. Which is greater: w or -20?
w
Let w = 0.5544 + -23.6444. Let l = w - -23. Let u = l - 0.01. Which is bigger: 11 or u?
11
Let t be 17/(-68) - (-1)/4. Let p be (-5)/(-10)*t + 0. Is p <= 3/4?
True
Let f be ((-4)/6)/(4/6). Let c = -17 + 25. Suppose k = 5*k + 4*o - c, -2*k + 2*o - 8 = 0. Is k >= f?
True
Let i = 243 + -311. Is 0 > i?
True
Let y(h) = 7*h + 5. Let v be y(0). Suppose x = -3*x + m + 8, 5*x - 10 = -v*m. Let z = -2 + 3. Is x <= z?
False
Let h(x) = x**2 + 6*x + 3. Suppose 4*q - 73 - 39 = 0. Suppose 4*v - 2*n + 16 = 0, -5*v - 5*n - q = 7. Let z be h(v). Is 0.06 at least z?
True
Let m be 732/122 + -2 + (-66)/15. Suppose 2*x - 7 = g, 4*g + 2 = -0*g - 5*x. Let b be (-8)/g*2/(-12). Which is smaller: b or m?
b
Let l be 2 - -2 - (-2 - -12). Let f be 13/6 - (-9)/l. Let v = -5.04 + 0.04. Which is greater: f or v?
f
Suppose 8*n = 55 + 49. Let x = 8 + -7.9. Which is smaller: x or n?
x
Suppose -12*n + 4*n - 32 = 0. Let f be 7*(-14)/(-4) - (-2)/n. Which is smaller: 25 or f?
f
Let s = 2329/132 + -112/33. Is s at most 14?
False
Let l be 1/4 - (-51)/156. Which is smaller: 0 or l?
0
Suppose -3*q + 195 = 192. Let v be (-1 + 0)*(-30)/1155. Do q and v have the same value?
False
Let x(w) = 6*w + 26. Let z be x(-3). Is z greater than -0.39?
True
Suppose -4*k = 38 - 50. Is 40/13 equal to k?
False
Let f = 3/784 - -69381/784. Let t = 1951/22 - f. Is -1 greater than or equal to t?
False
Let w = 117 + -113. Let d be -1 + (2 - 1)*-4. Which is greater: w or d?
w
Let c be 30/(-2) + (-1 - -2). Let d = c + 17. Suppose d*s + 10 = 16. Is s != 4/7?
True
Suppose 2*n - 4 + 0 = 0. Suppose 7 = s - n. Let f = -13 + s. Which is greater: -5 or f?
f
Suppose -3*i + 7*i - 168 = 0. Suppose 3*u = 4*m + i, 3*u - 5*m = -11 + 53. Is u bigger than 12?
True
Let g(u) = -2*u - 16. Let v be (-5)/(4/(-6) + (-65)/(-39)). Let w be g(v). Which is smaller: w or -10?
-10
Let s(w) = -w**3 + 22*w**2 + 26*w - 72. Let r be s(23). Are -2 and r non-equal?
True
Suppose -31*k + 33*k = 4. Suppose -4*z + k*l - l + 12 = 0, -3*z = -l - 10. Suppose 0 = -z*u + h, -3*h - h + 12 = 4*u. Are 0 and u unequal?
True
Let t be -4*1*4/(-10). Suppose -2*s = 2*r - 15 + 3, 5*r + 24 = 4*s. Let n be 6*1/s*1. Is t smaller than n?
False
Let p(q) = -q + 8. Let g be p(0). Let o(b) = -b**2 + 9*b - 5. Let v be o(g). Let a be (2/v)/(-1)*-6. Is a greater than 3?
True
Let n = 36 - 22. Let g be (-7)/9 - n/63. Let v = 7/124 - -6/31. Is v greater than or equal to g?
True
Let h = 274.5 + -275. Which is bigger: h or -2.8?
h
Suppose -10 = 2*y - 0. Suppose 2*t + 4*t + 2142 = 0. Let z = -1084/3 - t. Does y = z?
False
Let s(r) = 4*r - 6. Let g be s(2). Suppose 4 = -g*p + 46. Which is smaller: p or 89/4?
p
Let q be -1*(1*-2 + 1). Let i be 269/68 + 28/(-7). Let n = 97/884 - i. Is q at least as big as n?
True
Suppose 0 - 8 = 2*r. Suppose -4*y = -3*v + 478, -2*v + 328 = -2*y + 90. Let d = y + 116. Is r < d?
False
Suppose 0 = -d - 4*d. Suppose d = q - u + 2, 3*q - 4*u - 2 = -3*u. Which is greater: 0 or q?
q
Let u = -0.3 + 0.1. Let x = 8 - 8.7. Let p = -0.8 - x. Which is smaller: p or u?
u
Suppose 4*o - 24 = o. Let w be (-3)/(20/o - 1). Suppose -4*d - 4 = -2*u, -d + 4*u = 3*d - 4. Are d and w unequal?
True
Let y be 6 - 7 - (-4 + 1). Let h(d) = -5 - 29*d**2 - d**3 - 23*d**2 - 3*d + 50*d**y + 0*d. Let u be h(-2). Is 1/26 < u?
True
Suppose 7*b - 10*b - 42 = 0. Let a = b + 35. Do 21 and a have the same value?
True
Let f = 21.29 - -15.71. Is f equal to 8?
False
Let m be (-4)/(-22) - (-144)/(-308). Let j = 14.23 - 14.3. Which is smaller: j or m?
m
Suppose -11*s - 225 = -14*s. Suppose 5*h + 2*q + 82 = 0, -5*h - 6 - s = q. Which is greater: h or -15?
-15
Let h(m) = 2*m - 8. Let w be h(6). Suppose r = -r + 5*o - 14, -o + 10 = -w*r. Which is smaller: r or 10?
r
Let a = -172 + 38. Is a less than or equal to -133?
True
Let r be (8/(-32))/(4 - 3). Is r not equal to -19?
True
Let q(k) = 43*k - 3. Let i be q(0). Which is smaller: i or -9/5?
i
Let l(c) = 11*c + 206. Let s be l(-20). Which is smaller: -13 or s?
s
Suppose 4*k - k = -39. Let m = 6 + -1. Suppose 5*h = v - 6 - 64, 70 = -m*h + 3*v. Which is greater: k or h?
k
Let u be (-14)/((-84)/(-18)) - 0. Which is greater: -419 or u?
u
Suppose 4*i + 0*i - v - 42 = 0, 5*v = -i. Let t(o) = -3*o - 4*o + 2*o - i + 25 - o**2. Let p be t(-7). Is -2/9 equal to p?
False
Suppose 0 = -c - n + 15, -c + 2*n = 2*c - 45. Suppose -33*k - 30 = -30*k. Let r = c + k. Is 1 less than r?
True
Suppose -2*m + 5*w - 173 = 0, 3*m + 2*w = -m - 358. Let l = m + 1334/15. Is -1 smaller than l?
True
Suppose 5*a + 9 = 2*j, 4*j + 4 - 8 = -4*a. Let o be a/2 + 5 + (-21)/2. Suppose 5*u + 44 = 14. Does o = u?
True
Suppose -4*h = x + 2, 4*h - 2 + 60 = -5*x. Let g be (0 - x)/(2*2). Let m = g + -3. Is m less than 0?
False
Suppose -4*j = -2*t + 16, 0 = 2*t - 0*t. Let v = -275 - -272. Which is smaller: j or v?
j
Suppose -4*a + 12 = -4*p, 3*p + a = -p + 3. Let r = -14 - -9. Which is smaller: p or r?
r
Suppose 0 = 5*l - 7 + 2, 0 = 2*j - 2*l - 2. Suppose -j*w = w. Which is bigger: 1/3 or w?
1/3
Let d = -718.04 - -757. Let u = d + -39. Do -2/7 and u have different values?
True
Suppose -m + 1 - 2 = -2*p, 0 = 2*m + 6. Let q be (7 - 9) + p/4. Which is bigger: q or -2?
-2
Let i be (-2*(-9)/(-24))/((-30)/200). Let t be (i - 4)*(-1 + 4). Which is smaller: t or 42/13?
t
Let n be ((-2)/(-6))/((-3)/((-342)/7)). Which is smaller: 2 or n?
2
Let z be (1 - (-1 + 4))/2. Let u be z/2 + ((-292)/(-88) - 3). Let w = -0.1 + -0.1. Is w less than or equal to u?
True
Let c be (4/(-3))/((-9)/567) - -1. Let m = 257/3 - c. Which is bigger: m or 4/3?
4/3
Let l = 77 + -109. Let j = 25 + l. Which is smaller: -10 or j?
-10
Let r be (-40)/(-70) - (18980/6594)/5. Is r equal to 0?
False
Let j = 0.21 - -2.49. Let l = j - 2.2. Is l equal to 0?
False
Let m = 30 + -29. Let f = 0 + -4. Let x be 58/(-26) + (f - -6). Are m and x nonequal?
True
Let u = -119426/121 + 987. Is u not equal to 2/5?
True
Let u = 0.627 + 7.373. Let r = -1 - 0. Is u less than r?
False
Let n(j) = j**3 + 3*j**2 + 9*j + 52. Let p be n(-6). Which is smaller: -116 or p?
-116
Let w(l) = -l**2 - 11*l - 18. Let n be w(-10). Let f be (3 + 28/n)*0. Which is greater: f or 2/275?
2/275
Let a(z) = -2*z**3 + 96*z**2 + 8. Let h be a(48). Which is smaller: 17 or h?
h
Let c be (2 + 6/15)*(-1 + 6). Suppose 4*v + d + 0*d = 54, 2*v - 20 = 3*d. Is c less than v?
True
Let q = 