 - 106. Which is smaller: -15 or r?
-15
Let t be ((-8)/(-20))/(2/5). Which is greater: t or -6/787?
t
Let j(m) = 10*m. Suppose 0 = x - 5*z + 2*z - 39, x - 44 = 4*z. Suppose -3*y - 18 = -2*h + 2*y, 4*h + x = -5*y. Let s be j(h). Is s != -11?
True
Let r be 4/(4 + -16) - (-2)/6. Suppose k + 1 = d, -d + 21 = -5*k - 4*d. Which is greater: r or k?
r
Suppose 2*i - 76 = -94*x + 93*x, x = -4*i + 84. Suppose w = 4*r - 0*r - 275, 5*w - 281 = -4*r. Which is smaller: x or r?
x
Let b(n) = 7*n**3 - 11*n**2 - 4*n + 25. Let w be b(7). Is 1859 not equal to w?
False
Suppose l - 4*l = 0. Let a be 12/7*7/21. Do l and a have different values?
True
Let l be 24/132 - (-926)/(-11). Let q = -101 - l. Is -2 at most as big as q?
False
Let j = 30.95 - -0.05. Let y = 30 - j. Which is smaller: y or -15?
-15
Let u be -2*1 + 1 + -24. Let t be 414/20 - 5*(-20)/25. Let k = u + t. Is -1/2 <= k?
True
Let m = -47.18 - -39.3. Let k = 9 + m. Let h = k - 0.12. Is h > 4?
False
Let z be 84 + -17 + (-5)/1. Which is smaller: 63 or z?
z
Suppose -197*i = -177*i - 4060. Is 202 at least i?
False
Suppose -2432 - 7898 = -5*a. Let b = 16573/8 - a. Which is greater: b or 6?
6
Suppose 9 - 25 = 4*a. Is a at most as big as -15?
False
Let w = 917/1196 + -5/299. Is w greater than -79?
True
Let b = -2007 - -2006. Which is bigger: b or 160?
160
Let h = -7 - -11. Suppose -3*c = h*k + 18, k + 2*c = 5*c + 3. Suppose -2*u - u = 9. Is u greater than or equal to k?
True
Suppose 3*j - 286 = -136. Are j and 195/4 nonequal?
True
Let x = 0.4 - 0.2. Let w = 4.9 + -3.5. Let k = w - 1.3. Which is smaller: k or x?
k
Let o = -1787 - -19660/11. Suppose -3*i + 6*i = 0. Let c = i - 0. Which is bigger: c or o?
o
Suppose -31*p = -26*p + 75. Let o(l) = -l**2 - 14*l + 6. Let w be o(p). Which is smaller: -8 or w?
w
Let s be (-8)/10*(-45)/18. Suppose 0 = -4*q - r + 15, -s*r = 3*r + 5. Let m = 7 - 3. Is q smaller than m?
False
Let n = -0.082 - 0.318. Let q = 0.01 + 0.29. Is q equal to n?
False
Let x(a) = a**3 + 6*a**2 - a - 3. Let o be x(-6). Let k be o + -2*39/30. Let j = 36 + -35. Is k greater than or equal to j?
False
Let r = -1091 + 75275/69. Which is greater: 1 or r?
1
Let o be (-9)/3 + 2 + 9. Let h = 2 - o. Let s(c) = 2*c + 12. Let w be s(h). Is 4 != w?
True
Suppose 4*t + 10 = 2*s - 18, -4*s + 41 = -5*t. Suppose 9*z - 117 - 54 = 0. Suppose 5*o - v = z, -s*v + 0 = o - 8. Which is smaller: 7 or o?
o
Let w be ((-2952)/(-16))/(9/(-24)). Let x = -6393/13 - w. Is 1 not equal to x?
True
Let z be 3 + 0 + 1/(7/602). Is 628/7 less than or equal to z?
False
Let z be (-8)/(-53)*15/40. Which is greater: z or 1?
1
Let z(x) = 96*x - 294. Let p be z(3). Which is greater: p or 40?
40
Let k be (-1*1)/((-3)/(21/(-7))). Let h be k/5 - (-124)/(-320)*-1. Is 1 < h?
False
Suppose 0 = 27*i - 41*i - 1274. Which is smaller: -90 or i?
i
Let y = 10/69 + -208/483. Which is bigger: -7/4 or y?
y
Let g = 69/2 - 745/14. Which is bigger: -18 or g?
-18
Suppose 3*w = -3*y - 15, 0*y + 5*y + 13 = -w. Let h(f) = f**2 + 15*f + 24. Let x be h(-13). Is y at least x?
True
Let b be 4/18 + (-212)/(-18). Let o = -5 + b. Is o != 7?
False
Let c(g) = -2*g**2 - 2*g + 19. Let q be c(-8). Let o = q - -92. Is -1/90 smaller than o?
False
Let s be (9/(189/35))/(4/(-3)). Is 1/11 less than s?
False
Let p(g) = -g**3 + 5*g**2. Let n be p(5). Let h(v) = -v**3 - 22*v**2 - 40*v + 14. Let z be h(-20). Let u be (-49)/(-42)*((-8)/z)/4. Which is bigger: n or u?
n
Suppose 0 = -5*z - 85 + 75. Which is greater: z or -17/5?
z
Let w be (-2)/6*75/(-50). Which is greater: 682 or w?
682
Let u = 22 - 15. Suppose -2*n + u = -5. Suppose -11*g = -n*g + 55. Which is bigger: -10 or g?
-10
Let h(c) be the first derivative of -c**4/4 + 11*c**3/3 - 8*c**2 - 17*c - 34. Let t be h(9). Which is smaller: t or 3/67?
3/67
Let h be 168/77 - 2/11. Is -620 <= h?
True
Suppose 12*c - 700 = 7*c. Let f be c/(-32) + (-2)/16. Are 2 and f nonequal?
True
Let y(b) = b + 4. Let a be y(-5). Let n be (1/3*-22)/1. Let d = -67/9 - n. Is a >= d?
False
Suppose 650 - 213 = -19*l. Which is bigger: -22 or l?
-22
Let l = -62/11 + 1324/231. Let g be (-171)/(-152)*(-1 - -5) - (4 - 0). Which is smaller: g or l?
l
Let d = 21.8 + -21.6. Are -631 and d unequal?
True
Suppose 5*d - 2 = 18. Suppose g + 3*g - d = 0. Suppose -4*t - g = 3. Which is bigger: t or -11/6?
t
Let y(z) = z - 6. Let d be y(10). Let v = 2 + d. Let b be -5 + 2 - (-6)/v. Which is bigger: 4 or b?
4
Suppose 0 = 2*a - 3*a + 2. Let b = 8 - 0. Suppose 4*v - a*v - b = y, 2*y + 3*v + 16 = 0. Does y = -8?
True
Suppose 6*p - 185 = -77. Which is smaller: 26 or p?
p
Let c = -30 + 33. Suppose 0 = -k + 3*s - 17, 1 - c = -s. Which is smaller: -59/5 or k?
-59/5
Let j = -1233/2 - -617. Is -42.5 greater than or equal to j?
False
Let b = 87729/3220 - -4/805. Let y = b - 1651/60. Does 1 = y?
False
Let p = -736 - -823. Which is smaller: p or 441/5?
p
Suppose 0 = 8*w - 0*w + 752. Let z = 109 + w. Which is smaller: 27/2 or z?
27/2
Suppose -o + 10 = 2*m - 0*m, 5*o - 20 = -4*m. Which is smaller: m or 6?
m
Let k(g) = g**2 - 15*g - 54. Let y be k(18). Let c be 3 + (-422)/140 + 0. Which is bigger: c or y?
y
Let j = 0.043 - 20.043. Let b = -480.96 + 501. Let h = j + b. Which is bigger: h or 0?
h
Let b = -16 - -11. Let g be (6/(-4))/((-12)/200). Let y be b/2*20/g. Which is bigger: y or -3?
y
Let j(s) = -4*s - 31. Let x(o) = -2*o - 16. Let u(d) = 3*j(d) - 7*x(d). Let z be u(-10). Which is bigger: z or -2?
z
Let h be 2/12 + 1196/24. Let x be h/(-6) - 6/(-18). Is x < -8?
False
Suppose 5*j - 85 = -60. Which is smaller: 8 or j?
j
Let i(g) = g**2 + 13*g - 3. Let u be i(0). Is -0.049 at most as big as u?
False
Let o be ((-6)/(-24))/(26/(-24)). Is -1 at least o?
False
Suppose -3*a + 28 = 2*p + 2*a, 2*a - 4 = p. Let o be (-936)/(-297) + p/22. Let d = 7 + -4. Is d equal to o?
False
Let l be (3/(-4))/(32/(-3712)). Suppose 4*f - 71 = -l. Let o = 4 + -8. Are f and o non-equal?
False
Suppose -23*t = -4*t - 171. Is 16 > t?
True
Let n(u) = 3*u - 3 + u**3 + 2*u - 2*u - 3*u**2. Let p be n(2). Let l = -99 - -393/4. Which is bigger: p or l?
l
Suppose 14*j - 9*j - 65 = 0. Suppose j*m + 3 = 10*m. Are 3/17 and m unequal?
True
Let j be (-4520)/648 - (-7 + 0). Is 0 not equal to j?
True
Let t = 25 + 20. Suppose 2*d + w - 13 = 0, -5*d + t = -2*w + 7*w. Are 4 and d equal?
True
Let w be 4*4/16 - (-22)/(-28). Suppose f = -c + 2*f - 2, -3*f + 11 = 2*c. Do c and w have the same value?
False
Let j = 33 + -33. Let a be j + 3 + (-2)/1. Which is bigger: a or 4/11?
a
Let s = -0.2 + -0.8. Suppose -2*q - 30 = -3*u, -6*u + 7*u - 21 = -3*q. Is u at least as big as s?
True
Suppose 4*y + d + 30 = 0, 0*d - 3*d = -2*y - 8. Let w = y + 27. Do w and 20 have the same value?
True
Let l be 4/(-10) - (-144)/(-5940). Which is smaller: 1 or l?
l
Suppose -x + 2*z + 71 = 0, 3*x - 118 = x - 2*z. Let j = x + -51. Is 12 greater than or equal to j?
True
Let q be -2*(1 - 0) - -1. Let m(c) = c**3 + 2*c**2 - 4*c - 4. Suppose -3*x - 12 = x. Let l be m(x). Is l smaller than q?
False
Let z be -1*(-15)/(-70)*14/(-236). Which is smaller: 1 or z?
z
Suppose -2*y - p - 8 = 0, -4*y - 30 = -0*p - 5*p. Let g be (3/3)/(1/y). Let b = -2 - g. Is 0.3 at least as big as b?
False
Let s(f) = -1. Let b(l) = 3*l + 10. Let m(j) = b(j) + 3*s(j). Let c be m(4). Which is bigger: 18 or c?
c
Let h = -10 + 12. Let o = -1.9 + h. Let b = -0.1 - -0.06. Which is smaller: b or o?
b
Let y = -237.727 - -238. Let l = y + 0.027. Which is smaller: 0.13 or l?
0.13
Suppose -7*c + 45 + 200 = 0. Let g be 55/c - (-1 + 4). Is g at least -2?
True
Suppose -3*k + 4*k = 2. Let i be -3 - k/58*-89. Is 0 at least i?
False
Let k(v) = v - 17. Suppose 12 = u + 2. Suppose 2*p = -5*t + 39, 4*p - 82 = -4*t - u. Let a be k(p). Are a and -1/5 non-equal?
True
Let t be 5/1 + 0 + -2. Let g be -3 - (-6 - 0) - t. Does 2/43 = g?
False
Let m = 53 - 54. Let o be m + (3 + 2 - 2). Which is bigger: 36/13 or o?
36/13
Let x = -17 + 15.7. Let a = x - -1.7. Let y be ((-2)/4)/(1/(-4)). Are y and a unequal?
True
Let f = 180 + -218. Is f > -42?
True
Suppose 5*z - 75 = -q - q, -5*q + 173 = -2*z. Let u(g) = -g**2 - g + 7*g - q + 32. Let a be u(2). Which is smaller: 4 or a?
4
Let p be 9/6*88/462. Let t = -18 + 17.89. Which is bigger: p or t?
p
Suppose -18 = -5*u - u. Let a = u - 3. Let g be (-12)/84 - 2/(-14). Is a not equal to g?
F