e value?
False
Let f = 5 + -2. Suppose 0 = f*n + 12 - 9. Is n bigger than 1/37?
False
Let g = 37 + -37. Let b be 56/(-30) + (g/3 - -2). Which is smaller: b or 0?
0
Let p = -6.8 + 8. Let l = -1.3 + p. Let o = 0.1 + l. Is o smaller than 1/6?
True
Let n = -29030/7096859 - -12/4081. Which is bigger: 0 or n?
0
Suppose -12*f + 6 = -9*f. Suppose 0 = 5*g + f*w + 24, 3*g - 5*w = g + 2. Is g less than 2?
True
Let u(k) = k**3 - 15*k**2 + 3*k - 8. Let q be u(15). Let i = -39 + q. Is i equal to -7?
False
Suppose -j = -5*t - 3 - 64, -j = t - 67. Let s = -68 + j. Does s = -10/11?
False
Let s be 14/(-231)*(-18)/(-4). Do s and 0.1 have different values?
True
Suppose 9 - 61 = 13*c. Which is greater: c or 4?
4
Let c = -18.72 + 0.22. Let t = 3.5 + c. Let g = 15.11 + t. Is g at least -2/3?
True
Let i(b) = 4*b**2 + 3*b - 2. Suppose z - 6 = -2*z. Let a be i(z). Suppose 0*j = -2*j - a. Which is smaller: -11 or j?
-11
Let z(a) = a**3 + 17*a**2 + 22*a + 24. Let s be z(-14). Is s at most as big as 305?
True
Suppose 4*m - 18 = -b + 9, -2*b - 24 = -5*m. Suppose -3*d - 24 = -5*q, -1 = 5*q + 3*d - 37. Are m and q unequal?
False
Let c be (-30)/2640*(-3)/(-7). Which is smaller: 1 or c?
c
Let l = 4.1 - 12.1. Let g = -9 - l. Let f = 131/28 + -38/7. Which is bigger: g or f?
f
Let m(u) = 2*u - 21. Let d be m(10). Let b be ((d/1)/(-13))/(2/4). Is -1 at most b?
True
Let o = 21871 + -677917/31. Which is smaller: o or 3?
o
Let v = -634 - -634. Let i be (-2)/3*(5 + -2). Which is smaller: i or v?
i
Let q(f) = -f**3 + f**2 + f + 60. Let v be q(0). Let c be (40/v)/((-28)/(-18)). Does 1 = c?
False
Let t(f) = -14*f + 199. Let m be t(-7). Is 299 equal to m?
False
Let l be (-10)/(-4) - (-24)/16. Suppose 4 + l = -2*i. Is i not equal to -4?
False
Let i = 1.08 - 3.08. Let b be 65/(-20) + 2 + 1. Is b at least i?
True
Let y(s) = s**2 + 3*s + 6. Let d be y(-5). Let v = 18 - d. Suppose -1 = -v*x + 3. Which is greater: 2/3 or x?
x
Let b = 441 - 447. Which is smaller: b or -0.006?
b
Let f be (-3)/(-6) + (-2)/4. Let b be 6 + 8 + (f - 1). Let y be (4 - b) + (-1 - -2). Is -9 equal to y?
False
Let n(c) = -c**2 - 7*c - 5. Let i be n(-5). Let d be ((-2)/5 + (-3)/i)*7. Which is bigger: d or -15/2?
d
Suppose 0 = 21*z - 1378 - 10193. Is z greater than 551?
False
Suppose -h - 5 = 4. Let u = 11 + h. Suppose u*d + 3*j + 2*j = -26, -d + 4*j + 13 = 0. Which is smaller: -5 or d?
-5
Let w be (4/119)/((-206)/14 - -15). Suppose j = 4*j. Which is bigger: w or j?
w
Let x = -184.9 + 185. Is -118 at most x?
True
Let y = -133 + 129.02. Let k = 1.02 - y. Is 11 != k?
True
Let a(s) = 2*s**2 + 8. Let f be a(0). Let l(o) = -o**3 + 9*o**2 - 7*o + 5. Let j be l(f). Let i = 41/5 - j. Which is bigger: i or -0.1?
-0.1
Let h be -213*(26/(-13) + 16/6). Is -0.1 bigger than h?
True
Let c(j) = 4*j - 7. Let r be c(2). Is r less than 0.316?
False
Let b = 33.2 - 33.3. Which is smaller: b or -1/3?
-1/3
Suppose -6*v - 10 = -5*v. Is -11 < v?
True
Let v be 127/4 + 3 + (-22)/8. Suppose -15*d = v - 2. Let m = -3 + 2.99. Which is greater: d or m?
m
Let c = -12 + 11.2. Let v = -2 - -4. Suppose y - 5*l = -10, -2*y + v*l = -l + 6. Which is bigger: c or y?
y
Suppose -a = a + 30. Let u = a - -9. Let n be (u/9)/((-4)/6). Is n not equal to 5?
True
Let m = 3477 + -163434/47. Is -1 smaller than m?
True
Suppose 0 = -p - 6*p - 413. Let j = -1123/19 - p. Which is greater: -1 or j?
j
Suppose 15 = -2*k + 5*k. Let x be ((-4)/10)/((-2)/30). Suppose j + 22 = k*a, -x*a - j + 23 = -2*a. Which is smaller: 4 or a?
4
Suppose 5*k - k - z + 96 = 0, 3*k + 5*z + 49 = 0. Which is bigger: k or -24?
k
Let v = 10.95 - 9.95. Which is bigger: v or 56?
56
Let w(t) = t**2 - 3*t - 6. Let d(h) = h**3 - 10*h**2 + h - 3. Let m be d(10). Let k be w(m). Let y be k/(-8)*(-14)/(-7). Which is smaller: -0.2 or y?
y
Let n = 36 - 50. Let r be 2/8*(n + 12). Is r at least 4?
False
Suppose 0 = 3*w - 6, -5*w - 1 + 19 = y. Let p be 2/2 + 10 + 0. Suppose p*m - y*m = -3. Is -1/26 greater than or equal to m?
True
Let g(s) = 3*s + 23. Let h be g(-6). Suppose 0 = 6*d - 2*d - 8. Suppose -h*a - 3 = d. Which is greater: 4 or a?
4
Let h = 47 + -56. Which is smaller: -15 or h?
-15
Suppose -20 = 2*o - 12. Let q be 25/12 + 1 + o/3. Does 2 = q?
False
Let h = 0 + 0.1. Let b = -4401 + 4398.9. Do b and h have different values?
True
Let o = 19 + -13. Suppose 0 = -2*y + 5*y - o. Suppose 3*v + y*v - 16 = -2*n, 14 = 3*n + 5*v. Are n and -5/2 unequal?
True
Suppose 0 = -2*c - 4. Is c not equal to -6/11?
True
Let o = 206 + -1194. Which is smaller: o or -987?
o
Let f be (546/35)/((-9)/30). Let t = f - -69. Are 18 and t equal?
False
Let v(c) = -c - 4. Let o be v(-5). Let u be 2*1 + 256/(-18). Let t = u + 2099/171. Is t less than or equal to o?
True
Let t = 15.61 + 0.39. Let r = 8 - t. Let x = -9 - r. Is -4 less than or equal to x?
True
Let v = 2 - 4. Let h(c) = -c**3 - 2*c**2 + 4*c + 5. Let q be h(-3). Let a be (1/q*-7)/(1 - -1). Is a <= v?
False
Let x be 1515/(-1425) + 8/10. Is x <= 1?
True
Let q be ((-18)/8)/((-30)/80). Suppose z - d + 2 = 0, 0*z - 2*d = 3*z - 19. Let i = z - q. Is i equal to -0.2?
False
Suppose -5*d - u = -3*u - 8, d - u = 4. Suppose 2*c + 5*w - 13 = d, 25 + 12 = 2*c - 3*w. Suppose j = 0, 4*j = -x - c + 3. Is -11 less than x?
False
Suppose -15 = 3*d - 3*n, 13*d = 8*d - 5*n + 25. Which is bigger: d or 4/329?
4/329
Suppose p - 21 = -8. Suppose 32 = p*h - 9*h. Let f be (-22)/h + (-15)/(-20). Are -3/2 and f non-equal?
True
Let g = 7 - -2. Let q(v) = 2*v + 6. Let p be q(g). Let c be ((-1)/14)/(2/p). Which is bigger: c or 0?
0
Suppose -4*n = 5 - 9. Let m be n + 0*(-1)/(-4). Is 2/7 >= m?
False
Let x(p) = 2*p + 22. Let k be x(-9). Let o(u) = k*u - 10*u - 3*u + u**2 - 1. Let b be o(9). Which is bigger: b or 0?
0
Let w = 2618 - 3699. Let q = 1094.31 + w. Let a = q + -0.31. Which is smaller: -1 or a?
-1
Let q = -3 + -1. Let y = 7 + q. Suppose -7*j + 2 = -y*t - 5*j, 5*t - 1 = -j. Are t and 3/8 non-equal?
True
Suppose 3 = 4*c - o + 7, 3*c + o - 4 = 0. Suppose 36*u - 5*v = 32*u + 6, 5*u - 14 = 3*v. Does u = c?
False
Let b = -350.971 + 351. Which is smaller: -1 or b?
-1
Suppose t = -3*t. Which is greater: t or -2.8?
t
Suppose 2*y - 3*y = -2*z + 101, -y + 5*z = 101. Which is greater: -102 or y?
y
Let q be (-7 - -2) + 2 + 1. Let i be -10*(q/4 + -1). Suppose 0*k - 3*k = -5*m - 23, -5*m = 5*k + i. Is k less than 0.2?
False
Let f = 2 - -3. Suppose 3 = 4*u - f. Suppose u = -2*o + 4*d, o = 5*o - 4*d. Which is smaller: o or -9?
-9
Let t be ((-2)/(-10))/(867/(-85)). Let s = -20/153 - t. Which is smaller: 1 or s?
s
Let c = -108 - -105. Let n be -4*1 - (-140)/36. Is n less than or equal to c?
False
Let l(q) = -q**3 - 26*q**2 - 158*q + 24. Let j be l(-16). Is 36 less than or equal to j?
False
Suppose 0 = -6*h - 1 + 37. Let o be h/6*(-2 + 2). Let s be 3 + o - (-4)/(-1). Which is greater: -8/7 or s?
s
Let h be (-14 + 15)*2/(-2). Let w(v) = v**2. Let q be w(2). Let a be 2 + q/(-26) + -2. Is a less than or equal to h?
False
Let j = 384 + -385. Which is smaller: j or 12/53?
j
Let y = 26843/112665 + -48/203. Which is smaller: 1 or y?
y
Let k = 75 + -83. Let o be (9/90)/(2/k). Suppose -2*w = 2*w. Is w less than o?
False
Let j(y) = 2*y**2 - 8*y + 7. Let l be j(5). Let u be 10/(-25) - (-174)/10 - 1. Let z = u - l. Is z at least 1/3?
False
Let y(u) be the first derivative of -3*u**2 + 10*u - 3. Let n(c) = c. Let b(i) = 8*n(i) + y(i). Let m be b(-7). Are -4 and m unequal?
False
Let z = -8 + 8. Let m = z - -1. Which is greater: 11 or m?
11
Let o(l) = -2*l - l + 2 + 1. Let w be o(2). Suppose -23 + 63 = -10*x. Which is greater: x or w?
w
Let i be (-3)/(27/2) - 155295/1377. Do i and -112 have the same value?
False
Let q be (-132)/10*(-25)/(-10). Is -34 at least as big as q?
False
Let m be -550*(2/4 - (-9)/18). Which is greater: m or -549?
-549
Let x be ((-1)/1)/(5/(-40)) + -3. Suppose 0*g - 5*g = -5*u - 60, -45 = 4*u - x*g. Is u not equal to -14?
True
Suppose 0 = -51*g + 3626 + 1117. Which is greater: -2/7 or g?
g
Let u(q) = 2*q**3 - 52*q**2 + q - 28. Let k be u(26). Is 3/190 <= k?
False
Let m(l) = -427*l**2 + 6*l - 5. Let n(i) = -1282*i**2 + 17*i - 14. Let f(p) = -17*m(p) + 6*n(p). Let x be f(1). Let o = -20306/47 - x. Is o smaller than 0?
True
Let z = -20 - -24. Suppose -n + z*h + 13 = 0, -n + 16 = 3*n + 2*h. Which is greater: n or 6?
6