+ 3*f - 3. Let k be j(-9). Let p = -154/3 + k. Which is bigger: p or l?
l
Suppose -2*w + 324 = 2324. Which is greater: w or -999?
-999
Let h be 1/(4300/(-8456)) + 2. Let s = 2/43 + h. Is 0 at least as big as s?
False
Let k = 1273 + -1272. Which is bigger: -2/1185 or k?
k
Suppose 255*f - 1426 = 278*f. Is f < -63?
False
Let t = -1.77 + -57.23. Which is greater: -0.2 or t?
-0.2
Let i = 36 - 49. Let u(y) = -4*y - 17. Let c be u(i). Is c <= 34?
False
Let u(y) = y**2 + 5*y + 4. Let a be u(-5). Suppose -a = -3*r + r. Suppose 26*i + r = 24*i. Which is greater: i or 2/21?
2/21
Let h(g) = -7*g**2 + 29*g + 26. Let a(f) = -2*f**2 + 6 + 19 + 43*f + 14 - 8*f**2. Let l(o) = -5*a(o) + 7*h(o). Let y be l(13). Which is smaller: 1/28 or y?
y
Suppose -4*o - 9*p = -4*p - 10, 2*o = -2*p + 4. Suppose -3*c + 3*n = -9, o = -2*c - 2*n - 15 + 5. Is c > -10/7?
True
Let t be -138*(1/6 + 21/18). Are t and -184 unequal?
False
Suppose -l = -y - 6, -2*l + 3*l + y - 8 = 0. Suppose l*z = 3*z + 8. Let w be z/7 + 208/56. Do 4 and w have different values?
False
Let v = -0.099 + -0.901. Let f = -0.37 - v. Which is greater: f or 2/3?
2/3
Let z = 367 + -4773/13. Does z = -0.4?
False
Let l = 318/91 + -38/13. Suppose 5*i = c - 130, -5*c + 130 = -5*i - 2*c. Let m = -26 - i. Which is smaller: l or m?
m
Let x = 989 + -990.5. Which is greater: 12 or x?
12
Let q = 18.8 + -19.03. Is 3 at least q?
True
Let c be 47/(-64)*(-15)/6. Let k = -1/384 + c. Which is smaller: 2 or k?
k
Let i = -355 - -284. Is -69 less than i?
False
Let c = 939 + -921. Are c and 8 equal?
False
Let r be 2*5/8 - -5. Are -2/3 and r nonequal?
True
Let c(l) = -18*l - 234. Let f be c(-13). Is f bigger than -2/633?
True
Let a be 33/99 + (-4)/(-6). Which is smaller: 2/1649 or a?
2/1649
Suppose -z + 11 = 9. Suppose 3*n + 26 = z*l, 0*n + l = 3*n + 25. Which is smaller: n or -10?
-10
Let s = -777422/315 + 2468. Is 1 at least as big as s?
True
Suppose 185*n = 143*n - 966. Is -12 > n?
True
Let b be (1/(-3) - -1*1)/2. Is 121 > b?
True
Suppose -2*n = -j + 2*j - 12, 9 = -j + 5*n. Do 5 and j have different values?
True
Let n = -3.92 - -0.92. Let t = -5 + -7. Which is greater: t or n?
n
Let r = 257/3 - 85. Let p = 1142 + -1129. Which is greater: r or p?
p
Let s(q) = -q**3 + 5*q**2 + 7*q - 3. Let w be s(6). Let p = 2 - w. Let n(b) = 2*b**3 + 2*b**2 - 1. Let f be n(p). Which is smaller: 3/8 or f?
f
Let z = 17 - 14. Let j(l) = l**2 - 2*l - 3. Let m be j(z). Let b be (9/36)/(1/8). Which is smaller: b or m?
m
Let t(j) = 2*j + 30. Let y be t(-13). Suppose -4 - 4 = -y*l. Let c = -142/3 + 48. Which is greater: c or l?
l
Let f = 2.87 - 94.87. Are f and -0.1 non-equal?
True
Let t(p) = 2*p + 29. Let y be t(-10). Suppose 5*q = s + 33, -3*q - y = 4*s + 8. Do s and -5 have the same value?
False
Suppose -2*c = 6*l - l - 4, -l = 0. Let y be -8 + 10 - (c - 12). Let a be 3/y - 2/56. Which is bigger: a or 1?
1
Suppose 4*r = 0, 31*y = 33*y - r. Is y smaller than -16/109?
False
Let l(p) = 3*p**2 - 6*p. Let a be 2/(-6) - 13/(-3). Let c(m) = -5*m**2 + 11*m. Let w(s) = a*c(s) + 7*l(s). Let z be w(0). Which is smaller: -1/7 or z?
-1/7
Let o = 10 - 8. Suppose 3*p - 1 = o. Is p less than or equal to 3/7?
False
Let k = -58 - -171. Let p = 6917/5 - 1271. Let b = p - k. Which is bigger: 1 or b?
1
Let c be ((-4)/(-10))/((-262)/(-15) - 2). Is c >= 1?
False
Let s be (-6)/(-12) - (-212)/8. Suppose s*w = 30*w - 129. Which is bigger: 42 or w?
w
Let i(f) = -f**2 - 3*f + 4. Let d be i(-8). Let y be (6/(-2))/(d/(-24)). Let o be 3/y + 3/6. Is 1/5 greater than or equal to o?
True
Let z be 2974/25 + (1 - 4). Let h be 119 + -2 - 1/1. Let l = z - h. Are l and 1 equal?
False
Let c(k) = -11*k - 8. Let z be c(-7). Let j be z/78 + (1/(-2))/1. Which is smaller: 1 or j?
j
Let m be (-34)/(-6)*18*(-14)/(-7). Let l be 5 + 11/((-33)/m). Does -64 = l?
False
Let v = -2729 + 2732. Let f = 3 - 5. Let q = f + 1.7. Which is greater: v or q?
v
Let z(h) = -h**2 - 16*h - 13. Let a be z(-16). Suppose m + 37 = 4*f - 7*f, 4*m = -f - 16. Which is smaller: f or a?
a
Let c be ((-3)/(-6))/((-66)/(-4)). Suppose -2*n = 10, 2*n + 19 = -4*g - n. Which is smaller: g or c?
g
Let n = 0.181 + -17.981. Let b = n - -17. Let h = -1.9 - b. Is 0.1 greater than or equal to h?
True
Let i = -365.1 + 365. Which is smaller: i or -2.66?
-2.66
Let p = -151 - -240. Is 89 bigger than p?
False
Let s(x) = -3*x + 13. Let j(z) = z - 1. Let h(l) = -5*j(l) - s(l). Let u be h(-7). Let c = -30 + 37. Is u at least c?
False
Suppose -11 = 15*h - 11. Let q = -4 + 8. Suppose -2*k - o = -q - 2, h = -3*k + 4*o - 13. Which is greater: k or -3?
k
Let d = 287/9 + -32. Suppose o = -3*j - o, 2*j = -3*o - 5. Suppose -6 = -j*l - 6. Which is bigger: l or d?
l
Suppose 2*m = 0, 4*m - 28 = 2*k - m. Is -188/15 > k?
True
Let v(r) = -2*r**2 + 22*r - 46. Let n be v(16). Is 0 bigger than n?
True
Suppose 6 = 4*h + 10. Is 5/24 < h?
False
Let q = 2/71 + 67/142. Let y = -0.45 + 4.45. Is q at most y?
True
Let b be ((-180)/19020)/(6/(-10)). Is b at least as big as 1?
False
Suppose 4*r - r + 18 = 0. Let d be r/(-9)*(-15)/(-10). Which is smaller: d or 5/11?
5/11
Suppose 0 = o - 2*b - 4 - 0, o - b = 7. Let v be -2 - (-672)/390 - (-2)/o. Which is bigger: 1 or v?
1
Let l = -7 + 4. Let m be 2/l*-3 + 1. Suppose -q = 4*q - 4*a - 28, -5*q + 22 = -a. Which is greater: m or q?
q
Let t = 249 + -248. Is t less than 4/15?
False
Suppose 0 = -5*p - 0*p + 4*n - 21, 2*p = -3*n + 10. Let z be ((-3)/p + -3)*-1. Which is smaller: -1.4 or z?
-1.4
Suppose 5*d + 143 = 123, 2*x = 2*d + 8. Let p = -3/38 - -14/57. Are p and x non-equal?
True
Let z be (-10)/(-4) + ((-15)/10 - -1). Let c = -0.0257 - 3.8843. Let l = -0.09 + c. Which is bigger: z or l?
z
Suppose 5*q - 18 = -4*w, 5*w + 2*q - 24 = -10. Let o be (3/(-2) + w)*74. Suppose -j = -5*l + 12 + 1, -o = -j - 5*l. Which is bigger: j or 14?
14
Let p = 12 + -16. Which is greater: 12 or p?
12
Let y = 228 - 394. Let k = 167 + y. Do k and -0.04 have different values?
True
Let q = -825/8 + 9827/88. Is q at most as big as 10?
True
Suppose -20 = -8*g + 3*g. Let c(l) = 6*l - 4. Let k be c(4). Suppose 0 = -16*x + k*x - 4. Which is bigger: g or x?
g
Let k be (6/(-108))/((-2)/2). Let q(i) = -i - 3. Let l be q(-3). Let f = l - 1. Is k smaller than f?
False
Let s = 147.7 + -148. Is s > 6/5?
False
Suppose 0*o = -3*o. Suppose o = p + 5*m + 25, 3*m = -10 - 5. Are p and 2/13 non-equal?
True
Let d = -7.75 + 7.75. Are -1361 and d non-equal?
True
Suppose -4*r = 16, 2*z + 2*z + 4*r = 360. Let x = z + -98. Which is greater: 0 or x?
0
Let s = 28.77 + -29. Let o = s - -0.13. Is o at least -2.9?
True
Let w = 794900/237 + -3354. Which is smaller: 1 or w?
w
Let b be (32/(-10))/(4/(-70)). Suppose 0 = -4*o + 12 - b. Let q(i) = -i**3 + i**2 - 10. Let g be q(0). Which is smaller: o or g?
o
Let o be (-16 - -13) + 30*1. Which is bigger: -0.06 or o?
o
Suppose s + 2*a = -170, -a + 467 - 117 = -2*s. Is -1/4 greater than s?
True
Suppose 3*g - 4*k = 8, -15 = -g - 2*g - 3*k. Let z be (-10 + 14)*2/g. Suppose 13 = l + 3*u, 4*l + 2*u + z*u - 20 = 0. Is 0 smaller than l?
True
Let j = 23.67 + 2.23. Is j bigger than -2/3?
True
Suppose -218*l = -210*l + 24. Suppose 0 = 3*n + 5 + 1. Which is smaller: n or l?
l
Let v(d) = d**2 - d. Let a be v(1). Let p = 52/23 + -60/23. Which is smaller: p or a?
p
Let r(a) = -7*a - 79. Let y be r(-11). Let p be (1/2)/(y/20). Suppose -3*d - 12 = d. Is p at most as big as d?
True
Suppose -2 = 4*o - 18. Suppose z = o*f + 31, 0*f + f = -2*z - 1. Which is smaller: -8 or f?
-8
Let k = -73 - -48. Let i be (40/k)/((-2)/40). Let h be (-4*(-3)/i)/3. Which is greater: -2/3 or h?
h
Let v = -260 + 259. Which is bigger: -6/29 or v?
-6/29
Let r = 7.32 + -9. Let h = r + -0.32. Which is smaller: h or -4?
-4
Let i = -16729/20 + 3169/4. Let d = -527/10 - i. Is -10 greater than d?
False
Let d = 456 + -1370/3. Is d at least -1490?
True
Suppose -5*g - 11 = 24. Suppose -6*f - 4 = -8*f. Let w be (24/15)/(f/(-10)). Is g bigger than w?
True
Let v be 1/(-10)*(-2)/4. Let m be (5/10)/((-3)/(-6)). Suppose 2 = 5*y - 4*r + 7, -y = r + m. Is v not equal to y?
True
Let l be (5/(-519))/((-52)/936). Which is bigger: l or 0?
l
Let i = 23.9 - 24.2. Is i greater than or equal to 6?
False
Let x = -656 + 947. Is x equal to 0.1?
False
Let n = -493/5 - -99. Let w be 1/(-3)*(-14 + 5). Suppose 