351 - -80/27. Which is smaller: u or -9?
u
Let d = -16 + 16. Let a be 18/24 - (0 - d). Is 2 not equal to a?
True
Let m = -174.6 + 140. Let i = m + 36. Is 1/4 >= i?
False
Let q = 3033 + -1444. Is q not equal to 1589?
False
Let k be ((-126)/12)/7 + 1/2. Let w be k - 15/(-18) - (-3443)/66. Is w < 52?
False
Suppose -34*y = -60*y - 364. Which is smaller: y or 0.05?
y
Let q = -0.1 + 0.4. Let x be 32/(-18) + 2/(-9). Let u be 4/8*(x - -1). Which is bigger: u or q?
q
Suppose 0 = 5*c - 6*c + 150. Which is smaller: c or 151?
c
Let v(q) = q**3 + 14*q**2 + 13*q + 2. Let d be v(-13). Suppose -38 = -5*z + d. Which is bigger: 9 or z?
9
Let s be -1*(12 - 2/1). Let g = s - -19. Suppose 0*y + g = -y. Is -8 smaller than y?
False
Let l = -11.56 - -6.56. Do -141 and l have different values?
True
Let y(i) = 38*i - 676. Let b be y(0). Is -678 less than b?
True
Let v be ((-3)/(-2 - 1))/1. Let y(b) = -7*b**3 + 5*b**3 + v + 3*b - 5*b. Let p be y(1). Is -3 greater than or equal to p?
True
Let w = 355 - 355. Which is bigger: -19 or w?
w
Let p = -3230/3 + 1077. Do p and 83 have different values?
True
Let r be -2*2/4*0. Suppose -12 = 4*o - r*o. Let g be (-1 - 6/o) + 1. Are g and 2 non-equal?
False
Let n be 3/(-4*(-21)/(-2072)). Is n greater than -74?
False
Let s = -77 - -116. Let r = -25 + s. Let l = -10 + 23. Which is greater: l or r?
r
Let s = -5 + 6. Suppose n + s = -1. Let l = -1.8 - -0.8. Is l at least as big as n?
True
Suppose -280 = -699*i + 704*i. Is i < -56?
False
Let n be (7/4)/(3/12). Let s(c) be the first derivative of c**3/3 + c**2 - 9*c - 5. Let m be s(-5). Which is bigger: n or m?
n
Let l(b) = 109*b + 166. Let x be l(5). Is x at least 711?
True
Suppose 4*b + 1 + 11 = 0. Let p = -1 + b. Which is bigger: p or -7?
p
Let o(y) = 33*y + 192. Let d be o(-11). Is d greater than or equal to -169?
False
Let x be 3/(-30) + (4 - -2 - 5). Is x < -2/23?
False
Let w(j) = -j**2 - 5*j - 4. Let f be w(-3). Suppose -o = 3*o - 24. Let s = -3 + o. Which is bigger: f or s?
s
Let o be (-13)/(-364)*12/(-10). Let m = 113/630 - o. Which is greater: m or 1?
1
Let g = 0.027 - -46.973. Let u = -47 + g. Which is smaller: u or -2/17?
-2/17
Let m = 5150 + -5149. Let d be 1/(-2) + (-1)/2. Let p be d/(-2) + 81/6. Which is greater: m or p?
p
Suppose 0 = -2*i + 102 + 78. Let o = i + -57. Is 33 equal to o?
True
Suppose 0 = -2*q - 10, -q - 35 = 2*y + 4*q. Let b be (-2)/3*(-15)/y. Which is bigger: b or -2/11?
-2/11
Let m be 2/(-4)*9*1056/72. Which is greater: -131/2 or m?
-131/2
Let t be (-2 - -11)/(9/6). Suppose u = y + 3, 5*u + y + t = 15. Let l be u/2 + (-6)/4. Is l at least -1?
True
Suppose 4*c - 85 = -29. Suppose -x + c = -3*l, 0*l - 20 = 5*x + 3*l. Let p be (-1 - 0) + 2/10. Which is smaller: p or x?
x
Let q(t) = t**3 - 15*t**2 - 22*t - 26. Let l be q(16). Are l and 1 non-equal?
True
Suppose 3*c = 5*c - 6. Suppose -c*i - 16 = -7*i. Which is smaller: i or 11/3?
11/3
Let h = 177/52 - 13/4. Let x(r) = -3*r**2 - r - 7. Let u(m) = 4*m**2 + 7. Let z(l) = 4*u(l) + 5*x(l). Let f be z(6). Does f = h?
False
Let l(t) = t**3 + 10*t**2 - 22*t - 41. Let q be l(-12). Are q and -69 equal?
False
Let f be (6/9)/(20/(-385)). Let h = f + 52/3. Let a = 61/14 - h. Which is bigger: a or 1?
1
Let b = -0.0617 - -124.0617. Which is smaller: 1/4 or b?
1/4
Let t = 4839/4 - 1210. Is 227 > t?
True
Let k = 46 - 22. Let f be -5 - 126/(-24) - 2/k. Is f at most as big as -1?
False
Let z = 1.8 - -1.3. Let s = z - -0.1. Let f = 3 - s. Is -1 equal to f?
False
Let f = -851 + 871. Which is smaller: 0.05 or f?
0.05
Let l = 84892.0643 - 84888. Let i = l + 0.0657. Let k = 0.13 - i. Which is bigger: 2 or k?
2
Let v = -18 - -20.1. Let k = 0.2 + -0.1. Let r = k - v. Is 0 > r?
True
Suppose 0 = -6*b + 67 + 5. Suppose -b*k + 13*k = -7. Let p(r) = -r - 4. Let y be p(k). Is y equal to 4?
False
Let n(i) = 4*i + 31. Let x(l) = l + 3. Let c be x(-11). Let m be n(c). Is m at least as big as -2/209?
False
Suppose 11*x = 19*x - 12*x. Is -12/67 less than x?
True
Let s be 32/(-35072)*(2 + -7 - -1). Do 1 and s have the same value?
False
Let s be (-598)/(-240) - (-6)/45. Is s != 4?
True
Let r(c) = 19*c**2 - c + 1. Let q be r(-1). Let p(i) = 9*i + 4. Let k be p(-3). Let t = k + q. Which is smaller: t or -1/2?
t
Let q be (-17475)/36*4/26820. Let s = 1/596 - q. Let c(t) = t**3 + 4*t**2 - 5*t + 1. Let i be c(-5). Is s bigger than i?
False
Let n = -2001 - -1813. Is n greater than -188?
False
Let l = -0.0506 + -0.0494. Which is smaller: -22.5 or l?
-22.5
Suppose -5*u - 14 = 11. Let a(p) = 2*p - 11. Let k be a(2). Which is smaller: k or u?
k
Suppose -t - 5*c = -6, -3*t + 0*c - 5*c = 2. Is -41/15 equal to t?
False
Let a = -673 - -393. Which is greater: a or -278?
-278
Let w be (-3)/(12/(-20))*(-6)/5. Suppose x + 3*d = -0*d - 10, 4*x - 5*d + 108 = 0. Let c be (-26)/x + 8/(-44). Which is greater: w or c?
c
Let l be -2 + (-15)/(-6) + (-519)/6. Let g = -118180/63 - -12540/7. Let t = l - g. Is -3 greater than t?
False
Let d(a) = -2*a**2 - 4*a + 6. Let z be d(-5). Let y(k) = k**2 + 125*k - 674. Let s be y(5). Is s greater than z?
False
Let i = -1026 - -259576/253. Which is smaller: -1 or i?
-1
Let c be (-3)/((-40)/13 - -3). Let r be c/18 + (-8)/12. Suppose 0*b + 2*b = 2. Which is smaller: r or b?
b
Let n(b) = -30*b**3 + b**2 + b + 2. Let d be n(-1). Suppose 0 = -11*z + 3*z + d. Which is smaller: 44/9 or z?
z
Suppose 3 + 3 = -3*c + 2*z, 0 = -3*c - 5*z + 15. Is c greater than or equal to 33/37?
False
Suppose 0 = r + 4*l + 34 + 22, -137 = 2*r + 3*l. Is -77 smaller than r?
True
Let s = 161 - 337. Which is smaller: -2 or s?
s
Let y = 55 - 55.8. Let m = 100/561 - -2/561. Which is smaller: y or m?
y
Let q be 10/(7 - -13) - 54/(-4). Is 14 <= q?
True
Suppose 4 = 3*g + 10. Let d = 9 - 5. Let n be 10/15*(-6)/d. Is g < n?
True
Let s = 309 + -272. Is 184/5 <= s?
True
Let y = 788 + -1103. Let q be 3/((y/33)/(-5) + -2). Is -33 greater than or equal to q?
True
Let u be ((-14)/8)/(1/4). Let q = -5927/773 + 2/2319. Is u equal to q?
False
Let r = 39/8 - 161/8. Which is bigger: -15 or r?
-15
Let i = 86 - 77. Suppose -3 = i*a - 57. Let q be (-100)/(-16) + (-2)/8. Is a >= q?
True
Let g = 98 - 57. Let w = 48 - g. Which is smaller: w or 5?
5
Let r(w) = -w**3 - 13*w**2 - 2*w - 22. Let v be r(-13). Let h be 18/129*-1*v/12. Which is smaller: 1 or h?
h
Let u = 11.6 - 8. Is 1 <= u?
True
Let u = 14 - 13. Let r = 126 - 115. Which is smaller: u or r?
u
Let y(h) = 12*h**2 - 1. Let i(s) = -2*s**2 - s. Let k be i(-1). Let p be y(k). Let b = -12 + p. Which is smaller: -3 or b?
-3
Let f(j) = 5*j**2 - 41*j + 51. Let i be f(7). Which is greater: i or -0.79?
i
Let j be (5 - 7) + 2 + -3. Does 11 = j?
False
Let w = 25.34 + -0.34. Let j = w + -11. Let z = j - 13. Is z greater than 0.06?
True
Let p = -1353 - -1391. Is p < -7?
False
Suppose 16 = -2*q + 3*p, -4*q + 4 = 2*p + p. Let r = q - -7. Suppose 32 = 3*b + 4*g, -5*g - r = -5*b + 25. Is b at most 8?
True
Let w be 6/((8/8)/(28/3)). Which is smaller: 57 or w?
w
Let y = 4 - 4.1. Let r = -102 + 3572/35. Which is smaller: y or r?
y
Let f = 196 + -983/5. Suppose -4*d - 20 = o, -3*d + 2*d - 5 = 5*o. Let l be ((-1)/d)/((-4)/(-20))*-1. Which is smaller: l or f?
l
Let b(c) = c**3 - 19*c**2 + 40*c + 21. Let a be b(17). Let q = -112 + a. Which is bigger: 14 or q?
14
Let z(k) = -3*k + 3*k - k + 3 + 2. Let l be z(-4). Which is greater: 8 or l?
l
Let b be (-6)/(-4) - 2*(-19922)/(-56). Is -710 greater than or equal to b?
True
Let b(v) = -v**3 - 4*v**2 - v + 1. Let g be b(-3). Let h be (-46)/g*640/(-56). Let s = -105 - h. Is s > -1?
True
Suppose 3*k + 623 = -4*q, -5*k - 20 - 605 = 4*q. Let b = q + 156. Which is bigger: b or 8/27?
b
Let p be (18/8 - 2) + (-221)/612. Which is smaller: p or -4?
-4
Let m = 10711/4 + -2679. Which is bigger: m or 0?
0
Suppose 0*t + 102 = 2*t. Suppose 71 - 19 = l. Which is smaller: l or t?
t
Let o = 23436 - 305478/13. Which is smaller: o or -61?
o
Suppose -112 = -20*l + 208. Is l at most 16?
True
Let v = -25.1 - 1.9. Let f = v - -12. Let y = 15.3 + f. Is -2/3 at most y?
True
Suppose -37 = -6*a + 11. Let n be (2/5 + 0)/(a/40). Do n and -4/3 have different values?
True
Let l be (7/(-119))/((-2)/(-4)). Let w(s) = -s + 1. Let y be w(1). Suppose y = 11*q - 16*q. Which is smaller: q or l?
l
Let n = 293/3185 - 3/49. Which is smaller: n or -10?
-10