 = 129 + t. Is n at most as big as 0?
True
Let w(r) = -r**2 + r + 6. Let v = -42 - -45. Let j be w(v). Which is greater: j or -4/5?
j
Let y(d) = d**3 - 26*d**2 + 88*d - 13. Let p be y(22). Let s = 21 + -54. Let n = 20 + s. Does p = n?
True
Let u(p) be the first derivative of -p**4/4 - 14*p**3/3 + 7*p**2 - 12*p + 5. Let n be u(-15). Suppose 0 = -6*x + n*x. Which is smaller: -2 or x?
-2
Let m = -6 + 6.3. Let p = 0.4 - m. Let n = 2.774 + -5.774. Which is smaller: p or n?
n
Let t be 478/5 + (-9)/15 - -4. Let w = -96 + t. Is 5 at most as big as w?
False
Suppose 21*k - 9*k = -9348. Which is greater: -780 or k?
k
Let y = -13 + 30. Let v = 17.1 - y. Suppose -h = -5*h - 36. Is h less than v?
True
Let c = -1749 - -1621. Is -129 greater than c?
False
Let a = 15 + -3. Let j = -20 + a. Let k = -10 - j. Is -3 < k?
True
Let l = 1408 - 1407. Is l at least as big as -5/492?
True
Suppose 32*o - 4*d - 246 = 31*o, -2*o - 4*d + 468 = 0. Is o at most as big as 239?
True
Suppose -15 = -i - 5*d, -4*d - 8 = 3*i - 42. Let o = 210 + -216. Let y be o/i - (-14)/15. Which is smaller: -1.7 or y?
-1.7
Let a(x) = x - 6. Let m be a(6). Suppose -2*b - 2*b = m. Let u = 35137/39 + -901. Which is greater: b or u?
b
Let x = -207 + 207. Let t = 1519/117 + -112/9. Let v = t + -107/247. Do x and v have the same value?
False
Suppose -5*q - 135 = 2*v, 54 = -2*q + 2*v - 6*v. Let y = q + 26. Which is bigger: y or 0.05?
0.05
Let c = 1681/7 + -240. Do c and -65 have different values?
True
Let a be -1 + (4 - 4) - -5. Which is bigger: a or 42/13?
a
Let h(w) = -2*w**2 + 4. Let a be h(4). Let d be 329/a - (-3)/(-12). Which is greater: -11 or d?
-11
Let y(f) = f**2 - 8*f + 9. Let o(z) = -z**2 - 5*z + 3. Let q be o(-4). Let t be y(q). Let r be 45/(-81) - t/(-9). Which is smaller: 1 or r?
r
Suppose 13 = 5*o - 2. Suppose -4*p = p + 4*c - 38, o*p - 26 = -4*c. Let b be ((-91)/14)/(p/4). Which is bigger: -4 or b?
-4
Let i(y) = y + 15. Let f be i(-11). Suppose 0 = -f*b + 2*g + 26, b + 4*g - 6 = -22. Is b bigger than 2?
True
Let y(o) be the first derivative of o**4/4 + 4*o**3/3 - 5*o**2 + 7. Let f be y(-6). Is -10 at least f?
True
Let r(h) = -h + 12. Let k be r(9). Let q = -46 - -50. Suppose -k*y = -q*y. Which is smaller: 1 or y?
y
Let n = -160 + 13. Let u = n + 153. Is u greater than or equal to 12?
False
Let t = -537 + 641. Is t less than or equal to 98?
False
Let r = -109 - -111. Suppose 0 = 2*t - 2*m - 2*m - 16, 5*m = 4*t - 17. Which is smaller: r or t?
t
Let y(x) = -x**2 + 7*x + 15. Let z = -53 - -63. Let a be y(z). Which is smaller: -2 or a?
a
Let h be (2 - 3)*2*2/4. Let r be (-1128)/(-6325) - (4/22 + 0). Is r at least as big as h?
True
Let l = 64 - 47. Let u(w) = w**2 - 17*w + 1. Let j be u(l). Which is bigger: -6 or j?
j
Let n(j) = 2*j + 16. Let g be n(-8). Suppose -m - 4*q = -3, -7*m + 3*m + q - 22 = g. Let k(b) = -3*b**2 - 2*b + 2. Let r be k(-2). Are m and r nonequal?
True
Let g = 161 - 161. Suppose g = 5*i - 0 + 15. Suppose 4*h = -11 + 3. Is i at most as big as h?
True
Let b = 30.001 - 30. Let c = 1.501 - b. Which is greater: c or 1?
c
Let j = -78 - -119. Suppose 4*l = 11 + j. Let g = l + -12. Is g at most as big as 2?
True
Let k = -0.198 + -6.752. Let l = 0.037 - -6.963. Let h = l + k. Is h != 0?
True
Let o(z) = z + 1. Let x be o(2). Let a(h) = -3*h + 4. Let j(q) = q - 1. Let f(t) = a(t) + 4*j(t). Let m be f(x). Are 0.1 and m unequal?
True
Let h = -0.068 - 8.732. Let k = h - -9. Let w = 205 - 201. Which is smaller: w or k?
k
Let m(u) = 2*u**2 + 2*u + 61. Let p be m(0). Is p at most 62?
True
Suppose 5*g + 1 = 6*g. Is 12/7 greater than g?
True
Let p = 13 - 25. Let n(h) = h**2 - h + 74. Let w be n(0). Suppose 8*q = -30 - w. Which is bigger: q or p?
p
Let k = 3.07 - 2.9. Let x = k + -0.27. Which is smaller: -1/26 or x?
x
Suppose 2*t + 13 = -5*o, 6*t = 7*t - 4*o - 13. Does 8.36 = t?
False
Let k(o) = -o**3 - 28*o**2 - 34*o + 47. Let f be k(-27). Which is bigger: f or 234?
f
Suppose 9*k - 6 = 6*k. Let x(g) = g**3 - 5*g**2 + 3. Let u be x(5). Suppose 3*a - u = 3. Is k less than a?
False
Suppose -4*l - 10 = -5*d + 46, -4*d = 2*l - 50. Suppose 0*p - d = 4*k + p, -k - 6 = p. Let i(a) = a - 6. Let q be i(6). Which is smaller: q or k?
k
Let d be ((-2)/20)/(1/2). Let b(p) = -p**2 - 3*p + 29. Let h be b(-7). Let c be 21/14*h/((-3)/(-2)). Is d <= c?
True
Let k = 5 - 1. Suppose 3*v = 5*v + k. Is -6 at most as big as v?
True
Let x = 2/1467 - -19558/1467. Is x <= 21?
True
Let c be (-32)/(-20)*(142/4 - -2). Suppose 3*s + z - c = 0, -3*z - 54 = -3*s - 2*z. Is s smaller than 19?
False
Let c be (-11)/((-1749)/618) + -4. Which is smaller: 1 or c?
c
Let k = 8.3 + -8. Let v = -0.1104 - 5.8896. Are v and k non-equal?
True
Suppose -3*p + 11 = 5. Suppose 80*y - 118 = -38*y. Is p at most y?
False
Let v = -18 - -21. Suppose -v*y - 3 = -5*n, -5*y - 3*n - 5 = -6*n. Which is bigger: y or -1/30?
-1/30
Let r = 10/53 + 3935/212. Let m be (2/3 - (-40)/15)*6. Which is greater: m or r?
m
Let n = -812751211104 + 483587583113792/595. Let z = n - 1029423. Let a = z - -4/85. Do a and 1 have different values?
True
Suppose 927 = 16*b + 239. Which is smaller: 44 or b?
b
Let d = 0.1432 - -2.6168. Is d greater than 0.1?
True
Let v(m) = -5*m - 20. Let n be v(-4). Suppose 3*h - 3*j + 1 + 5 = 0, -3*h - 4*j - 27 = n. Which is smaller: h or -6?
-6
Let w be 54/12*-4*5/(-6). Suppose m + 23 = -4*b, b - w = m - 3*b. Which is smaller: m or -0.4?
m
Let k(h) = h**2 + 9*h + 8. Let d be k(-8). Suppose n - 1 = -d*n. Let u be (-12)/(-124)*2/(-3). Which is smaller: n or u?
u
Let y = 23 - 32. Let t = y - -10. Are -3/11 and t non-equal?
True
Let b = 10 - 9.95. Let n = 0.75 - b. Let w = n - 1.7. Is w < -2?
False
Let n = 31/2 + -79/6. Let o(w) = 3*w**2 - w + 1. Let z be o(1). Which is smaller: n or z?
n
Let q(k) = 2*k**3 + 6*k**2 - 18*k + 12. Let h be q(-9). Let w = 177267880/33 + -5372552. Let d = h - w. Is d >= 1?
False
Let o be 1*-44*(-4 + 3). Suppose 0 = 2*q - 0*q + o. Is -22 > q?
False
Let m = 2.2 - 7.1. Let g = m + 4.8. Is 33 at least g?
True
Let h = 3.4 - 3. Let i = -23.9 + 26.3. Let p = h - i. Is p greater than or equal to -2/9?
False
Let w = 29 - 31.2. Let x = w - -2.8. Which is bigger: x or 0?
x
Let a(b) = -36*b + 555. Let z be a(16). Does -21 = z?
True
Let k be 242/(-4) - 7/((-182)/65). Which is bigger: -65 or k?
k
Let c = -592 + 593. Is c < 2/3?
False
Let o(j) = -j**3 - j - 1. Let q be o(0). Let b be -1*q/(-12)*4. Let d = 2.118 + -0.118. Which is greater: b or d?
d
Let g = -1977/8671 - -4/377. Let h = -36798 - -36797. Do g and h have different values?
True
Let b = -3.1 + 3. Let p = -19 + 27. Let j be (p + -4)/(-4)*5. Which is smaller: b or j?
j
Let z(s) = s**2 + 3*s - 3. Let c = -2 + -2. Let q be z(c). Let f be (-8)/((-1008)/49)*(-44)/77. Which is smaller: f or q?
f
Let r = -0.2 - 0.3. Let d = 155 - 93. Let z = d + -64. Is z bigger than r?
False
Let t = -72 - -70.6. Let l = -0.7 - -1.7. Is t at most l?
True
Suppose 7 + 12 = 19*g. Is g at least as big as 52/37?
False
Let n be (-2)/91*(-2)/((-14)/(-49)). Is n < 5/8?
True
Let u = -19.99 + 20. Which is bigger: u or -2/3?
u
Let h = 1483 + -1484. Is 1/17 less than h?
False
Let k = 385 - 384. Is 2/3 >= k?
False
Suppose -13*v - 4 = -12*v. Is v greater than 29?
False
Let c = -5/109 + 383/3597. Let t = -29 + 8. Let j be (-3)/t + (-12)/(-14). Do j and c have different values?
True
Let s be 7 + -5 + 9/3. Suppose 0 = 5*a + s + 5. Let i be 5 + -7 - (0 + a). Is i greater than or equal to -1/6?
True
Suppose -4*l + 6*l - 8 = 0, -l - 6 = -5*y. Suppose -h - 34 = -y*t, -3*t - 5*h = -1 - 37. Are 15 and t nonequal?
True
Let g be (5612/16)/(1/4). Let w = -753 + g. Let v be ((-2)/(-20))/((-104)/w). Is v at least as big as -1?
True
Let q = 6 + -7. Let a be 37/13*q + 3. Let z be -1*4/8*2. Which is bigger: a or z?
a
Let a be (-1 - -5) + 0 + 2. Let c be (-2)/(6/3)*(-8 + 8). Suppose -2*p + c*p = r - 44, 3*r = a. Which is smaller: 20 or p?
20
Suppose 3 = 3*j - 3. Suppose -2*n + j = -4*n. Which is greater: -4/19 or n?
-4/19
Let s = 98 - 40. Suppose -f - 13 = -2*v + 4, -4*f = 2*v + s. Let w be 12/f + (-18)/(-10). Which is smaller: w or 0?
0
Let t(x) = x**3 - 7*x**2 + 7*x - 5. Let u be t(6). Let z be u/(-3) - 30/(-9). Suppose n = -4*b - 57, -3*b + z*n - 57 = -n. Are -15 and b equal?
True
Let j(l) = -l**3 - 2*l + 3*l - 20*l**