= 0.1012 - -9.6088. Which is smaller: -1 or d?
-1
Suppose 264*v - 258*v + 6 = 0. Is v > -1/159?
False
Let j(x) be the second derivative of x**4/12 + x**3/6 + x. Let n be j(-1). Let i = -220 - -2424/11. Is n less than or equal to i?
True
Let p(a) = a**2 + 12*a - 2. Let h be p(-12). Let g be (-48)/(-56) - h/14. Is g less than or equal to 1/14?
False
Let k = 1789/3 - 591. Let o be (-2)/34 + ((-4128)/102)/(-8). Are k and o nonequal?
True
Let w = 135 - 61. Let c = 72 - w. Is -2 less than c?
False
Let w be 182/(-20) + 28/280. Is -0.1 greater than or equal to w?
True
Let c = -10.6 + 0.8. Let b = c - -9.2. Do b and -1/5 have the same value?
False
Suppose 7*p - 6*p + 9 = 0. Let n be (-12)/p*(-3)/9. Is n bigger than -1?
True
Suppose -6 = 2*b - 0*b + 2*c, -2*b - 11 = 3*c. Suppose -b*o + 7 = -3*l, 5*o - 12 = 4*l + 9. Let w be -1 - ((-8)/(-6))/(-2). Is w > l?
False
Let x(f) = 12*f. Let o be x(-1). Let h(p) = -p**2 + 2*p + 7. Let g be h(-3). Let k(m) = -m**2 - 6*m + 5. Let a be k(g). Which is smaller: o or a?
o
Let x be 97/(-324)*12/(-52). Let w = 5/108 + x. Is -1 >= w?
False
Suppose 5 = -3*z + 26. Let q be -8 + z - (-1)/4. Is -6/5 at most q?
True
Let x = -79 + 80. Which is greater: x or 3/262?
x
Let c be (-10330)/(-12)*(21/45 - 1). Let z = -460 - c. Does z = 0?
False
Suppose 7*p - 2*i + 11 = 10*p, -4*p + 10 = -2*i. Is p != 48/19?
True
Let x = 1545 - 1474. Is x greater than 71?
False
Let l be 48/(-15900)*(-6)/((-36)/(-15)). Is l at most 1?
True
Let f be (-16)/8*((-2)/126)/(-1). Which is smaller: -3 or f?
-3
Let k be 28/12 - 1/3. Let d be 0 + -2 + 4/k. Suppose d = -l - 4 - 0. Is l != -2?
True
Let k be ((-32)/(-5))/((-103)/515). Which is greater: k or -18?
-18
Let w = 1361/816 - 27/16. Is -9 bigger than w?
False
Let p(y) = 2*y - 2. Let d be p(1). Suppose 3*t - 18 = -d. Suppose b - h = -0*b - 4, h = -b + t. Is -1 greater than or equal to b?
False
Let p(z) = z**2 + 3*z - 18. Let h be p(-6). Which is greater: 1/49 or h?
1/49
Let d be 19/38 + 3/(-54). Suppose -2*l = -f + 2*f, 0 = -5*f + 3*l. Which is greater: f or d?
d
Let w = 15 + -15. Let m(y) = y**2 + 3*y + 12. Let j be m(-4). Which is greater: w or j?
j
Let p be (-2)/(-4)*-2*1. Let o be ((2/(-5))/(-2))/((-5)/10). Is p smaller than o?
True
Let l = -1363 + 1216. Is 0.1 != l?
True
Let d = -144 + 143. Which is smaller: d or -5/233?
d
Let i(r) = 6*r**3 - 49*r**2 + 7*r + 9. Let w be i(8). Is w at most as big as 7/10?
False
Let l be (-4 - (-5 - -5))*2. Let c(w) = -2*w**2 - 15*w + 9. Let r be c(l). Is r less than 0?
False
Let c(k) = -3*k + 4. Let y be c(2). Let r = -432/55 - 6/11. Let z = -109/10 - r. Does z = y?
False
Let w = -710379/13205 - 10/2641. Which is smaller: -55 or w?
-55
Let r be (3 - (-6)/(-33)) + -3. Let u(b) = b**2 - 7*b - 11. Let c be u(9). Let z = c - 10. Are r and z non-equal?
True
Suppose 0 = -4*n + 5*f + 41, -14 - 7 = n + 5*f. Let w be (-4)/30 + n/30. Is w smaller than -1/49?
False
Let c = -737 - -703. Which is smaller: c or 15?
c
Let h be (-4)/54 + (-13632)/(-324). Is h equal to 216/5?
False
Let z = 9 + -8.4. Let t = z + 5.4. Let k = t - 5. Which is greater: k or 0?
k
Suppose 2 = -2*d + d. Let x be 35/d*(-4 + 48/20). Is x < 30?
True
Suppose -5*r = -1692 + 7857. Let f be (r/108)/(30/32). Let j = f + 124/9. Is j at most -1?
False
Let z be (-1 + 3)/(1/6). Suppose 0*r - z = -2*r. Suppose -r*u + 3*u + d + 6 = 0, 0 = -3*u - d. Is u less than or equal to -1/11?
False
Let v = 113 - 67. Let y = -45.77 + v. Let x = -0.07 - y. Which is smaller: -0.04 or x?
x
Suppose -2*q + 3*r - 3 = 0, 15*q + 8 = 13*q - 2*r. Which is bigger: q or -120/31?
q
Let c = -143 - -159. Let b = 115/9 + 26/9. Which is smaller: b or c?
b
Suppose -6 = -4*d + 3*d + 2*b, d = -3*b - 4. Let p(f) = -f**3 - 9*f**2 - 3*f + 25. Let g be p(-8). Is d at least as big as g?
True
Let z = 113.7 + -113. Let g = -1.3 - z. Which is greater: 4/9 or g?
4/9
Let z = 3.2 + -4.7. Let o = 0.4 + z. Which is smaller: o or -1/5?
o
Let t be (-9)/81*-9*-367. Which is smaller: -366 or t?
t
Let r = 0 + -1. Let o be (1 + 1 - 2)*r. Suppose -7*s = -6*s. Is s < o?
False
Let x = 653 + -659. Let u = -0.01 - 0.29. Is x greater than u?
False
Let j be (8/(-3))/((-2)/18). Let x(m) = -5*m - 91. Let w be x(-23). Is j at least w?
True
Let g = 5 + -48. Let o = g - -299/7. Let s = -8/23 + 70/69. Is o bigger than s?
False
Suppose 4*i - 3*b + 121 = 0, 8*i - 10*i - 2*b - 50 = 0. Which is greater: -31 or i?
i
Let s = -98772/85 + 1162. Let z = 282 + -282. Which is smaller: s or z?
s
Let r = -9542 - -9544. Suppose -3*m = -4*m - 14. Which is smaller: r or m?
m
Let w = 78 + -232/3. Let s = 544 - 557.35. Let y = -0.35 - s. Which is bigger: y or w?
y
Suppose 0 = 8*u + 4*u - 888. Let m = 74 - u. Which is smaller: -3 or m?
-3
Let r(y) = 12*y - 99. Let v be r(6). Does v = -26?
False
Let v be (0 - 0)*(0/5 - -1). Let l = 9 + -7. Are v and l non-equal?
True
Let k = -2380 + 468859/197. Which is bigger: k or -1?
k
Let m = 375 + -371. Suppose -10 = -3*h - 4. Is m smaller than h?
False
Let x(d) = 8*d - 5. Let j be x(3). Let n(u) = u**3 - 20*u**2 + 19*u - 5. Let k be n(j). Let r be (k/(-5) + 0)*-4. Which is smaller: r or -3?
r
Let f = 27/31 - 13843/15965. Are 0 and f nonequal?
True
Let h = -22 + 22.01. Let w = h - 0.1. Let a = w - -1.09. Which is smaller: 0 or a?
0
Suppose -2*f = -6*f. Suppose 2*a - 6*w = -3*w + 26, f = -5*a - 5*w + 65. Suppose 4*p = a - 17. Which is greater: p or 0.2?
0.2
Let l = -32 + 25. Is l less than or equal to 6/7?
True
Let h be 38/7 - 6*6/84. Suppose 3*o - h*i = -19 + 6, -3*o + 27 = 3*i. Are 36/13 and o unequal?
True
Suppose -3*b = -2*b - 18. Let r = -21 + b. Let c be 0/(-1*(2 + r)). Which is greater: -4 or c?
c
Let x(g) = g**2 + 6*g + 4. Let f be (3 + 0)/(2/2). Let n = f - 8. Let w be x(n). Is w greater than or equal to -1?
True
Suppose -70 = 20*q - 34*q. Are q and 32/5 unequal?
True
Let k(h) = h**2 + 9*h + 14. Let d be k(-7). Suppose d = -11*j + 6*j. Which is smaller: j or -10/17?
-10/17
Let x = -767/9 - -253/3. Which is smaller: x or 0.14?
x
Let c be 2*(-3)/(-30) + 38465/175. Which is smaller: 218 or c?
218
Suppose 10*z - 7*z = -132. Let n be 4 + (4 - z/(-6)). Let f = -2.03 - -2. Which is smaller: f or n?
f
Suppose 2*s + 3*s = -2*h + 51, -33 = -2*h + s. Let r = 17 - h. Is r less than 1/44?
True
Let l be ((48/(-225))/4)/((-7)/21). Which is greater: -2 or l?
l
Let f = -24.53 + 0.53. Let a = -39 - f. Let u = a - -14.9. Is u > 2/9?
False
Suppose 0 = -5*f + 16*s - 18*s + 5, -5*f = -2*s + 15. Which is greater: f or -13/37?
-13/37
Let j be (3 - (-10)/(-3))/(7/(-7707)). Is 367 greater than j?
False
Let k be (4/18 - 0) + (-2020)/180. Let h = -19 - -7. Which is greater: k or h?
k
Let m = 110/3 + -37. Let f = -15 - -41. Let g be (-4)/f*2/2. Which is smaller: m or g?
m
Suppose 13 = 2*o - q, 3*o = o - 4*q + 18. Let p(j) = -j**3 + 5*j**2 + 13*j + 13. Let c be p(o). Which is greater: -2 or c?
c
Let k = -530 + 520.06. Let w = k + -0.06. Is -0.1 at most w?
False
Let u = -1.36 + 1.46. Which is greater: -1.28 or u?
u
Let o = 28.8 - 28.9. Which is bigger: -0.056 or o?
-0.056
Suppose -4 - 1 = -h. Suppose -3*x - s = -h*s + 9, 5*s = 0. Let t(b) = b**3 - 7*b**2 + 7*b - 9. Let n be t(6). Is x > n?
False
Let d be ((-143)/(-44))/1 - (1 + 1). Let y = 3 + -2.9. Is d > y?
True
Let u(l) = -2*l**2 + 2*l + 1. Let z be u(-4). Let c be (-2 + z/(-18))*-4. Are -3 and c nonequal?
True
Let d be (-1 - 0)*2*546/(-28). Is d less than 39?
False
Let t be (1 - (-22208)/(-644)) + -1. Let x = t + 242/7. Is 1 != x?
True
Let u be (-6)/(-15) - 19/95. Which is smaller: -174 or u?
-174
Let o(y) = -y**3 - 11*y**2 + 30*y + 52. Let t be o(-13). Is -7/8 at most as big as t?
True
Let y(q) = 10*q - 341. Let p be y(34). Let r = -27.972 + -0.028. Is p != r?
True
Let g = 1/85 - -677/255. Let w = -19/6 + g. Which is smaller: w or 0?
w
Let g = 0.049 - 0.049. Which is greater: g or -26?
g
Suppose 13*v = 5*v + 24. Is -15 < v?
True
Let s be (3/6)/((-15)/9). Let j = s + 63/110. Suppose d - 4*z = -21, 5*d + 4*z - 4 = 11. Is d <= j?
True
Let q be 2/(-12) - 171/(-378). Is 301 less than q?
False
Let r = 8.3 + 0.6. Let c = -7.4 - -16.4. Let m = r - c. Is m less than 5/6?
True
Suppose 12*q - 4 = 11*q. Suppose -t + q = t. Suppose 5*l = t*l - 3. Which is smaller: l or 4?
l
Let o = -152 + 151.6. Let v = o - -0.2. Which is smaller: v or 1/9?
v
