Which is smaller: m or j?
m
Let i = -33.029 + 0.029. Let p = i - 13. Let f = 47 + p. Which is bigger: -1/2 or f?
f
Let m(k) = -3063*k - 15316. Let h be m(-5). Is h < 4/2307?
True
Let d = 61 - 43. Let j(b) = -38*b + 652. Let c be j(0). Suppose 660*a = c*a + 152. Is a < d?
False
Let f(y) = y**3 - 8*y**2 - 14*y + 12. Let c be f(-2). Is c greater than or equal to -85/87?
True
Let y = -103/155 - 1/465. Is 120/161 <= y?
False
Let f(n) = -348*n + 2774. Let x be f(31). Do -8013 and x have the same value?
False
Suppose 0 = -i + 3*m + 10, 2*i - 1 = 2*m + 19. Suppose 82 = -23*c - i. Which is bigger: -88/19 or c?
c
Let u be (-1)/6 + (-4206)/(-126)*-17. Let v = u + 1137/2. Suppose 0 = -9*o + 4*o + 10. Which is smaller: o or v?
v
Let o be (165/(-99))/((-7)/3 - -2). Suppose o*g - 5*m + 20 = 0, 4*g - 5*m = -10 - 4. Which is smaller: 15 or g?
g
Let w = 318 - 330. Let p be ((-224)/512)/(-1 + (-10)/w). Is 3 greater than p?
True
Let v be -14 + (-1482)/169 + 5. Do -17 and v have the same value?
False
Let w = 1391 - 989002/711. Is 1 bigger than w?
True
Let h be 36/9*(-2)/(-4). Suppose 0*o + 66 = h*o. Let s = -70 + o. Is -37 greater than s?
False
Let i be -5317 + -4*(-3 + 5/10). Is -5306 equal to i?
False
Suppose 4*r + 5*q + 44 = 5*r, -4*r - q = -92. Suppose r*a - 676 = 11*a. Which is smaller: a or 51?
51
Let m = -119601/65 + 1840. Let n be (-33)/(-27) - (-6)/(-27). Let a be (0 + (1 - 2))/n. Do a and m have different values?
True
Suppose -4*b + 2 = u - 13, 4*b - 11 = -5*u. Suppose 2*k + b = 5*i, -4*k + 3*i - 8 = 2*i. Which is smaller: k or 95?
k
Let y = 32161 - 35004. Which is smaller: -2841 or y?
y
Let s = -42 + 62. Let q be 30/21 - (-3139)/(-2555). Which is bigger: s or q?
s
Let g be 42/5*10/4. Let n(k) be the first derivative of k**4/4 - 20*k**3/3 - 11*k**2 + 17*k - 230. Let o be n(g). Are o and -6 non-equal?
True
Let j = -124 + 134. Let x be (5 - 4)/(4/20). Suppose -p + 0*p - 30 = -x*r, -2*p = 4*r - j. Is -6 bigger than p?
False
Let c be (0 + 0)/(1 - 0). Let d = -2534.7 - -2080. Let w = -455 - d. Which is greater: c or w?
c
Suppose -8*p - 213 = -29. Let q(k) = -k - 22. Let b be q(p). Which is smaller: 12/7 or b?
b
Let y = 2965615253/994 + -2983516. Let l = y + -8/355. Let t = 1/14 + l. Which is smaller: t or 0?
0
Let p = 13220 + -13918.9. Let r = p + 705. Are r and -2/3 unequal?
True
Suppose 0 = -b + g - 3, 5*b + 8*g - 3*g = -5. Let v(l) = -l**2 + 23*l - 43. Let a = 308 - 287. Let i be v(a). Which is greater: b or i?
i
Suppose 0*c = -2*b - c - 6, 0 = 2*b + 4*c. Let d be b/(-10) + (-2852)/(-20) + 7. Which is smaller: d or 151?
d
Let x be (-36)/54*(-251)/248. Let b = -1/124 + x. Is b less than 67?
True
Let p = -23.1119 - -0.0119. Let d = -20.1 - p. Which is smaller: 20 or d?
d
Let p = 221 - 313. Let k = -267 - -177. Let m be k/p - (-1 + 2). Which is smaller: -1 or m?
-1
Let m(t) = 55 - t**3 - 3*t + 6*t**2 + 8*t - 28 - 30. Let b be m(-4). Are 138 and b unequal?
True
Suppose -27*d = d + 2212. Let w = d + 93. Is w equal to 107/7?
False
Let q = 2247 - 416. Is q > -1?
True
Let c = 53.88 + -54. Let y = 67.01 - -0.99. Let p = y - 68. Which is bigger: c or p?
p
Let w = -2842 - -2963. Is w greater than or equal to 6?
True
Suppose x - 35 = -4. Suppose v + p + p + 112 = 0, -v = -2*p + 128. Let w be v/9*(-12)/5. Which is smaller: x or w?
x
Suppose 2*k - 100 = -2*g, -5*k - 3*g = -0*k - 254. Let w = 916453 - 916403. Is w equal to k?
False
Let y(s) = -s**3 + 25*s**2 + 156*s - 180. Let m be y(30). Is -18/403 greater than or equal to m?
False
Let w(y) = -y**2 + 3 - y**2 + 3*y + 5*y. Let l be w(4). Let h be (15/(-10))/(l/(-2)). Is 4/39 < h?
True
Suppose 3*g = o + 79 - 100, 3*g + 45 = 5*o. Let i be 2/(-8) + 357/(-60). Is i equal to g?
False
Let y(t) = -2*t**3 - 4*t**2 - 40*t - 12. Let x be y(-11). Which is smaller: x or 2605?
2605
Let h be 22/(3 + -2)*589/(-38). Let x = -420 - h. Which is smaller: x or -78?
x
Suppose 0 = -3*r + 5*m + 5, -4*m - 4 = -49*r + 44*r. Let h be 3280/(-1638) - (-1 - 1). Which is greater: h or r?
r
Suppose 8*y - 337 = -129. Let z(k) = -k**3 + 24*k**2 + 52*k + 12. Let b be z(y). Is 130/11 < b?
True
Let s = 2045 - -980. Let b = 511223/169 - s. Suppose -t - 3*t = -4. Is t less than or equal to b?
False
Let w be (-20)/(-14) + (57/38)/((-7)/2). Which is bigger: w or -12/725?
w
Suppose -5*u + 185 = -w - 64, -w - 264 = -2*u. Let c = 3011/11 + w. Suppose 5*q + 32 = 37. Is q greater than c?
True
Let a be ((-5)/5)/((-1)/3). Let y(g) = g**2 - 6*g + 4. Let q be y(3). Let v be ((-1)/a)/((20/444)/q). Is v smaller than 37?
False
Let m = -6270 + 68974/11. Which is smaller: m or 9/29?
9/29
Suppose 4*l - 42 = -638. Let c = l + -10. Let w = 1111/7 + c. Which is greater: 0.1 or w?
0.1
Let p = -15273 + 15272.6635. Which is smaller: p or -0.1?
p
Let n = 1298088/1241 + -1046. Which is bigger: 1 or n?
1
Let w be (10/(-25))/((-144)/360). Which is bigger: 13/56 or w?
w
Let f be (-653542)/(-871720) - (-6)/(-8). Which is greater: f or -1?
f
Let u(p) be the second derivative of p**3 - 83*p**2/2 - 4*p - 4. Let k be u(20). Is 107/3 greater than or equal to k?
False
Suppose -2*s - 5 = q, 0*s = -5*s + 3*q - 7. Let i(h) = h**2 + 5*h + 3. Let t be i(s). Let b be (-1)/(-3)*(t - (-84)/4). Which is smaller: b or 13/2?
b
Let z(l) = 37*l - 77. Let k be z(2). Let w = -1.64 + 1.6. Let n = -3.04 - w. Is n at least k?
True
Let z = -10456 - -10719. Which is smaller: z or 18?
18
Let p = -0.1 + 1.1. Let t = 173 - 171.8. Let i = 18.2 - t. Is i at least as big as p?
True
Let u be (-1393)/(-28) + (-252)/28. Which is smaller: 40 or u?
40
Suppose 0 = 34*c - 36*c + 3*f - 409, 4*c - 2*f + 838 = 0. Is -213 less than c?
True
Let a = -101 - 17. Let t = a - -120. Suppose -3*l = 3*v - 8*v + 118, -4*v + 94 = -t*l. Which is smaller: 25 or v?
v
Let m be (-1)/((-6)/(4 - 16)). Let r be m/5*(-26)/26. Which is smaller: -14/13 or r?
-14/13
Let u = -43 - -46. Let h(v) = -4*v**3 + 7*v**2 - 8*v - 3. Let o be h(u). Let d be o/8 - 1*-3*1. Which is smaller: -32/5 or d?
-32/5
Suppose 0 = 4*j - 244*o + 248*o - 28448, 0 = -j - 2*o + 7111. Is 7111 bigger than j?
False
Let m = -64 - -38. Let p = m + 23.5. Let x = p + 1.9. Which is smaller: -3 or x?
-3
Let c = -805.2 - 56.8. Let i = c + 798. Which is bigger: i or 3?
3
Let x be 2*2/4 - (3 - 4). Suppose g + l = -2*l - 17, x*l - 62 = 3*g. Are -1 and g unequal?
True
Let p = 21 + -1. Let b = 95 - 51. Let q = -23 + b. Is p at least as big as q?
False
Suppose -4*t - 37 = 3*h + 120, 5*h + 3*t = -247. Let w = h + 47. Is w greater than 3/172?
False
Let h(v) = -v**3 + 5*v**2 + 10*v + 3. Let z be h(-4). Let j = 110 - z. Let k be 18/15 + (-6)/(-10). Which is smaller: j or k?
k
Let a = -16383 + 17087. Are a and 709 unequal?
True
Let t(g) = -g**2 - 15*g - 48. Let u be t(-10). Suppose 5*j - 153 = 4*m, 170 = -3*m - u*m + 2*j. Is m at most as big as -34?
False
Let u(i) = i**2 - i - 2 + 5 + 5. Let k be u(-8). Suppose 6*d = -22 - k. Is -16 at most as big as d?
False
Let q = -1399.06 + 1182. Let j = 217 + q. Is 3 < j?
False
Let c(v) = v**2 - 11*v - 1. Let m be c(11). Which is smaller: m or -3/265?
m
Let l = 140358 - 2385966/17. Let k(f) = 2*f**2 + 3*f - 3. Let q be k(-3). Which is smaller: l or q?
q
Let j = 12.66 - 12.7. Is -3.3 > j?
False
Let t be ((-77)/(-33))/(4/(-3)). Let m be ((-2)/(-10))/((-20)/150). Let g = t - m. Which is greater: g or 1?
1
Suppose -5*f + 46 = 2*x, -3*f + 21 = -8*x + 7*x. Which is smaller: f or 98?
f
Suppose -20 = -3*c + 7. Let u be (c/9)/(2/(-38)). Let z be u - 19 - (-4)/(-1). Is z equal to -41?
False
Let c = -2 - -3. Let z be (-8)/(-1203)*(375/60 - 7). Which is greater: z or c?
c
Let g = -7209 - -7224. Let d be (-4)/24 - 22/12. Let p(h) = -4*h + 2. Let x be p(d). Which is greater: x or g?
g
Let x(j) = j + 9. Let h = 19 + -22. Let c be x(h). Suppose -c*k + 50 = -16. Which is smaller: k or 12?
k
Let x = 55 - 52. Suppose -x*q + 91 = 79. Which is bigger: 0 or q?
q
Suppose -5*i - 4*q - 2633 = 0, 77*i + 2*q = 78*i + 507. Which is smaller: i or -524?
-524
Suppose -4*t + 36498 = 9198. Which is smaller: t or 6826?
t
Let q be 3/(-3)*-4 + -254 + 6. Let i = -244 - q. Which is smaller: -15/11 or i?
-15/11
Let f = 17 + -17.9. Let z = -0.1 + f. Let w = 26927/35892 + -2/8973. Are w and z equal?
False
Let c = -2438 - -2493. Suppose 5 = 2*a - 5*n + 1, 0 = a + n - 2. Is c at most as big as a?
F