 -9) + 2 + 54. Suppose -26*p - h = -5. Suppose q - 5*q - 2*t - 6 = 0, -2*t + 2 = 0. Is p greater than q?
False
Let f = -352 - 59. Let c = f - -410.76. Is c > 0?
False
Suppose -22 = -2*w - 6*r + 2*r, -5*r = -3*w. Let i be (78/(-15) - -4)/((-2)/w). Suppose 0 = 3*g + 4*o + 173, -4*o = i*g - o + 168. Is -50 not equal to g?
True
Suppose 42*h - 4881 = 11919. Do h and 3590/9 have different values?
True
Let c(a) = -2*a**2 - 8*a + 1. Let m be c(-4). Let d be (-6)/21 - (-171)/(-1386). Let i = -1115/2618 - d. Which is greater: m or i?
m
Let l(o) = 11*o**2 - 48*o - 100. Let x be l(-2). Let z = -7712/21 + 2860/7. Is x at least z?
False
Suppose 19 + 155 = 3*x. Suppose -8 = 6*o + x. Let m be (4/(-3))/(2 - (-140)/(-75)). Which is bigger: m or o?
m
Let n = -113 - -85. Let h = -27.9 - n. Do -3/20 and h have the same value?
False
Let i = -59 - -529/9. Let t = -73835 - -73819. Which is bigger: t or i?
i
Suppose 4*w = 2*k - 108, 5*w + 0*k = -2*k - 117. Suppose 5*a = 4 + 11. Suppose 0 = 5*x - p + 43 + 68, -a*x - 61 = -2*p. Is x > w?
True
Let v = 382 - 1056. Is v at least as big as -3/2?
False
Suppose -5*x - k + 134 = -61, 5*x - 215 = -5*k. Let p be 4*21/(-1)*635/(-1270). Which is bigger: p or x?
p
Suppose -4*n = 5*f - 933, 3*n - 2*f = n + 480. Let x = -290 + n. Which is smaller: x or -56?
-56
Let d be (243/360*-2)/(-5 - 195/(-40)). Which is bigger: d or 11?
11
Suppose -4*k - 376 = 32*c - 31*c, -5*c = 4*k + 392. Is -92 >= k?
True
Let b be 197/(-3)*(-18)/(-1394). Let f = -140593/17 + 8271. Let p = f + b. Which is greater: p or 0?
0
Suppose -5 = -q - 1. Let p(n) = -n**3 - 2*n**2 + 38*n + 17. Let j be p(5). Let w be ((-2)/(-36))/((q/j)/(-1)). Which is smaller: w or 0?
w
Let p be ((-1 - 1) + -2)*10/4. Let u be (3 + 92/56)*8/p. Is u smaller than -3?
True
Let m be (-5)/2*(-588)/210. Suppose m*y = y - 6. Is 10/27 at least y?
True
Let o be (0 + 6/15)/(-1) + (-109280)/50. Is o smaller than -4373/2?
False
Let x(u) = -25*u + 1648. Let f be x(66). Is f equal to -54/31?
False
Suppose i - 1453 + 115 = -2*j, -5*i = -3*j + 1994. Let o = 912 - j. Is o less than 245?
True
Let w = -3184 + 4941. Which is bigger: w or 1759?
1759
Suppose t = i, 0 = 3*i + 3*t - 8*t + 4. Suppose -2*d + 14 = z + i*z, 0 = -4*d - 4*z + 20. Do d and 2/195 have different values?
True
Suppose 30*j = 17*j. Let h be (-8)/(760/75) + 1. Which is smaller: j or h?
j
Let r = -90 - -90. Let z be (-3 - (-81 + -2)) + r. Suppose 2*c = -4*y - 14 - 60, -4*c - z = 4*y. Which is greater: -16 or y?
-16
Let t = -5159 - -5211. Is 53 at most t?
False
Suppose -5*p + 19 = -1. Let u be (p/(-2) - (-132)/9)*9. Let f be u/(-3) + -2 + 0 + 0. Is f at least -40?
True
Suppose 3*i - 69 = 2*j, -17*j - 215 = -13*j + 5*i. Suppose -q - 88 = q. Which is smaller: j or q?
j
Let n = 0.02075 - 237.72075. Let f = 238 + n. Is 0.015 at most f?
True
Let r be -3 - (-1 + (-24)/(-2)). Let w be ((-8)/(-6))/((-2)/27). Let d = w + 6. Is d less than or equal to r?
False
Let h be 2/((78/208)/((-51)/(-4))). Suppose 5*p + 194 = 3*a, -4*p + h = a - 8. Which is bigger: 70 or a?
70
Let u = 409 + -367. Suppose 18*s = 15*s + u. Which is bigger: s or 6?
s
Let w = -0.82 + 2.66. Let p = w + -78.84. Let t = 76.9 + p. Which is smaller: -2/133 or t?
t
Let m be (-6600)/500*20/8. Suppose -t = -s - 0*t - 20, -2*s = 4*t + 64. Which is greater: s or m?
s
Let a be -2 - (-104)/(-6) - (-4)/12. Let w = 176 + -522. Let s be 4/18 + w/18. Is s at least as big as a?
True
Suppose -i + 15*s - 19*s = -254, i - 261 = 3*s. Is i smaller than 258?
False
Let v = 3.17 + -242.17. Let h = v - -237. Which is greater: -73 or h?
h
Let n be 1 + 97 + -7 + 5 + 0. Let i = 88 - n. Let f be (-2 - (-15)/3)*(-16)/i. Does 10 = f?
False
Let t = 828 + -821. Suppose 0 = -7*u - t + 14. Let b = -1455 + 109123/75. Which is smaller: u or b?
b
Let k(c) = c**3 + 7*c**2 + 8*c - 6. Let p be k(-6). Suppose -7754 + 8342 = -28*d. Is d greater than or equal to p?
False
Let s = -197 + 226. Suppose -s*p - 2 = -27*p. Which is smaller: p or -1/86?
p
Suppose 2287 = -3*v - 4*c, 0 = 15*v - 16*v - 3*c - 764. Which is bigger: -3039/4 or v?
-3039/4
Let q(k) = -2*k. Let g be q(-2). Suppose 6*i = 2*i + g, 2*u + 6 = 4*i. Let y be 168/(-1596) - (-32)/6764*27. Is y less than u?
False
Let m be (-70)/(-84) - 2512/3009. Is m != 2/3?
True
Let y be (-20)/(-11) - 18/(-99). Suppose -10 = -t - 2*l, y = 3*t + 5*l - 23. Suppose -3*c + 53 = 65. Which is smaller: t or c?
c
Let f(a) = -2*a + 40. Let r(p) = -10*p - 27. Let s(g) = g**2 - 5*g + 2. Let t be s(3). Let u be r(t). Let y be f(u). Is y at most 15?
True
Let m = -10 + 10.2. Let f = -62 - -30. Let s = -37 - f. Is s smaller than m?
True
Let j be (-287)/(-14)*-1*2 - -4. Suppose m - 139 = 4*v, -12*v + 13*v + 4*m = -56. Which is smaller: v or j?
j
Let h = -760 + 1786. Suppose 30*b + 8*b = h. Which is smaller: -5 or b?
-5
Let a = 1461/260 - 1/52. Let j = -957/170 + a. Let x be (-145)/(-290)*(4 + -2). Which is smaller: j or x?
j
Let g be (-2)/(-8) - 0 - 0. Let f = 1/20 - g. Is f not equal to -1/13?
True
Let f(c) be the third derivative of c**5/60 + 5*c**4/12 + 13*c**3/6 + 6*c**2. Let g be f(-9). Let b be 3/2 + (-6)/g. Which is smaller: b or -12?
-12
Let z = 178 - 173.65. Let n = z + -2.35. Do 31 and n have different values?
True
Let d = -1/29313 + -105380233/58626. Is -1797 greater than or equal to d?
True
Let w(z) = -1993*z - 1. Let a be w(0). Is a smaller than 24/607?
True
Let l = 23 + -6. Let b(s) = 4*s**2 + 32*s + 12. Let z be b(-6). Let d be ((-2)/6)/(z/(-54)). Is l at most as big as d?
False
Let r be (-11*((-455)/(-10) + 3))/(2/4). Is r equal to -1067?
True
Let h = -8 - -4. Let c = -0.58 - -1. Let o = -0.32 + c. Which is smaller: o or h?
h
Let y = 30.79 + -66.59. Which is smaller: 1.4 or y?
y
Let j = -515531/4015 + 1/803. Is j > -127?
False
Let p(y) be the second derivative of y**4/12 + 8*y**3/3 - 19*y**2/2 + 2*y + 1. Let j be p(-17). Are j and -30/23 unequal?
True
Suppose u = 4*u + 246. Let l(t) = -3*t**2 + 21*t - 72. Let j be l(8). Let q = j - u. Which is smaller: q or -16?
-16
Let m(s) = -s**3 + 10*s**2 + 9*s - 7. Let f be m(11). Let q be ((-40)/54)/((-148)/75 - -2). Is q greater than f?
True
Let i(z) = 2*z**3 - 60*z**2 - 12*z - 202. Let t be i(30). Is -564 greater than t?
False
Suppose b + f = 6, b - 33*f + 9 = -29*f. Let c be 646/51 + b/9. Which is greater: 180/13 or c?
180/13
Let l = -179.6 - -179. Let j = l + 0.5. Which is smaller: 38 or j?
j
Let s be (-1 + 2/6)/(3/(-918)). Let u be (-2 - s/(-6)) + 4. Which is bigger: u or -3?
u
Let l = -0.1559 - 2.8441. Let r = 1.6 - 2. Is l > r?
False
Let f(b) = b**3 - 8*b**2 - 6*b - 3. Suppose -26*s = -11*s - 120. Let y be f(s). Which is smaller: -48 or y?
y
Let j = 16604 + -16605. Which is smaller: j or -5/10949?
j
Let g be (-4 - 0) + 48857550/(-8570). Let u = -5705 - g. Is 0 >= u?
True
Suppose -27*q = -94 + 229. Is -147/26 less than q?
True
Suppose -2*k + 0 = -4*f + 30, 2*k = 2*f - 14. Let v = 13 - f. Suppose v*x - 10 = u + 2*x, -u + 2 = x. Which is greater: 5/32 or u?
5/32
Suppose 9*m - 4 + 4 = 0. Let i = -573052/149 - -3846. Are i and m equal?
False
Let m be -6*2*7/(-21). Suppose -5*t + m*q + 0*q - 95 = 0, -t - 25 = -2*q. Which is smaller: 0 or t?
t
Let n be (-2473)/(-4) + 2/(-8). Let p be ((-6)/4)/(n/8). Let c(b) = b**3 + 58*b**2 - 14*b - 811. Let w be c(-58). Is w at least p?
True
Suppose -2*a - 544 = c, 5*a + 50*c + 1356 = 48*c. Is a at least -0.06?
False
Let a = -2791/65 - -475/13. Which is smaller: a or -5?
a
Let z = 2.79 - -12.11. Let y = -10.4 + -4.6. Let n = y + z. Which is smaller: n or -1?
-1
Let j = -537 - -546. Let d be j - 2 - 1274/143. Do d and -2 have the same value?
False
Let d(s) = 3*s**2 - 9*s - 4. Let g be d(-1). Suppose -g*i - 6 = -1262. Is 157 at least as big as i?
True
Let p = 13761527/13833 - -5/27666. Is p > 996?
False
Let i be -4 + 24088/(-144) - (-6)/(-4). Which is smaller: i or -172?
i
Let g = -2.3858 + 3.3858. Which is smaller: 404/9 or g?
g
Let g(d) = 10*d - 3178 + 3157 - 4*d**2 + 3*d**2. Let u be g(7). Let a be (u + -1)*0*(-2)/4. Is 4/111 at least a?
True
Let s = -1.11 + 1.09. Let q = s + 0.007. Let o = 0.253 + q. Are o and 1 unequal?
True
Let y be ((-564)/(-534))/(182/96499). Let v = y - 560. Is v greater than or equal to -1?
True
Suppose y = -3, -20*f = -16*f + 5*y - 5. Let m = f - 5. Which is greater: m or -1/860