 p = 1079 - n. Which is bigger: p or 1?
1
Let g be (-1)/(-2)*(-1 + 2)*0. Which is bigger: -1/46 or g?
g
Let k be ((-6)/(-4))/(10990/20). Which is smaller: 1 or k?
k
Suppose 3*j - 1915 = -5*c - 2*j, -c + 5*j + 353 = 0. Suppose 5*t + c = y, -2*t = -6*t + y - 303. Let l be -9 + (t/5)/(-5). Is -4 smaller than l?
False
Let y(h) = h**3 - 8*h**2 + h - 4. Let m be y(7). Let l = 168 + -76. Suppose -l = 4*b - 2*b. Is b at least as big as m?
True
Let x = -66159 + 66154.8. Let z = -0.1 + 0.2. Which is greater: x or z?
z
Let h = -18973 - -19552. Is h greater than or equal to -0.4?
True
Let a be 13 + 8/(-56) + 20/(-7). Let o be (-90)/(-60) + a/(-8)*2. Is -13/11 > o?
False
Let p = 16729/5234790 + -1/16410. Suppose -3*f = -8*f. Which is smaller: f or p?
f
Suppose -3*b - b - 4 = 0. Suppose 14*o = 12*o + l - 85, 3*o + 4*l = -144. Let u = o - b. Is u not equal to -43?
False
Let c = 89 + -121. Let r = 106 + c. Suppose 5*p = 2*s - 208 + 33, -4*p - 95 = -s. Which is greater: r or s?
s
Suppose 0 = 37*s + 13*s - 6*s - 5852. Which is greater: 124 or s?
s
Let h be 2/(-8) + (-60770503161)/(-30132). Let l = h - 2016810. Let s = l - -20/27. Which is bigger: 0 or s?
0
Let r be 48/(-32)*(-30)/(1*-3). Let q = 867 - 877. Is r greater than or equal to q?
False
Let l be 4/(-6) - 624/36. Let g be 6/l*6/10. Which is smaller: 2/13 or g?
g
Suppose -5*b - 5*w - 4490 = -330, -820 = b - 5*w. Is b < -4154/5?
False
Let l = -21690 - -715283/33. Which is greater: -15 or l?
l
Let o = 8670 + -156167/18. Let r = -31/9 - o. Let g = 0.04 + 2.96. Which is smaller: g or r?
r
Let f = 1.4 + -1.82. Let x = -7498 - -7497.75. Let r = x - f. Which is greater: 0.2 or r?
0.2
Suppose 24*o + 3340 = 28*o. Let q = 837 - o. Is q >= -260?
True
Let k(u) = -u**3 + 7*u**2 - 2*u + 8. Let i be k(7). Let f be ((-3)/((-9)/i))/(-2). Let b = 515/22097 + 7/2326. Is f equal to b?
False
Let k be 999/81 + -27 - -14. Let n = -1.9 + -0.3. Which is greater: n or k?
k
Let v be 15/(-2) + (-144)/(-96). Let k be 8/v - (-6370)/4602. Is 0 greater than or equal to k?
False
Let v = -0.3 - 2.7. Let o = -0.836627 - -1.396627. Are v and o equal?
False
Let j be (-97867)/155 - (12/10 + 12/(-20)). Is -632 != j?
False
Suppose -5*p - 5*a = -1100, 510 = 2*p + 5*a + 82. Let b be (-2)/(-5) - 13/((-520)/p). Is 11 <= b?
False
Let q = -195 + 370. Suppose d - 4*y - q = 0, 158 = -5*d + 4*y + 1049. Which is bigger: d or 180?
180
Suppose 4*w + 20 + 84 = 0. Let n = 137 - 137.5. Is n at least w?
True
Let u(s) = s**3 - 6*s**2 + 9*s - 14. Let x be u(5). Let v be x/(-18)*4 - 2/(-6). Let j be (-9)/(-4)*(0 + v/(-6)). Which is smaller: -10 or j?
-10
Suppose -62310 = -224*y + 139802 + 46528. Which is greater: 3328/3 or y?
y
Let j be ((-3104)/(-2328))/(20/6). Which is smaller: j or -6.89?
-6.89
Let g = -15.28 + 0.28. Let n = -14.9 - g. Let j = -0.66 + 0.55. Which is greater: j or n?
n
Let i = 5641 - 5848. Which is bigger: -0.04 or i?
-0.04
Let l(s) = 44*s**2 + 26*s - 38. Let a be l(-9). Which is smaller: a or 3293?
a
Let c = -8.7845 + -0.0155. Let k = 45.8 + c. Which is smaller: -2 or k?
-2
Suppose 3*c - 48 = -c. Let r be (-232)/(-406) - -8*2/(-28). Suppose 2*m + 2 = c, 3*h + 5*m - 25 = r. Which is smaller: -13 or h?
-13
Suppose -2*j + x = -5*j + 13, 2*j - 3 = 5*x. Let z(o) = -o**2 + 2*o + 5. Let i be z(j). Let l = -10867 - -10866. Which is greater: i or l?
l
Let f = 58 + -55. Suppose -f*x + 19 = -3*d - 11, 0 = -2*d - 5*x + 8. Which is smaller: d or 3?
d
Let m be 2804/(-1778) + (-5)/((-35)/2). Let p = 117957/1397 - m. Let d = p + -86. Which is bigger: 4 or d?
4
Suppose -312*a + 316*a - 2047 = -5*n, 3*a - 1224 = -3*n. Is 420 not equal to n?
True
Let x = 2330 - 2329. Is 15/22 equal to x?
False
Suppose 3*m = 4*k + 97, -5*k = -4*m - 0*m + 130. Suppose 31 = z - 2. Which is bigger: m or z?
m
Suppose -4*v - 23403 = -6*v + 31*v. Which is smaller: v or 8?
v
Let y(w) = -w**3 + 26*w**2 - 38*w - 37. Let q = 392 + -368. Let u be y(q). Which is bigger: u or 202?
u
Let f = 17 + -17. Let u(y) = -y**3 + 22*y**2 + 51*y - 12. Let g be u(24). Let h = -121/2 + g. Are h and f non-equal?
True
Let v be -1 + (3 - 5) - -43. Let d be ((-58)/(-5) + -8)*95. Let k be v/d - (-42)/(-189). Is -1 > k?
False
Let z = -3705 - -3686. Is -11 >= z?
True
Let i be -3 + -2 + 138/28 + (-5136)/(-100128). Suppose -2*v = -v - 1. Which is bigger: i or v?
v
Suppose 1104 = -15*t + 27*t. Let w = t - 49. Which is greater: 44 or w?
44
Let v be 100/(-120) + (2/2)/(-6). Let x be v/(-2)*3 - (-1)/2. Is x smaller than 7/5?
False
Suppose -a - 13 = -3*p, -a - 28 = 7*p - 45. Are -26 and a nonequal?
True
Let o(p) = p**2 + 18*p - 34. Let a be o(-20). Let r = -157 + 153. Is a equal to r?
False
Let k(j) = j**3 - 2*j**2 - 23*j + 2. Suppose 117*m - 24 = 123*m. Let u be k(m). Let q = -0.7 - 0.3. Which is bigger: q or u?
q
Let u = -2208 + 3472. Are 1263 and u nonequal?
True
Let g = -1533/1450 + 26/25. Let y(m) = m**2 + 4*m - 10. Let w be y(-6). Suppose -3*p - 2 - 4 = 3*s, 3*s - 5*p - w = 0. Which is greater: s or g?
g
Let o = 11 - -44. Let q = 138.7 + -81.7. Let z = q - o. Does 10/9 = z?
False
Let v = 197.76 + -200. Let b = -2.44 - v. Which is smaller: b or 53?
b
Let f(w) = -340*w**3 + 4*w**2 + 7*w + 5. Let m be f(-1). Which is greater: m or 345?
345
Let p = -1931.2 - -1931.2. Which is smaller: p or 0.616?
p
Suppose -103*a = -108*a - 1460. Let y = a + 417. Which is bigger: y or 124?
y
Let y = 11037491/30034 - -2/15017. Let v = y - 384. Which is smaller: -16 or v?
v
Suppose 46*s - 1210 = 1044. Is s < 45?
False
Suppose 0 = 4*f + 12, 0 = -2*s + f + 3*f + 16. Let c be (45/60)/(s/8). Suppose 21 = c*l - 6*l. Which is smaller: -6 or l?
l
Let t = -62/3175 - -336064/625475. Which is smaller: t or 1?
t
Let g = -21.1 - -334.1. Let o = g + -312.2. Do o and 6 have different values?
True
Let q = 1711 - 3854. Which is bigger: -2144 or q?
q
Let d(c) = -c**2 + 12*c - 10. Suppose 5*m + 2*u - 43 = 12, -11 = -m - 3*u. Let o be d(m). Which is greater: o or -2/429?
o
Let p be (-5)/(-9 + 4) - -45. Suppose -x - p = -43. Let l be (-2)/((-2)/x) - -4. Which is smaller: -5 or l?
-5
Let y = 176 - 124. Let p be 8/y*((-9)/(-10) - 1). Which is smaller: 1 or p?
p
Let j = 130.238 + -0.138. Let d = -130 + j. Is 58 bigger than d?
True
Suppose 9*d - 68 = 40. Suppose 30*z + 42 = d. Is z at least -1/183?
False
Let i = -198.5558 - 0.2442. Let c = 199 + i. Which is greater: -3 or c?
c
Suppose 13*q - 6*q = 6*q. Let p be q*8/(-32)*-1. Is -18 smaller than p?
True
Suppose 11*y + 10 = 9*y. Let d be ((-12)/(-10))/((-82)/y). Which is bigger: d or 0?
d
Let v(g) = -4*g**3 + 8*g**2 - 13*g + 4. Let m(n) = n**3 - n**2 + n - 1. Let x(l) = -5*m(l) - v(l). Let s be x(-5). Suppose -6 + s = -5*y. Is y bigger than 1/9?
False
Let m be 6/(-9)*198/(-55). Let o be 16/10 - 3/(-5)*-1. Is m less than o?
False
Let y = -8409 + 1622935/193. Which is smaller: y or 1?
y
Let m be ((-180)/(-225))/(2/(-20)). Let n be m/((-192)/404) - (6 - 0). Which is smaller: 11 or n?
n
Let u = 355 - 384.1. Let s = u + 29.1. Which is greater: s or -17/14?
s
Suppose 2*g - f = 4*f - 14784, -4*f - 29540 = 4*g. Does g = -7386?
False
Let x = -1.43 - -0.33. Let q be (-4)/2*(-5)/(-10). Let m be ((-4)/2 - q)*0. Which is greater: m or x?
m
Let k = -147 + 157. Let i(j) = -j**3 + 7*j**2 + 4*j + 10. Let v be i(8). Let w = v + 36. Is k at least as big as w?
False
Let p = 206 - 226. Let s be (1/(-9))/(p/60). Is 7.2 <= s?
False
Let j be 2/19 - 6336/1710. Let y = j - -643/180. Let f = -12 - -12. Does f = y?
False
Suppose -777 - 230 + 167 = -70*i. Is 73/6 at least as big as i?
True
Let c(d) = d**2 + 32*d + 129. Let l be c(-29). Let j be (-53144)/735 - 4/l. Is j <= -72?
True
Let y be (-49)/21*(3 + 3 - 5)*543. Which is smaller: -1270 or y?
-1270
Let q be (-6 - 3)*(-2 - -1). Suppose 3*i + 234 = q*i. Let b = 44 - i. Is b at most as big as 11/3?
False
Suppose -199111 + 7736 - 199 = -29*k. Is k > 6606?
False
Suppose r + 12 = -q - 5, -5*r + q - 97 = 0. Suppose 0 = 2*l - 3*c + 69, 3*l - 6*c + 76 = -44. Which is bigger: r or l?
l
Let n = -5 - -17. Suppose -11*s - 357 - 3482 = 0. Let c = -338 - s. Are c and n non-equal?
True
Suppose -357*s + 361*s + 4 = -4*r, -2*r - 2 = 5*s. Which is bigger: -121/111 or s?
s
Let c be (1 + 1)*(3 + -1). Suppose 0 = -2*l - c*l - 234. Let p(u) = -u**3 - 6*u**2 - 5*u + 1. Let d be p(-5). Is l less than or equ