ch is smaller: p or -0.4?
-0.4
Let l = 20/9 - 112/45. Suppose -5*n + 2*k + 35 = 0, -3*n - n = -3*k - 35. Suppose 2*b - 3*b - n*s = -24, -3*b = -s + 8. Which is smaller: b or l?
b
Let g be 3/((-6)/(-20))*(-12)/(-24). Let f be (-4 - -9)/g*2. Let h be (((-5)/f)/(-5))/((-12)/24). Is h less than or equal to 9/7?
True
Let z(c) = c**2 + 2*c - 9. Let q be z(-4). Let r = 3539 - 3544. Which is smaller: r or q?
r
Let t(c) = -11*c**3 - 3*c**2 + 2. Let r be t(-1). Suppose 21*l - 7*l = 140. Are l and r nonequal?
False
Let g = 1553 - 1492. Let i = 33 - -28. Are i and g nonequal?
False
Suppose 646*a - 604*a = -17892. Is a bigger than -427?
True
Suppose -5*y = -0*y - 340. Let w = 115 - y. Suppose w = -5*l - 48. Which is smaller: -18 or l?
l
Let h = -0.03315 - -5.03315. Which is greater: -37 or h?
h
Suppose -3*n + g = -495, -47 = -5*g - 77. Which is smaller: -11 or n?
-11
Suppose 0 = 138*l - 144*l + 462. Which is greater: 59 or l?
l
Let d = 4 - 43. Let a be 9 + -3 + d + 6. Which is bigger: a or -103/4?
-103/4
Let m(t) = t**2 - 15*t + 12. Let n be m(14). Let y be (10/n)/(8 - 9). Suppose -l - 4 = -5*q, 4*l - y*q + 1 = -0. Which is greater: l or 75?
75
Suppose 3*i = -i. Let f = 0 + i. Let g = -379/5 - -76. Is f equal to g?
False
Suppose 2*n = 4, -4 = -2*h + 5*h + 4*n. Let t be h/8 + ((-5)/2 - -2). Is -2/83 smaller than t?
False
Let b be (1/(-2))/((-8)/80). Suppose 15*k - b*k + 10 = 0. Let q be 3 - k/(9/(-24)). Is q bigger than 9?
False
Let k(n) = 2 + 3*n - 3*n - n. Let a be k(3). Let r = 2717 + -2716.89. Which is greater: a or r?
r
Suppose -480 = 4*q + 696. Let a = q - -290. Which is smaller: a or -27?
-27
Let w = 9.87 - 9.857. Is -1/7 smaller than w?
True
Let h be (30/4)/(-5)*10. Suppose 56*t - 2265 = 61*t. Let w = t + 436. Which is greater: h or w?
h
Let n = 1748 - 1747. Let o = -29.28 + -0.72. Let x = 26.1 + o. Does n = x?
False
Let t = 406 + -412. Let w be t/24*0*1/(-2). Which is smaller: w or 1/2?
w
Let o = 21229567495/2475089267 - 843/864509. Let v = o + -60/7. Do v and -1 have the same value?
False
Let c(i) = -i**3 - 23*i**2 - 41*i - 6. Let b be c(-21). Let f be (92/6)/((-9)/b*-6). Which is bigger: f or -1/3?
-1/3
Let n(l) = -2*l + 67. Let i be n(-4). Suppose -i*j + w + 267 = -71*j, 2*j - 2*w = 138. Is j less than or equal to 63?
False
Suppose -5*k + 4 = -1. Let v = 51243/3220 - 9/644. Let f = -221/15 + v. Is k at least as big as f?
False
Let w be ((-33)/4)/((-618)/3296). Which is bigger: 89/2 or w?
89/2
Let x = 17 - 28. Let q(o) = -6*o**2 + 14*o + 12. Let u(b) = 17*b**2 - 43*b - 36. Let s(i) = x*q(i) - 4*u(i). Let c be s(10). Which is greater: 1 or c?
1
Let r = 116 - 66. Let p = r + -50.15. Let o = 3.15 + p. Which is smaller: o or 0.1?
0.1
Let h = -780985/6606 - -1064/9. Which is greater: -1 or h?
h
Let d = -0.1056966 - -558.1226966. Let m = 558 - d. Which is smaller: m or -1?
-1
Let f = 505 + -357. Which is bigger: f or 1177/8?
f
Let q = 7.05 + -7.05. Is q not equal to -1.87?
True
Let s = 0.24 - -0.06. Let j = 8115/7 + -137969/119. Is j smaller than s?
True
Let p(f) = -f**3 - 3*f**2 - 3*f - 2. Let u be p(-2). Suppose u = -3*b - 3. Let w be (15900/(-1272))/((-230)/8). Which is greater: b or w?
w
Let y be (-8)/26 - 12418908/(-18785). Which is smaller: 660 or y?
660
Let z = -50/71 - -221/213. Which is bigger: z or 1/5806?
z
Suppose 10*u = -4*u - 56. Let g be 2/(-2*(u + 3)). Which is greater: -6/13 or g?
g
Let k be (-16)/20*(-10)/44. Let y = k + -129/649. Let m = -1120 + 1121. Does y = m?
False
Let d = 0.45 - 0.25. Suppose -3*b + 3*h + 44 = -13, 84 = 4*b + 4*h. Suppose 4*z - b = 7*j - 3*j, 0 = -3*j - 15. Is d greater than or equal to z?
True
Let s be (18 + -11 - 6)*(-1 + -138). Let j = -172 - s. Is -35 greater than j?
False
Let k = -79.71 + 79.31. Which is bigger: 216 or k?
216
Let r = -23828 - -23830. Are 148/89 and r non-equal?
True
Let y = 1466 - 1456. Let m be 1/(-1) + 549/54. Which is bigger: y or m?
y
Let m = -1436.97 + 1437. Are 46 and m non-equal?
True
Suppose -5*v + 107 = 457. Let j be (-566)/(-1148) + (v/(-49))/(-5). Let h = j - 1655/8774. Is 0 at least h?
False
Let v = -0.06512 + -10.93488. Is -113 greater than v?
False
Let j be 2*(-4)/(-48) + (-3700)/(-120). Is j > -16/3?
True
Let a = 1464901/509 + -2878. Suppose -k - 11 = 2*z, 23 = -3*k - 5*z + z. Is a != k?
True
Let s(d) = 2*d**3 - 2*d**2 + d + 1. Let o be s(3). Let u = o + -25. Let q = u - 13. Do 8 and q have the same value?
False
Let l = -137 + 145. Let w be (2 + -1)/(l/(-4)). Which is bigger: w or -44?
w
Suppose -5*x = -81 + 16. Let q = -10 + x. Suppose 4*j - j - 15 = -q*l, 4*l + 15 = 3*j. Is -7 <= l?
True
Suppose 5*u - c = 13, 4*c + 9 = 4*u + 5. Suppose 0 = -8*d + u*d - 2*s + 2448, 3*s = 4*d - 1940. Which is smaller: d or 489?
d
Let f(t) = -1. Let z be (-5)/5 + (-2 - -2*2). Let v(x) = -x + 2. Let w(d) = z*v(d) + 6*f(d). Let o be w(2). Is -37/5 != o?
True
Let v = -46322 + 46326. Let f = -9 - -15. Do f and v have different values?
True
Let t(v) = -2*v**3 + 16*v**2 + 2*v - 15. Suppose -3*b + 32 = 4*q, -5*q + b - 4*b + 40 = 0. Let m be t(q). Which is smaller: 11 or m?
m
Let n = 762.8 - 767.1. Is -5 greater than or equal to n?
False
Let i be (-110)/(-60)*(-12)/(-2). Which is smaller: i or 13?
i
Let y(v) = -v**3 + 6*v**2 + 7*v + 5. Let r be y(7). Suppose 0*a - a + 3 = -2*n, -2*a + 7 = -r*n. Let t be (-147)/(-5) - (0 + (-2)/(-5)). Is t >= a?
True
Let u(z) = z**3 - 5*z**2 - 3*z + 4. Suppose -5 = 4*c + 3, 3*c = 5*y - 36. Let a be u(y). Suppose -a = f - 24. Which is smaller: f or 4?
f
Suppose -18*j = 2*z - 20*j - 4, -4*z + j + 5 = 0. Are z and -1/1901 equal?
False
Let t(b) be the second derivative of -b**3/6 + 3*b**2/2 + b. Let x be t(1). Let g = -479 + 483. Which is smaller: x or g?
x
Let n be 8/10*76080/(-1104). Do -56 and n have different values?
True
Let g be -3*(-20)/(-48)*4 - 225. Let l = -232 - g. Is l >= 151?
False
Let p = -734.52 - 5.48. Let h = -745 - p. Is -36 not equal to h?
True
Suppose 13*n - 967 - 125 = 0. Is n < 81?
False
Let k(g) = g**2 + 35*g + 283. Let z be (21*1)/(9/45*-5). Let o be k(z). Suppose 0 = 5*x - 4*w + 60, -w + 18 = -x + 5. Which is smaller: x or o?
o
Let w = 447 + -447.1. Let y be (14/(-42))/(2/(-3)). Which is greater: w or y?
y
Let z = -74.82 - -71.02. Which is smaller: -5 or z?
-5
Suppose -47 + 59 = -4*k. Let q(l) = -l**3 - 5*l**2 - 4*l + 1. Let u be q(-4). Let b be 26/((-7 + u)/k). Are 12 and b unequal?
True
Let c(s) = s**2 + 5*s - 2. Suppose 0 = -y + 2 - 8. Let x be c(y). Suppose 5*v = -0*f + 2*f + 11, -4*v = -x*f - 4. Is 2/35 greater than f?
False
Suppose -4*f + 5 = -3*x, -4 = -6*x + 4*x - f. Suppose 5*h + 4*u = -x, 4*h - 4*u + 41 - 33 = 0. Is h greater than 3/88?
False
Let p = 192 - 188. Suppose p*f = -12*f - 624. Do -39 and f have the same value?
True
Suppose 0 = -0*z + 46*z - 13*z + 81576. Is -2472 equal to z?
True
Suppose -3*t = -6, 0 = 3*d - 4*t - 0*t + 5816. Let b be d/308 + 12/2. Is b bigger than 0?
False
Let q be (5/3 - 2) + 8/24. Let x = 44654643/620 - 720549/10. Let o = -125/4 - x. Is o less than q?
False
Let o be (-72)/270*10/(-36) + 22865/156060. Let h = 0 - 0. Which is greater: o or h?
o
Let c be (-2)/(-5) + (-2)/3. Suppose -586 = 3*s - 2*g, -3*g - 615 = 5*s + 330. Let i = s + 192. Do i and c have the same value?
False
Let p = -1031/153 - -116/17. Are p and 0 equal?
False
Let x be (-4371)/1093 - -2 - -2. Let w = -90402 - -90403. Which is smaller: x or w?
x
Suppose 0 = -3*t + 2*t + 34. Let d = t + -34. Suppose -4*c + 3*c = -2*s, d = 4*c + 5*s. Is c <= -2/15?
False
Let d = -18.1 + 19. Let l = -3403 + 51073/15. Let z = l - 41/30. Does z = d?
False
Let r = 65374.013 + -65417. Let t = 0.013 - r. Let y = t + -49. Which is bigger: -2/3 or y?
-2/3
Let r(q) = -q**3 + 28*q**2 + 2*q - 27. Let p be r(28). Suppose 0 = -6*c - c. Let s = 30 - c. Which is smaller: p or s?
p
Let k = -84694 + 84730. Let t(j) = -j**3 - j**2 + 2*j - 2. Let x be t(-4). Is k greater than x?
False
Let g be ((-12)/20)/((-4)/20). Suppose 296 = -2*v + 3*i, -46 = g*v - 3*i + 395. Let n = 146 + v. Which is bigger: n or -1/234?
n
Let b(z) = 18*z - 57*z - 57 - 15 + 30*z. Let k be b(-8). Are k and 0 non-equal?
False
Let c be 1/5 + (-97)/(-40). Let p be (-1170)/(-143) + -6 + 2/(-11). Is c less than p?
False
Let j = 3692 - 84934/23. Suppose -36 - 32 = -4*a - 4*n, 2*a = n + 43. Suppose -3*c - 8 = k