7981/29. Let f(t) = -t**2 + 3*t - 1. Let h be f(2). Is z at least as big as h?
False
Suppose v = 2*v - 7. Suppose -3*w - 24 = -v*w. Let h be -14 + w/((-9)/3). Which is smaller: h or -15?
h
Suppose t - 11 = -89. Which is greater: t or -79?
t
Suppose -1568 + 236 = -l. Let s = l + -17306/13. Which is smaller: s or 0?
0
Let c(h) = h**2 - 2*h - 79. Let a be c(10). Which is bigger: 2/595 or a?
a
Let m(z) = -z**2 - 19*z - 4. Let n be m(-18). Suppose 4*o - 80 = -0*o. Suppose -3*u - o = -n. Is u greater than or equal to 2/9?
False
Let m(f) = 21*f + 173. Let u be m(-8). Which is bigger: 48/11 or u?
u
Let j = 204/11 + -1118/33. Let q = -15 - j. Let b(o) = -o - 2. Let n be b(-2). Which is greater: n or q?
q
Suppose 0 = w + c - 306, -3*w - 72*c + 906 = -73*c. Which is greater: 301 or w?
w
Suppose q - 44 - 26 = 0. Is 71 < q?
False
Let s be (9/(-72))/(1 + 0 + 0). Let x = -2 + 2. Suppose x = -q + 1. Which is smaller: s or q?
s
Let z = 4 - -3. Let j be 22/z - (-6 - -7). Is j less than or equal to 2?
False
Let o(m) = m**3 - 27*m**2 - 42*m - 16. Let q be o(29). Which is greater: 447 or q?
q
Let j be (-3)/(-15) + 1 - 1. Which is greater: -125 or j?
j
Let g = 1043 - 1043. Is g greater than or equal to 24/47?
False
Let u(x) = -x**3 + 12*x**2 + 3*x + 13. Let g be u(12). Are g and 45 nonequal?
True
Suppose -4*i + 5*v = 2*v + 87, i + 22 = v. Which is greater: i or -19?
-19
Let a = 66 - 87.2. Let y = -0.0138 + -20.9862. Let q = y - a. Which is bigger: q or 2/13?
q
Let u be -17 - 5/((-10)/4). Suppose 8*k - 4*k + 60 = 0. Is k > u?
False
Let x = 13 - 20. Suppose 38 - 110 = -4*l. Suppose 3*n + l = -0*n. Is n bigger than x?
True
Let b(p) = 6*p + 16. Let x be b(17). Let n = 83 - x. Is -35 < n?
False
Let m(a) = -4*a + 7. Let p(y) = -2*y + 3. Let n(c) = -6*m(c) + 13*p(c). Let w be n(-5). Let t be (w/(-28))/((-3)/(-4)). Do -1 and t have the same value?
False
Suppose -q - q = 6. Let u(f) = -13*f - 15. Let m(s) = 7*s + 8. Let r(d) = -11*m(d) - 6*u(d). Let z be r(q). Which is greater: z or 2/55?
2/55
Let s = 2/71947 + 74321243/287788. Is s not equal to 258?
True
Let s = 109 - 153. Let i = 310/7 + s. Which is smaller: i or -0.12?
-0.12
Let x(k) = -3*k**3 + 5*k**2 + k + 9. Let d be x(5). Let g = 17702/75 + d. Is -1 at most g?
True
Let y = 26 - 26.1. Let z = 4 + -20. Which is greater: y or z?
y
Suppose 3*u - 1 = 2. Suppose 2*f - 4 = 2*c - 0*c, -5*c - 13 = -2*f. Which is greater: c or u?
u
Suppose -76 = -4*p - 604. Are p and -132 nonequal?
False
Let y(m) = -m**3 - m**2 - 4*m - 3. Let d be y(-2). Let g be d/15 + (-4)/(-10). Is -2/61 not equal to g?
True
Let l = 40 - 38. Suppose 2*w = k, -l*k - 2*w - 2*w - 24 = 0. Does 2 = k?
False
Suppose -2*x - 20 = 2*i - 4*x, 0 = 4*i - 2*x + 36. Let a be (-1)/(-4) - 134/i. Which is smaller: a or 14?
14
Let q = 1895 + -1898. Which is greater: q or -0.349?
-0.349
Let j be (15/21)/(-6*8/(-1920)). Are j and 30 non-equal?
True
Suppose 2*y = 4*y. Let p = 29006/1495 - 252/13. Which is smaller: p or y?
y
Let y(m) = m**2 + 2*m. Let o be y(-2). Suppose o = p + p - 4. Let b be p/5*(1 + -6). Is b != 2?
True
Let a(k) = -k**3 - k**2 + 4. Let v be a(0). Suppose -2*l - 12 = -v*l. Let u be (-4)/l - (-20)/(-45). Which is bigger: u or 0?
0
Suppose -7*q = 94 + 186. Suppose i + 26 = 5*n, 4*n + 97 = -4*i - 79. Which is smaller: i or q?
i
Let z be 1/(-6)*-6 + (-3)/1. Let x be ((-45)/150)/(z/8*3). Do -41 and x have the same value?
False
Let d = 425424953/5174286 - 74/66337. Let a = d - -50/39. Let z = a - 920/11. Does z = 0?
False
Let p(d) = -d**3 + 12*d**2 - 20*d + 6. Let w be p(10). Let x(l) = -l**3 + 6*l**2 - 6*l + 6. Let k be x(w). Which is smaller: -28 or k?
k
Suppose 0 = -2*q + 5*t + 23, -3*t - 18 = 5*q + 2. Let o(x) = -x**2 - 8*x - 8. Let v be o(-6). Suppose 6 = 2*m - v*m. Which is smaller: m or q?
m
Let d = 355 + -313. Is d smaller than 0.2?
False
Let n = 724 + -717. Which is greater: 45 or n?
45
Let u = 2/1632573 - -4411212212/27753741. Let b be -1*(-4 + 3)*159. Let s = b - u. Which is greater: s or -1?
s
Suppose 0 = -6*h - 0*h - 282. Let p(o) = 9*o - 109. Let a be p(7). Which is bigger: h or a?
a
Let f(k) = -k**3 - 7*k**2 + 3*k + 8. Let b be f(-8). Is b <= 48?
True
Suppose 0 = 8*t - 9*t + 37. Let j = 37 - t. Which is smaller: j or 4/13?
j
Let a(f) = f**2 - 2*f + 3. Let n be a(0). Suppose -z = n*h + 4, 0 = 4*h + 3*z + 14 - 2. Is -2 less than h?
True
Let c(r) = 100*r + 69. Let n be c(4). Which is smaller: 468 or n?
468
Suppose 4*t = -3*b + 4, -b + 2*b - 18 = 2*t. Let u = -3 + b. Let o be 3/9 - u/(-30). Is o bigger than 0?
True
Let a = 4 - 2. Let d be (-9)/(104/(-78) - (-14)/6). Let r be a/(-8) - d/36. Is 2/35 > r?
True
Let q = 141.3 + -141. Which is greater: q or -1/8?
q
Suppose 0 = 5*o + 2*y - 24, -3*o + 7*o = 2*y + 30. Let s be (2/(-3))/(8/o). Which is greater: 1/11 or s?
1/11
Suppose 84 - 84 = 11*s. Let g = -3909/34 - -115. Is s > g?
False
Let n = 320/51 + -956/153. Which is bigger: n or 0?
n
Suppose -28*a + 23*a = 4*g - 23, 5*a - 30 = -5*g. Which is bigger: g or 41?
41
Let z = 55/27 + -3164/1593. Which is smaller: z or -1?
-1
Let x = 0.22 - -1.08. Let y = 1 - x. Which is smaller: 7 or y?
y
Suppose -2*n - 319 = -42*x + 47*x, 5*n - 80 = x. Is x smaller than 0?
True
Let p = 63/2 + -33. Let k be 8/4 - 249/(-15). Let u = k + -19. Are p and u nonequal?
True
Let l = 28.4 - 0.4. Let t = l - 33. Which is smaller: 7 or t?
t
Let x = 113 - 112.9. Is -11 at least as big as x?
False
Let f = 6.04 + -6. Let x = f + -0.04. Let k = 129/115 + -12/23. Is x >= k?
False
Let x(p) = 6*p**2 - 7*p - 7. Let g be x(-6). Is 251 at most g?
True
Suppose -6*i + 11 - 65 = 0. Let c be (-12)/(-8) - i/(-6). Are 10/7 and c nonequal?
True
Let c(r) = r + 5. Let w be c(-6). Let x be 14/(-56)*32/12. Is x less than or equal to w?
False
Let f = 5 + -8. Suppose 0*g - 24 = -2*g. Suppose -2*y = -3*b - 9, -5*b - g = -b - 2*y. Is b smaller than f?
False
Let a be 3 + -7 + (-335547)/984. Let o = -345 - a. Let x = -157/2296 - o. Are x and -1 unequal?
True
Let a = -1.5 - -0.5. Let r = a - -9. Let z = r + -6. Is z greater than -3?
True
Let m = -2062 + 101040/49. Let b = 55 + -221/4. Do b and m have the same value?
False
Let g be (-6)/(-2)*-1 - -3. Suppose 4*s + g*s = o - 17, 4*o - 3*s = 3. Suppose 5*u + 16 = -4. Is o equal to u?
False
Let p be (-5 - -6)/(3/12). Suppose 0 = -5*j + 3*j - p. Let d be (-4 - -2)*j/14. Which is greater: d or -8?
d
Let v be (-20)/50 + ((-414)/30)/3. Which is greater: v or -3?
-3
Let h = -1538 + 1264. Is -276 at most h?
True
Suppose -56 = 7*t - 3*t. Suppose -3*g + 49 = 3*r + 1, 5*g - 80 = 3*r. Let s = g - 30. Is t > s?
False
Let v = 22.2016 + -0.2016. Which is bigger: v or 6?
v
Suppose -6 + 42 = 18*q. Which is smaller: q or -1/33?
-1/33
Let z = -133.7 + 109. Let m = z - -25. Which is smaller: m or -0.8?
-0.8
Let m = -511/835 + 2/167. Suppose r = 153 - 155. Which is smaller: r or m?
r
Suppose 5*v - 15 = s, -6 = v - 4*v. Let t be (-2)/s*200/(-110). Which is greater: -1 or t?
t
Let q(u) be the third derivative of 17*u**4/8 + 5*u**3/3 + 9*u**2 + 2. Let y be q(3). Is y > 162?
True
Let q = -370 + 306. Which is smaller: q or 0.1?
q
Let w = -5 + 2. Let d = 61 + -60.893. Let b = d - -2.893. Do b and w have different values?
True
Let f = 3 + 0. Suppose f*o = -0 - 45. Let x(a) = -a**3 - 3*a**2 + a + 3. Let h be x(2). Is h at most o?
True
Suppose 2*g - 28 = -3*x + 14, -3*x + 27 = -3*g. Suppose -6*l - 2*z = -4*l - 16, 4*z = -20. Does l = x?
False
Let d = 4.9 + -4.8. Is d <= -263?
False
Let t = -0.146 - -0.046. Let v = -0.07 + 0.1. Let w = v - 0. Is w >= t?
True
Let j = 213 + -199. Does j = 16?
False
Let t = -3.1 - -3. Let o = -4.1 - t. Let r = 0.049 + 0.051. Does r = o?
False
Suppose -4*z - 14 = 6. Suppose -5*a + 151 = -2*x, -2*x = 3*a + x - 99. Suppose -t - 13 = -3*c, -4*t + 6*c - a = c. Is t greater than or equal to z?
True
Let l = 18 + -17. Let y = 1/59 + 115/177. Is l less than y?
False
Suppose q = d - 3, 6*d - 18 = 5*d + 4*q. Are d and -88/37 equal?
False
Let j(z) = z**2 - 8*z - 89. Let w be j(-6). Is 24 smaller than w?
False
Let p be -1 + (-6659)/(-5463) - (3 + -3). Let z = 2/607 + p. Suppose -f - 4*v = -19, -2*v + 6 + 8 = -4*f. Do z and f have the same value?
False
Let b be 1 - 15/5*-1. Suppose 4*u = -4*p - 356, -p + b*p - u = -247. Which is bigger: p or -85?
p
Let b = -0.063 + 6.463. Let 