g or -148?
g
Let c = -365 + 2551/7. Suppose -4 = 15*u - 11*u. Is u < c?
True
Let n be -13 - (30/10 - 11). Let k = -2 + 3. Let g = -5 + k. Which is smaller: n or g?
n
Let t = -177 + 117. Let i = -1 - t. Which is smaller: i or -1?
-1
Let s = -6029/37 - -163. Is s <= 2?
True
Let a = -1087 - -1087. Let q be ((-2)/(-3))/((-10)/(-6)). Is q > a?
True
Let k be 18/10*(-5)/(-2). Let s be (-12)/42 + 37/7. Which is smaller: k or s?
k
Let b = 1 - -1. Suppose -5*g + 2*o + 17 = 0, g = -b*o + 3 - 2. Suppose g*x = -0*x. Is x smaller than -2/7?
False
Let t = 0.37 + -0.07. Let d = -0.91 + 0.21. Let l = d - t. Which is greater: 1/2 or l?
1/2
Let y(u) = -u**2 - u + 10. Let a be y(-6). Let r = -18 - a. Are r and 31 equal?
False
Let z be 0 + 0 + -2 - 12270/(-21). Let p = z + -580. Suppose 3*l + 4*w + 2 = 0, 2*l + 8*w = 3*w - 6. Is p smaller than l?
False
Let y = 7/12 + -113/196. Which is smaller: y or 0?
0
Suppose 5*t + 4*g - 56 = 0, 3*t + g + 3 = 31. Let a be -1*1 + -10 + t. Let c be (-3)/(-4)*(-1 - -2). Is c at least as big as a?
True
Let v(q) = 22*q + 108. Let m be v(-6). Is m at most -13?
True
Let w(g) = g + 6. Let a be w(-11). Let n be (4/a)/(6/(-60)). Suppose 5*d = 2*d - p, -4*d - 4*p = -n. Are -2/3 and d non-equal?
True
Let o = 531 - 530. Are o and 6/19 unequal?
True
Let v = -0.16 + -9.84. Let w = -0.4993 - 0.5007. Is v > w?
False
Let a be (2 - 0 - 8) + (-25 - -30). Is 12/53 at most as big as a?
False
Let y be ((-126)/49)/(8/350). Which is smaller: -114 or y?
-114
Suppose -2*k - 84 = -4*t, -4*k + 2*t + 35 = 197. Let g be ((-6)/8)/((-105)/k). Let n be (-4)/6*(-3)/2. Does g = n?
False
Let h = -0.7 + 0.5. Let n = h + 0. Let c = -120 + 115. Is c at most n?
True
Suppose f = n, 5*n - f + 0*f - 20 = 0. Suppose -2*p = 6, 6*c + 2*p = n*c. Do -1/2 and c have the same value?
False
Let o(z) = -z**2 + 11*z + 1. Let x be o(10). Suppose -5*c = -3*f - 2*f - 30, c - 2*f - x = 0. Let p be 1/(-5)*(-7 - -6). Is p smaller than c?
True
Suppose 0 = 3*s + 5*u + 43, 3*u - 7*u = -3*s - 79. Let t = 21 + s. Which is smaller: 1/19 or t?
t
Let r be 5/(-112)*(-2)/5. Is 0 < r?
True
Let d be ((-57)/(-38))/(1 + 166/(-22)). Which is bigger: 1 or d?
1
Let f(w) = -w**3 - 20*w**2 - 30*w + 34. Let u be f(-19). Are 244 and u nonequal?
True
Let w(m) = 179*m + 4. Let j be w(-6). Let o be j/(-45) - 2/(-9). Suppose 2*a - o = 6*a. Is a != -6?
False
Suppose 0 = t + 3*v + 3 - 2, 0 = -2*t - 4*v + 2. Let a = 32653/7 + -4659. Is a greater than t?
True
Let w be 1*(-1 - -1)/(-12 + 13). Which is smaller: 2/417 or w?
w
Let j(l) = 2*l - 6. Let x be j(17). Suppose -4*c + 84 + 24 = 0. Which is bigger: x or c?
x
Suppose -3*k + 3 + 2 = m, -5 = m - 2*k. Let s be (-2)/4*0/m. Suppose s = -3*x + 6*x - 9. Are 3 and x nonequal?
False
Let u = 16.2 - 16.218. Which is smaller: u or -2?
-2
Let m = 5.1 + 5.4. Let y = m - -0.5. Let u = y - 14. Is u greater than 0?
False
Let f be (63/(-14))/9*(325 - -1). Let a = -131 - f. Which is greater: a or 30?
a
Let y = 152 - 156. Which is smaller: y or 74?
y
Let m = -78 - -78. Is -0.43 bigger than m?
False
Let x(p) = p**3 + 2*p + 2. Let z be x(3). Let y = z + -34. Is y smaller than 1/19?
False
Let x(j) = j**3 - j - 8. Let w be x(0). Suppose -2*v = -60 - 14. Suppose h - v = 5*p, 2*h = p + p + 18. Is p at most as big as w?
False
Let k(p) = -p**3 + 12*p**2 - 9*p + 12. Let d(r) = -r**2 - 1. Let h(x) = 3*d(x) + k(x). Let t = 1 + 7. Let j be h(t). Do -2/21 and j have different values?
True
Let u = -1094 + 1055. Are u and -30 non-equal?
True
Let i = 102.9 - 103. Is -22 at least as big as i?
False
Suppose 3*c - 25 = j - 381, 3*j = 3*c + 366. Which is bigger: -118 or c?
c
Suppose 0 = h - o - 34, 4*o + 103 = h + 2*h. Let m be (-4 + 2/1 + 1)*h. Which is smaller: m or -32?
m
Let r = 0.82 - 4.32. Is r less than 0?
True
Let x be 22/18 + -1 - 520/(-90). Let r be (x/(-5))/(-4 + 18/5). Which is smaller: r or 14/9?
14/9
Suppose 0 = 3*n - 10 - 2. Suppose 0 = b - 4, -n*i + 3*b = 1 + 7. Is i > 1?
False
Let c = 53/12 + -25/6. Which is greater: -121 or c?
c
Let o = 1.6 + 0.4. Let g = 2 - o. Let a be 19/190 + (-1)/10. Is a equal to g?
True
Suppose 47 = 12*d + 47. Which is smaller: 1 or d?
d
Let x(c) = 3*c - 1. Suppose 0 = 3*g - 7*g. Let k be x(g). Let t be (-3)/9 - k/2. Which is smaller: 1 or t?
t
Let c be (-36)/(4 + (-28)/6). Suppose 46 = 4*q - k, 5*q = q + 5*k + c. Is 10 at most as big as q?
True
Let h = -2 + 2. Suppose 0*n = -3*n - 15, h = -2*g + n - 15. Let o be ((-42)/(-35))/(2/g). Which is smaller: -5 or o?
o
Let w = 74.7 + -116. Let u = w - -41. Which is bigger: u or 7?
7
Let k = 2.6 - 2.8. Which is greater: k or 39?
39
Suppose -29 = -15*y + 241. Is 0.1 less than or equal to y?
True
Let q be ((-10)/85)/((-4)/(-118)) - -3. Suppose 2*n = 2 - 4. Which is greater: q or n?
q
Let a = -21 - -28. Suppose 56 = -a*s - 56. Does 2 = s?
False
Suppose -4*h + 8*h = 0. Let f = 31 - 34. Which is smaller: f or h?
f
Let h be (-102)/561 + 4/22 + 432. Is h at least 432?
True
Suppose 28*s - 33*s = -5*q + 45, 15 = -5*s. Is 6 at least q?
True
Let k = 109.1 - 109. Suppose 0 = 4*g + d + 2 + 8, g = -d - 4. Is g smaller than k?
True
Let f = -11 - -39. Let b = 33 - f. Let o(r) = -6*r - 1. Let w be o(-1). Are b and w equal?
True
Let j = 0.52 + -0.6. Let d = -52.72 + 43.8. Let w = j + d. Is w greater than 0?
False
Let r be (690/50 + -13)/(246/25). Which is smaller: r or 1?
r
Suppose 2*p + 11865 = -2*h - 3*p, -2*p = 4*h + 23754. Let r be (-2)/9 + (-7569096)/h. Let f = 1274 - r. Is -1 < f?
True
Let h = 1160 - 1157. Let k = -0.3 + 0.1. Which is bigger: h or k?
h
Let f(o) = -2*o - 19. Let d be f(-10). Is 2/359 < d?
True
Let k = -449.8 - -458. Which is smaller: -4 or k?
-4
Let g = 17 + 8. Suppose 4*a = -g - 59. Let h = -44 - a. Is h != -23?
False
Let y be (12/(-14))/((-2)/(-14)). Let c = -8 - y. Do c and -6 have the same value?
False
Let s = -1.16 - 12.64. Let h = -14 - s. Let a(c) = -2*c - 24. Let g be a(-12). Which is smaller: h or g?
h
Let n = -1 + 2. Suppose 2 = b, r + n = -3*b + 5. Let c be (r/6)/(4/(-72)). Does 7 = c?
False
Suppose 9*j - 8 - 10 = 0. Let c be j - 146*4/288. Suppose i + 3*i = 4. Are c and i equal?
False
Let k(r) = -2*r - 4. Let o be k(-3). Let z be o/4 + (-28)/56. Is z >= 4/11?
False
Let h = 0.06 + -0.06. Let r = 0.7 - -7.3. Let j = -8 + r. Is h >= j?
True
Let q(m) = m + 6. Let d = -17 - -12. Let u be q(d). Let y = 1/203 - 617/1624. Do u and y have the same value?
False
Let r be (-14)/11 - (8/(-4) + 1). Suppose b - 2*t - 2 = 8, -b + 8 = -4*t. Suppose 3*z = 9 - b. Which is smaller: r or z?
z
Let j = -272 + 299. Is j < -6?
False
Let h(x) be the third derivative of -x**4/8 - x**3 - 3*x**2. Let r be h(-4). Let f be (-51)/(-7) + r/(-21). Which is bigger: f or 6?
f
Let n be 6/21*1 + (-963)/4032. Which is greater: 0 or n?
n
Suppose 2*j - 132 = -7*a + 3*a, 3*a = 0. Let i be (9/(-2))/3*(-1)/j. Let s(l) = l - 6. Let u be s(6). Is i equal to u?
False
Suppose -d = -4*d + 2*s + 6, 4*d - 4*s = 4. Let b be ((-44)/(-8) - d)*-10. Let a be 3 + 18/b + -4. Which is greater: -1 or a?
-1
Let x = -49 + 114. Is 62 not equal to x?
True
Let k be (16/(-2040)*12)/(-1). Is k less than or equal to 0.1?
True
Let f be ((-1445)/(-15) - 10)*1. Which is smaller: 85 or f?
85
Let m = 1 + 1. Let x be -1 - -2 - (0 + m). Let f = -1409 + 9860/7. Is x at least as big as f?
False
Suppose -76*t = -9*t + 45962. Do -687 and t have the same value?
False
Suppose 4*g + 0*j + 14 = -2*j, g + 26 = 4*j. Let b be g/10 - 28/(-30). Let s be (4/(-14))/(368/(-112)). Which is smaller: b or s?
s
Let h = 23 + -17. Let c = h - 1. Suppose -8*k + 30 = -c*k. Is k less than 10?
False
Suppose 3*o = -5*w - o + 1476, -5*o + 883 = 3*w. Is w equal to 297?
False
Let n(k) = 20*k**2 + 2*k + 2. Let z be n(-1). Let r be (z*(-10)/65)/(-1). Is r at least 3?
True
Let t = 441 - 308. Which is greater: 0 or t?
t
Let a = 130 + -129. Is -5 > a?
False
Let n be 6/(-14) - 45/(-7). Suppose -5*z - 4*f - 4 = 0, -z - 5*f + 10 = -n. Is z equal to -12?
False
Let a be -40 + 0 + 6 + -4. Is -256/7 greater than or equal to a?
True
Let k = 114.31 + -115. Let c = k + 3.79. Let p = 0.1 - c. Which is greater: p or -0.2?
-0.2
Suppose -2*u = 3*z + 207, -3*z = -0*z + 15. Let a = 145 + u. Is a less than 50?
True
Let y = 151 - 69. Suppose -5 = -9*f - 14. Is y > f?
True
Let b = 91 - 132. Let u = 78 + b. Is u at most as bi