ose 5*r + 4*o = 2*r - 16, o = 3*r - 4. Suppose -2*f + f + 1 = r. Are h and f equal?
False
Let l(x) = -x - 8. Let r be l(-13). Suppose -2 = r*w + 3. Let t be (-1)/(-1) - (w + 2). Which is bigger: t or 2?
2
Let y be 86/4 + 75/50. Is -2 not equal to y?
True
Suppose 0 = 4*f - 3*h - 3, 2*h = 2*f - f + 3. Let r be 3 + (-1)/(-3)*f. Let w = -2 + r. Which is smaller: w or 6?
w
Let h(y) = 96*y**2 + 11. Let x be h(5). Suppose -5*z + x + 2619 = 0. Let s = -17108/17 + z. Which is bigger: s or -1?
s
Suppose -3*o + 10 = -u, -u - 4*o + 11 + 14 = 0. Let y be (-136)/(-51) + (-6)/9. Is y >= u?
False
Let p be (12*-4)/((24/33)/(-4)). Suppose 17*s - 11*s = p. Which is greater: 45 or s?
45
Suppose z = -3*d + 20, 29*z = 34*z + 2*d - 61. Which is greater: z or 32?
32
Let o(u) = -u**3 + 4*u**2 + 8*u + 3. Let a be o(6). Let y(k) = -78*k + 211. Let l be y(3). Which is greater: a or l?
a
Let h = -570215 + 275984189/484. Let o = -2/121 + h. Let z = 41/3 + -296/21. Which is bigger: o or z?
o
Suppose -2*w = 2*m + 8, -3*m - 17 = -13*w + 11*w. Is w less than 1/81?
False
Suppose v = -0*v. Let q be (-2 - 0) + 3 + v. Let y = 2 + -2. Which is smaller: y or q?
y
Let b = -1197 - -2300. Is 1104 less than b?
False
Let s = 838 - 1038. Which is bigger: s or 0?
0
Let u be 21/12 - 1 - 1022/(-504). Which is greater: u or 3?
3
Let p(w) = -w + 26. Let z be p(25). Let a(g) = g**2 + g - 3. Let c be a(z). Which is bigger: -6/23 or c?
-6/23
Suppose 9*o - 4*o = -10. Which is greater: o or -23/7?
o
Let r = 300 + -296. Is r bigger than 5/2?
True
Let n = -0.262 + -0.138. Is 0.09 smaller than n?
False
Let k = 103 + -95. Let r = 0.1 - -2.9. Let w = r - k. Which is smaller: w or 1?
w
Let n = 11 + -15. Let m be n/(-18) - 11837/(-315). Let h = m + -37. Is 1 <= h?
False
Let a be (-4)/(-12 + -4) + (-102)/(-8). Suppose -2*s - 4*y + a = s, 0 = 4*s + 3*y - 8. Which is smaller: s or 2/5?
s
Let l be (-14)/20*(-136)/119*5. Is l > 4?
False
Let s(d) = d**2 - 8*d + 14. Let h be s(6). Let c be (10/(-20))/(h/(-4)). Which is greater: c or 1/150?
c
Suppose -3*u + 22 = -2*r + 6*r, 3*u = -r + 10. Let b be (25/(-12))/(1/(-2)). Which is bigger: b or r?
b
Suppose -3*m = 4*f - 2754, 2*m - 6*f + 3*f = 1836. Is 919 less than m?
False
Let d(y) = 5*y - 3. Let m(a) = -a. Let q(x) = d(x) + 4*m(x). Let n be q(-5). Let k = 10 - n. Which is smaller: 17 or k?
17
Let p be 163*(-9)/396*4. Does -14 = p?
False
Let g be (-3 - -9) + 3666/6. Is 617 at least g?
True
Suppose 5*n - 15 = 0, 11 = 2*v + 3*n - 0. Is 7/10 at least v?
False
Let s = 1.6 - 2.6. Let v = -170.87 - -170. Let g = -0.33 + v. Which is greater: s or g?
s
Suppose 0 = 2*t + x + 2*x - 13, -t - x = -4. Let c be (-1714)/3 - (-2)/(-3). Let f be -4 + 126/33 + (-126)/c. Which is greater: f or t?
f
Let c = -78 - -81. Suppose 0*u = -5*f - u + 22, -c*u = 3*f - 6. Is f greater than -5?
True
Let z = 78 - 76.4. Let b = z - -1.4. Which is smaller: -4/5 or b?
-4/5
Let w = -2 + 7. Let j = -331 - -321. Let u be (w/j)/((-1)/(-10)). Which is greater: -4 or u?
-4
Let q be (1/(-3))/((-114066)/5184 + 22). Is 571/6 at least as big as q?
False
Suppose 4 = 3*p - 2. Suppose 5*k - 2 = l + 5, p*l + 6 = 2*k. Let m be 2/(-22 + (4 - k)). Do m and 0 have the same value?
False
Let l be 24 + -24 - 1026/8. Is -127 >= l?
True
Let w be (-97)/5 + 12/(-20). Let c be (-2)/(-4)*w/(-1). Suppose 12*b - 4 = c*b. Which is smaller: b or 1?
1
Let s(a) = -4*a + 84. Let h be s(21). Is h > -12?
True
Let j(m) = 2*m**2 - 107*m - 44. Let a be j(53). Which is smaller: a or -96?
a
Let a = 0.02 - 2.02. Let o = -3190171/11 + 290486. Let c = o - 471. Which is smaller: a or c?
a
Let u = -0.125 + 0.292. Is u greater than 2/11?
False
Let i = 29 + -21. Let j(n) = -n**2 - 7*n - 5. Let y be j(-2). Let m(u) = -u**3 + 4*u**2 + 8*u - 6. Let l be m(y). Which is greater: i or l?
l
Suppose 0*r = -2*r + 12. Suppose g + 4 = 0, g - 145 = -5*j + r*g. Let o be (-2)/5 + 244/10. Which is smaller: o or j?
o
Let z = -790 + 802. Let k = -0.1 + -0.1. Which is greater: z or k?
z
Let w = -402458/83 + 4849. Let s = -933/581 - w. Which is smaller: s or 2/7?
s
Let p(y) = -2*y**2 - 9*y + 2. Let v be p(-6). Let x = v + 19. Which is smaller: x or -1?
-1
Let i = 3.325 + -0.125. Let u = 7 + -10. Let c = u + i. Is -1 at least as big as c?
False
Let x = -552528/1141 - -3390/7. Which is bigger: 0 or x?
x
Let v be -774*15/1450 - -8. Which is smaller: 1 or v?
v
Let z = 941 + -929. Do 8 and z have the same value?
False
Let x be 2*2*(-1 - 6). Which is greater: -30 or x?
x
Let x = -25 + 32. Suppose 3*a - x*a - 8 = 0. Which is smaller: a or -10?
-10
Suppose -2*n - 21 = 3*p, 3*n = -3*p - 5 - 19. Let o be n/(3/(-58))*(-2)/4. Which is smaller: -28 or o?
o
Suppose -11 = -4*d - k, -9 = d + 5*k - 7. Let p be (-1)/(5/(-5) - d). Which is bigger: -1 or p?
p
Let y = -0.6 - 3.4. Let k = 2 + y. Which is bigger: k or 0.2?
0.2
Let j = 413 + -42538/103. Which is bigger: 5 or j?
5
Let c = 0.5 - 2.5. Let z(i) be the second derivative of i**4/12 - 7*i**3/3 - 3*i**2 - 19*i. Let j be z(15). Which is smaller: c or j?
c
Let f(r) = r**3 - 2*r - 2. Let y be f(0). Let n(i) = i**3 + i**2 - 4*i - 5. Let l be n(y). Which is bigger: -12 or l?
l
Let l(d) be the second derivative of -d**5/20 + d**4/4 + d**3/6 - d**2/2 + 5*d. Let u be l(3). Suppose -r = -u*r. Is -1 at least r?
False
Suppose 0 = g + g - 28. Suppose 0 = -h - 2 + g. Let t be 0 - 3*4/h. Are t and 3 non-equal?
True
Let s = 3699/8 - 463. Is 0 equal to s?
False
Suppose -y - 4*y + 2*o + 13 = 0, y - o - 5 = 0. Suppose w + a - 8 = 0, -4*w + 4*a = a - 4. Is y >= w?
False
Let q = -10 + -18. Let j = q - -25. Is j greater than -16/5?
True
Let q be (-65)/13 + 2*5. Suppose -2*d + q = -d, -u - d = -5. Is -4/27 less than u?
True
Let r(m) = -m**3 + 8*m**2 - 9*m + 8. Let a be (-1 - -3)*(-14)/(-4). Let f be r(a). Let v = 59 - 67. Is v less than f?
True
Let s = 146 - 1550. Is -0.1 less than or equal to s?
False
Let a = 128/85905 - -2/17181. Let l = a - 868/23655. Which is smaller: l or 0?
l
Let s = 93/8 - 821/72. Is s bigger than -12?
True
Let c(q) = -81*q + 287. Let x be c(4). Which is greater: -33 or x?
-33
Let i be (-8)/10 - (-99)/(-45). Suppose -q = -0 + 6. Are i and q non-equal?
True
Let y = 95/3 + -389/12. Let s = 22 + -23. Which is smaller: s or y?
s
Let i = 0.1219 - -0.2781. Let x = -15 + 50/3. Is x smaller than i?
False
Let y = 407 + -41. Is 365 at least as big as y?
False
Suppose 0 = 5*p - p + 5*d - 34, -3*p = -4*d - 10. Let n be (2/(-6))/(6/(-36)). Is n less than or equal to p?
True
Suppose 3*m - 2*m - 15 = 0. Let p = -9 + 14. Suppose 1 = 2*g - 9, 0 = -p*j - 2*g - m. Is j bigger than -3?
False
Let l be (-4 - -2) + 15/9. Let v = 135.69 + -135. Which is smaller: v or l?
l
Let b(y) = -y**3 + 16*y**2 + 16*y + 19. Let o be (-98)/(-6) - (-24)/36. Let m be b(o). Is m bigger than 12?
False
Let q be (6 - 8/2) + -15. Suppose -2*u - 13 = -u. Let n = u - q. Is n less than 3/4?
True
Let r = -0.19 + -0.05. Let w = r + 0.3. Let t = w - 0.36. Is t at least -0.1?
False
Suppose 0 = 15*r - 17*r + 8. Suppose 0 = -r*c - c. Which is smaller: c or -5/12?
-5/12
Let c = -830 + 299. Let s be 2/(-5) - c/(-105). Let o = 27/7 + s. Is 0.1 at least o?
True
Let o = -2/115 + 121/345. Which is smaller: 1/10 or o?
1/10
Let k be ((-2)/(-1828))/(1008/576). Are k and -1 equal?
False
Let b be 4 - (-3 + 7) - (2 + -1). Is b less than 15/37?
True
Let c be -161*1 + 0/7. Which is greater: -165 or c?
c
Let d be (11/33)/(-1) + (-5)/3. Let f(y) = -y - 3. Let j be f(-5). Which is greater: j or d?
j
Let f = 13 + -16. Let n be (-8)/(-24)*1*f. Which is smaller: -3/29 or n?
n
Let r = 177 - -143. Do 318 and r have different values?
True
Let n(a) = a**2 + 2*a + 4. Let l(g) = 4*g**2 + 7*g + 16. Let x(y) = -2*l(y) + 9*n(y). Let m be x(-3). Is 5 at least as big as m?
True
Suppose -31*b + 2639 - 8529 = 0. Which is bigger: 1 or b?
1
Let o = 69.19 - 69. Which is greater: -1 or o?
o
Let a be ((-2)/18)/(-3 + 2). Let l(f) = f**3 - 3*f**2 + 2*f - 1. Let z be l(1). Let n = 1 + z. Which is bigger: n or a?
a
Suppose -4*t - 3*j + 62 = 0, 6*j = 2*t + 4*j - 24. Which is smaller: 16 or t?
t
Suppose -4*y - 4*g = 68, -4*g + 46 - 18 = -4*y. Suppose -5*p + p + 240 = 0. Suppose -p = 6*n - n. Does n = y?
True
Suppose -5*f - 5*q = -0*f + 5, 0 = -4*f - 2*q + 2. Let x be -2 + ((-315)/12)/(-7). Is x > f?
False
Let w = 3 - 8.