a(k) = k**2 + 46*k + 46. Let r be a(-45). Let g be 6/(-3) - 151/(-77). Is r at least as big as g?
True
Let k = -7/12 + 1/12. Let v = 0.5 - 0.37. Let b = -1.87 - v. Are k and b unequal?
True
Suppose 0 = -2*h - n - 7, h - 6 + 2 = -3*n. Let x(d) = -d - 42. Let u be x(h). Is u equal to -38?
False
Suppose -4*s + 21 = 4*x - 15, -2*x - 4*s + 14 = 0. Suppose -45 = x*d - 16*d. Are 3 and d equal?
False
Suppose -2*u = -2*c - 3*u + 2, 1 = -5*c - 4*u. Suppose 0 = c*a - 8*a. Let v be (a + (-3 - -3))/2. Which is greater: v or 2/15?
2/15
Let v = 1437 + -1397. Which is bigger: 39 or v?
v
Let r = -140 + 141. Which is smaller: 54 or r?
r
Let s(k) = -k**3 - 11*k**2 - 15*k - 17. Let z be s(-9). Let u be (-534)/16 - (z/32 + 1). Is u greater than -34?
True
Let j = -6 - -6. Let x be j*(3 + (-7)/2). Let v be (-8)/(-4) - -48*6/(-99). Is v smaller than x?
True
Let l(f) = -f**3 + f**2 - 1. Let x be l(-1). Let d be -2 + (19/5 - x). Do 0 and d have the same value?
False
Suppose 6 = 4*k - 2. Suppose 0 = 5*b - 4*d, 3*b - k*d = -b. Are b and 4/17 nonequal?
True
Let m = 27 + -27. Suppose -15*t = -m*t - 15. Do t and 1/17 have the same value?
False
Let x = 312 + -304.12. Let o = x - -0.12. Let q = o - 7.8. Do q and 1 have the same value?
False
Suppose -4*q + 4*x - 24 = 0, -2*x - 2*x = 4*q. Let n be q + ((-2)/(-8) - -3). Let h(d) = d**3 - 6*d**2 - 5*d - 10. Let f be h(7). Which is bigger: n or f?
f
Let k be 38/(-8) + 12/(-16). Let j = 35/6 + k. Suppose -r + 25 = 5*w, 5 = 6*w - 5*w + r. Is w <= j?
False
Let u = -3 + 18. Suppose 3*s - u - 3 = 0. Suppose s*a + 1 = 61. Is 10 equal to a?
True
Let k be (3/(-5) + 1)*5. Suppose 4*c = z - 2*z + 42, -k*c + 28 = 4*z. Let y be 12 + 4 + 2 + -9. Which is bigger: c or y?
c
Let d = 23514/1897 + 9/271. Which is smaller: 11 or d?
11
Let i = -1148 - -1126. Which is greater: i or -252/11?
i
Let j be -2 - 4659408/5236 - 1. Let b = -9814/11 - j. Let s = 7/17 - b. Which is smaller: 0 or s?
s
Suppose 5*k + 2 = -3*z, -5*k - 11 = 4*z - 10. Which is greater: z or -0.68?
z
Suppose 2*o + 15 = -5*f + 6*f, 3*o + 26 = -2*f. Which is bigger: o or 0?
0
Let t be (3 + -5)*(-6)/66. Let q be (-2)/4*1268/14. Let x = q - -45. Is x at least t?
False
Suppose 2*z + z = 6, 0 = p + 3*z - 16. Let a be (-88)/p + 8/10. Is a smaller than -7?
True
Suppose -5*m + 30 = -5*w, -w + 3*m - 5*m + 9 = 0. Are w and 2/205 equal?
False
Let w = -1154 - -1162. Which is greater: 1 or w?
w
Let g(s) = 17*s - 21. Let p be g(6). Let o be 15/p*(-1 - 5). Is -1 equal to o?
False
Let k be (-2)/2*(0 + 0). Let d = -15/4 - -431/116. Let s = d - -39/290. Do s and k have different values?
True
Suppose 4*v = q + 1, -2*q + 10 = 3*q - 5*v. Let s be 2/10 - q/(-10). Which is smaller: s or -17?
-17
Suppose 0 = 3*l + 6, 0 = m - l - 7. Suppose 3*y - 24 = y. Let h be (48/320)/(y/m). Is h not equal to 0?
True
Let l(q) = -q - 10. Let r be l(-9). Let g = r + -13. Which is greater: -15 or g?
g
Let x = -47/26 - -17385/182. Which is smaller: x or 93?
93
Suppose 4*w - 244 = 184. Is 107 equal to w?
True
Let m = 37 + -52. Let s = m + 31. Which is smaller: -2 or s?
-2
Suppose -f = w + 2*f - 14, 4*w + 4*f - 48 = 0. Which is greater: w or 7?
w
Let a = -11 - -22. Which is greater: a or 9?
a
Suppose 1481*j = 1492*j + 11. Which is bigger: j or -1/1361?
-1/1361
Let u be (0*2/(-4))/(-2). Let i be 15 + u/((-4)/2). Is i <= 15?
True
Suppose 28 = -d + 3*d. Let i = -26 - -28. Suppose -4*n + i = -54. Are d and n non-equal?
False
Suppose 4*o + 17 + 6 = -5*p, 3*o - 5*p = -26. Suppose -k - 5*n + 15 = 0, 0 = 4*n - 5*n + 5. Which is bigger: o or k?
o
Let m = -5 - -12. Let p = 1 + m. Suppose p + 0 = 2*b. Is b greater than or equal to 4?
True
Let f = -12.8 - -13. Let q = 0.4 - f. Let u = q + 0.1. Is -0.3 less than u?
True
Let r(w) be the second derivative of -2*w**3/3 - 4*w**2 - w. Let c be r(-4). Let o be (-15)/(-10)*c/(-18). Which is bigger: -2 or o?
o
Let w be (-1 - -1) + (-996)/99. Let p = 9932/77 - 964/7. Let f = w - p. Which is greater: f or 0?
0
Let o(a) = a. Let v(m) = 3*m**2 - 3*m. Let r(t) = 3*o(t) + v(t). Let d be r(-2). Does d = 1?
False
Let d(j) = j**2 - 10*j + 13. Let y be d(9). Let g be 2/(-8) - (-2)/y. Let w be 9/(-12)*(-2)/(-3). Are g and w unequal?
True
Suppose 26*i + 2*a = 21*i + 4464, 4*a = -2*i + 1776. Is 894 greater than or equal to i?
True
Suppose -19 = -5*p + 21. Let g be (-8)/(80/45)*p. Which is bigger: -35 or g?
-35
Suppose 15958 + 10652 = 30*h. Is 887 less than h?
False
Let v be (74/(-185))/((-32)/(-5)). Let l = 0.3 + 0.7. Let w = l + -2. Which is smaller: v or w?
w
Let m(s) = 8*s**2 - 43*s + 14. Let d be m(5). Is d < 3/1541?
True
Let p = 1357 + -1465. Is -109 at most p?
True
Suppose -2*n - 10*v = -6*v - 26, -4*v = 4*n - 32. Let h = 9 + -6. Suppose 0 = h*o + 2*o. Is o equal to n?
False
Let n be -4 + (-64)/(-10) - (1 - 0). Do n and 0 have the same value?
False
Suppose -5*s - 20 = -0*x + 5*x, -x = -s - 4. Let d(c) = c - 8*c + x*c + 0*c - 7 - c**2. Let p be d(-6). Which is smaller: p or -3?
-3
Let t be (17/(34/(-300)))/(-2). Let n be (-70)/t*-6 - 5. Is n less than -2?
False
Let o = 2 + -2. Which is smaller: o or -7/18?
-7/18
Let h = 63 - 87. Let i be h/(-16) + (-5)/2. Which is smaller: -1/26 or i?
i
Suppose 14*q - 11*q = 6. Suppose 4*w + l - 1 = 0, 3*w = 5*w + 3*l - 3. Suppose 3*i - 5*i = -8, w = m - i + q. Is m < -0.06?
False
Let u(h) = 3*h**3 - 16*h**2 - 8*h - 37. Let z be u(6). Which is bigger: 4 or z?
4
Let w(a) = a**2 + 6*a + 3. Let f be w(-5). Let y be (-2)/(-3) + (-74)/(-6). Let r = y + -15. Is f bigger than r?
False
Suppose 3*n + 2 = -u + 4, -5*n + 4*u = -9. Let l = 12 - 27. Let c be l/(-35) + 115/(-301). Is n <= c?
False
Let s = -29.82 + 32.8. Is s > -1?
True
Let z be (24/(-28))/(3/(-42)). Suppose -8*n + z*n + 4 = 0. Let l = -8 - -53/7. Which is smaller: l or n?
n
Suppose o - 1 = -2*o + 2*w, 2*w = -o - 5. Let h be (o/(-2))/(2/28). Which is bigger: h or 4?
h
Let t = -268/3 - -1249/12. Do 16 and t have the same value?
False
Let o = -823 + 7399/9. Let b(j) = -j**2 - j + 1. Let q(n) = -n**3 - 4*n**2 + 12*n + 5. Let l(c) = -3*b(c) - q(c). Let t be l(-8). Which is greater: o or t?
t
Let x = -0.1213 - -0.0213. Which is smaller: x or -0.319?
-0.319
Let k be 1*(3 + -2 + -4). Let g = 11 + 9. Let h = g + -23. Is k > h?
False
Let k = -131 - -139. Let y be 160/27*12/10. Which is greater: k or y?
k
Let x be 114/(-855) + (-8674)/(-30). Is x equal to 288?
False
Let y = -2278 + 1889. Which is bigger: y or -392?
y
Let k = -383 - -418. Let h = 111291/3322 + -2/1661. Let g = k - h. Which is greater: 2 or g?
2
Let c = -1783 + 94502/53. Which is smaller: c or 1?
c
Let v be (-2)/4 - (8 - 9225/1090). Which is smaller: -1/3 or v?
-1/3
Let g = 18 - 21. Let b be 224/(-68) + g/((-3)/4). Is b < 2?
True
Suppose 0 = 2*j - 5*q - 110, 3*j + j - 5*q = 230. Let a be 5/(-20) + 21/j. Are a and 1 non-equal?
True
Let k = -79 + 71. Suppose -11 = -4*b + 2*b - l, b + 5*l = 19. Let h be (b/k)/((-12)/8). Is 1 at most as big as h?
False
Let w = -2180 - -2482. Is 302 != w?
False
Let b(m) = m**3 + 2*m**2 + m. Let t be b(-1). Suppose -4*d - 12 = t, -4*r - 2*d + d = -5. Is r less than or equal to 3?
True
Let l = -1255/87087 + -4/609. Is l at least 0?
False
Suppose 2*s - 3*s + 2*m - 4 = 0, -2*m = -4*s - 16. Is -7 at most s?
True
Let r be (5/10)/(4/(-64)). Let t(s) = -s**3 - 7*s**2 + 7*s - 4. Let o be t(r). Let k be -3 + -4 + o - -2. Which is greater: k or 4/17?
4/17
Suppose 2 - 14 = 3*o, -3*d = -o - 49. Let g be ((-7)/5 - -1)*d. Let s be (-1 + (-9)/g)*3. Is 3 < s?
False
Let z = -355 - -103. Which is bigger: z or -0.1?
-0.1
Let n = -14 - -9. Let k be -4 + 11 - 897/117. Is k at least as big as n?
True
Let t = -695 - -694. Which is greater: 237 or t?
237
Let p = 1.15 + 39.85. Let t = -49 + p. Is t <= -6?
True
Let v be (15/6 + -2)*8. Let d(j) = -j**2 + 8*j + 24. Let k be d(10). Are v and k equal?
True
Let r be ((-1)/((-115)/(-6)))/((-117)/(-1514)). Let p = r + 42/65. Is 1 < p?
False
Let i = -5.57 - -5.61. Is i equal to 23/2?
False
Let o be 1200/190 - (-2 - -8). Does 0 = o?
False
Suppose 2*i = 3*s + 10, 0*s + 18 = -4*s - 2*i. Let m be (-1)/(-4 + (-15)/s). Which is smaller: m or 2?
2
Suppose 90*a = 77*a + 455. Which is greater: -10 or a?
a
Let z(d) = -d - 5 + 3*d**2 + 3*d**2 + 0*d**3 + d**3. Suppose -5*r - f - 15 = 12, -3*r - 3 = 5*f. Let s be z(r). Does s = -2