or g?
g
Let r(m) = -m**3 + 2*m**2 + 8*m + 2. Let x(u) = u + 26. Let q be x(-22). Let b be r(q). Is b at least 3?
False
Suppose -30*x = -29*x. Let c = -8643/35 + 247. Are x and c equal?
False
Suppose f - 83 = -8. Let u = f - 34. Is 41 greater than u?
False
Let w = -124.2 - -124.96. Which is bigger: 1/2 or w?
w
Let x = 174 + -861. Is -687 at most x?
True
Let s be (3/(-4))/(7/28). Let l = 2 - -12. Let m be (-48)/l*(-2)/(-3). Which is smaller: m or s?
s
Let m(n) = -n**3 - 3*n**2 - 2*n - 8. Let q be m(-5). Let s be q/(-48) + (-12)/(-16). Is 0 at most as big as s?
False
Let d = -496 + 487. Which is greater: d or -45?
d
Let x be (-1)/(-1 + 0) - -1. Let t be ((-2 + -1)/12)/((-3)/6). Which is bigger: x or t?
x
Let n = 53 + -38. Suppose b - 5*c = n, -b - b = -c - 30. Suppose 2*y - 3*r = y + 9, -5*r - b = 3*y. Is 1/5 bigger than y?
True
Let w be ((-9)/(-66))/((-27)/144). Is 0 less than w?
False
Suppose -24 = 2*o + 2. Let c = -44 + 30. Which is bigger: c or o?
o
Let p = 74 - 517/7. Suppose -5*q - 5*t - 40 = 0, 3*q - 5*t = 4*q + 20. Let k be -1 + -1 + -1 - q. Which is smaller: p or k?
p
Let n be 8/12 + (-1586)/678. Let z = -2/339 - n. Which is bigger: 2 or z?
2
Let u be 11*(216/(-16) + 6). Which is smaller: u or -84?
-84
Let i(o) = 3*o**3 - 3*o**2 - 8*o + 6. Let q be i(5). Let m = 1334/5 - q. Do 2 and m have the same value?
False
Let s = -209 - -209.6. Suppose -c = 2*c + 45. Let t be (3/c)/(1*-1). Which is greater: t or s?
s
Let r be (-11484)/(-639) + -11 - 7. Which is greater: -9 or r?
r
Suppose 80*v - 76*v + 68 = 0. Let q = -134/3 - -44. Which is smaller: q or v?
v
Let y(q) = 5*q - 7. Let b(p) = 9*p - 13. Let k(x) = 4*b(x) - 7*y(x). Let s be k(3). Is s <= -3/5?
False
Let g(i) = -2*i**2 + 10*i - 2. Let k be g(5). Let d be k/10 - (-39)/45. Which is smaller: 2 or d?
d
Suppose 4*t = -3*n + 22, -3*n + 2*n + 3*t - 10 = 0. Suppose n*b + 15 = 7*b. Let v be (1/b)/(4/15). Do v and 1 have the same value?
False
Suppose b + 4 = s + 1, s = 4*b + 18. Let y be s/16*-4*10. Let v be (y/(-165))/(1/(-6)). Which is smaller: 0 or v?
0
Let c = 36 - 31. Suppose -z - 11 = c*k, -k + 4*z = 2*z. Which is smaller: -11/6 or k?
k
Let l be (-5)/20 - 189/12. Let f = -43 + 72. Let u = -45 + f. Is u at most as big as l?
True
Let x(f) = -18*f + 911. Let u be x(53). Which is smaller: u or -31?
u
Let g be (360/50)/(6/(-15)). Which is smaller: g or -12?
g
Let x(o) = 14*o - 12. Suppose 0 = -7*j + 5*j + 3*w + 6, 4*j = -4*w + 12. Let y be x(j). Is 32 less than y?
False
Let z(x) = 79*x - 1. Let d be z(-1). Let i be (-2)/(d/(-6)) - 0. Let u = i - 27/20. Are u and -3 non-equal?
True
Let z(c) be the first derivative of -15*c**2/2 - 3*c + 1. Let l be z(19). Let r = l + 3162/11. Is 1 greater than or equal to r?
True
Let c(a) = 3*a**2 - 36*a + 34. Let b be c(11). Which is smaller: -6/125 or b?
-6/125
Let k = 4 - 3.98. Let r = k + -0.09. Let d = r + 0.17. Is 0.05 less than d?
True
Let s = -47 + 52. Suppose m - 36 = -2*m + s*a, 4*a = -3*m + 9. Which is greater: 5 or m?
m
Let k(g) = 8*g**2 - 47*g - 5. Let n be k(7). Which is smaller: n or 1/2?
1/2
Let j = 1182 + -1567. Which is smaller: -1 or j?
j
Let g = 94 - 45. Let r be 1404/30 - (-24)/20. Which is smaller: g or r?
r
Let b = 595 - 596. Is b greater than or equal to 2/147?
False
Let j(a) = a**3 - 4*a**2 + 4*a - 3. Let o be j(2). Suppose 16 = 5*t - 3*w, t - 2*w + 11 = 2*t. Let s = t - 6. Which is bigger: o or s?
s
Let m = 695/408 + -4/51. Is m bigger than 2/3?
True
Let h = -5.6 + 5.61. Let k be 2/(-3) - 368/(-48). Let u = k + -8. Which is bigger: h or u?
h
Let a = -97 + 34. Let p = -58 - a. Is p greater than 7?
False
Let n(x) = 7*x**3 - x**2 - x + 1. Let d be n(1). Let f be ((-16)/d)/((-1)/(-3)). Let z be (-2)/(f/4) - 6. Which is smaller: -2 or z?
z
Let k = 0 + -5. Let b(s) = s**3 + 6*s**2 + 6*s + 5. Let m be b(k). Let p = m - 1. Is p equal to 2/15?
False
Let n = -26 - -39. Let x = n - 11. Suppose 3*u = -5 + x. Is u at most -3/7?
True
Let t = 373 - 362. Let a(i) = 4*i**2 - 2*i - 2. Let k be a(2). Is t < k?
False
Let v = -355 + 1423/4. Is v greater than -1.6?
True
Let o be -21*1*12/(-24). Let a = -47477/14 + 3381. Let g = o + a. Is 1 greater than or equal to g?
True
Let w = 21 + -13. Let t(a) = a**3 - 7*a**2 - 8*a - 3. Let o be t(w). Let d = 1 + -2. Which is smaller: d or o?
o
Let f = 60 + 2.9. Let r = f + 0.1. Which is smaller: r or -1/3?
-1/3
Let s be 1/3 + 315/27 + -12. Which is bigger: s or -1/181?
s
Suppose 94 + 35 = -3*m. Let b = 44 + m. Which is smaller: b or 2/3?
2/3
Let q(l) = -l**3 - 8*l**2 + l + 9. Let z be q(-8). Is z < -17?
False
Let s = -0.6 - -0.3. Let h = -0.36 - 0.44. Let o = h - 0.2. Which is greater: s or o?
s
Let d(b) = -14*b. Let q be d(-1). Suppose -a + 4*w + 6 = a, 4*a = -5*w - q. Let i be (-48)/(-88) - (29/(-66))/((-9)/18). Which is greater: a or i?
i
Suppose -2*x + 4 = 3*u, -2*x + 7 = x + 4*u. Let l(v) = -x*v + 5*v - v. Let a be l(3). Which is smaller: a or -4?
-4
Suppose 5*l = -4*a - 59, 5*a + l = 2*a - 36. Let s = a + 12. Which is smaller: -4/11 or s?
-4/11
Suppose 4*j + 12 = -2*l, 3*j + 2*j + 15 = l. Let o(z) = -z**3 + 8*z**2 - 11*z + 30. Let d be o(6). Suppose l = 2*g - d + 6. Which is bigger: g or 16?
16
Let b = -42 - -169/4. Let h = 87 - 166. Let r = h - -79. Which is bigger: r or b?
b
Let o = -0.53 - -0.03. Let p = 735.5 - 736. Is p less than o?
False
Let j = -353 - -349. Do -9 and j have the same value?
False
Let j = -45 - -46.2. Let m = 5.8 + j. Which is greater: 0.03 or m?
m
Let m(k) = 41 + 3*k + 6*k - 1 + 15. Let f be m(-6). Which is smaller: 5/11 or f?
5/11
Let s(o) = o**2 + 9*o - 5. Let i be (2/6)/((-1)/(-30)). Suppose a + i = -3*t, -5*a - 4*t - 50 = -11. Let f be s(a). Is f >= -18?
False
Let k = 56 - 129. Is -67 greater than or equal to k?
True
Suppose 9 = 5*c + 157*h - 161*h, 0 = -3*c - 2*h + 1. Which is bigger: 2/2265 or c?
c
Let f = -239 - -279. Let j = -13 - -14. Do f and j have different values?
True
Let u = 362 + -363. Which is greater: -5/31 or u?
-5/31
Let q = -154 - -633/4. Let o = 0.02 + -1.02. Are o and q nonequal?
True
Suppose 12*f - 369 + 117 = 0. Let m = -6 - f. Which is smaller: 0 or m?
m
Let i be -4 - (7/(-182))/(2/244). Which is greater: 0 or i?
i
Let v be -3 + 3/15*0. Suppose 3*m - 4 = -22. Is m greater than v?
False
Let p(f) = f**2 - 3*f. Let l be p(5). Suppose -4*x - s + 0*s = l, -4*x + 5*s = 22. Let k be (-2)/17 - 4386/2023. Which is greater: k or x?
k
Let c be ((-26)/12)/((-1)/(2 - -1)). Which is bigger: -10/11 or c?
c
Suppose 0 = 5*i + 15 - 5. Do i and -11 have the same value?
False
Let z = -8.015 - -8. Let v = 0.085 - z. Let t be (((-6)/(-13))/3)/1. Is t equal to v?
False
Let v be (-4 + (-42)/(-9))*(-9)/6. Is v less than -2?
False
Let d be 8/(-36)*2 - (-644)/1125. Which is greater: d or -1?
d
Suppose 63 - 3 = 15*j. Suppose 4*o = 2*o + 14. Do o and j have the same value?
False
Suppose 0 = -5*j + 6 + 14. Let b(n) = 4*n**2 + 3*n + 2. Let f(u) = -13*u**2 - 10*u - 7. Let p(i) = 7*b(i) + 2*f(i). Let z be p(-1). Is j <= z?
False
Let h = -15687/107 - -2484059/1498. Let q = h - 1511. Is q < 1?
True
Let j = -21031/26 + 809. Is j smaller than 0?
False
Suppose a - 25 = -a + 3*m, a + 1 = -3*m. Let n(o) = -30*o - 14 + 32*o - a. Let d be n(9). Does -4 = d?
True
Suppose 2*v - 12 = -2*f, -117*f - 2 = -118*f - 5*v. Let h(i) = -i**2 + 3*i - 1. Let n be h(3). Let p be (n*1)/((-2)/16). Is f < p?
True
Let u = 20 - 22. Let h = 0 + 2. Which is bigger: u or h?
h
Suppose -4*u + u + 51 = -t, 4*t - 4*u + 164 = 0. Which is bigger: -42 or t?
t
Let p = -38.49 + 0.49. Let h = p + 32. Which is greater: h or -2/7?
-2/7
Let l = 1028 - 1028.41. Is 1 bigger than l?
True
Let w = 16.62 + 0.38. Let i = 40.1 - -6. Let s = -46 + i. Is w equal to s?
False
Let h(n) = -91*n**3 + n**2 + 25*n + 24. Let p be h(-1). Which is smaller: 632/7 or p?
632/7
Let p(v) = 42*v + 207. Let t be p(-3). Is 82 smaller than t?
False
Suppose -5*n - 1584 = -4*c, 3*n - 4*c + 340 = -604. Is n equal to -321?
False
Let s(i) = -124*i**2 - 4*i + 5. Let r be s(1). Which is greater: -121 or r?
-121
Suppose -x - 3*x + 5*m + 63 = 0, -4*x = -3*m - 65. Suppose x*f - 13*f = 648. Let h = f - 1780/11. Is 1 bigger than h?
True
Let w(q) = -q**2 + 5*q + 9. Let v be w(6). Let b be 45/(-23) - (-4 + v)*2. Does 1 = b?
False
Let q = -0.3346 - -0.0346. Which is smaller: 0.69 or