-12). Which is greater: -14/15 or u?
-14/15
Suppose -5*l + 4*d = 12 + 9, -3*l - 3*d + 9 = 0. Suppose 22 = 5*u - 3*p + 4*p, -4*p - 27 = -3*u. Suppose 0*m + 10 = u*m. Which is bigger: l or m?
m
Let x(i) = -i**3 + 11*i**2 - 26*i + 48. Let s be x(8). Is s less than 32?
False
Suppose 0 = -2*h + 4*f + 170, -10*h = -13*h + 5*f + 250. Is h not equal to 74?
True
Let p = 148/3 - 52. Let o(f) = -f**2 + 1. Let l(r) = 6*r**2 + r - 4. Let t(i) = -l(i) - 5*o(i). Let v be t(-2). Are p and v equal?
False
Let i(h) = -h + 10. Let u be i(10). Which is smaller: u or 1/378?
u
Let m(p) = -3*p - 41. Let u be m(-19). Let c be 2*(99/(-10) + u/40). Is -19 smaller than c?
False
Let a(z) = z**2 + 1. Let v(g) = 2*g**2 + 4*g + 3. Let i(f) = -4*a(f) + v(f). Let s be i(2). Which is smaller: -6 or s?
-6
Let q be (32/(-262))/(272/(-296)). Let c = 2/131 - q. Do c and 0 have the same value?
False
Let u be 15/(-9)*18/(-212). Which is smaller: 1 or u?
u
Let r be ((-2)/(-11) - 2/11)*-1. Suppose 90 = 5*q + 3*a, r = -0*q - 5*q + a + 110. Is q bigger than 20?
True
Suppose 16*u - 1560 = -5112. Is u at least -222?
True
Suppose 4*j = -5*w + 4, 5*w + 1 = -3*j + 4. Let i(t) = -t**2 - 3*t - 25. Let y be i(w). Let f = 24 + y. Is 2/13 >= f?
True
Let k(h) = -4*h + 11. Let w be k(5). Let q be (w/27)/((-2)/12). Let v = -943/4 + 237. Which is smaller: v or q?
v
Let w(j) = -j**2 - 17*j + 3. Let s be w(-14). Let f = s + -16. Is f greater than 29?
False
Let x = -872 + 1172. Is 300 greater than or equal to x?
True
Let z be (24/(-16))/(2/404). Which is greater: z or -304?
z
Let r = 1510/9 - 168. Let w = 906 + -904.1. Which is bigger: r or w?
w
Let m be (-2)/(32/(-24))*(-16)/2358. Is m less than or equal to 1?
True
Suppose 4*i - 6 = 58. Let p = 161 + -59. Let j = p + -87. Which is smaller: i or j?
j
Let q(v) = -v - 11. Let j be q(-13). Let x(m) = m - 16 + m**j - 2*m**2 + 16*m - 4*m. Let r be x(11). Is r less than or equal to 4?
False
Suppose 160*s + 5*z - 1460 = 165*s, 5*s + 1470 = 3*z. Which is bigger: 0 or s?
0
Let s(q) = q**3 + 2*q**2 - 8*q - 15. Let u be s(-3). Suppose c + 2*l - 5 = 0, 7*c - 5*l = 2*c - 20. Which is greater: c or u?
u
Suppose -21 = -7*y - 7. Suppose -2*i - 3 = o - 0, 7 = -3*i - y*o. Which is smaller: 1/10 or i?
1/10
Suppose p + 0*p + 5 = -r, 3*r - 1 = p. Let l be (-1)/(r - (-2 + 0)). Let f be l/2 + (-9)/(-6). Does -2 = f?
False
Let z be 14610/5688 + (-2)/3. Let i = 12/79 - z. Which is bigger: i or -1?
-1
Let s = 0.0558 + 139.9442. Which is smaller: 1 or s?
1
Let f = -777 + 867.1. Let g = f - 90. Which is bigger: g or 59?
59
Let f(y) = 2*y**3 - 62*y**2 - 64*y + 12. Let d be f(32). Is -32 less than or equal to d?
True
Let c be -3 + 36/(1 + 3). Suppose 0*v = -v - c*v. Is 1/53 bigger than v?
True
Let d be (-2)/2 + 10*2 + -4. Let n be 2/27*(-5)/(25/d). Is n at most 9?
True
Let z(t) be the third derivative of t**4/2 + 7*t**3/6 - 10*t**2. Let h be z(-1). Is -7 != h?
True
Let v = -746 + 686. Which is smaller: 0.3 or v?
v
Let b be 6 - -2*30/(-12). Is b equal to -1/123?
False
Let w = -1/4 - 41/12. Suppose 5*a + 4*q + 10 = 0, -2*a + 4*a + 4*q = -16. Suppose -3 = a*j + 5. Is j < w?
True
Let c(g) = -g - 102. Let b be c(-19). Is 2 greater than or equal to b?
True
Let d(s) = s**3 + 12*s**2 - 15*s - 55. Let j be d(-10). Is 293 bigger than j?
False
Let y be 5 - (3 - 69 - -6). Does 64 = y?
False
Suppose -4*k + 27 = -4*m - k, 2*m = -k - 1. Is m <= -27/10?
True
Let c(j) = -2*j - 2. Let v be c(-2). Suppose 2*y = y + v. Let w = -12 - -8. Is y at most as big as w?
False
Let m = -26755426/905 - -29564. Is 0 bigger than m?
True
Let o(p) = 22*p**2 + 1. Let k be o(2). Let f = k - 533/6. Let a be (-2)/2*(-2)/(-6). Is a equal to f?
False
Let h be 41/(-30) - (-9)/45. Let d = 2/3 + h. Let p(z) = -z**3 + z. Let b be p(0). Is d greater than b?
False
Let l = 2556 - 2552. Let j = 194/5 - 38. Which is greater: l or j?
l
Let v(a) = a**2 + 12*a + 5. Let d = -6 + -5. Let y be v(d). Which is smaller: y or -5?
y
Let g(p) = 3*p - 12. Let w be g(4). Let r be (w/(-2) + -1)*(-85)/(-51). Is 7 at least r?
True
Let p = 468 - 811. Is -1 less than p?
False
Let v = -5 + 1. Suppose 36*s + 84 = 24*s. Is v bigger than s?
True
Let c(z) = -11*z**3 + 3*z**2 + z - 4. Suppose 0*w + 5*w = -2*k - 11, 2 = -5*k - 4*w. Let r be c(k). Is -1 less than or equal to r?
False
Let c = -3 - -4. Let k be (-4)/(-8*(-35)/20). Are c and k nonequal?
True
Let x be ((-8)/((-160)/2))/(7/70). Which is bigger: x or -3/1073?
x
Suppose 582*u - 66 = 588*u. Which is smaller: u or -37/3?
-37/3
Let v = 19.9 - 17.9. Are 92 and v non-equal?
True
Let r be (-4879)/328 + 2/(-16). Let v be 15/(((-4)/1)/4). Is r != v?
False
Let o(g) = -g**3 - 18*g**2 + 3*g + 54. Let f be o(-18). Which is bigger: f or 2/197?
2/197
Let u = 100/29893213 + -23459236995084/4633448015. Let k = u - -5063. Is k less than or equal to 0?
True
Let o = -1431.2 - -1431. Is o bigger than 14/3?
False
Let z be 21/(-3) - (-12)/6. Let x = z - 12. Which is greater: x or -0.2?
-0.2
Let b = -131 + 130. Let h = 20 - 19.56. Let q = -0.4 + h. Are q and b non-equal?
True
Suppose -3*h + 3*l + 2 = -4, 3*l = -h - 2. Suppose -h = -j + 4. Suppose -s = -k + 4*k - 7, -4*s + j*k = 6. Which is smaller: 6 or s?
s
Suppose 0 = -0*l - l + 6. Let t be (2/8)/((-2)/l). Let w be (0 - -16)/(-8) - (-2 + 1). Which is smaller: w or t?
w
Suppose -5*n + 40 = -0*n - 5*b, 0 = -b - 1. Let r = n - 6. Suppose o + r + 2 = 0. Is o less than or equal to -2?
True
Let x(d) = 248*d**3 + 2*d + 3. Let p be x(-1). Is p not equal to -247?
False
Let d(u) = -u + 3. Let x be d(3). Let s = 5 - 4. Let m = x - s. Which is smaller: m or -3/5?
m
Let o = 46 - 6. Suppose 4*j = -o - 0. Which is greater: j or -7?
-7
Let i be (0 - (-70)/(-21))/(2/(-3)). Suppose -i*m - 4*d = 38, m = -4*m + 5*d - 65. Which is bigger: m or 0.1?
0.1
Let u = 10706599/882 + -12139. Is -1 smaller than u?
True
Let u = -78 - -84. Which is smaller: u or -5?
-5
Let y be 3/(-6) + (-9)/(-2). Suppose 4*u - 2*u + 14 = -y*f, -2*u - 18 = 5*f. Which is bigger: 0.05 or u?
u
Let q = -81 + 180. Let o = q + -36. Is o smaller than 63?
False
Let h = -26 + 306/11. Suppose 6 = 2*p - 0. Which is greater: h or p?
p
Suppose -o = -3*j - 0 + 12, -24 = -3*j + 5*o. Let x(k) = k - 2. Let b be x(3). Is b != j?
True
Let b = -6798 + 1556744/229. Let f = -0.1 + 0. Which is smaller: f or b?
f
Let z = 3/1643 - 3661/205375. Let j = z - -391/1000. Let i be (-3)/9*(2 - -1). Are i and j non-equal?
True
Let a be (6/15)/(((-19)/(-20))/(-19)). Which is bigger: -62 or a?
a
Let x(a) = 45*a**2 + 3*a + 8. Let b be x(-4). Let g = b + -68735/96. Which is smaller: 1 or g?
g
Let z = -134.6 - -134.574. Let n = -1.04 - -0.04. Is n > z?
False
Let h be ((15/60)/(1/20))/2. Which is greater: 0.005 or h?
h
Let d = 73 - 69. Suppose -d*g - g = -20, 2*b - 2*g = 0. Do 6 and b have the same value?
False
Let v = 2011 - 22141/11. Which is smaller: 1/3 or v?
v
Let d be ((-220551744)/150)/(6/5). Let n = d - -52858718027/43140. Let p = 1/719 - n. Is 4 equal to p?
False
Let y = -75 + 77. Which is greater: y or -21?
y
Suppose 5*o - 19 = -3*q, -2 = -0*o + 5*o - 4*q. Suppose -o*a + l - 4*l - 16 = 0, -20 = 4*a + 3*l. Which is smaller: 27 or a?
a
Let i = 0.39 - -0.59. Let q = -0.9 + i. Let o = 0.12 + q. Is -4 at least as big as o?
False
Let y = 170 - 163. Which is smaller: -8 or y?
-8
Let m = 52/237 + 2/711. Is m at least as big as 10?
False
Let t = 444 - 4890/11. Which is greater: 0 or t?
0
Suppose 118*q = -5*u + 123*q + 25, -q = -5*u + 21. Which is smaller: -5 or u?
-5
Let n = 109 + -435/4. Suppose -12 = 2*j + 3*a, -4*j - 4*a - 16 = j. Suppose j = -3*c - y + 26, 0 = -c + 4*c - y - 28. Which is smaller: n or c?
n
Let k = 69/8 - 865/104. Suppose 3*d + 9 = -0*d. Is k greater than d?
True
Let v = 10.01 - 10. Let p = v - 0.51. Let z = p - -0.6. Does -2 = z?
False
Let g be 214/3 + (46 - 39). Is g at most 79?
True
Let x = 188265 + -1319950/7. Let s be (-5396)/(-18) + (-4 - (-38)/9). Let h = x + s. Which is smaller: 0 or h?
0
Let o(q) be the first derivative of -5*q**4/4 - q**3/3 - q**2/2 - 2. Let z be o(-1). Let g = -162 + 166. Which is greater: z or g?
z
Suppose -2*i - 8 = -4*l, -2*i = -5*l + 3 + 6. Let q be 18/45*-10 - -5*l. Which is smaller: -3/29 or q?
-3/29
Let d = 65.2 - 64.8. Let q be (-10)/(-12) + (-2)/4. Which is greater: d or q?
d
Suppose 2*m - 17 = 