
x
Let z be ((-7)/9*-3)/((-2)/(-36)). Let k be (18/(-4))/(z/112). Which is greater: -14 or k?
k
Let g(i) be the second derivative of -i**4/12 - i**3/2 - i**2/2 - 7*i. Let f be g(-1). Which is smaller: f or 2/149?
2/149
Let f be (57 + -57)*2/(-4). Are f and 8/87 equal?
False
Let p = 9.9 + -11. Let l = p - -1.6. Let f = 3 - 5. Is f not equal to l?
True
Let g be -3 - -2*(-1255)/10*1. Is -252 < g?
False
Let f = 65.24 - 2.24. Which is smaller: f or 0?
0
Let l be ((-30)/(-25))/((-3)/(-15)). Suppose -l = -5*m + 5*u + 19, -3*m = -2*u - 11. Suppose -5 - m = 4*p - 2*y, 0 = -2*p - y + 3. Is -1 > p?
False
Suppose -22 = 3*v + 5. Let y be (26/(-4) - -5)*8. Is y at least as big as v?
False
Let u = -3 + -17. Let v = u - -22. Is -0.1 <= v?
True
Let w = -24.67 - -24.07. Which is smaller: w or -19?
-19
Let x = 11 - 9. Let a be (-81)/6 - 1/x. Which is greater: -13 or a?
-13
Let q = 640 + -636. Let i be (21/(-28))/((-2)/8). Which is smaller: i or q?
i
Let w be (3/18)/(6 + 135/(-20)). Is w greater than -127?
True
Let i = 14 - -4. Suppose -y + 0 + 8 = -4*g, 0 = -3*y - 2*g - i. Let d be (-221)/(-39) - y/(-6). Is d equal to 3?
False
Let v = -2966887/36 + 82406. Let w = v + 31/4. Which is bigger: w or -1?
w
Let y(b) = b**2 - 477*b - 8. Let t be y(0). Let m(x) = x**3 + 3*x**2 - 3*x - 3. Let k be m(-4). Is k > t?
True
Let g(y) = -y**3 + 5*y**2 + 1. Let s be g(5). Let i be 76/(-19) + (0 - -4). Let t = s - i. Is t not equal to 4/17?
True
Let b = -876/5 + 11438/65. Let u(g) = -5*g - 69. Let v be u(-14). Is b < v?
True
Let q = 9622/11 - 17694836/20229. Which is smaller: q or 0?
0
Let v = -37458 + 52104080/1391. Is v less than or equal to -1?
False
Let q be 207/(-276) - ((-1)/(-4) - 1). Let k be (1/4)/((-172)/8). Which is bigger: q or k?
q
Suppose 5*n + 2*m = 0, 3*n - 2*m = -2*n + 20. Let p be 9 - 2/(0 + n). Are 6 and p unequal?
True
Let f = -5 - 1. Let s be (-6)/36 - 1/f. Let q be ((-4)/15)/((-2)/5). Is s less than or equal to q?
True
Let s = 5 + 17. Let w = s - 23. Which is greater: -9/8 or w?
w
Let i = 370 - 1487/4. Are -2 and i non-equal?
True
Let i(o) = -o + 11. Let l(c) = 6*c - 56. Let z(a) = -11*i(a) - 2*l(a). Let h be z(-8). Let r be 54/(-9)*h/(-3). Are -11/4 and r unequal?
True
Let o(j) = j**2 + 13*j - 16. Let l be o(-12). Let u be 9/(-6)*l/(-3). Let i = 21 + u. Which is smaller: 6 or i?
6
Let f be (13/(-39))/(2/6) + 277. Suppose 5*t + q + f = 0, -3*t - q - 4*q = 170. Which is bigger: -54 or t?
-54
Suppose -c = -5*g - 9, 6 - 4 = 2*c - 2*g. Let f be 26/8 - (2 - c). Suppose 1 = -4*w - x, 0*x + 1 = -3*w - x. Is w not equal to f?
True
Let u(x) = -2*x**3 - x**2 + 5*x + 5. Let y be u(-2). Let k(s) = 0 - 6 - 2 + s. Let b be k(y). Is -2/15 >= b?
True
Suppose -2*n - 2*j + 45 = -7*j, n = 5*j + 25. Suppose -3*g + 4*z - n = g, -2*g - z = -5. Let l be (-6 - g)/3 + -1. Is -5 less than or equal to l?
True
Let f = -76 - -81. Let u be (f + -17)/(2 + (-1)/2). Is u less than or equal to -42/5?
False
Let h = -2.27 - -0.37. Let f = -23 + 38. Let d = -14 + f. Which is smaller: h or d?
h
Let v = -67 + 29. Let s = v + 37.8. Is 19 > s?
True
Let b(k) = 7*k**3 + 2*k**2 - 5*k - 2. Let u(p) = -35*p**3 - 11*p**2 + 25*p + 10. Let f(q) = 11*b(q) + 2*u(q). Let l be f(-2). Is -48 > l?
False
Suppose -2*y = -5*q + 194, -4*q + 2*y = 6*y - 172. Which is bigger: 39 or q?
q
Let y = -264 + 268. Which is greater: -1.36 or y?
y
Let o be 0/5 - (-1 - 155). Which is bigger: 157 or o?
157
Let f be -1 + (-2)/4*-1. Suppose 54*t - 15*t = -39. Which is smaller: f or t?
t
Let p be (-4)/(-46)*(1/2 - 1). Let d be 42/(-92) - (-3 + 2). Let s = d + p. Which is smaller: -3 or s?
-3
Let q be (-4)/6*7686/(-3). Suppose 0 = -4*j + 2*d - q, 0 = 2*j - 3*j - d - 421. Let w be 305/j - 6/(-10). Is -1 >= w?
False
Let h(g) = g - 1. Let v be h(8). Suppose 4*x - 2*u + 6 = 0, 0*x + x - 11 = -2*u. Let d be 24/(-28)*x*v. Which is smaller: -5 or d?
d
Let f = 18 + -8. Let s = 9 - f. Let c = s + 0.9. Is c greater than or equal to -1?
True
Suppose -17 = t - 18. Is 22/29 at least as big as t?
False
Suppose 4*i - 14 = 6, 3*y + 2*i = 481. Suppose -y = -5*h - 52. Which is smaller: 22 or h?
h
Let j = 35 - 7. Suppose 0 = 4*p - 3*i + 393, -p + 195 = -3*p + i. Let o be -1*p/j + -3. Is -1 != o?
True
Let w = 2/273 - -451/546. Let p = -0.88 + -0.12. Is w != p?
True
Suppose 0 = 4*j + 3*n - 4 - 4, 2*j - 2*n - 4 = 0. Let g(o) = -o - 23*o**2 - o - j + 25*o**2. Let u be g(2). Which is bigger: 1 or u?
u
Let x = -47.2 - -40.2. Is -2/3 < x?
False
Suppose 4*p = 2 + 14. Let m = 107 + -105. Do p and m have the same value?
False
Suppose -2*b - 530 = 2*y, -b - b = 3*y + 525. Does b = -269?
False
Let q be ((0 + 1)*3)/((-96)/736). Does -214/9 = q?
False
Suppose -7*f - p = -5*f + 19, -27 = f + 4*p. Is f at most -4?
True
Let u be (-11528)/(-5775) - ((-6)/(-2) - 1). Is u at most 0?
True
Suppose -2*o - 30 = -m + 5, 3*o = 3*m - 57. Is -15 greater than or equal to o?
True
Let c be 8/(-16)*(-2)/(-37)*-15. Is c <= 0?
False
Let w = -6 - -5. Let d be (-300)/(-315) - (-4)/(-14). Let c = 4/15 - d. Is c at most w?
False
Let r = -27 + -44. Is -2/11 at least as big as r?
True
Let s = 1 + 3. Let d(u) = u**3 - 4*u**2 - u + 5. Let k be d(s). Suppose 122*v - w + 16 = 126*v, 0 = 2*v - 4*w - 26. Are k and v equal?
False
Let m(f) = 14*f - 92. Let l be m(8). Which is smaller: 18 or l?
18
Let m(r) = 50*r + 23. Let g be m(-4). Are -176 and g equal?
False
Let a = -102 - -93. Let k be (2*a/156)/((-3)/(-6)). Do 0 and k have different values?
True
Let a be (31/(-3))/(6/(-36)). Do a and 62 have the same value?
True
Let n = 0.37 - -5.23. Let m = n + -8. Let z = m + 3.4. Is 2/5 != z?
True
Let p be 2*(-11)/(264/90)*-36. Is p at most as big as 270?
True
Let u = -88.44 - -80.5. Let l = u - 0.06. Are l and 1 unequal?
True
Suppose -2*h - 8 = -0*h. Let f(a) = 4*a**2 - a**2 + 9*a - 1 - a - 2*a**2. Let l be f(-8). Which is smaller: h or l?
h
Suppose -16 = -j - 3*k, 6*j = j + 4*k + 175. Suppose -3*o - j = 17. Is -16 at most o?
True
Let j be (1 - (-2 + 1)) + 0. Let c = -409.98 + 410. Which is smaller: j or c?
c
Let z be 41 - 1*(-1 - 0). Let m = 41 - z. Which is bigger: -1/2 or m?
-1/2
Let v = 15.809 - -0.191. Which is smaller: v or 0.3?
0.3
Let q be (-8)/(128/(-1800)) - -6. Is 118 not equal to q?
True
Let l(d) = d**2 + d + 7425. Let g be l(0). Suppose -3*t + g = 2*t. Let p be (-10)/(-45) - 384/t. Which is smaller: 0 or p?
p
Let m = -31145/133632 + 61/261. Is m not equal to -1?
True
Let r = 19852/23 + -863. Is r >= 0?
True
Let l = 207 - 60. Let v be (6/l*7)/(6/14). Are v and 0 nonequal?
True
Let j be (0 + -4 + 13/3)*-3. Is -1 < j?
False
Let g = 251/2 + -129. Let u = -1 - g. Let o = -3 - -7. Which is greater: u or o?
o
Let f be (3/(-213))/(3/(-114)). Which is smaller: f or 0?
0
Let x be 1*-3 - (3 - (-5 + 30)). Let h be 4/26 + (-258)/(-13). Which is bigger: x or h?
h
Let o = 1173 + -1138. Is o smaller than 69/2?
False
Let y be (-1*9)/(13/(-793)). Let m be -3 + 3 + y/(-138). Let r = -12/23 + m. Which is smaller: r or -4?
r
Let n be (-13 - -13) + 1 + 28. Let k = n - 20. Is 6 != k?
True
Let r be 2 - (22/8 - 1). Let g be (-6)/4*174/12. Let w = g + 21. Which is bigger: w or r?
r
Let x(t) = -t**3 - 25*t - 152. Let j be x(-8). Is j at most 560?
True
Let z = -9633 + 6328882/657. Which is bigger: z or -1?
z
Let o(q) = 8*q + 11 - 25*q**2 + 52*q**2 - 26*q**2. Let i be o(-7). Suppose -3*z = i*h, -z - 4*h = -5*h. Are z and 0.1 unequal?
True
Let m = 226 + -224. Which is greater: -1 or m?
m
Suppose 4*w - 5*m = -0*w - 57, -5*m = 3*w - 1. Let f be -1 - -1 - (w + 8). Let n be ((-8)/32)/(18/(-16)). Which is smaller: n or f?
f
Let w = 0.075 + -0.051. Let m = 8.024 - w. Which is bigger: 1/2 or m?
m
Let o(u) = -5*u + 11. Let n be o(5). Let m(f) = f - 6. Let j be m(-8). Is j at least n?
True
Let t = 16 - 6. Let p = 11 - t. Do p and 1 have different values?
False
Let m = -39 + 186. Let b = -206 + m. Which is greater: b or -58?
-58
Suppose 78 - 99 = -3*j. Is 7 bigger than j?
False
Let p = 7.62 + 0.18. Let q = 2.1 + -10.1. Let c = p + q. Is -15 greater than or equal to c?
False
Let t = -31.73 - -32. Let z = 0.203 - 0.003. Is z < t?
True
Let c = -20.2 - -15. Let f = 5.3 + c. Is -2/81 not equal to f?
True
Let p = 52 - 18. Let z = p - 14. Let w = z + -20. Which is greater: w or -7?
w
Let k = -2083 + 2163. Which is smaller: k or 7?
7
Let