o and y unequal?
True
Suppose 25 = 3*j + 7. Let u(a) be the first derivative of a**2 - 3*a - 48. Let b be u(j). Is 9 not equal to b?
False
Let d be ((-179)/(-2) - 1)*(45 + -47). Does -177 = d?
True
Let u = 30 + -34. Let w = 5 + u. Suppose -5*q - w = -4*q. Are q and -1 non-equal?
False
Let b be 0*(-2 - (-9)/5). Which is greater: 18/17 or b?
18/17
Let b = -108 - -109. Let r be b + 3 - (-100)/(-24). Is 0 less than or equal to r?
False
Let q(w) = -3*w - 23. Let h be q(-8). Let k be h/((-525)/132 - -4). Is 44 at least as big as k?
True
Let k = -35/759 - 1/69. Let l be 58/(-29)*(-2)/4. Is k >= l?
False
Suppose 4*s = -h + 4294, 82*h = -2*s + 78*h + 2140. Which is smaller: s or 1075?
s
Let i be 2*-5*(-1)/2. Let p = -10 + 143. Let y = p + -129. Are i and y non-equal?
True
Let c(s) = s - 19. Let a be c(0). Let x = -11 - a. Let i = x - 8. Which is smaller: 4/11 or i?
i
Let l = -400 - -413. Let x(v) = 34*v**3 - 2*v**2 + v. Let s be x(1). Let w = l - s. Is w != -19?
True
Let p(q) = -q**3 + q**2 + q - 1. Let y(x) = -x**3 - 7*x**2 + 10*x - 3. Let w(s) = -2*p(s) + y(s). Let h be w(8). Let b be (-2)/8 - (-44)/304. Is h at least b?
False
Suppose 4 = -5*m - 11. Suppose -92 = 13*x + 142. Let u be (12/x)/(2/m). Does -0.4 = u?
False
Let c be 4/24*(-2)/33. Let i(k) = 20*k + 241. Let w be i(-12). Which is smaller: w or c?
c
Let d = -219 - -208. Is d at most as big as 11?
True
Let c(j) = j**3 - 10*j**2 - 4*j + 3. Let n be c(10). Let m = n - -20. Which is bigger: m or -16?
-16
Let a = 4 + -6. Let y = 44989/13 + -3463. Which is smaller: a or y?
y
Let v = 6 - -2. Let s(u) = -u**3 - 7*u**2 - 14*u + 4. Let o be s(-4). Let d be 14*(-2)/o*-3. Is d <= v?
True
Suppose -58*o + 64*o + 156 = 0. Which is smaller: -29 or o?
-29
Let n be 3/9 + 12/(-9) + 1. Which is bigger: 27 or n?
27
Let n = 10359 + -7417043/716. Let x = 8623/22196 - n. Which is smaller: x or 1?
x
Let t(q) = 7*q + 1. Let s be t(1). Let m(u) = 2*u**2 + 3*u - 2. Let o be ((-1)/(-2))/((-2)/12). Let l be m(o). Which is greater: l or s?
s
Let u be (-7 - -8) + 3*3/9. Suppose u - 5 = 3*i. Which is smaller: 37 or i?
i
Let b be 1 + 0 - (-19)/(190/(-820)). Which is bigger: -80 or b?
-80
Let u = -70791/65 - -1089. Which is smaller: 1 or u?
u
Let s = -26/27 + 184/135. Is -101 <= s?
True
Let g(a) = -2*a - 1. Let y be g(-5). Suppose 0 = 3*j - 5*j + y*j. Is j at most as big as -1/6?
False
Suppose 0 = 4*o + 20, 2*t - o = 3*o + 72. Let z = 1507 - 1483. Which is smaller: t or z?
z
Let m = -1737989/3 + 192920396/333. Let n = 98/9 - m. Is -1 greater than or equal to n?
False
Let v = 251 + -159. Let l = v - 24. Let p be ((-6)/88)/((-17)/l). Which is smaller: p or 1?
p
Suppose -10 = i - 5*v, 3*i - 10 + 26 = v. Let m = 1 + -6. Are i and m unequal?
False
Let t = -8 - -14. Suppose -4*a + t = -5*a. Let h(k) = k**2 - 36*k + 237. Let o be h(9). Is o less than or equal to a?
True
Let q = 0.08 + 0.17. Let h = q - 9.25. Is 0 at least h?
True
Let d(b) = 4*b - 1 + 7 - 5*b. Let x be d(4). Suppose -z = -x*z + 2. Is 6 > z?
True
Let a = -7.2 - -7.1. Let w be (-18)/(-4)*1*-6. Which is bigger: a or w?
a
Let y = -34 + 34. Suppose y*r = -r - 4. Is r > -4?
False
Let j be -2 - (146/(-28) - -3). Suppose 7*f - 5*f = -4*f. Is j less than f?
False
Let f = 8544 + -563935/66. Let i be (3/77)/(4/(-14)). Let u = f - i. Which is bigger: u or 0.7?
0.7
Let d be ((-4)/90)/(7*8/(-280)). Which is smaller: -69/8 or d?
-69/8
Suppose -4*z = -4, 7*n - 3*n + z - 757 = 0. Which is greater: 191 or n?
191
Let u = 2 - 1. Let a = -354/11 - -6361/198. Which is greater: a or u?
u
Let i be (4/(-8))/(76*2/16). Suppose -f + 4*l = 7, -2*l = -4*f - 0*l. Which is smaller: i or f?
i
Let p(l) = -6*l - 7. Let u = -25 - -16. Let d = u + 4. Let m be p(d). Which is smaller: 24 or m?
m
Let v be (2/(-4))/((-12)/49314). Let t = 2031 - v. Let p = t - -24. Which is greater: 3 or p?
3
Suppose -10 - 46 = 2*q. Let t = 8 - q. Let x be t/8*(-8)/(-21). Which is smaller: 1 or x?
1
Suppose -5*a - 25 = 5. Suppose 2*v - 2*v + 3*v = 0. Suppose v = -k - k - 2, 4*g = -k - 21. Which is greater: a or g?
g
Let r = 1.62 - -0.08. Let v = r + 18.3. Let a = -19.91 + v. Is -2/5 greater than a?
False
Suppose 2*l - 10 = -34. Let z be (1/2)/(l/(-88)). Let h = -4 + 7. Is h smaller than z?
True
Let p = -0.0792 - 0.0208. Which is greater: -792 or p?
p
Let u be (12/(-16))/(2/(-16)). Let b be u*((-3)/6 - -2). Are 39/4 and b nonequal?
True
Let f(v) = v**3 + 21*v**2 + 47*v + 140. Let w be f(-19). Does -34 = w?
False
Let x(g) = 16*g + 79. Let t be x(-5). Let b = -10/469 + 412/63315. Is b at most as big as t?
False
Suppose -3*g + 3*x - 9 = 0, g - 6*g - 2*x = 22. Let j be -3 - g/1 - 1. Which is smaller: j or -1/7?
-1/7
Let t(k) = -k - 8. Suppose 10 = -2*c - w - 3*w, 27 = -4*c - w. Let g be t(c). Let q(a) = 2*a - 20. Let h be q(11). Which is bigger: h or g?
h
Suppose v - 5*d - 2 = -6*d, -d = 0. Suppose t = -2*h, 5*h = 5*t - 12 - 3. Is v smaller than t?
False
Let s be (-17080)/(-12) - (120/(-18) + 5). Which is bigger: s or 1424?
s
Let p(q) = -q - 26. Suppose 77 = -9*i + 2*i. Let o be p(i). Which is bigger: -0.2 or o?
-0.2
Let x = -19 + 31. Let y be (-10136)/(-30) + (x - 15). Let j = -335 + y. Which is greater: j or 1?
1
Let j be (8/12)/(2 + 0)*-4. Let x(c) = c**3 + 1. Let z be x(1). Suppose 0 = -z*w - 2 - 2. Is w < j?
True
Suppose y + 124 = -5*w, 4*w + 111 = -4*y + 15. Which is greater: w or -53?
w
Let p be (-4)/10 - (-24)/10. Let y = -639 + 627. Do y and p have the same value?
False
Let u(p) = p**2 - 24*p + 22. Let y be u(23). Let t be (0 - 2) + y + (-58)/(-18). Is 0.03 > t?
False
Let z be (-14)/(-98) - 17/21. Let c be 1 - (-8)/(-18)*3. Which is bigger: c or z?
c
Suppose 3*h = 77 + 304. Suppose -h*i = -125*i + 2. Which is smaller: i or 6/53?
i
Let f = -32 + 33. Suppose 0 = -8*c + 7 + f. Suppose 0 = -4*q + 3*b + 16, 3*q - 21 + 4 = b. Is c > q?
False
Let b = -29.73 + 0.73. Let i = b - 9. Let c = -45 - i. Which is smaller: 2/7 or c?
c
Let x be 44/102 + (-6)/9. Suppose 4*m - 9 + 1 = 0. Suppose -5*z = -4*v, 3*v - z = -m*z. Is v >= x?
True
Let r = -6/49 + -80/147. Let v = 0.2403 - -1.3597. Which is smaller: r or v?
r
Suppose 6*m = 3*m - 3. Let a = 406 + -405. Which is greater: a or m?
a
Let u = -198 - -479. Is 283 < u?
False
Let o(q) = q**2 - 10*q + 11. Let t be o(8). Let u(i) = i**2 + 7*i - 4. Let n be u(t). Is n <= 1?
True
Let h(x) = -x. Let m be h(-7). Let u = m - 5. Suppose -2*p - 3*n + 44 = 3*p, u*p - 22 = n. Which is greater: p or 9?
p
Let k = -135 - -133. Are k and 7/4 nonequal?
True
Suppose -5 = -0*o + 5*o, -q + 4*o = -16. Suppose v + q = 2*v. Is v > 11?
True
Let r be (6/(-27) - 0) + 12/27. Let d = 1/60 - 5/12. Is d equal to r?
False
Let z = 158.9 + -161.9. Let l(t) be the first derivative of -t**3/3 + 3*t**2/2 - t + 1. Let f be l(2). Which is greater: z or f?
f
Suppose 0 = 3*u - 2*k + k - 10, -12 = -u - 4*k. Let h be u/7 - (-1476)/(-84). Let g = h - -17. Is g != 5?
True
Let g = 2.26 - -0.24. Let s = g - 2.3. Which is smaller: s or 0.14?
0.14
Let o = 8 - 2. Let n be 2 + (70/21)/((-2)/o). Are n and -4 equal?
False
Let x be 2/(1 + (-12)/16). Suppose -10*n = -x*n + 36. Let u be 4/n - 120/(-297). Which is bigger: 1/4 or u?
1/4
Let y be 2/6 + (-4)/12. Which is bigger: y or -3/5?
y
Let q = -152.5 + 141.4. Which is greater: -7 or q?
-7
Suppose -230*l = -221*l - 801. Is -5 at most l?
True
Let v = -18.002 + 18. Let p = 15.602 + v. Let n = 15 - p. Is 2/7 not equal to n?
True
Suppose 0 = -2*j + 5*j - 12. Suppose -2 - 46 = 4*u. Let i be (-2)/u*(j - 1). Is i greater than 2/15?
True
Suppose -3*d = -3*q - 2*q + 57, -3*q = -5*d - 47. Let f be ((-24)/q - 1) + 4. Is f equal to -16?
False
Let t be 14/(-7)*(-7)/(-2). Let o = 19 + -14. Suppose -19 = -d + o*y, 4*d + 0*d - 3*y = -9. Which is bigger: t or d?
d
Let y = -21 + 13. Let o be 8/(-31)*(-2)/y. Is o at least as big as 0?
False
Let z = 1.3 - 1.2. Let w be (-1 - (-14)/3) + -2 + 0. Which is smaller: w or z?
z
Let s = -63 + 16. Let g = 46 + s. Let n be (-1)/(316/(-8) + -2). Which is smaller: n or g?
g
Suppose -5 = -a + 1. Let i be 2/(-3) + 15*14/35. Which is smaller: a or i?
i
Let c be 11305/1650 + -6 + 10/55. Which is smaller: c or 2?
c
Suppose v = 26*v + 2375. Which is greater: v or -96?
v
Let g = 437.9 + -438. Let i = 3.3 + -1.3. Is i != g?
True
Let s = -937/2 + 111509/238. Let n = -1773/476 -