 -466. Let s = d - 79.0051. Which is greater: -1 or s?
-1
Let s be 3/((-324)/219) - (-24)/12. Suppose 47 = -p + 37. Let z be (-3 - 25/p)*2. Is z greater than or equal to s?
False
Suppose -463754 = 133*a + 457271. Are -6925 and a unequal?
False
Let s be (-2 - 0) + (-37696)/(-116). Let v = s + -323. Which is bigger: 1 or v?
1
Suppose 13*z - 9*z - 612 = 0. Let l be (-2)/(-4) - (z/2 - 1). Is -75 bigger than l?
False
Suppose -1144 = 1438*h - 1490*h. Is h > 291/14?
True
Let y(h) = -h - 53. Let a be y(34). Let o(j) = j**2 - 24*j + 9. Let u be o(19). Which is bigger: a or u?
u
Let q = -23.3 - -17.4. Let s = q - 23.1. Is 0 greater than s?
True
Let g = 26 + -78. Is -83 >= g?
False
Let w(s) = -s**3 + 11*s**2 - s + 12. Let d be w(11). Let v be (-259)/(-610) - (-16)/200*-5. Is d at most as big as v?
False
Let p = -315/4 - -7185/92. Which is smaller: -1 or p?
-1
Suppose 10*o = -58*o - 0*o + 159052. Which is greater: o or -2/5?
o
Let k(z) = -7*z**3 + z - 1. Let x be k(1). Suppose 5*g = 8 + 2. Suppose 4*s = -0*s - 4*t - 12, 5*t - 6 = -g*s. Is s at least x?
True
Let i(z) = 5*z**2 - 8*z + 8. Let d(t) = 4*t**2 - 8*t + 9. Let u(k) = 4*d(k) - 3*i(k). Let w be u(5). Let l be w/(-2)*4/33. Which is smaller: -4/5 or l?
-4/5
Let m be ((-4)/66)/(-32 - (-20125)/630). Is m >= -22?
True
Let g be (-5)/1 - 24/(-3). Suppose g*k + 5*y + 81 = 0, -5*y + 81 = -3*k + 30. Which is bigger: k or -19?
-19
Let z = -338 - -339.36. Let d = -2.36 + z. Let s = 1.5 - -0.3. Is s > d?
True
Let j be 4/(-6)*480/(-1280). Which is smaller: j or -1.0314?
-1.0314
Let z = 3.0007 - -0.0343. Let i = -5 - -4.965. Let k = z + i. Is k <= 2/15?
False
Let c be (-3)/(3/2) + (32 - 30). Suppose 3*f - 12 = 8*w - 6*w, c = -3*f - 3*w + 12. Is 3 != f?
True
Let o = 64 + -61. Let b be 0/(5/1) - 16/o. Is b > -4?
False
Let o(p) = p**3 + 14*p**2 + 45*p - 4. Let l be o(-7). Which is smaller: -23 or l?
-23
Let m(b) = 131*b - 352. Let d be m(16). Which is greater: 1742 or d?
d
Let v = -184 + 183. Let t be (-1386)/341 - (-4)/1. Is v < t?
True
Suppose 4*k = -20*w + 22*w + 4, w = 3*k - 3. Which is greater: -170/231 or w?
w
Suppose 149*l + 20071 + 235184 = -38*l. Is -5465/4 greater than l?
False
Let m = 1722 + -1703. Suppose -2*s - 4*q = -20, -5*s - 3*q - q = -26. Suppose 48 = s*g + 14. Which is smaller: g or m?
g
Let g be (-5 - -16) + (-4)/20*(3 + -8). Let i = 7 - 3. Let d be (i/(-16))/(9/g). Do d and 15 have different values?
True
Let r = -99 + 175. Let a = -81 + r. Let h(q) = -q**2 - 12*q - 9. Let u be h(a). Which is bigger: u or 82/3?
82/3
Suppose 5*w + 5*k + 10 = 0, -130*k + 129*k = 2*w + 3. Is -22/3723 at most w?
False
Suppose -102 = b - 114. Let v be (1/b)/(54/5400). Let k be 12 + 9/(-6)*2. Which is greater: k or v?
k
Let j be (-134)/(-335) + (-64)/60. Are -2/249 and j unequal?
True
Let k = -8/39 - 4/741. Let x = -26/57 + k. Which is smaller: 111 or x?
x
Let t = 7 - 3. Suppose 2*c = -u + 8, c - t = 2*u + u. Let k = 5056 - 227519/45. Is k smaller than u?
False
Let n = -4518 - -4557. Which is greater: -3.9 or n?
n
Let c = -0.1963 + 1.1963. Let k = -52 - -52.82. Let z = -0.7 + k. Is z != c?
True
Let j(p) = 1. Let d(b) = b - 16. Let u(s) = -d(s) - 4*j(s). Let h be u(14). Which is smaller: h or -43/15?
-43/15
Let n(v) = v**3 - 14*v**2 - 75*v + 53. Let t be n(18). Is t smaller than -1/794?
True
Suppose -h - 1259 = 4*y, 4*h - 3*y - 278 + 5314 = 0. Is -1259 bigger than h?
False
Let f = 2759 + -2541. Is 220 greater than f?
True
Let j = -14986 - -14983. Let k = -3 + 7. Suppose -2*d = -k*d - 2. Are d and j equal?
False
Let y be (-192)/648*(-27)/(-36). Is 90/7 <= y?
False
Let l be 18/(-162)*9059/(-117). Let s = -112/13 + l. Does -1/3 = s?
False
Suppose 59*x - 1 = 48*x - 1. Which is greater: 1/11147 or x?
1/11147
Suppose 4*d - 14*d = -3330. Which is smaller: d or 340?
d
Let n(t) = 59*t**2 - 6*t + 26. Let j be n(4). Which is bigger: 945 or j?
j
Let a(k) be the second derivative of 0 + 6*k**2 + 15*k - 3/2*k**3 + 1/12*k**4. Let q be a(7). Is q less than -7/5?
True
Suppose -6128 = -4090*n + 4091*n. Which is smaller: 0.1 or n?
n
Let m = 9 - -5. Let r = 13056 + -13038. Which is smaller: m or r?
m
Let k be (-179)/(-364) - (-3 + (-35)/(-10)). Let d = 9 - 9. Is d less than k?
False
Let n be (-2)/(-4 + 8) - 118/4. Let m = n + 30. Suppose -5*h - 22 + 2 = m. Is -38/7 less than h?
True
Let h(u) = -3*u**2 + 134*u + 203. Let a be h(25). Is 1678 less than a?
False
Suppose -25*k + 4685 + 4940 = 0. Suppose 2*b - 77 - k = -c, 0 = -5*b - 3*c + 1157. Do 683/3 and b have different values?
True
Suppose 36*n - 39*n - 2*m = -1817, -5*m = -4*n + 2438. Is 607 greater than n?
False
Let y = 0.0741 + -374.0741. Let p = 377 + y. Which is smaller: p or -8?
-8
Let f = -153 - -333. Let g be 205/f - ((-3)/4)/1. Which is smaller: g or 3?
g
Let s = 7 + -121. Let j = s + 80. Let f = j + 34. Is 7/16 < f?
False
Let f(h) = 265*h + 305. Let k be f(-1). Is k > -6/35?
True
Suppose 0 = -0*s + 39*s - 72774. Suppose s = 292*c - 298*c. Is c greater than -310?
False
Let x = -321846/19 - -16938. Which is smaller: 4.9 or x?
x
Suppose -2*s = 2*l - 82, -s + 22 = -3*l - 39. Let w be 207/s*(-136)/6. Is w at least -205/2?
True
Let u be 1 + -4 - (-11 - -7). Let j be ((-9 - -6)/9)/u. Is -67 less than or equal to j?
True
Let s = -1 - 29. Let j be (-15)/s + 29/2. Suppose -6*x + 53 = -25. Which is bigger: j or x?
j
Let t be 7*(-12)/14 + (-35)/(-5). Is -2/1997 >= t?
False
Let q = 102 - -334. Let m = -421 + q. Is 180/11 < m?
False
Let g be 20787/845*50/4. Which is bigger: g or 307?
g
Let i be (-1)/1 - (6/5 + 4628/(-2015)). Which is smaller: i or -23?
-23
Suppose 0 = 3*n - 2*w - 38 + 40, -2*w + 2 = 3*n. Which is smaller: n or 1/12477?
n
Let w be (-11724)/96 + 0 + 2/16. Is w at most -123?
False
Let y = 11/1552083 + 13844945545/1552083. Let x = 8928 - y. Which is smaller: 7 or x?
7
Let f = -97400 - -97402. Let l = 0.7 + 0.3. Let p = -0.6 + l. Which is smaller: p or f?
p
Let x be 12 + -11 - (-870)/36. Let c = 767/30 - x. Which is bigger: c or 8?
8
Suppose 14*i = -0*i + 42. Let k be (4 - (-52)/(-24)) + i/6. Which is smaller: k or 0.1?
0.1
Let c be 6568/(-280)*28/(-8). Let m = c - 82. Which is bigger: m or -3?
m
Let z = -49 - -928/19. Let t = 78/133 + z. Which is smaller: -1/26 or t?
-1/26
Let r = -76 - -74. Let m be 1*(3/3 - r). Suppose -a - 3*g + 12 = 0, -g + m*g - 8 = 5*a. Which is bigger: a or -3/10?
a
Suppose 28*n - n = -221*n - 99448. Is n less than or equal to -1999/5?
True
Let w be (-123)/(-246)*4/2. Are -5/886 and w nonequal?
True
Let s = 22 - 16.2. Let q = s - 8.1. Let m = 1.3 + q. Is 2 greater than or equal to m?
True
Suppose -26*b = -24*b, -z - 332 = 4*b. Which is smaller: -0.13 or z?
z
Let k be 600/(-150)*1/4. Do -3/1631 and k have the same value?
False
Suppose 4*p = -7*x + 3*x - 76, -17 = 3*x - 5*p. Do x and -3/205 have the same value?
False
Let g be (17/85)/(3/9). Let v = -3.71 - 0.29. Let b = 2 - v. Is b <= g?
False
Let a = -6557 - -6523. Is -6.8 > a?
True
Let k = 2 + -1. Let h be 2 - (6 - 3 - k). Let a = 3/409 - -2415/5317. Which is smaller: h or a?
h
Let f = 18.18 - 1.4. Let i = -17 + f. Let y = i - -0.32. Is -1/6 less than y?
True
Let d be (9 - (15078/(-28) + -9))*(-2)/20. Is -55 < d?
False
Let d be (-1)/(-1) + 1036/(-1044). Suppose 0 = 5*z + 1035 + 510. Let s = z - -308. Which is smaller: s or d?
s
Let v be 7 - (-102)/(-9) - (-2)/6. Let p be 238/v*82/41. Suppose u = 2*u, -2*u = -f - 119. Is f less than or equal to p?
True
Suppose 2649*u - 1696 - 953 = 0. Let q be (10 - 1)/((-201)/(-10)). Which is bigger: u or q?
u
Let r be (-323)/19 - 340256/(-20034). Which is greater: r or 1?
1
Let s(r) = 11*r**2 - 11*r - 25. Let z(i) = 5*i**2 - 5*i - 12. Let f(m) = -4*s(m) + 9*z(m). Let n be f(0). Suppose 59*g - 60*g - 5 = 0. Which is smaller: g or n?
n
Suppose -14*s + 30*s - 59*s + 4386 = 0. Let a = -113 + 216. Which is smaller: a or s?
s
Suppose -3*k = 2*x - 8, -x = -4*k - 9 - 6. Let q be 100/175 + (-4155)/x. Which is bigger: -1 or q?
-1
Let u = -360 + 369. Let w = u + -10. Which is greater: -158 or w?
w
Let g(o) = 4*o - 15. Let s be g(13). Let y = -36 + s. Let r = 0.691 + 0.009. Which is bigger: y or r?
y
Let w(c) = c + 8. Let o be w(16). Suppose -s - 4*s - o = 3*d, -s - 4*d = -2. Let k be (-3)/5*(s + 1). Is -2 < k?
True
Suppose -102 = -2*l - 18. Let y be (-13)/(-65) + l/(-10). Let o(j