or j?
-22/3
Let t(b) = 2*b**2 - 13*b + 11. Let a be t(8). Let o = a - 20. Let h be o/54*(-21)/(-70). Is h greater than -1?
True
Let v be 1 + 6 + (-3966)/570. Which is smaller: v or 6?
v
Suppose -z + 6*z = -10. Let y be ((-5 - -4)/(-1))/((-17)/51). Which is bigger: y or z?
z
Let q = -7/15378 - 625591/30756. Let c = q - -386/11. Which is greater: 16 or c?
16
Let h = 19.9 - 2.9. Let x = -15 + h. Is x >= -2/15?
True
Let g = -25.39 - -0.39. Let d = -28 - g. Let s be (-8)/6 + (-2)/(-3). Is d not equal to s?
True
Let y = 2748 + -2525. Is y smaller than -2/5?
False
Let h = 134034/5 + -26893. Which is smaller: h or -87?
-87
Let y be (60/(-360))/((-2)/12). Do -3/94 and y have different values?
True
Let h be 2/(-3) + (-1974)/(-2988). Which is greater: -1 or h?
h
Let k = -3 + 1. Let f = -2 - k. Let x be -2 - -5 - (1 + f). Which is smaller: 3/4 or x?
3/4
Let j = 23 - 1. Let f = 21.4 + 3.6. Let v = f - j. Is v bigger than -2/13?
True
Let n be ((-7)/105*5)/(1/(-3)). Let s = 2/11 - -5/33. Is n equal to s?
False
Let c = 1 - 1. Suppose -2*d = -f + 4, c*d - 2*f = d - 8. Suppose d*l - 6 = 3*l. Is -2 bigger than l?
False
Let b(c) be the third derivative of 143*c**6/30 - c**5/60 - c**4/24 + 9*c**2. Let i be b(-1). Let x be (-148)/i + 2/(-11). Which is smaller: x or 0?
0
Let l = -30222889/30 - -1007335. Let x = -189/2 - l. Does x = -1?
False
Let j(o) = o - 11. Let c be j(-6). Which is greater: c or -16?
-16
Let u = 609314/179 + -3404. Is 1 not equal to u?
True
Suppose 0 = -4*g + 13 - 1. Suppose -3*v = 3*y, g*y + 5*v = 4*v + 4. Let l = -61 - -188/3. Is l less than y?
True
Let g(s) = s**2 - 16*s + 20. Let l be g(17). Suppose 3*k + 3 = -d, k + k = -3*d - l. Is d at least as big as -15?
True
Suppose -24 + 0 = -4*h. Suppose 5*q = h*q. Suppose q*a = 2*a. Which is smaller: 1 or a?
a
Suppose -7*u + 12 = -2. Suppose q + u*q - 57 = 0. Are 19 and q non-equal?
False
Suppose 5*s - 170 = -3*i + 6*i, -2*s = 4. Which is greater: i or -59?
-59
Let f = 0 - -7. Let b = f - 7.09. Let u = 0.09 + b. Is 2/7 greater than u?
True
Suppose -5*t - t + 180 = 0. Let d be (-10)/t*12/1. Which is smaller: d or -8/3?
d
Suppose -2*p = -3*o - 23, 187*p - 4*o - 27 = 188*p. Let b = 3607/3222 + -3/358. Which is smaller: b or p?
p
Suppose 17*h - h = 0. Is 1/119 < h?
False
Let m = -8 + 15. Let b(t) = -8*t - 9 + 0*t**3 + t - m*t**2 + t**3. Let v be b(8). Which is bigger: 4 or v?
4
Suppose 5*r - 6*n = -11*n - 200, 0 = 4*r + 2*n + 158. Which is bigger: -49 or r?
r
Suppose 5*h - 15 = i + 8, -4*i - 44 = 4*h. Which is greater: -4 or i?
-4
Let b be (-26 + 25)/(0 + 3). Let n be 2/(-1) + 24/14. Which is greater: n or b?
n
Suppose 5*r - 93 - 7 = 0. Let j be 1*(-1 - (r + -1)). Let m be (2/5)/(((-272)/800)/17). Do j and m have the same value?
True
Let t be 4/(-22) + -14*(-18)/297. Which is smaller: 0.0212 or t?
0.0212
Let b(o) = -2*o**3 + 13*o**2 - 8*o + 9. Let n be b(4). Is n at least as big as 56?
True
Let k(f) = -66*f - 81. Let t be k(-2). Is 50 not equal to t?
True
Let q be -2 + 2*(1 - 6). Which is smaller: q or -11?
q
Let h be (-26)/(-6) + (-21)/(-126). Is -9 smaller than h?
True
Let h be -4 - (-2 + 3) - -3. Let r be (-8)/(-12)*((-2)/h + -4). Is -3 at least r?
False
Suppose 0 = -426*d + 425*d + 1. Are -1/127 and d equal?
False
Let l = -36 - -42. Let i be -3 - l*4/(-8). Which is smaller: i or -1?
-1
Let s(a) = -a**2 + 4*a + 32. Let f be s(-5). Which is greater: f or -2/3?
-2/3
Let r be (-21)/(-6) + (-1)/(-2). Suppose m - 2*f = f - 17, m = r*f - 21. Let a = -59 + 58.9. Which is smaller: a or m?
m
Let k be (-3)/6*(-4)/(-6). Let p(w) = -6*w**2 - 8*w - 7. Let q be p(-5). Let y be q/(-21) + (-12)/21. Which is greater: y or k?
y
Let g be (29/29)/(((-78)/4)/3). Is 1 smaller than g?
False
Let k = -416 - -247. Let g = k + 157. Is g at most -0.02?
True
Suppose -11 = -14*p + 17. Suppose -p*s + 4*s - 126 = 0. Is 64 < s?
False
Suppose 187*t - 183*t = 48. Suppose 3*c + 3 = t, 15 = -2*s + 5*c. Let h = 73/15 - 1724/345. Which is bigger: s or h?
s
Let i = -4.2 + 4.26. Is 0 at most as big as i?
True
Let h = -2647 - -807336/305. Is 0 at most h?
True
Let n be (-58)/30*-3*(-2 + -1). Which is smaller: 1 or n?
n
Let o(g) = -26*g + 7. Let j be o(2). Let s = 46 + j. Is s > 2/11?
True
Suppose 0 = -3*k - u - 22711, -k - 3*u = -0*u + 7573. Let p = 14649/2 + k. Let n = 250 + p. Is 6 greater than n?
True
Let w be (945/(-350))/((-42)/(-1)). Is w <= -1?
False
Let j be (3 + (352 - 8))/(-3). Is j > -115?
False
Let q = 107 - 64. Let b(h) = h**2 + 2*h - 6. Let u be b(2). Suppose -2*j = -5*o + 63, -5*o - j = u*j - q. Is o smaller than 9?
False
Let k = 14 - 7. Let b be ((-1)/10)/(k/28). Which is greater: b or -1?
b
Let w = 2.62 + -2.7. Let c = 0.18 + w. Is c less than 1/4?
True
Let t = -23/3 + 155/21. Let o = 12 - 10. Which is smaller: t or o?
t
Let n(j) be the second derivative of -j**4/12 + 3*j**3/2 + 7*j**2/2 + 7*j. Let z be n(9). Which is greater: 8 or z?
8
Let q(r) = 5*r - 9. Let o(m) = 7*m - 2*m - 17 + 7*m - 3*m. Let a(f) = -4*o(f) + 7*q(f). Let t be a(4). Are -0.04 and t unequal?
True
Let j be 8*(-3)/((-306)/48). Which is bigger: 5 or j?
5
Suppose 3*d = 30 + 9. Suppose 4*i + 5*w - d = 8*i, 23 = i + 4*w. Let a = -1/178 + 1159/356. Is a <= i?
False
Let p = 49.1 - 50.1. Is -428 <= p?
True
Let a be ((-15)/75)/(2/(-55)). Let t(n) = -n + 5. Let b be t(6). Let y(k) = -4*k + 1. Let i be y(b). Is a equal to i?
False
Suppose g = 4*g. Suppose g = -x, -2*h + 0*h = 3*x. Let p be (2/(-6))/(6/4). Is h != p?
True
Let j = -46 - -48. Let m = -3 + 2.6. Is m < j?
True
Suppose -k = 2*h - 4, 5 + 11 = 4*h - 2*k. Suppose 7*d - h = 4. Let y = 15/4 + -4. Is d at least as big as y?
True
Let j(x) = -x**3 - x**2 + 3*x + 1. Let t be j(-2). Let o(a) = -3*a**3 - a**2 + 1. Let z be o(t). Suppose 5*b = 8*b + z. Are -4/11 and b nonequal?
True
Let y be 12/10*(10 - 25). Let b be 17/(-9) + 3*y/(-27). Does 0 = b?
False
Suppose 2360 - 2369 = 9*b. Is b at least as big as 1/285?
False
Let k be (1/21*9)/((-32)/(-14)). Let y = 87 + -89. Is y equal to k?
False
Let h be 1/3*(-8 - 133). Which is bigger: h or -50?
h
Let t be (-1)/(-7)*9/2. Let j(h) = -22*h**2 - 259*h + 62. Let q be j(-12). Does q = t?
False
Suppose 2*u + 4*t - 48 - 14 = 0, -5*u = -4*t - 169. Let h = u - 123/4. Let y be 2/(-2) + 1 - -2. Which is smaller: h or y?
y
Let q = 1817 + -1819. Which is smaller: -34/15 or q?
-34/15
Let t = -0.02 + -0.05. Let x = -6 - -11. Suppose 5*r - s + 5 = -6*s, x = r - s. Is r less than or equal to t?
False
Let m be (1 - 26)*(-7 + 6). Let j be -1 + (-18)/(-15) + (-5)/m. Is -7/13 < j?
True
Let a be 4/(-6) + 38/21. Let g = -7.8 - -7.8. Is g at least as big as a?
False
Suppose 2*b - 11 = -5*u, 0*u + 3*b = 4*u - 18. Suppose u*t + 3 = 4*t. Which is greater: t or 1?
t
Suppose -2*o + 640 = 3*o. Let x = 1150/9 - o. Let g(u) = u**3 - 6*u**2 + 6*u - 5. Let f be g(5). Do x and f have different values?
True
Let b(q) = -5*q - 3. Let s be b(-1). Let v be -5*(s - (-9)/(-3)). Suppose 0 = v*x - 1 - 14. Which is smaller: x or 5?
x
Let d be 1 + 0 - 0 - -4. Let a(n) = -3*n - 38. Suppose 0*s = -8*s - 112. Let f be a(s). Which is greater: f or d?
d
Let w = 237 - 240. Is w <= -45/11?
False
Let o = -174 + 118. Let m = o - -55.9. Are 5/4 and m unequal?
True
Suppose 33 = 17*a - 189 - 50. Suppose -5*n - 2 - 3 = 0. Which is smaller: a or n?
n
Suppose -6*v + 3429 = -93. Let p = v - 5296/9. Which is smaller: p or -1?
p
Let m = -6 - -8. Suppose 0 = -4*f + 5*q - 37, -3*f + m*f = 4*q - 17. Let a be (-6)/24 - (-45)/(-12). Are f and a non-equal?
True
Let q(c) = -83*c - 30. Let g be q(-14). Let r = 32832/29 - g. Is r <= 1?
True
Let t = 6.9 + -8. Let p = 228 - 227. Let i = p + t. Which is smaller: i or 16?
i
Let y = -132.7 + 134.7. Is y at least 23?
False
Let h = 32/3 - 1060/99. Is h equal to -1?
False
Let c = -47 - -50. Suppose c*j = 3*v + 24, 2*j + 7 = 1. Let b(k) = -k**2 - 2*k + 4. Let t be b(-5). Is v greater than t?
False
Let s = -46 + 88. Let v = 62 - s. Suppose -16*p + v*p = 0. Which is smaller: p or -3/5?
-3/5
Suppose -4*x + 7*x = -15. Let b be (-2)/x + 134/(-10). Suppose 37*f + 261 = -183. Is b less than f?
True
Let w = -37676/5 + 7591. Which is bigger: 57 or w?
57
Suppose 2*l - 18 = -2*a - 2*l, 0 = -a + 5*l - 5. Suppose 70 = -4*x + 3*f, -a*x - 48 - 55 = 4*f. Is -21 equal to x?
False
Suppose -z - 3*q + 4*q = -9, -24 = 