 0?
d
Let n be 7088/(-20)*(-8)/(-884). Let d = n + 54/17. Which is smaller: d or -1?
-1
Let m = -1083 + 495. Let o = m + 619.9. Let b = -32 + o. Which is greater: 0 or b?
0
Let j(v) = 2*v**2 + 8*v + 3. Let f be j(6). Let z = 380/3 - f. Which is smaller: z or 4?
z
Let h = -1993/2 + 997. Is h > 628?
False
Let m be -25 - ((-114)/27 - (-2)/9). Let l = 37/2 + m. Which is greater: l or -2?
-2
Let r(v) = -v**2 - 17*v + 90. Let x be r(-21). Is 8 less than x?
False
Suppose -4*i - 55 = 5*r, -5*i - 79 = -r - 3*r. Let y = 1438 - 1452. Which is greater: y or i?
y
Let x be 189/(-42) + 1 + 4. Let s = 4.16 + -0.36. Let h = -1.2 - s. Which is greater: x or h?
x
Let v = -2150 - -2309. Is v at most 162?
True
Let m = -5 + -42. Let p = 0.832 + -0.932. Which is greater: m or p?
p
Let p(n) = 2*n**2 - 7*n - 10. Let b be (-2)/5 + (-32)/(-5). Let x be p(b). Suppose 3*q - x = 7*q. Which is bigger: q or -2?
-2
Let l(u) = -5*u**2 - 29*u - 16. Let j be l(7). Are -463 and j equal?
False
Let z(b) = b**3 + 9*b**2 + 12*b - 2. Let j be z(-7). Is 160/13 greater than j?
True
Let x(u) = -u**2 + 8*u - 2. Let t be x(6). Suppose -3*g - 11 = t. Let n = -7 + 4. Which is smaller: g or n?
g
Let u be (18/(-39))/(6/4). Suppose 0 = -4*i - i. Let b be -1 - (i/(-4) + -2). Is u equal to b?
False
Suppose 3*f - 4*q + 3*q = 4, -2*q = 4*f - 2. Suppose 848 = 11*w + 100. Let n be (-1 + w/60)*5/6. Which is smaller: n or f?
n
Suppose -4*o - 52 = 2*c, -3*c + 23 = -o - 4. Do -19 and o have different values?
True
Let b(p) be the third derivative of p**5/60 + 2*p**4/3 - 47*p**3/6 - 5*p**2. Let i be b(-19). Suppose -4 - 26 = -3*h. Is h not equal to i?
False
Let c = -811 + 905. Which is smaller: c or 96?
c
Suppose 2*v = 4*v - 4*l - 8, 4*l + 8 = 0. Suppose 3*q = 2*q + 3*h - 27, v = -5*q + 2*h - 109. Is q smaller than -41/2?
True
Let i = 9119 - 9120. Let d = -0.1 - -0.3. Which is smaller: i or d?
i
Let f(q) = 4*q**2 + 21*q - 11. Let t be f(-9). Let c be 36/(-54)*3/t. Which is greater: 1 or c?
1
Let z be ((-5)/(-3))/(19/399). Let b be (6/8)/(2/(-8)). Let q be (-2)/(-6) - z/b. Do 11 and q have the same value?
False
Let p be ((-12)/(-14))/(45/42). Suppose 9 = -i - 16. Let s be (-12)/(-20) - 10/i. Is s smaller than p?
False
Suppose 0*t = -5*t + 90. Let z = -15 + t. Is z at most as big as 8/3?
False
Let y(i) = 4*i**3 - i**2 - i + 1. Let x be y(1). Let g(c) = c**3 - 3*c**2 - 5*c + 2. Let t be g(x). Let b be (-2)/(-2)*(t - -8). Is b at most as big as -8?
False
Let j be (86/(-2))/(240/(-84)). Let t = -69/5 + j. Is t greater than -0.2?
True
Let v = 1.08 - 1.57. Let p = -0.11 + v. Which is smaller: -2 or p?
-2
Suppose 0*y + 15 = 5*y. Suppose -7*b + 3*b = y*d + 538, -3*b = 2*d + 360. Let v be ((-18)/d)/((-9)/6). Which is greater: v or 0?
0
Let g = 10 + -2. Suppose 0 = -g*n + 11 + 29. Let y = -1 + 4. Is y at most n?
True
Let a(p) = -p**3 + 20*p**2 - 4*p + 3. Let j be a(19). Are 287 and j nonequal?
True
Let y be ((-6)/(-18))/(2/42). Suppose y*t - 9 = 4*t. Suppose 0 = 6*z - 3*z - t. Are -2 and z nonequal?
True
Let n = -67/560 - -1/16. Is 1 bigger than n?
True
Let c be (323/114)/((-3)/18). Which is greater: c or 15?
15
Let j = 0.08 - 8.08. Let n = -351 + 343.1. Let f = j - n. Does f = -17?
False
Let b = -15.9 - 1.1. Let z = b - -18. Is -0.1 less than or equal to z?
True
Let y(r) = -r**2 + 9*r - 10. Let t be y(7). Let p be (-6)/t*12/(-9). Let j = 6 - p. Do 5 and j have different values?
True
Let s = -123 - -82. Which is smaller: -42 or s?
-42
Let j be -61 - (0 - 0 - 0). Let z be (116/10)/(5/(-25)) - 2. Which is bigger: j or z?
z
Suppose -2*j - 24 = 4*g, 49*j - 32 = 5*g + 52*j. Suppose -3*i - 24 - 24 = 0. Let s be 14*2/i*g. Which is smaller: 6 or s?
6
Let m(v) = v**3 - 4*v**2 - 5*v - 1. Let c be m(5). Let x be (1/(-6 - -3))/c. Let g = 0.06 + 0.04. Does g = x?
False
Suppose 3*c = 32 + 112. Suppose 255 = 5*i - 5*q, -4*q - 10 = 6. Which is smaller: i or c?
i
Let n = -593405/36 - -16487. Let w = n - 15/4. Are w and -6 unequal?
True
Let k = -2/821 + 951/53365. Let x be -2 + -1 + 1114/585. Let y = k - x. Which is smaller: 2 or y?
y
Suppose -5*h = -4*m - 49, -2*h + 0*h - m = -17. Suppose -4*c + 0*c = 3*y + h, 12 = 5*c - 4*y. Let u be (4 + 10/(-3))/1. Which is smaller: u or c?
c
Let s = -0.221 - 19.479. Which is greater: 0 or s?
0
Let v = 32 + -28. Let g = -13 - -24. Is g at least v?
True
Suppose -5*b - 5*g - 500 = 0, 3*g - 12 = -9. Do -101 and b have different values?
False
Suppose -2*j - 3*z + 0*z + 17 = 0, -2*j + 7 = z. Suppose 3*h - j = -4. Suppose -2*w = -6*w. Is w less than or equal to h?
False
Let x = -27247/1498133 - 2/9191. Which is smaller: -1 or x?
-1
Suppose -2*p = -5*q + 6*q - 7, -3*q + 8*p = 35. Let t be 137/67 - (-2 - -4). Which is bigger: q or t?
t
Let l(t) = t**2 + 2*t - 4. Let p be l(-6). Suppose 4 + 8 = -3*s, -q = -5*s - p. Let j be (2/(-10) + q)*2. Which is smaller: -5 or j?
-5
Let k = -2.9 - -1. Let o = 9.1 - k. Is o smaller than 0.1?
False
Let q = 52.901 - -0.099. Let s = q - 28.9. Let y = s - 24. Which is smaller: -3 or y?
-3
Let x(b) be the second derivative of b**3/6 - 7*b**2/2 - b. Suppose -13 - 26 = -13*r. Let n be x(r). Is -4 less than n?
False
Let k(u) = -4*u**2 - 13*u - 10. Let r be k(-9). Let h = 1079/5 + r. Do h and 0.04 have different values?
True
Let j be (-13)/52 + 3/4. Let z be (4/6)/((-2)/(-3)). Which is bigger: z or j?
z
Let y(s) = -s + 3. Let o be y(6). Suppose 0 = -a + k + k + 7, -3*k = a + 3. Let m be (a/8)/((-4)/16). Which is greater: m or o?
m
Let f(z) = z**3 - z**2 - 3*z - 10. Let o be f(3). Is o greater than or equal to -8/35?
False
Let f(n) = -14*n + 43. Let i be f(3). Which is smaller: -2/937 or i?
-2/937
Let a be 2/3 + (-1)/(-3). Let d = 367/10 + -8983/240. Let y = d + 13/16. Which is smaller: a or y?
y
Suppose -4*r = -5*a - 29, -8 - 5 = -3*r + 2*a. Suppose 2*s - 3*s = r. Let z = -1087/847 + -2/847. Are s and z unequal?
True
Suppose -22*o = -193 - 27. Suppose 4*y = -i - 4 + 27, 0 = y - 3. Is i bigger than o?
True
Let m = 0.01 + 0.09. Let c(i) = i**3 - 7*i**2 - 10*i + 10. Let w(g) = 3*g**2 + 2*g. Let l be w(-2). Let k be c(l). Which is smaller: k or m?
k
Let b = -3.02 - -4.02. Is b at most as big as 1.33?
True
Let i(t) = -t**3 + 5*t**2. Let k(x) = -x**2 + 5*x - 1. Let s be k(3). Let z be i(s). Is z less than 2?
True
Let x = -17 - -27. Suppose -7*d + x*d = 9. Suppose -d*i - 13 = 14. Which is smaller: -10 or i?
-10
Let i(g) = 3*g**2 - 12*g. Let k be i(4). Suppose k*l + 3*n = -3*l - 12, -5*l = 2*n + 8. Which is greater: -3/8 or l?
l
Let k = -0.3 + -20.7. Let z = k + 36. Let q = z + -16. Is 2/15 < q?
False
Let o(s) = 2*s**2 + s. Let y be o(-1). Let u(k) = k**2 - 42*k + 272. Let a be u(8). Do a and y have different values?
True
Suppose -5*q = -u + 150, 2*u = -q + u - 30. Let z = q - -2. Is -30 >= z?
False
Suppose 3*a - 24 - 3 = -2*j, -5*a - 3*j = -46. Suppose 0 = -a*m + 6*m + 10. Is m bigger than 15/11?
True
Suppose 0*b - 3*b - 30 = 0. Let y be (-2)/4*(-90)/(-5). Let j = b - y. Which is smaller: j or 0.5?
j
Let x = -2850034/1479 - -1927. Which is smaller: x or -1?
-1
Let n(o) = o**3 + 20*o**2 + 11*o + 10. Let s be n(-11). Which is smaller: 980 or s?
s
Let i = -3.5 + 4.5. Let m = i + -1.3. Is 1/4 at most as big as m?
False
Let r be 14/2*48/28. Which is smaller: 14 or r?
r
Let p(k) = -2*k**2 + 4. Let o be p(-2). Let y = 7 + o. Suppose -2*z - 7 = -1, -2*f = y*z - 19. Which is smaller: f or 13?
13
Let z(l) = 7*l - 658. Let t be z(42). Is t greater than or equal to -364?
True
Let x = 20.5 - 20.6. Which is greater: -156 or x?
x
Suppose -b - 1584 = -5*b - 4*f, 0 = 3*b - 5*f - 1220. Which is smaller: -0.1 or b?
-0.1
Suppose -13 + 1 = 4*m. Let p be 3 + (-1)/m*0. Let k be p - (70/26 + 0). Which is smaller: 1 or k?
k
Let d = 678 - 574. Is d equal to 1?
False
Let s = -1.33 - 25.67. Is s greater than or equal to -0.2?
False
Let q = -35 - -154. Do 119 and q have different values?
False
Let w = -1.2 + 0.31. Let c = 0.89 + w. Is c bigger than 13?
False
Let y(u) = u**2 + 2*u - 2. Let c be y(-4). Let l = c - 4. Is l less than or equal to 12/11?
False
Suppose 0 = -2*u + 7*u + 15. Let z be u + (4 - 1) + -1. Let y = -4 - -4. Is z not equal to y?
True
Let d = 543/28 + -632651/32620. Which is bigger: d or -1?
d
Let t be (10 + 2)/((-9)/24). Is -32 greater than t?
False
Let s = 71.958 + -72. Let x = s - -0.342. 