
Let m = -612941/3715400 - 1/37154. Which is bigger: m or -1?
m
Let y = -7460 + 7560. Which is bigger: 997/10 or y?
y
Let z = 278 - -309. Let w = -51801 + 52389. Which is bigger: z or w?
w
Let j = 24/61 - 1593/4514. Which is smaller: -1 or j?
-1
Suppose -428*l + l = 108*l. Which is greater: -24/529 or l?
l
Let p = 14 - 11. Suppose 2*l + 2 = p*l. Suppose -l*x - x = 45. Is -15 >= x?
True
Let r be -6*(-1)/28*-14. Is r equal to -115/39?
False
Let b = 1/23 + -25/46. Let j = -15170 - -15294. Which is smaller: j or b?
b
Let u(x) = 143*x - 137. Let r be u(4). Let f be 4/30 + (-1363)/r - 27. Which is greater: f or -29?
-29
Let d be 199/1791 - 1/9. Which is bigger: 18/1451 or d?
18/1451
Let c = 236/451 + -14/41. Let g = -1014582 + 3043745/3. Which is smaller: g or c?
g
Let h(b) = -332*b + 2325. Let j be h(7). Is -15/538 bigger than j?
False
Let b(w) = -2*w**2 - 3*w + 5. Let n be b(-5). Let v(d) = -3*d + 53. Let z be v(16). Suppose 4*i = -16, -4*i = z*g + 147 + 29. Which is bigger: n or g?
n
Suppose -4*q - 192 = 1284. Let l = -330 - q. Is l < 121/3?
True
Let c = -13.042 + 0.042. Let o = 66 + -79. Let b = o - c. Which is bigger: b or -16?
b
Suppose -3*x + 2*o = -18, -23 = -x - 0*o - 5*o. Suppose 179 = x*l - 61. Let y be 1/2*(-186)/(-3 + 0). Is l < y?
True
Suppose 7*s + 285 = 3*q - 410, -5*q = -5*s - 1125. Which is bigger: 225 or q?
225
Suppose -3*f = -f. Let x = 9521437/12 + -793452. Is x equal to f?
False
Let y = -6219 + 7429. Is 1210 < y?
False
Suppose -31 + 67 = -f. Let b be -2 + (-80)/f + 5064/54. Is 94 smaller than b?
False
Let f = -9093122/145825 + -21/5833. Let g = -681727/10960 - -3/2192. Let j = f - g. Is 0 less than j?
False
Let q be (-2)/8 - (1467/(-12) + 0). Suppose 0 = -p + 36 - q. Let n = 69 + p. Which is smaller: -16 or n?
n
Suppose -66 - 164 = -5*j. Let x(s) = 537*s - 14455. Let l be x(27). Is j greater than or equal to l?
True
Let m be (240/(-880) - 36110/49742) + (-1 - -2). Is 0 greater than m?
False
Let c = -387 + 1251. Suppose c = -4*n + 5*m - 4*m, 0 = -m. Which is bigger: n or -217?
n
Suppose 2*h + 56 = 4*w, 2*w = 4*h - 2*w + 92. Let a be 3/h*(-6)/(-20). Suppose 0*y - 4*l - 4 = -y, -1 = 3*y + l. Is a not equal to y?
True
Suppose 4*w + 4 = -0*w + 5*k, 5*k = -4*w - 44. Let o = 1 + w. Let j be 153/(-5) - (-2)/o. Are -31 and j nonequal?
False
Let w = 10974 + -98789/9. Are w and 54 unequal?
True
Let o = 4492 - 4081. Is 415 less than or equal to o?
False
Suppose 1336 = -25*h + 29*h. Let i = h + -333. Are 1/249 and i unequal?
True
Let p = 0 + 1. Let z be (-18)/30 + 157/(-5). Let j be z/6*(-5)/(-220). Which is bigger: p or j?
p
Let k = -74 + 74. Let p be 52/((-18)/3 + -3) - -6. Which is greater: k or p?
p
Let l = -1811 + 1808. Let i = 68 + 12. Are l and i unequal?
True
Let b = -36013 - -36033. Which is greater: 26 or b?
26
Let f be 61/(-7) + 4/(-14). Let i = -11 - -10. Let y be 39/i*(-3)/f. Which is greater: y or 0?
0
Let x = -1073431345/23164 + 92681/2. Which is smaller: x or -1?
-1
Let u = 2202 - 2523. Which is smaller: u or -325?
-325
Let m be (125/50)/((-10)/(-12)). Suppose -m*o = -9*o + 210. Which is smaller: o or 31?
31
Suppose 0 = -6*a - 618 + 144. Let c = -70 - a. Suppose c*l = 7*l. Is -2/9 <= l?
True
Let p be (-374)/(-88) + -5 + -1*1/(-4). Which is smaller: p or 590?
p
Let q = 0.1097 - 0.0097. Let a = -8.1 + 8. Let w = -5.9 + a. Is w greater than q?
False
Let q = -138 - -137.7. Let x = q - 0.7. Let h = 0.2 + -0.1. Are x and h nonequal?
True
Suppose 15 = 5*f, 3*r + 2*f - 84 = f. Suppose -204 = -10*z + 13*z. Let o be 34/z + (2 - 47/(-2)). Which is greater: r or o?
r
Let l = 108/13 + -203999/24557. Do l and -1 have the same value?
False
Let t = -9913726/3111 - -9560/3. Which is smaller: -2 or t?
-2
Let y(h) = -h**3 + 7*h**2 - 6*h - 6. Let m be y(5). Suppose 4*v - 3*g + m = 71, 0 = -3*v - 3*g + 48. Is v less than 11?
False
Let f be (8/(-10))/(88/40). Let t(m) = m + 24. Let r be t(-24). Suppose -p = -5*q, r*q - 2*q = 5*p - 27. Which is smaller: f or q?
f
Let p be ((-2)/(-8))/(220/1683440). Is p equal to 1912?
False
Let s be ((-1098)/(-6))/(114/(-48) - -2). Is s less than -488?
False
Suppose 41 = 3*c - 4*h + 15, -5*h + 8 = 3*c. Let i(u) = -u**2 + 6*u + 1. Let d be i(c). Let a = 34 - 30. Which is bigger: a or d?
a
Let k be 5860/586 + 4/46*-118. Let t = 0.2 - 0.2. Let q = -0.1 - t. Which is smaller: k or q?
k
Let r be 4 - 2 - ((-221)/(-119) + (-8)/(-7)). Are r and -1976 equal?
False
Let r be 2886/(-91) - (-2)/(-7). Let d = r - -32. Let u be 78/(-176) + 2/(-11). Which is smaller: d or u?
u
Let j = -11289 + 11307. Let h = 17.34 - 35.32. Let s = h + j. Which is smaller: -2/3 or s?
-2/3
Let c = -501055/12 - -41727. Is -27 < c?
False
Let g = 199161/10 - 19917. Which is greater: g or -191?
g
Let o = 120 - 80. Suppose 14*m - 310 = 264. Is m bigger than o?
True
Suppose -3*g + 149*v - 153*v - 4 = 0, -2 = -5*g + 2*v. Which is bigger: -10/361 or g?
g
Let o = -38100 + 38071. Suppose -4*n = -2*c - 10, 3*c = -0*n + n + 10. Suppose -2*v + 50 = -4*v + c*q, -3*q - 66 = 2*v. Which is smaller: o or v?
v
Suppose k + 4*k = 10. Let l be -1*k*1/(-112). Let i be (-128)/1664*(-4 - 9). Is i at most as big as l?
False
Let z(l) = 3*l**3 - 33*l**2 + 11*l - 25. Let h(t) = -5*t**3 + 50*t**2 - 16*t + 37. Let a(x) = -5*h(x) - 8*z(x). Let c be a(-7). Is c less than 414?
False
Let b = 23 - 48. Let m be 3575/10 + (-27)/18. Let h = 329 - m. Which is bigger: h or b?
b
Let f = 3 - 7. Let q = 27.8281 + -0.0281. Let t = q - 27. Which is smaller: t or f?
f
Suppose 21*h - 345 = -1479. Let s be ((-1)/((-2)/h))/((-141)/94). Are 18 and s unequal?
False
Let v = 5688 - 5688.01. Is 111 greater than v?
True
Let s = 1463.8 + -1289. Let x = -36.2 - s. Which is smaller: x or 0.2?
x
Let m be (-4 + 27/6)*-2. Let v be m*(-4)/8*-12. Let u = 303 + -306. Which is greater: u or v?
u
Suppose -28*u - 235 = -33*u. Do 56 and u have different values?
True
Let j(l) = l**3 - 34*l**2 + 99*l - 68. Let c be j(29). Is -1401 greater than c?
True
Let l be 14 + -13 + ((-6)/(-12))/((-1)/2). Do 3/15227 and l have the same value?
False
Let y = 108 + -62. Let z = -59.19 - -6.89. Let k = y + z. Which is smaller: k or 1?
k
Let k = 1.68 + -22.88. Let i = k + 21. Let s = -41 + 46. Are i and s nonequal?
True
Let k = 117.798 + -117.8. Which is bigger: -1/19 or k?
k
Let u = 3116 + -3577. Which is greater: -4 or u?
-4
Let w be 6235/(-3393) - ((-10)/25)/((-18)/(-10)). Which is smaller: -3 or w?
-3
Let c be 1 + 10 - 187600/35. Do c and -5350 have the same value?
False
Let y be ((-42)/343 + 0)*1/(-2). Let s = y + 40/147. Which is bigger: s or 1?
1
Let c = 83.02 + -83. Let k = c - 1.92. Let q = 0.9 + k. Is -3 greater than q?
False
Let x be (1273 - (-2)/1)*(-181)/(-543). Which is greater: 437 or x?
437
Let p be 355 + -350 + (-6496)/(-5). Which is smaller: 1305 or p?
p
Suppose 19*c - 18*c = 165. Let o = 191 - c. Which is greater: 24 or o?
o
Let o = -392.725 + 393. Let z = 45.725 + o. Which is smaller: -1 or z?
-1
Suppose -524440 = -9*o - 13*o - 18*o. Is 13110 at most o?
True
Suppose 0 = -a - 1, 3*y + 5*a = -2*y + 60. Suppose 4*h = y*h - 27. Suppose -2 = -h*m + 5*u, -m + 3*u = 4*m + 2. Does 2/211 = m?
False
Let y be 45 - (2/3)/(20/90). Let b = 72 - y. Let g = 31 - b. Which is bigger: g or 2?
2
Let j = 99 + -64. Suppose 5*h = 0, 4 + 4 = 2*g + 4*h. Suppose b - 37 = -c, -175 = -5*c + b + g*b. Which is smaller: c or j?
j
Let k = 25.69 - 160.69. Which is smaller: -16 or k?
k
Let x = -2845 + 2851. Is x >= -3/8?
True
Let m be (((-858)/24)/11 + 6)*276. Suppose m*c = 753*c + 132. Let n = -22 + 45. Which is bigger: n or c?
n
Suppose 3*b + 189 = 10*b. Let w = 4 - b. Let d(a) = 2*a + 29. Let x be d(w). Which is smaller: -14 or x?
x
Let l = -2 - -6. Let w(b) = -b**3 - 54*b**2 + b + 68. Let x be w(-54). Suppose -v + 11 = 3*s, -2*v + 4*s + x = 6*s. Which is smaller: v or l?
l
Let h = 1745479/5065 - 16/1013. Which is smaller: h or -1?
-1
Let r(v) = 3*v - 23. Let a(p) = p**3 + 8*p**2 - 8*p + 22. Let f be a(-9). Let x be r(f). Let w be (x/6*-3)/3. Which is smaller: -2 or w?
w
Let h be (12/(-18) + -6)*7/112*-4. Suppose j = -2*y + 4*j - 4, 0 = -j + 2. Is h at most y?
False
Let m = -4 + 4.01. Let q = 98.18 - 101.18. Which is smaller: q or m?
q
Suppose 27286 = 159*o + 1522204. Is -9402 at most as big as o?
True
Suppose 272 = -5*p - 3*w, -5*w + 103 =