 + c/(-26). Which is greater: 0 or a?
a
Let o(z) = -12*z + 5. Let n be o(1). Is -54/7 >= n?
False
Let k be (-6 - 6)*(-7)/(-28). Is k smaller than -15/4?
False
Suppose 4*b - 16 = 0, 4*p - 10 = 6*p - 2*b. Let j be (-4 - p) + 755 + -2. Let c be (-145)/j + (-2)/(-12). Which is smaller: 1 or c?
c
Let r = 13 + -10. Let v be 1/(-2)*r/(-9). Let n = 5/102 - v. Which is greater: 1 or n?
1
Suppose -5*l + 2*l = -4*h - 210, -5*l - 3*h = -321. Suppose -66*j = -1967 - 2323. Which is bigger: j or l?
l
Suppose -19*m - 2 = -18*m. Is -16/19 at most m?
False
Suppose -5*q + 9*q = 40. Let m be (-3)/(-4) - 4/((-80)/225). Are q and m unequal?
True
Let x = 484.386 - 484. Let q = 0.014 + x. Which is smaller: q or 1?
q
Let l = 135325/108 + -1253. Which is bigger: l or 1?
1
Let i be ((-3)/(-27))/((-4)/42). Let z = 9467 - 9468. Which is smaller: z or i?
i
Let g be (-1)/(2/4)*(-12 - -10). Let a be (-4)/(-18) + 16/9. Suppose -t = 5*u + t - 20, a*u - 3*t - 8 = 0. Is u at least as big as g?
True
Let p = 2059296 - 236867684/115. Let z = p + 423. Is z equal to 1?
False
Let k be (-1)/(4 + (-38)/10). Let o be (-13 - -13) + 1/k. Which is greater: o or -1?
o
Let z be (-728)/(-2)*(-54)/7. Let v be z/(-44) - 4/(-22). Suppose -3*s + v = -7*s. Which is bigger: s or -14?
-14
Suppose -u - 147 = 6*u. Let d be (5/(-1))/(45/u - -3). Is -5 >= d?
True
Let a = -5 + 6. Let p = -33/35 - -8/7. Are a and p equal?
False
Suppose -5*z + 8*z = -273. Let k = -799/9 - z. Is 1 smaller than k?
True
Let t(s) = 2*s**2 + 16*s - 416. Let r be t(11). Let g be -2 - -5 - (-3 + 1). Suppose 18 = g*n + 3. Is r at least n?
False
Let h(m) = -2*m - 15. Let d be h(-7). Suppose -k - 75 = 2*k. Let t be k/(-5)*d/(-5). Which is greater: 0 or t?
t
Let h = -1 + 0.5. Let m = -242 + 91. Let v = -151 - m. Is h bigger than v?
False
Let v = -2 - -3. Which is smaller: v or 2?
v
Let u(v) = -6*v**3 - v**2 + v - 2. Let r be u(-2). Let d be 10/2 - 650/r. Which is bigger: -12 or d?
d
Let p = -9664/9 + 1074. Which is smaller: 1.12 or p?
p
Suppose -5*d - 2*u = -10, -2*d + u - 6 + 1 = 0. Suppose 6*x = -d*x - 0*x. Does 1 = x?
False
Let a = 26 + 34. Suppose -6*r = a + 42. Which is smaller: r or -2/7?
r
Let b(i) = 9*i + 25. Let a(p) = -14*p - 38. Let g(d) = 5*a(d) + 8*b(d). Let f be g(-5). Suppose k - 2 + 8 = f. Is k not equal to -6?
False
Let b = -2 + 2.028. Let i = b - -23.972. Does 1 = i?
False
Suppose v = -4*w - 52, w = -4*v - v - 222. Let b = 3646.9 - 3647. Are b and v equal?
False
Let f = 1112 - 937. Is f at least 173?
True
Let g = 22.2 - 7.2. Let z = 11 - g. Is z > 1?
False
Let h = -18.1 - -13. Let n = -0.92 + 1.82. Let d = n - h. Is 0.1 at least as big as d?
False
Let i = -42 - -18. Let o = -4763 - -4738. Which is smaller: o or i?
o
Let y be (12/(-8))/((-3)/(-4)). Let f = -123/2 + 60. Which is greater: y or f?
f
Let h = -10/191 - -2462/3247. Is h >= 2?
False
Suppose -l + 19 = -2*r, 5*l - 6*l + r = -14. Let h(p) = -3*p - 6. Let c be h(-4). Which is smaller: l or c?
c
Let k = -214 - -109. Is k at least as big as 0.1?
False
Let n be (0 - -4)/(-10 - (-320)/30). Let q(w) = 2*w**2 + 4*w + 3. Let r be q(-2). Suppose -30 = n*u - r*u. Which is smaller: -8 or u?
u
Let y = -5/279 - 224/3069. Let n(h) = -h**3 + 7*h**2 + 8*h + 3. Let w be n(8). Suppose 5*t - p + 4 = 0, 0 = w*t - p - 2*p. Which is smaller: t or y?
t
Suppose -5*j - 5*w = 0, -3*w - 2*w + 18 = -4*j. Suppose 0 = x - 54 + 59. Which is greater: j or x?
j
Suppose 0 = d - 4 - 1, d + 31 = z. Let w be 116/z*-1 - -4. Is w >= 0?
True
Let p = -65 + 40. Let w = 47 + p. Let i be (-1 - -1) + 19 - -2. Which is greater: w or i?
w
Let f = 500608/205 - 2442. Let c = 271/6765 + f. Does c = -1?
False
Let h = -8 + 13. Let a be (-9 - 1)*(-12)/h. Let o be ((-3)/2)/((-4)/a). Which is greater: o or 10?
10
Let d be ((-615)/(-45) - 16)*80/(-14). Which is smaller: 12 or d?
12
Let m(o) = o**2 + o + 4. Let b be m(0). Suppose 0 = -b*x + 5*t - 39, x = t - 2*t - 3. Let h be -2 + 7 + (x - -2). Is -4 at least h?
False
Let v = -308 + 285. Which is greater: v or 0.09?
0.09
Let r be 78/4*(-10)/36*3. Which is greater: -2/9 or r?
-2/9
Let q = 34 + -12. Let i = q - 21. Is i at most -9?
False
Suppose -4*w = -w - 6. Let a be (w - -2 - 1) + -1. Is a bigger than 2?
False
Suppose -4 = 2*a, 4*a = -d - 4*d - 38. Suppose -19*x - 27 = -16*x - 3*j, 0 = -5*x - 3*j - 13. Which is smaller: x or d?
d
Suppose 3*x = 1860 - 4416. Is x less than or equal to -853?
False
Let i = -34 + -16. Is i greater than or equal to -52?
True
Let y = -146 + 77. Is -70 at most y?
True
Let j(k) = -33*k - 199. Let n be j(5). Are n and -364 unequal?
False
Suppose -h + 4*w = w + 12, 2*w - 8 = h. Let u be 4 - (0 - (-4 - h)). Are u and -8 equal?
False
Let n = -0.4 + 0.5. Let t = 728/33 + -64/3. Which is greater: n or t?
t
Let x = -1.5 + 1.1. Let q = 0.8 + x. Let t = 0.6 + q. Which is bigger: t or 2/11?
t
Let d = 8.13 - 8. Is d greater than -0.6?
True
Let y be (-35368)/(-308) + (-8 - (-324)/42). Which is smaller: 115 or y?
y
Suppose -2 + 10 = 2*a. Let w = -33 - -35. Let r be w*((a - 8) + 6). Which is bigger: r or -1?
r
Let z = 34 + -34.243. Let g = z - -0.043. Suppose 0 = -2*d - 3*p - 0*p + 2, 3*p + 1 = d. Do d and g have the same value?
False
Let i(y) = -y**3 - 2*y**2 - 4. Let j be i(-3). Suppose 0 = 5*q - 4*a - 24, 5*a + 0*a = j*q - 25. Let z = 34 + -33.8. Is q > z?
True
Suppose -5*k - u - 1 = 0, 5*u = -5*k + 4*k + 19. Let n = -30.01 + 30. Let v = 0.09 - n. Which is smaller: k or v?
k
Let i = 6 + 6. Let w = 12.94 + -3.94. Let l = i - w. Which is smaller: l or -4?
-4
Let m be (408/(-416))/((-2)/(-8)). Do m and -5 have the same value?
False
Let f be 4120/975 + -3 - 1. Let v = 235 - 9164/39. Let s = v - f. Which is smaller: 0 or s?
s
Let w = 806 + -826. Suppose -3 - 6 = -3*o, 3*n + 78 = 5*o. Is n bigger than w?
False
Let x be (-551)/12 - 5/15. Let k = x - -46. Which is bigger: k or 3?
3
Suppose -2*k = -2*y - 4*k, 5 = -2*y + 3*k. Is y smaller than 1/101?
True
Suppose -12*o = -8*o - 44. Let d = o - 5. Suppose -3*x = 5*j + 31, -5*x = 4*j + 36 - d. Is -1 at least x?
True
Let b(y) = y**2 - 9*y + 5. Let n be b(4). Let l be ((-1 - -3)*104/(-64))/(1/4). Is l > n?
True
Let b = -234 - -36. Let w be (-14)/(-63) + 80/b. Is 1 > w?
True
Let o = -72 - -100. Let r be (-9)/(-21) - 40/o. Is 35 equal to r?
False
Let i be (-34)/(3*3/(-18)). Let v be (-17)/i + (-2)/(-8). Let t be -3*(-24)/(-9)*1. Is t at most as big as v?
True
Let h = 42.74 + -42.8. Which is bigger: 2 or h?
2
Suppose 24*x = -3*v + 20*x - 33, 38 = -5*v - x. Is v less than -12?
False
Let x be (-14)/(-22) + 56/154. Is -1/1490 bigger than x?
False
Let t(z) = -z**3 - 4*z**2 + 4*z - 5. Let x be t(-5). Which is smaller: -18/89 or x?
-18/89
Suppose 5*p + 2*w - 5*w - 95 = 0, -5*w = 5*p - 55. Let q(d) = -6*d - 3. Suppose v = -v + 4, 2*x + 5*v = 4. Let n be q(x). Which is greater: p or n?
p
Let q be ((-7144)/120)/(-1 - 14/(-12)). Let n = -355 - q. Which is smaller: n or 1?
1
Let v = -0.1175 + 0.0175. Which is smaller: -39 or v?
-39
Let j = 213678 + -50641850/237. Let x = -2/79 - j. Is 1 at least as big as x?
True
Let o be 34/(-4) - 8/40. Let u = o - 4/5. Is -9 < u?
False
Let a be 39/15*5/(-34). Let d = 1/136 + a. Is -1 greater than or equal to d?
False
Let t = -9 - -14. Suppose -d = 4*d - j - t, 3*j + 15 = 0. Let m = -6077/15 + 405. Which is bigger: d or m?
d
Let q = 0.189 - 0.089. Which is greater: 725 or q?
725
Let i = -1.972 - 8.658. Let l = 10 + i. Let k = l - -0.6. Which is smaller: k or 1?
k
Suppose -4*m + 5*c - 226 + 41 = 0, m = -4*c - 62. Let b = 27 + m. Is -23 < b?
False
Let v be -2*2/(-36)*3. Let h = 0.12 + -1.12. Are h and v unequal?
True
Suppose 0 = 31*b - 35*b - 60. Let u(s) = s**3 - 8*s**2 - 11*s + 4. Suppose -4*m + 7 + 29 = 0. Let d be u(m). Do d and b have the same value?
False
Let p(m) = 7*m**2 - 5*m - 8. Let u be p(4). Suppose -4*z - c - u = c, -4*z = 3*c + 86. Is z smaller than -22?
False
Let a be ((-24)/(-15))/((-44)/(-11)). Which is bigger: 29 or a?
29
Let p = -81.81 - 0.19. Let d = p - -116. Let l = -33.88 + d. Does l = 2/3?
False
Let b(v) = v + 1. Let k(d) = d**2 + 2*d - 1. Let f be k(-3). Suppose 4*s + 4 = f*h, -2*s + 0*h = h + 6. Let l be b(s). Are l and 2/5 equal?
False
Let m be (8/(-10) + -1)/(21/(-4690)). Which is greater: 401 or m?
m
Let w = -23 - -16. Let k = 9 + w. Suppose k*n - n = 1. Which is