61/q + -4. Is 0 at most h?
False
Suppose -366*h - 6630 = -444*h. Which is smaller: 345/4 or h?
h
Suppose -2*h + 19 = 3*c + 96, 5 = c. Let z = h - -45. Let d be (-97)/(-4) - z/4. Is d smaller than 25?
True
Let j = 7 - -25. Let z = -56 + j. Let f = z - -23.9. Is f <= 4/9?
True
Let g(k) = -k**3 - 2*k**2 + 44*k - 32. Let d be g(-8). Is d less than or equal to -29/781?
False
Suppose -5*v + a + 4*a = -995, -4*v - a = -771. Let n be (v/(-6))/((-14)/(-42)). Let f be n/4 - (-15)/12. Which is smaller: f or -21?
f
Suppose 4*x = 3*p - 2026, 2 = -4*p + 26. Which is smaller: 2 or x?
x
Let r = 5697 + -6100. Is -1617/4 less than r?
True
Let s = -8410 - -8409. Do 3/944 and s have the same value?
False
Let v = 624 + -235. Let f = v - 349. Which is smaller: -1 or f?
-1
Let r = -653.1 - -735. Let b = r - 33.9. Do -0.1 and b have the same value?
False
Let i = 34 - 28. Suppose 0 = 9*k - i*k - 78. Let a be (-32)/(-40)*10/k. Which is smaller: 0 or a?
0
Let y(i) = -i**3 - 29*i**2 + 3*i + 49. Let b be y(-29). Let p be b/70 + (10/25 - 0). Let a = -15/4 + 1/2. Which is smaller: p or a?
a
Let b = 46.4 + -18.2. Let x = -81 + b. Let i = -53 - x. Do 0.03 and i have the same value?
False
Let w = 8606 + -4622. Which is smaller: 3985 or w?
w
Let p be (-2)/(-4)*(2 + 12). Let s = -1450 - -1449.8. Which is bigger: s or p?
p
Let a = 5276973/5 + -1052108. Suppose 960 - 17455 = 5*j. Let q = a + j. Which is bigger: -13 or q?
q
Suppose 10*q = 3*q - 14. Let f(g) = 11*g + 11. Let b be f(q). Let p = 1694 - 1692. Which is smaller: b or p?
b
Let o = -3282.68 - -3284. Let a = -120 - -121.13. Let r = o - a. Which is smaller: -2 or r?
-2
Suppose 67*b = 64*b + 42. Let j(q) = -2*q**2 + 30*q - 4. Let v be j(b). Let w be v/32 + 2/(-8). Is -5/22 greater than or equal to w?
False
Let h be 9/(3*(-3)/(-6)). Suppose -348 = -h*c + 348. Is c at least as big as 116?
True
Let p = 671 - 698. Suppose 5*i + 5*m = -0*m - 485, m = -2*i - 197. Let n be (i/4)/(-5) + p. Which is bigger: n or -1?
-1
Suppose -2*r = -3*k - 104, 5*r - 272 - 2 = 4*k. Let d(n) = -n**3 - 197*n**2 - 1873*n - 563. Let w be d(-187). Which is greater: r or w?
r
Let u = -0.037 - 46.963. Let k = -46.98 - u. Are -3/2 and k non-equal?
True
Let x = -4403 - -4407.086. Let d = x - 4.09. Is d < -1?
False
Let q = 445 + -443. Let z be 14/q + (-6732)/136. Is z bigger than -44?
True
Suppose 20 = -6*n + n + r, r - 8 = 2*n. Let d(u) = -4*u - 15. Let o be d(n). Which is smaller: -2/9 or o?
-2/9
Let c(t) = -157*t**2 + 3*t - 2. Let z be c(2). Let q be (-3)/33 + z/(-1782). Which is bigger: -1 or q?
q
Let h = 37643737784/14727637 - 822/107501. Let y = -2556 + h. Let f = 0.8 + -0.8. Is y greater than or equal to f?
False
Let g(y) = 11*y + 26. Let v be g(-1). Suppose 25 = v*r + 385. Is r not equal to -47/2?
True
Let f be 3/12 - (-18995)/3364 - (-2 - -6). Which is greater: 2 or f?
2
Let h = -0.003 + 5.303. Let m = 84842 - 84841. Is h greater than or equal to m?
True
Let r = -43.9 + 41.31. Let l = 3.49 + r. Which is bigger: -0.06 or l?
l
Let n = 1.47 + -0.88. Let z = -30.41 - n. Let w = z - -22. Is -3 smaller than w?
False
Let k = -3921 - -4233. Is -3/10 <= k?
True
Let y = 10554.89 + -10555. Do 1/116 and y have the same value?
False
Let q = 208 + -40. Let i(t) = 105*t**2 - 815*t - 32. Let l be i(8). Is q at most as big as l?
True
Suppose -60 = 17*a - 20*a. Let d(t) = -4*t + 86. Let y be d(a). Is y < -2?
False
Let i = 2.194 + -1.194. Which is smaller: i or -584?
-584
Suppose -8 = -5*q + 7. Let u be q - 2 - 2/(-1). Let v = 49415 - 49413. Is v less than or equal to u?
True
Suppose -5*z + 2*v = 3*v - 100, -80 = -4*z + v. Let w be ((-4)/6 + z/12)/1. Which is smaller: -519 or w?
-519
Let d = -7499 + 7526. Which is greater: d or 0.82?
d
Suppose 0 = 425*o + 399 + 1478 - 177. Suppose -18 = 3*t - t. Let a be ((-14)/12)/((-2)/t). Is a >= o?
False
Let g = -221 + 224. Which is smaller: g or 47/15?
g
Suppose 3*n + 803 = 7*g - 2*g, n = 5*g - 281. Let u = -261 - n. Are -0.303 and u equal?
False
Let p = 15640.8 - 15640. Which is bigger: -12/5 or p?
p
Let w be ((-140)/560)/((-1)/(-4)). Which is greater: w or -14.68?
w
Let m = 689.3 - 690.408. Does 0 = m?
False
Let s(p) = 2*p + 631. Let x be s(-16). Which is bigger: 598 or x?
x
Let r(z) = 14*z + 20*z - 39 - 47*z + 11*z. Let y be r(-19). Is y equal to -84?
False
Suppose 9*k + 57 = -10*k. Let j be ((-219)/(-6) + 3)/(-2 - k). Let m = -40 + j. Which is smaller: -67 or m?
-67
Let i be -10 - 612/(-63) - (-23)/7. Suppose 0 = i*l + 4*b - 19, -b = -5*l + 8*l - 7. Is 3/137 at least as big as l?
False
Let s = -70253/10 - -136287/20. Let j = s + 211. Is -1/4 at most j?
True
Let s = -116 - -125. Suppose 7*w = 16 - s. Is -2/285 at most w?
True
Let b = 51 - 47. Suppose 0 = 3*r - 4*p - 637, 0 = -2*p + b. Does r = 427/2?
False
Let m = 4415 - 3916107/887. Is 1 less than or equal to m?
False
Let j = -164 - -164.284. Let o = -424 + 424.084. Let s = o - j. Do -25 and s have different values?
True
Let z be 1923/36*4 + 4/(-6). Let y = z + -211. Which is smaller: y or 3?
y
Let c be 11/((-1 - -1) + 1). Let j = -538 - -224. Let f = -2200/7 - j. Is f smaller than c?
True
Let z = 180770 - 1950869843/10792. Is 1 smaller than z?
False
Let i = -2095 + 2094. Is i > 41/91?
False
Let j be 5*20/150*3/1 - 3. Are 81 and j unequal?
True
Suppose 4*s - 28 = -3*z, 0 = -2*z + 4*z + 5*s - 14. Suppose z = -4*b, b = 3*l + l + 81. Let x = 87 - 109. Which is smaller: x or l?
x
Let d be (194 + 371)*9/(-5). Let v be (3266/40)/((-4)/50). Let j = v - d. Is j <= -4?
False
Let d(h) = h**3 - 85*h**2 - 5*h + 419. Let c be d(85). Is -7/31 less than c?
False
Let j = 592 + -37903/64. Which is bigger: j or -1?
j
Let r be (-52 - -2)*(-4 + -1)/5. Let w be 15/r - (7/10)/(-7). Is w smaller than -5/17?
False
Let n(d) = d**3 + 6*d**2 + 27*d + 421. Let l be n(-9). Which is greater: -83 or l?
l
Let j = 4836 - 4485. Which is greater: 355 or j?
355
Let u = -368/975 + 12/25. Suppose 51 + 81 = -4*m. Let d be 14/(-91) - m/(-39). Which is greater: d or u?
u
Let x be ((-32)/(-3))/((-2)/9). Let d(y) = -y + 7. Let q be d(-9). Let j be (-2 + 8)/((-18)/q + 1). Is j at least x?
True
Let h(o) = -o**2 - 25*o + 42. Suppose 26*q - 22*q = -100. Let j be h(q). Let p be (-802)/j + 17/(595/(-20)). Which is bigger: -20 or p?
p
Let y = 1015/916978 - -3/2242. Suppose 2*n - 3 = 5*x, -5*n - 3*x = -8*x. Which is greater: y or n?
y
Let b = -336 - -902. Suppose -14*j + 62 = b. Which is smaller: j or -37?
-37
Let m = 4.99 + -5. Suppose 5*z + 54 = 3*w, -3*z - 9*w = -7*w + 21. Is m greater than or equal to z?
True
Suppose 5*w - 8 = 2, -8 = h - 4*w. Let s(o) = -4 + 14 - o - 2*o + h*o. Let l be s(15). Is l less than -35?
False
Let k = -2045 + 2046. Which is smaller: k or 3/806?
3/806
Let j(l) = -l**3 - 6*l**2 - 8*l - 5. Let k be j(-3). Suppose 4*a = 5*y - 44, -5*a - 9*y + 8*y - 55 = 0. Is a bigger than k?
False
Let f(h) = -h**2 - 19*h + 22. Let p be f(-20). Suppose 0 = -0*g - 3*g - 2*m + 10, -6 = -g + p*m. Let z(c) = -c**2 - 10*c - 5. Let q be z(-9). Is q > g?
False
Suppose -6*r + 53 = -5*r. Let o = -670 - -723. Is o greater than r?
False
Let z = 268 - 229. Let x(w) = w**3 - 40*w**2 + 41*w - 105. Let y be x(z). Is -30 greater than or equal to y?
False
Let r = 26 + -23. Suppose r*h + 12 = 27. Suppose -h*v - 8 = -13. Is v != 2/147?
True
Let k = -0.0235 + 4.9635. Let d = -3.8 + k. Let f = d + -4.14. Which is smaller: f or -2.2?
f
Let i = 12/31477 + -27888802/472155. Are -58 and i unequal?
True
Let c be (1/(-4))/(3/(-876)). Let v = c - 47. Let o = 28 - v. Do o and 1 have the same value?
False
Let r = -10.4 + 9.645. Let d = 0.8 + r. Let g = -0.355 - d. Which is greater: 3 or g?
3
Let n = 6.55 + -0.35. Let u = 4.4 - n. Let r = 2.1 + u. Is r at least -6?
True
Suppose -4331 = -11*w - 118266 - 1466. Which is greater: w or -10492?
w
Let d = 156 - 116. Let z be (-24)/(-16)*d/6. Which is bigger: z or 49/5?
z
Let d = 784 + -788. Let l be (26/d + 6)*0. Is -6/73 at most l?
True
Let f = 70 - 45. Suppose f*n - n + 24 = 0. Which is bigger: n or -6?
n
Suppose -5*m - 92 = 5*j - 287, 33 = j - 5*m. Let g = j - 38. Let i be (g/5)/(-1 + 8/2). Are 7/12 and i nonequal?
True
Let l(f) = -f**2 - 2. Let g(t) = 7*t**2 + 26*t + 61. Let s(w) = g(w) + 6*l(w). Let z be s(-24). Is z equal to 2/393?
False
Let n = -1402605/109733 + -3/4771. Which is smaller: n or