
y
Let u = -418 + 420. Which is bigger: u or -93?
u
Let l(r) = -r + 5. Let v be l(5). Let y be (2/(-204))/((3 + v)/(-12)). Is -1 != y?
True
Let f be 6/(-11) + 8905/(-715). Which is smaller: f or -22?
-22
Let h be 662/(-8) - ((-513)/(-36) + -13). Which is greater: h or -3?
-3
Suppose 0*a - 5*a + 30 = 0. Suppose 36*u = 32*u + 3024. Let q be (-10)/(-12)*u/135. Which is greater: a or q?
a
Let q(a) = -2*a**3 + 33*a**2 - 40*a - 20. Let b be q(15). Does b = -4?
False
Let x be ((-255422)/(-24))/((-6)/(-9)). Let n = -2712691/168 + x. Let o = n - -183. Which is bigger: 1 or o?
1
Suppose 0 = 2*o + 4*c - 10, -o + 230*c - 235*c - 4 = 0. Let f = 22 + -8. Which is bigger: o or f?
f
Let s = -29 - -70. Suppose -205 = 5*b - a, -4*b - s = -3*b - 5*a. Is b equal to -0.1?
False
Let f be (213/9 - 10)/((-1)/(-51)). Is f at most 697?
True
Let y = -476 - -576. Which is smaller: 302/3 or y?
y
Let g(q) = -51*q**3 - 5*q - 7. Let x be g(5). Let b = x + 32542/5. Let h = 102 - b. Does h = 2?
False
Suppose -3*n - 46 - 11 = 0. Which is smaller: n or -16?
n
Let a = -45 - -56. Suppose 3 = -l, q - 3*q + 3*l = -a. Is -4/43 at most q?
True
Let a be (-84)/(-5040)*((-6)/4 - 0). Is 1 != a?
True
Suppose -11*l - 24084 = 43*l. Is l > -446?
False
Let i = 527 - 527. Which is smaller: i or 189?
i
Let o(t) = t**2 - 15*t + 25. Let x be o(13). Suppose 0*y - 3*y - 3 = 0. Let a be x + 34*y/2. Which is smaller: a or 1/3?
a
Let i be (4345/(-158))/(-2 + (-6)/(-4)). Which is smaller: 7 or i?
7
Suppose 17*l - 19*l = -24. Suppose 0 = -2*c + 3*s - 10, -4*c - 3*s = -s - l. Let f = 3385/2898 + -2/1449. Is c bigger than f?
False
Let i(w) = 8*w**2 - 21*w + 58. Let r be i(3). Which is smaller: r or 0.2?
0.2
Let m be 1/12*(-8)/12*2. Let r = -11/18 - m. Is -2 less than or equal to r?
True
Let g be -2 - ((-506)/252 - (-34)/153). Which is bigger: -4 or g?
g
Let h be 12/(-35)*(6 - 102/12). Let l = 3 + -2.9. Let g = 0 + l. Which is smaller: h or g?
g
Let i = 0.911 + 0.089. Which is smaller: i or 16?
i
Suppose 4*z = 2*q + 560, -6*q = -3*z - 7*q + 420. Do z and 141 have different values?
True
Let u = 1 - 0. Let d(g) = -2*g - 13. Let t be d(-5). Let b be (0 + (t - -5))*124/8. Which is smaller: b or u?
u
Let n = -37105/21 - -1767. Let c(v) be the second derivative of -v**3/6 - 3*v**2 + v. Let q be c(-7). Is n at most q?
True
Let m = 249 - 349. Is m greater than -100?
False
Let j = 1310 + -4144/3. Which is bigger: j or -72?
j
Let t(k) = k**3 - 5*k**2 - k + 13. Let c be t(5). Suppose -c*x - 55 = -3*x. Let d = 17 - 28. Is x less than d?
False
Let r = 3681 + -2720256/739. Is r != 1?
True
Let v be 4/((-208)/129) + -2 + 6. Let g = v - 3/4. Which is smaller: g or 0?
0
Let l = 21 + -8. Let h = l - 12. Is 2/115 less than h?
True
Let c be (-1)/(-39)*18/(-15). Suppose 290 = -0*m - 5*m. Let n = 59 + m. Which is smaller: n or c?
c
Let f be (0 + 4/(-3))*405/(-2610). Which is bigger: f or 1?
1
Let d = 146.9 - 136. Let t = d + -8.9. Is -0.054 equal to t?
False
Suppose w + 4*n = 10, 4*w - 9*w - 7 = n. Let j be ((-8)/1)/((-14)/(-2)). Is j equal to w?
False
Let h = 1101 + -1101. Which is smaller: h or 4/33?
h
Suppose -7 = -i + 2*c + 1, i = -2*c - 4. Suppose 4 = n + i*n + l, -5*n = 2*l - 8. Which is smaller: n or 1/9?
n
Let d be -31 + (-30)/(8 + -10). Suppose f = 5*r + 1, 0 = -4*f + r - 7 - 46. Which is greater: f or d?
f
Suppose -5*t = 5*o + 210 - 130, -t = -3*o + 28. Let s = 32 - 52. Is t smaller than s?
False
Suppose -2*y + 3*d + 137 = 0, 12*y + 3*d = 15*y - 204. Are y and 68 equal?
False
Let s = -154/249 - 4/83. Which is greater: s or 4.2?
4.2
Let q be (-22)/(-8) - (-2948)/1072. Which is greater: 7 or q?
7
Suppose 0*g + 3*g = -3*u + 132, -5*u = -2*g - 192. Suppose 5*b + 5*o = 2*b + u, -25 = -5*o. Is 0.2 >= b?
False
Suppose -6*c - 12 = -3*c. Suppose g + 20 = y - 2*y, -2*g = -4*y + 16. Let w be (-4 + 6 - g/(-2)) + 2. Is c equal to w?
True
Let b(d) = 3*d**2 + 1 - 2*d**3 - 3*d + 12*d + 3*d**3 - 6*d. Let m be b(-1). Which is smaller: -33 or m?
-33
Suppose -l - 4*l + 25 = 0. Suppose l*h = 7*h. Is -5/9 at least as big as h?
False
Let j = 3.653 + 55.267. Let z = j - 59. Which is smaller: z or 1?
z
Let k(f) = -f**2 + 6*f + 2. Let t be k(0). Let s(r) = -2*r - 5. Let b be s(-5). Suppose 10 = -t*q - 3*q + b*c, 14 = -3*q + 5*c. Is q < 4?
True
Let s = 16.3 + -19.26. Let k = s - -2.9. Let b = k - -0.66. Which is smaller: b or 2?
b
Let f(n) = n**2 - 3*n + 5*n - 7*n - 1 - 5*n. Let i be f(10). Let x be (6/2)/((-6)/8). Which is smaller: i or x?
x
Suppose 0 = -2*n - 5*d - 1, 0 = 5*n + 4*d - 2 - 21. Suppose 2*f - 4*m + n = 1, -3 = 5*f - 4*m. Let i = 3 - 1. Is f at least i?
False
Let m(o) be the second derivative of -o**4/12 - o**3/6 + 2*o**2 - 6*o. Let n be m(3). Do -8 and n have the same value?
True
Let c be (2 - (1 - -2))*-11. Is c not equal to -6?
True
Let i = 17 - 19. Let s = 3.7 - 3.3. Which is greater: s or i?
s
Let h(l) = -2*l**3 + l. Let y be h(-1). Let w = y - 16. Let r be (-9)/w - (-13)/(-5). Is -11 at most as big as r?
True
Let x(k) = k**3 + 8*k**2 + 7*k + 9. Let q be x(-7). Suppose 2*i = -6*i + 360. Let l = i + -36. Is q at least l?
True
Let i(z) = -z + 4. Let k be i(3). Let t be 42/(-20) - -2*k. Let o be 12/15 - 1 - 252/(-210). Is o equal to t?
False
Let l = 99 - 226. Let j = l - -119. Is 0.5 at least j?
True
Let h be 32984/105 + 94/(-30) + 3. Is 312 equal to h?
False
Let f = -45 - -2. Let c = f - -45. Which is smaller: 20/9 or c?
c
Suppose -2*y = 4, -4*m = -8*m + 3*y + 350. Which is greater: 0 or m?
m
Suppose 7*n - 6*n = 1, 5*v + 21 = -4*n. Do -25/4 and v have the same value?
False
Let v(s) = s**2 - 10*s + 8. Let l be (4/5)/((-18)/(-225)). Let w be v(l). Which is bigger: -2/5 or w?
w
Let s be (-1)/(-4) + 2/(-8). Let b be 3/27*((3 - 2) + -2). Let h = b + -38/63. Which is greater: h or s?
s
Let g = -42 - -52. Let w = 10 - 19. Let k = w + g. Which is smaller: k or -3/7?
-3/7
Suppose 3*l - 2*u - 129 = 0, 23*l + 202 = 28*l + u. Which is bigger: l or 47?
47
Let o = 2.9 - 3. Let c = 27.5 - 26. Let x = c + -1.42. Are o and x unequal?
True
Let y = 265 + -839. Which is smaller: -573 or y?
y
Let m(j) = -j**2 + j + 2. Let p be m(2). Let y = -113 + 112. Is y at most as big as p?
True
Let u(z) = 8*z + 33. Let o be u(-5). Which is smaller: o or -22?
-22
Suppose -5*f = -5*d - 20, 0*f + 8 = 2*f. Is -1/1138 at least d?
False
Let o(z) be the first derivative of -z**4/24 + z**3/6 + z**2/2 + 2. Let u(k) be the second derivative of o(k). Let r be u(1). Is 0 greater than r?
False
Let f be -3 + (-2)/(-2) + 5. Let y(a) = 5*a**2 - 2*a + 2. Let o be y(1). Is f > o?
False
Suppose 4*n = -5*f - 0*f + 7, 2*f = -3*n. Suppose u + 9 - 10 = 0. Suppose 5*r = 5*s - 4 - u, -2*s + 14 = 2*r. Which is greater: s or f?
s
Let p = -1 + 0. Suppose 10*r - 9*r = -6. Let i be 294/(-63) + (-2)/r*-1. Which is greater: p or i?
p
Let p = 49 + -52.1. Let d = p + 3.2. Which is smaller: d or 2.3?
d
Let c(k) = -k + 6. Let u be c(19). Let q = u + 13. Which is smaller: q or -4/29?
-4/29
Let g be 2007/(-441) - (-4)/14. Let f = g + -22/49. Let w = 283/63 + f. Which is smaller: -1 or w?
-1
Let t = 1469 - 1676. Is t greater than or equal to -207?
True
Suppose 3*o = -14*o - o. Which is bigger: 2/35 or o?
2/35
Suppose 3*b - 5*d + 8 = 98, 0 = -2*d. Let c = 26 - b. Which is smaller: -1 or c?
c
Suppose -2*p - 4 = 0, -2*p + 16 = -0*w - 4*w. Let h = w - -7. Suppose 0 = c + h*c. Is -1/5 > c?
False
Suppose -6*s + 33 = -7*s. Let l be 12/42 + s/(-7). Let d(q) = 2*q**2 - 22*q + 24. Let y be d(10). Which is greater: l or y?
l
Suppose -3*y + 64 = -2*f, -2*f = -2 - 6. Suppose 77 = -2*p + 27. Let g = y + p. Which is smaller: g or 1?
g
Let k be 2*28/(6/(-3)) - -3. Which is bigger: k or -19?
-19
Let d(l) = -15*l - 269. Let a be d(-29). Is a greater than or equal to 166?
True
Suppose 66*i = 70*i + 7780. Let j = i - -278137/143. Is j != -1?
True
Let c be ((-22)/4 - -3)*2. Let y be (1 + 8)*6/9. Let u be (c/y + 1)*-2. Which is bigger: 4 or u?
4
Suppose -3*f + 59 + 7 = 5*i, -i - 4*f = -3. Are i and 29/2 unequal?
True
Let c(j) = 9*j + 7. Let u be c(3). Suppose 2*y = -0*y - 5*v - u, -4*y + 3*v - 16 = 0. Are -8 and y non-equal?
True
Let s = 14 + 128. Let f = 142.03 - s. Which is bigger: -0.9 or f?
f
Let k(i) = -i**3 - 16*i**2 - 67*i - 242. Let f be k(-12). Let p = -1 + 0. Is p > f?
True
Let c = -735 - -734.9. Which is g