?
True
Suppose -2*c - 1207 = -5*y, -2*c + 0*c = 2. Is y at most as big as 240?
False
Let g = 126246 - 639312/5. Is g not equal to -1616?
True
Let v = 443 - 273. Let p be (-2)/(-17) - 4610/v. Is -83/3 equal to p?
False
Suppose 10*d - 312 + 1251 = -5831. Which is greater: d or -8820/13?
d
Let g(t) = -99*t**2 - 3*t + 3. Let o be g(5). Let c = o - -241244/97. Let r = c - 376/1649. Is -1 < r?
True
Let h be (8 + -4 - 3) + 111. Suppose -59*m - 33*m = -10396. Is h >= m?
False
Let v = 18.9 - 16.1. Let w = 2.3 - v. Is 2 <= w?
False
Suppose 0 = 5*y + 150 + 55. Let r = 102 + -142. Let q = y - r. Does q = -12?
False
Let c be (81/(-495))/(18/(-73380)). Let y = -667 + c. Let g = 0 + 0. Is y at least as big as g?
True
Let c be 16/2 + (-1702)/207. Let w = -4 - -6. Let v = 2.1 - w. Which is greater: v or c?
v
Let x be (-2064)/18*12/4. Let k = x + -9. Does -353 = k?
True
Suppose -2*w + 2 + 2 = 0. Let j be (7/(-2))/((-8)/160*5). Let n be (-7)/(j/(-6)) - (-6)/(-42). Which is smaller: n or w?
w
Let j be (-2)/(-4) + (-147)/342. Let w = 5219 - 5220. Is w >= j?
False
Let o be -18 + 72/3 + -5. Is o < -522?
False
Let a be 226/(-840) + 1/4. Suppose 179*h - 70 = 165*h. Suppose 0 = -h*i - 933 + 928. Which is smaller: a or i?
i
Let k(n) = 4*n + 3. Let w be k(0). Suppose -w*t + 3*d = 42, -2*d + 34 = -2*t - 3*d. Which is smaller: -17 or t?
-17
Suppose 2354 + 1087 = -37*w. Is w >= -93?
True
Suppose -2 = -2*d, 0 = -4*v - d + 2170 - 6129. Is v less than or equal to -990?
True
Let x = 18.001 + -0.001. Let i = 0.05 - 0.05. Let n = x + i. Which is greater: n or -1/3?
n
Let f = 9896/791367 - 10/1003. Are 0 and f equal?
False
Let u be (-128)/(-3) - (-2)/(-3). Suppose 22*z = 443 - 84 + 521. Which is smaller: z or u?
z
Suppose -5*w - 3*y = -7*y - 590, 0 = 3*w + 2*y - 376. Which is smaller: 123 or w?
w
Let i = 49 - 739/15. Suppose 20*k + 567 = 547. Is k at least as big as i?
False
Suppose 4*p + 140 = -4*r - 12, -4*r = -4*p - 120. Let b = 8805 + -8842. Is b at least as big as p?
False
Suppose -7*n - 2 = 40. Let b be (-43)/n - 59/354. Is b smaller than 12?
True
Suppose p = -3*t + 3, -4*p + 0 = -3*t + 18. Suppose -k - 27 = g, k - 4*g = -0*k - t. Let h be ((-6)/(-15))/(k/40). Which is smaller: 0 or h?
h
Let w = -1128 + 1108. Which is smaller: -0.068 or w?
w
Suppose 28*n - 34*n - 12 = -m, n = 5*m - 2. Is n smaller than -408/179?
False
Suppose q = -4*q + 320. Suppose -o + 230 = -2*m, 3*o + m = -2*m + 690. Suppose 4*g = 26 + o. Is g != q?
False
Suppose 358 = -12*w + 70. Let t be (378/(-390))/(w/(-80)). Which is smaller: t or -4?
-4
Let z = 17820 + -17960. Which is greater: -133 or z?
-133
Let r = -6297/26453878 - 1/9179. Which is bigger: r or 1?
1
Let o = -65 - -65. Suppose -696*q + 692*q - 4 = o. Is 1/121 at most q?
False
Let i = 5/442 - 7659/12818. Which is smaller: -1 or i?
-1
Let y(c) = -5*c**3 + 4*c**2 - 2*c + 5. Let k be y(3). Let u = k + 104. Suppose u = -5*j - 11. Which is greater: 1/8 or j?
1/8
Let s = 88.2451 - 0.1451. Let j = s + -88. Let w = -11.98 + 12. Is w less than j?
True
Let i be (80/72)/(1120/(-192)). Let w = -8 - -6. Is i at least as big as w?
True
Let j(r) = -r**2 - 6*r - 5. Let u be j(-4). Let q = 7.741 - -0.189. Let i = -0.07 - q. Which is greater: i or u?
u
Suppose -4*g + 5*t = -356 + 409, 3*g - t + 37 = 0. Let h(c) = -2*c - 55. Let j be h(-20). Which is smaller: j or g?
j
Let o = -41 - -32. Let x = o - -2. Which is bigger: x or -5?
-5
Let f be 225/(-216) - 30/(-720). Is 1/17321 at most as big as f?
False
Let x be (-2)/7 - (-416617194)/(-78939). Let k = -5278 - x. Which is bigger: k or -1?
k
Let f be (2 - 0)*-22*(-33)/1452. Is -24/625 < f?
True
Let c = -0.09883 - 0.06317. Let v = 0.6 - 0.7. Which is smaller: v or c?
c
Let z(s) = 4*s + 17. Let j be z(-7). Let q be (-330)/(-21) + 6/21. Suppose -3*x = -5*w - 23 - 24, 2*w + q = 4*x. Which is bigger: w or j?
w
Let x = -9067 + 9068. Is x != -14/131?
True
Let d = -0.182 - -0.782. Is -1/6 > d?
False
Let g = -702880/17 - -41330. Is -17 less than g?
True
Let l(k) = -5*k**2 - k - 3. Let m be l(-2). Suppose j + 15 - 16 = 0, -2*r - 46 = -4*j. Is m greater than r?
False
Let l be ((-45)/(-6))/(-5)*(-3920)/(-14630). Which is bigger: l or 1?
1
Let l = -1109 - -695. Let r be -8 - (5424/l - -5). Which is smaller: -1 or r?
-1
Suppose -2*b + 47 = 4*k - 847, -4*k + b = -915. Is 2/27 greater than k?
False
Let o = -902 - -942. Suppose y - 119 = o. Is y < 159?
False
Suppose 2*g = 6, -225 = -4*z + 59*g - 54*g. Is z < 60?
False
Suppose -8 = -2*d + 2, 2*l = -3*d + 25. Let f be (-1628)/(-20) + (-2)/l. Let k = 2078 + -1998. Which is smaller: f or k?
k
Let l(f) = 2*f + 1. Let o be l(2). Let b(r) = r**2 - 6*r + 1. Let m be b(o). Let c(d) = -637*d - 6. Let n be c(0). Which is smaller: m or n?
n
Let i = -1 + -12. Let b(r) = 4*r**2 - 7*r - 5. Let v be b(-4). Suppose -11*h - v = 67. Which is smaller: i or h?
h
Let s be 0 + -1 + ((-2580)/(-8))/15. Let z = 291/14 - s. Which is smaller: z or 125?
z
Let n be (-64 + 1)/(3 - 21/14). Let w be n/567*(9 + 1*-1). Which is bigger: w or -2?
w
Suppose -4 = -10*k + 16. Suppose i = -5*s + 3*i - 17, -2*i = 4*s + 10. Let w be ((-4)/(160/108))/s. Which is smaller: k or w?
w
Suppose 5*l - 364 = -3*u, 4*u + 0*u + l = 508. Let n be u/(-168)*(-3)/2. Is n bigger than -2/13?
True
Let h(m) = 6*m**3 + 11*m**2 - 51*m - 481. Let t be h(-9). Which is smaller: -3506 or t?
-3506
Let d = -3.3511 - -0.0171. Let q = d - -0.334. Which is smaller: q or 72?
q
Suppose -5*i = -3*i + 2*b - 2, -2*i + 2 = 6*b. Is 24/935 bigger than i?
False
Let q be 3/6 - (-370216)/112. Is -1/3 >= q?
False
Let b(r) = -427*r - 1240. Let o be b(10). Is o at most -27556/5?
False
Suppose 0 = 2*x + 5*c - 58, -2*c = -65*x + 62*x + 87. Let i = 5 - 4. Are i and x equal?
False
Let f be (-28 - -25)*2671 + (0 - 3). Which is smaller: -8015 or f?
f
Let z be (-2 - 1) + 382/116. Let u = -1054/5655 + -4/195. Let o = z - u. Are 0 and o non-equal?
True
Let f(p) = -p**3 + 33*p**2 - p + 59. Let n be f(33). Let q be (-4)/n - (-1028)/6344. Is q less than -1?
False
Let r = 1687/548328 - 5/2728. Which is smaller: r or 0.6?
r
Let i be (0 + -1)*(9 + 1). Let j = -51229/4417 + 107/631. Are i and j nonequal?
True
Let r = -34 - -34. Suppose q + 0*q + 31 = -2*t, r = 3*t - 5*q + 66. Suppose 0 = 2*m - 5*u + 58, 3*m - m - u + 42 = 0. Which is smaller: t or m?
m
Suppose 122452 - 1517 = 31*c + 36*c. Which is bigger: c or 1?
c
Suppose -145 = 4*p + x, 164*p + 3*x = 162*p - 65. Is p > -76?
True
Let h(q) = q**2 + 1. Let j(w) = -6*w**2 + w - 5. Let o(s) = 5*h(s) + j(s). Suppose 0 = -3*a + 6. Let i be o(a). Are -8/7 and i equal?
False
Suppose -w = 5*g + 5, -4*g + 52*w - 47*w = 4. Is 2/2043 bigger than g?
True
Let w = 160 - 172. Let a be w/54 - 868/(-18). Is 49 < a?
False
Let k(d) = 4*d**2 - 6*d + 9. Let t be k(2). Let o(m) = -15*m + 194. Let u be o(t). Is -1/46 at most as big as u?
False
Let n = 67 + -24. Let b = -5.1378 - -3.1378. Which is smaller: n or b?
b
Let x = 261 - 134. Is 131 at least x?
True
Let d be 6/2 - 5 - -12. Suppose 39*t - 34*t = d. Which is greater: t or -34?
t
Let a be (-56)/10 - (77/(-45) + (-1730)/(-1557)). Let c = -6 + 2. Is c greater than a?
True
Let f(x) = 5*x**2 + 193*x - 58. Let r be f(-39). Are 23 and r non-equal?
True
Let f be 6/(-6)*0 + 3. Let v be (-21)/7*(-197)/f. Is v <= 196?
False
Let g = -1113 - -230. Let s = -883.2 - g. Is 144 <= s?
False
Let r = 13 + -12.52. Suppose -6687*s + 3342*s + 3342*s = 3. Is r at least as big as s?
True
Let p be 8/12 + 5/(-12). Let m be ((-2)/14)/(8/(-200)). Let c = m + -243/70. Is c not equal to p?
True
Let l = -58 - -66. Suppose 4*q = -2*b, -l*q + 11 = -3*q - 3*b. Are q and -0.163 non-equal?
True
Let q be 1/(-3)*(10 - 65100/6555). Is 1 at least q?
True
Let b = 3/9379 - -9139/750320. Which is smaller: 2/239 or b?
2/239
Let n be (144/64)/(9/(-8) - -1). Let b = -25 - n. Are 1 and b nonequal?
True
Let h = 4432/13 + -4365546/12805. Which is greater: h or -1?
h
Let y(q) = 2534*q - 15251. Let x be y(6). Is 15.8 not equal to x?
True
Let p = 80 - 52. Let m = 13 - p. Let o be 13/(3*1/(-3)). Which is smaller: o or m?
m
Let f = -13618 - -13621. Which is smaller: f or -0.08?
-0.08
Let i(y) = -4*y**2 + 119*y - 65. Let f be i(29). Let x(c) = c**3 - 7*c**2 - 23*c - 10*c**2 - 4*c**2 + 11. Let z be x(f). Which is smaller: -2/3 or z?
z
Let b be (4614/(-8))