or -1?
-1
Let y(z) = 37*z - 6. Let q be y(1). Suppose 37*b - 105 = 34*b. Suppose b*c = q*c - 128. Is -31 greater than or equal to c?
True
Let q be ((-79625)/(-84))/13 + (52/48 - 1). Is q greater than 82?
False
Let y = -10180 - -28979. Is y != 18800?
True
Let p be (0 - -186)*((-8)/(-6) + -2). Let o be 1/1*(-379)/(-3). Let z = p + o. Are 1 and z nonequal?
True
Let a = -2544 + 2510. Which is bigger: a or 28?
28
Let y be (-7)/((-7)/(-2))*(-3)/3. Suppose 2*g - y = -4*q, 5*q - 20 = -5*g + 10*q. Let c be 2 - -2 - (-12)/(-4). Which is smaller: g or c?
c
Let m = 151 - 43. Suppose 4*w - 56 = m. Let v = 35 - w. Is 0 <= v?
False
Let k(d) = d**3 - 11*d**2 - 20*d - 77. Let j be k(13). Suppose -4 = o - 2*r + 2, 0 = o + 5*r - 8. Let f be o + 0 + 2 + 6. Do f and j have the same value?
False
Let t be 40/(130/13)*(-6)/(-4). Let u be (t/(-2))/((-12)/344). Suppose -5*h = -3*h - 172. Is h >= u?
True
Suppose q - 19 = -z + 18, 0 = -q + z + 43. Suppose q = g + 1. Suppose -51 = 5*u + 4*l, -3*u - 4*l + 10 = g. Which is bigger: -13 or u?
u
Let x(a) = a**2 - a. Let s be x(2). Suppose s*c = 2 - 4. Let v be (0 - 1)*(-1 + c + 3). Do 2/21 and v have the same value?
False
Let l(i) = -i**2 - 7*i - 4. Let b be l(-5). Suppose -y - 15 = -b*y. Suppose -1 = -y*h + 4*h - g, -5*g = -10. Do h and 1/8 have the same value?
False
Let s = -198 + 97. Let l = -111 + 11. Does s = l?
False
Let y = 11575/4 - 2445. Is y smaller than 448?
False
Let v be (-3 - (4 - 2))*-1. Suppose 5*l - 3*l - v*a + 35 = 0, -3*l = 2*a + 24. Let y be 15/(-48)*l - 3. Which is smaller: -1 or y?
-1
Let f(u) = -3*u**2 + 24*u - 5. Let s(d) = -7*d + 20. Let y be s(2). Let t be f(y). Does t = 28?
False
Let k = 32 - -53. Let m(i) = i**3 - 6*i**2 + 169*i - 1231. Let x be m(7). Is x equal to k?
False
Let s = -5 - -12. Suppose -3*g + s = 16. Suppose 18 = -5*k - 2*a, -727 + 737 = k - 3*a. Is g < k?
True
Suppose -5*s + 1061 = -4*c + 8, -2*c = -5*s + 529. Let g be 18/27 + -2 + c/(-196). Is 0 >= g?
False
Let c = -118 - -114. Let j be (-1*1/c)/(35/(-40)). Are j and 2/7 non-equal?
True
Let m = -55 - -25. Let u be m/9*(-6)/(-4). Let v be (22/(-3))/((-188)/(-36) + u). Is v < -33?
False
Let l = -14.4 + 13. Let f = 35.4 + -33.4. Let y = f + l. Is y less than 2?
True
Let s = -8.9 + 9.9. Let m be 1*3 + 6/(-3). Suppose 0 = -2*l - 0*l + i + 155, m = -i. Is s <= l?
True
Suppose -4*q + 50 = -5*f - 0*q, 0 = -5*f - q - 50. Let o be (-1 - 102/(-30))/((-94)/f). Is o != 1?
True
Let h = 4.1 - 0.5. Let i = 1.903 - 5.303. Let r = h - i. Is r > 3/2?
True
Let q = 137.906 - 126.86. Let m = q - 11. Let v = m + 1.054. Does v = 0.2?
False
Let p(n) be the second derivative of n**5/20 + 5*n**4/4 - 6*n**3 - 35*n**2/2 + 13*n - 2. Let v be p(-17). Which is smaller: -10/11 or v?
v
Let g be 493/(22/18 + (-12)/54). Which is bigger: 497 or g?
497
Let a be ((-1)/2)/(1/2). Suppose 0 = -3*r + 4*b + 29, -5*r = 4*b - 40 + 45. Let n be 38 - 3/r - (-2 - a). Are n and 37 nonequal?
True
Let f = 19834 - 257662/13. Let n = -904/39 + f. Are n and -10 non-equal?
True
Let t be ((-18)/9 + -30)/(-2). Let p be ((-6)/(-357))/(9 - t). Is p at least as big as -1?
True
Let t = -629753717/12276 - -4869847/124. Let r = 110200/9 + t. Let m = r - 218. Is -0.1 greater than or equal to m?
True
Let m = 393.7 + -393.8. Is m greater than or equal to -83.3?
True
Let m = -81654 + 4245603/52. Do -7 and m have different values?
True
Let s = -54899/31 - -1771. Let k be 0*1/2*-2. Which is smaller: s or k?
k
Let g be 200688/54 - 64/144. Is g at most as big as 26014/7?
True
Suppose 13*v + 2106 + 1059 = 825. Is -177 greater than v?
True
Let c(f) = 4747*f. Let b be c(-1). Let j = -7475 - b. Let a be (1 - 3)*22/j. Are 1 and a equal?
False
Let v be ((-34)/(-8))/(((-11)/(-132))/((-5)/(-15))). Suppose -2*x - 99 = -7*x + 2*c, 4*c = 5*x - 103. Do v and x have the same value?
False
Let v be (198/(-110))/(6/(-670)). Let i = -143 + v. Is 57 <= i?
True
Let m = 4 + -4.7. Let p = -6.6 - -6.668. Let j = -0.012 - p. Which is bigger: j or m?
j
Let c be 41/14 + 1/14. Are c and -0.2 non-equal?
True
Let y = 73.6 + -0.6. Let a = -60 + y. Let w = a + 2. Is 1 <= w?
True
Let s = -371 + 539. Let f = 171 - s. Is f > -1.4?
True
Let p = 3.36 + -95.36. Let r = 91.9 + p. Is r < 0.95?
True
Suppose 3*y + 4*c - 88 = -c, -16 = 4*c. Let h(b) = -b**3 - 3*b**2 - 9*b - 19. Let i be h(-4). Which is smaller: i or y?
i
Let c = -37.21 - -2.21. Let u = c - -33. Which is smaller: u or 125?
u
Suppose -238*z = -146*z + 1252856. Is -13618 at most z?
True
Let o = 43 - 35. Let z = o + -4. Let v be 2/(-2) + 168/(-52) + z. Is v not equal to 0?
True
Let d = 0.27 - -66.73. Is d not equal to 33?
True
Let b = 0 + 34. Let f be (b/8)/((-24)/(-96)). Which is bigger: 16 or f?
f
Suppose -132*j + 8865 = -189267. Which is bigger: 1500 or j?
j
Let p = -63 - -263. Let z be 190*48/p*10/4. Is z at most 453/4?
False
Let c = 128.6 - 127.6. Let w = 104.2 - 2.2. Which is bigger: c or w?
w
Let c(p) = -2*p + 27. Let u be c(15). Let m be (8/(-60)*u)/((-2)/(-5)). Is m not equal to 3/22?
True
Let y(g) = 15*g - 30. Let c be y(4). Suppose 0 = -2*o - c + 24. Which is smaller: -17/4 or o?
-17/4
Let f be (-402)/(-20) - (-8)/20. Suppose 0 = 4*i + 6 - 14. Suppose 2*u = 10, -5*c = -i*u - u - 90. Are f and c equal?
False
Let m(w) = -5*w**3 - 4*w**2 - 3*w. Let l be m(-1). Suppose -l*t = -3*x - 159, -5*t + 40 + 164 = -2*x. Are 41 and t equal?
False
Suppose 0 = 12*i - 925 - 575. Is 880/7 smaller than i?
False
Let h be ((-1)/1)/(45/(-2490)*36/78). Which is bigger: 119 or h?
h
Suppose -7 = -4*b - 3*x + 8, 3*x = b. Let t be ((-1)/2)/(b/24). Let q be (t/(-108)*6)/(14/(-6)). Are 1 and q nonequal?
True
Let x = -1817 - -176259/97. Let i = x + -6336/63341. Is i less than or equal to 0?
False
Suppose -7*n + 0 + 14 = 0. Let z = -1475 + 1462.33. Let p = -12.4 - z. Is n not equal to p?
True
Let a(x) = -x**2 - 6*x - 3. Let y be a(-5). Let t = 2852/3 + -65536/69. Which is smaller: t or y?
t
Let d = 3448 - 11728. Let h be 1/(-4) - 2934/d. Which is greater: -1 or h?
h
Let c be (-12)/440*5/(45/21). Suppose 49*y + 26 + 23 = 0. Which is greater: c or y?
c
Let z = 57/12175 - 2736329/389600. Let b = -287/32 - z. Which is greater: b or -3?
b
Let v = 2.22 + 0.48. Let r = v - 0.2. Let d = 297 - 297. Is r equal to d?
False
Let x = 6158 + -6156. Is -1167 less than x?
True
Suppose b + 5*z = -0*b + 27, 4*z - 10 = 5*b. Suppose -2*l + 38 = -b*k + 142, -4*l = -3*k + 210. Is l at most as big as -54?
True
Let d = -384 + 381.96. Let w = 2.24 + d. Is w not equal to -103?
True
Let z = -127588/3 + 42530. Is -34/39 bigger than z?
False
Let i = -186 - -188. Let o = -11483/11 + 1045. Which is bigger: o or i?
i
Let c = -138 + 207. Suppose 10*f = -231 - c. Is -30 <= f?
True
Let k = -7 + 1. Let h = k - -12. Let d be (h/(-96))/((-4)/8). Is d bigger than -1?
True
Let f be (-132)/((12/(-33))/((-30)/55)). Let z = 198 + f. Which is bigger: z or -3/35?
z
Suppose 33*c = 20*c - 130. Let t be 1425/(-21) - c/(-70). Which is greater: -65 or t?
-65
Let k be -9 - ((-12)/20)/((-10)/(-150)). Is 2/109 bigger than k?
True
Suppose -2*x - 8 = -3*f, -3*x - 1 = 11. Let u be 12/(-8) + 351*(-1)/(-2). Let w = u - 6441/37. Does f = w?
False
Let c be 6/(-36) - (-13730)/12. Let q be 13/((-650)/(-30)) - c/(-10). Is 115 bigger than q?
False
Suppose 274314 = -137*a + 1416483. Which is greater: 8338 or a?
8338
Let o = 7 + -15. Let y be 2/((5 + -9)/24). Let a = o - y. Is a equal to 4?
True
Let r(v) = v - 1. Let j(s) = -18*s + 4. Let k(l) = j(l) + 5*r(l). Let q be k(-3). Let p = -36 + q. Which is smaller: p or 12/11?
12/11
Let s = -5553 + 5510. Which is smaller: s or 32?
s
Let v = -187 + 183. Let a be (-26)/(-4) + (v - 2). Which is smaller: -0.1 or a?
-0.1
Suppose 0 = 25*v + 3*v - 34272. Suppose -3*p = v - 387. Is -279 less than p?
False
Let u = -2.118 + 4.118. Which is greater: -1/428 or u?
u
Suppose s = 2 - 0. Let n = -1174 + 1170. Let b be n + 3 + s - -5. Is b greater than or equal to 13/2?
False
Let i be (-1)/(0 + (-2)/46). Let v be 7 - (-12)/10*5. Let y(l) = 5*l - 42. Let u be y(v). Do u and i have different values?
False
Let i(h) = -h**3 - 9*h**2 - 13*h + 10. Let f be i(-7). Suppose -3*v + f = -2*v. Suppose -18 = b - 5*p, -4*b - p = -v*b - 6. Does 2 = b?
True
Let b be (((-3)/(-9))/1)/(1 + 9 + -8). Is 1/13 smaller than b?
True
Let i = 22510 - 22982. Ar