290/939 + -24028. Which is bigger: 1 or a?
1
Suppose -4*y - 10 - 6 = 0. Let k be (y/(-14))/((-438)/(-14)). Which is smaller: k or 0?
0
Let l = 6 + -1. Let m = 12 + -8. Suppose 2*d - l*f + m*f = -11, 5*f - 25 = 0. Is d equal to 2?
False
Suppose 31*z - 22*z + 4806 = 0. Let k = z + 1603/3. Is k at most -5/2?
False
Suppose 0 = 3*v + 323*f - 324*f + 3, 2*f - 1 = v. Is v bigger than 2/1535?
False
Let q = -30444 - -35846. Which is bigger: q or 5400?
q
Let l = -13 + 17. Is 0.0403 at least as big as l?
False
Let k = 2349 - 9389/4. Which is smaller: k or 2.23?
k
Let r = -578.71 + 575. Which is smaller: 3/4 or r?
r
Let d be (4434/15)/((-428)/(-60) - 7). Do 2215 and d have different values?
True
Let u be -6 + 6 - 6 - 1 - -8. Is u < 4/201?
False
Let v be (2 - 1) + (-20)/13. Let o be (-4 - (-64)/18)/((-8)/36). Suppose -j = -o*h - 6*j + 18, 4*j = -2*h + 14. Which is smaller: v or h?
h
Let a be 56540/1200 + 2 - 1*(-3)/(-15). Are 48 and a nonequal?
True
Let r(q) = -12*q**2 - 11*q + 256. Let y be r(13). Is y at least -0.1?
False
Let p = 2.56 + 308.44. Let b = -306 + p. Which is greater: 12 or b?
12
Suppose 5*a + z = 777, -51 = -2*a + 3*z + 270. Let d be (a/(-12))/((-11)/1) + -1. Suppose 3*m = -0 + 3. Is d != m?
True
Suppose 5*v + 4*g = -2, 105 = -v - 5*g + 92. Suppose -7 = 5*n - 2*x - v, 0 = 3*x. Let b = -1 + 1. Is b at most as big as n?
False
Let g = 0 - 0. Let b = 1 - g. Let r = -46493/9 - -325541/63. Which is smaller: r or b?
b
Suppose -8*p - 49 + 577 = 0. Let h be (-3)/(27/p) + 1/3. Which is smaller: h or -9?
-9
Let o(s) = -4*s**2 + s - s**3 + 343 + 4*s - 355. Suppose 5*c + 13 = 4*f, -9 = -c + 4*f - 2. Let n be o(c). Which is smaller: n or 0.2?
n
Let a(k) = 8*k**3 + 319*k**2 - 31*k + 335. Let z be a(-40). Let l = 181/5 - 597/10. Which is smaller: l or z?
z
Suppose -4*r - 4*z + 374 = -6*z, -279 = -3*r + 2*z. Let c = 140 + -46. Which is bigger: r or c?
r
Suppose 4*k = -g + 40, -69*g + k + 30 = -68*g. Which is smaller: 119 or g?
g
Let w be (-398)/(-1) - 5/(-5). Let x = w + -214. Let k be 7 + 416/(-56) + x/7. Is k > 26?
False
Let t = -1/35283 + 16829998/246981. Which is greater: t or 67?
t
Let c = -3182467 + 98634842/31. Let q(f) = 33*f + 71. Let s be q(19). Let k = s + c. Which is bigger: k or 1?
1
Let f = 0.0545 - -358.9455. Let j = f - 362. Do 0.1 and j have the same value?
False
Suppose 0 = -101*j + 17*j. Which is smaller: j or 30/263?
j
Suppose 371 = 3*l - 310. Let m be (352/128 - (-2)/8) + 224. Is m less than l?
False
Let j = -71.803 - -1.203. Let q = j - -70.3. Let s be 14/6 + (-2)/(-3). Is q greater than or equal to s?
False
Let q(d) = 2*d**3 - 121*d**2 + 287*d + 243. Let r be q(58). Let t be (3/6)/((-3)/(-411)). Which is smaller: r or t?
t
Let i = 340 - 144. Let a = -439 + i. Which is smaller: a or -242?
a
Let w = -2096 + 2258.3. Let g = w - 162. Which is greater: -0.07 or g?
g
Suppose 3*a + 2*d = 10534, -324*d + 320*d = 4*a - 14044. Is 3512 less than or equal to a?
True
Let s = 0.1 - 0.2. Let b(t) = t**3 - t**2 + 2*t + 47. Let z be b(0). Suppose v = -40 + z. Do v and s have the same value?
False
Suppose -2*f + 96 = 5*h, 3*f = 3*h - 6*h + 54. Suppose -29*v + 1062 = -h*v. Do 117 and v have the same value?
False
Let o be 59/(-66) - 32/528. Which is greater: 0 or o?
0
Let h(c) be the first derivative of -2*c**3/3 - c**2/2 + c - 6. Let s be h(0). Which is smaller: s or -2/157?
-2/157
Let l = -0.1 - 0.2. Suppose 0 = 5*b - 4*m + 5680, 25*m = 19*m. Let f be b/(-8094)*3/20. Is f at most l?
False
Suppose 4*b = b - 45. Let h be 5/(-2)*24/20 - -40. Suppose 0 = -4*v + 33*r - h*r - 72, -3*v - 48 = -3*r. Is v equal to b?
False
Let z be -2*(-1*9 - -1). Let k be (6/9*3)/(7/28). Let m be k/2*(-527)/(-124). Which is bigger: z or m?
m
Let l = -4538 + 3864. Which is smaller: l or -675?
-675
Let c = 193 - 77. Let x = -107 + c. Let v be (-11)/x + 1 - 128/288. Is v < 45?
True
Let x = 42 - 24. Let a = x - 27. Suppose -17 = 4*d + 18 - 11. Which is smaller: a or d?
a
Let v = -31927 - -31931. Which is smaller: v or 135/32?
v
Let a = 277/11 + -11423/451. Is 16 greater than a?
True
Let i = 0 - 1. Let p be 19 + 107422/(-5859) - (7 + 19/(-3)). Which is bigger: p or i?
p
Let r be ((-102)/68)/((-3)/(-2)). Let h = -10 + 8. Let g be (-2 + 1)/(10/h). Is g bigger than r?
True
Let z(q) = q**3 + 20*q**2 - 99*q - 6. Let h be z(-24). Let u = h + -66. Is u > -2/61?
True
Suppose 3*i - 2*m - 3 - 22 = 0, 2*i - 3*m = 20. Let d be (i + -4)*32/(-12). Is -4 equal to d?
False
Let o = 2.028 + 0.172. Let c = o - -92.8. Which is bigger: c or -0.2?
c
Let v = 6.1 - 156.1. Let q = 1425.58 + -1425.38. Which is greater: q or v?
q
Let g be ((-2)/(-40))/((-900)/(-3600)). Let h = -31 + 20. Does h = g?
False
Let b = -226644 + 4439729317/19589. Is b < -1?
False
Let d be ((-2)/(-6))/(1/(-21)). Let l = d - -30. Suppose 10 = -5*r - 5*z, 5*r - 4*z + 6 = l. Which is greater: r or -8/17?
r
Let h(x) = -x**2 - 10*x + 7. Let r be h(-11). Let n be (-93)/(-6) + ((-6)/r - 2). Suppose 9*d - 4*d - n = 0, 5*d = -4*l + 35. Are l and 11 unequal?
True
Suppose 21299 = 193*a - 224*a - 29820. Is a greater than -1649?
False
Let j = 28 - 56. Suppose -120 = -376*c + 380*c. Is c greater than or equal to j?
False
Let a = -27 - -147. Let p = a + -119.9. Suppose 0 = 4*v + l - 60, -v + 4*l = -0*v - 32. Which is smaller: p or v?
p
Let b = 2658 + -2659. Let g be -3 - (-112 + -1 - -1). Is g at most b?
False
Let h be 4/12 - (156890/24 - 1). Let z = h - -6584. Is z bigger than 49?
False
Let s = 1702 + -1677. Which is smaller: 170/7 or s?
170/7
Let a = 15 + -14. Let o be 22879/(-2338) + (3 + 0 - -7). Is a > o?
True
Let b = -17395 + 6695. Are -21399/2 and b non-equal?
True
Suppose 0 = 4*j + 108 + 44. Let r = 10902 + -10943. Is r at most j?
True
Let q = 1.2 - -8.8. Let v(k) = -k**3 - 10*k**2 - 29*k - 30. Let t be v(-6). Suppose t = -5*a + 8 + 12. Are q and a non-equal?
True
Suppose 4*h = -4, 0*h - 21 = 2*g + 3*h. Let r be (-3 + g/(-2))*8/3. Suppose -r*v - 3 = 1. Is -1 equal to v?
True
Let y = -16051251/544 + 29506. Which is smaller: -0.1 or y?
-0.1
Suppose l - 8 + 4 = 0. Let z be -3 + -3 + 3 + -1. Let x be -3*(45/54)/(2/z). Is l greater than or equal to x?
False
Let g be 19/76*0*1/2. Is -2/7471 at most g?
True
Let m be (-6)/10 + 22/((-1210)/(-33)). Which is greater: -2/6523 or m?
m
Suppose -143 - 146 = -17*a. Suppose 13*c = a*c. Is -2/887 > c?
False
Let u be -7 + (2 - -2) + -3. Suppose 40*d - 38*d - b = -62, -4*d - 3*b - 124 = 0. Which is greater: u or d?
u
Let o(f) = 53*f + 267. Let p be o(-4). Which is greater: p or 393/7?
393/7
Let b = 12407 + -12349. Are 58 and b unequal?
False
Let w = -11221 - -8827. Which is smaller: 0 or w?
w
Let i = 46 + -45. Suppose 4*o - 11 = i. Suppose -1 = -o*u + 5*j, 2*j = -2*u + j + 5. Is u greater than 1?
True
Let m(x) = -x**2 + 7*x - 12. Let z be m(6). Suppose 2*b + 0*b = -24. Let d be 10/b + -3 + (-1)/6. Which is greater: z or d?
d
Let g be 1*(-7)/14*-2. Let m be (1 + 1/5)/((-6327)/570). Which is smaller: m or g?
m
Let i = -159 - -1743/11. Let c = -447 + 447. Is c greater than i?
True
Let o be (7780/(-60))/(1 + (-10)/15). Which is bigger: o or -370?
-370
Let x = 491 + -491. Let c(v) = v**2 + 7*v. Let l be c(-6). Let z be (-72)/99 + (-4)/l. Are x and z non-equal?
True
Let t(y) = y**2 - 17*y - 7. Let m = -226 + 243. Let o be t(m). Which is smaller: o or -3?
o
Let q = 1349 + -1407. Are 118 and q equal?
False
Let n = 43.7 - 43. Let g = n + -0.51. Let w = g + -0.05. Is w greater than -0.1?
True
Let l be 1/3 - -4*115/(-759). Is l at least -2/155?
False
Let r(k) = 11*k**3 + k**2 + 4*k + 3. Let u be r(-1). Let j be 2 + 5 + u + -15 + 1. Is j <= -1?
True
Let d be (-12)/(-160)*-6*1. Let v = 986/21 - 979/21. Is v greater than or equal to d?
True
Let l = -13912.51 - -14066. Let o = -1.51 - l. Which is smaller: 2/7 or o?
o
Suppose -13*o + 12*o = 5*b - 19, -3*o - 15 = -3*b. Suppose h + 167 = -3*y, -2*h - 8*y + b*y - 326 = 0. Is h > -153?
False
Let c(w) = -w**3 + 5*w**2 - 6*w - 9. Let g be c(4). Is -25 at most as big as g?
True
Suppose 0*q = 5*q. Let f be (2 + (-14)/8)/((-639)/(-604)). Let u = 1/71 - f. Is u bigger than q?
False
Suppose 42*s + 46*s + 76*s + 2460 = 0. Is s bigger than 0.103?
False
Let z = 15678 - 17557. Is -1877 greater than z?
True
Let c = -138.1 - -6.1. Let x = -10.2 - -141.2. Let i = x + c. Is -1 >= i?
True
L