 bigger: 8 or d?
8
Let a = -2 - -10. Let t(y) = -y**3 + 7*y**2 + 6*y + 7. Let k be t(a). Let f = 12 + k. Which is smaller: 4 or f?
f
Let g = 2.43 - 2.33. Which is greater: -0.02 or g?
g
Suppose -2*t = 4*z - 0*t - 6, 0 = -3*t + 3. Which is smaller: z or 42/47?
42/47
Let c = 2/4071 + -1435/158769. Let t = 1 + -1. Is t at most c?
False
Let f(s) = -8*s + 4. Let i(c) = c**2 + 6*c + 5. Let t be i(-4). Let h be f(t). Let p be (-10)/(-45) - h/207. Is -1 at least p?
False
Suppose 0 = -3*j - 3*y - 6, 11*j - 18 = 6*j + 2*y. Which is smaller: 18/7 or j?
j
Suppose 10 = -2*l, -c + 3*l - 13 = 7*l. Suppose -c*v + 5*v = -160. Is v at least 81?
False
Suppose 4*t + 3*i = 135, 4*t - 110 = -2*i + 4*i. Let h be (-20)/(-8) + -3 - (-11)/t. Suppose 0 = -f + 5*j - 19, -f - f + 3*j = 10. Which is smaller: h or f?
h
Let a be (-4)/10 + 17/5. Let x be 16/(-20)*(a - (-142)/(-44)). Is x greater than 0?
True
Suppose 5*p = 4*g - 584, -2*g + 5*p + 191 = -101. Let w = -146 + g. Suppose -8 = -t - t. Which is smaller: t or w?
w
Let g = 154 - 154.1. Which is smaller: g or 321?
g
Let h(b) = -b**2 + 10*b - 9. Let z(u) = u**3 - 3*u**2 - 2*u + 1. Let c be z(4). Let o be h(c). Let x be (-3)/9 - (-1 + o). Is -1/2 at least x?
False
Let j = -445 + 460. Which is smaller: -19 or j?
-19
Let h(j) = 4*j - 20. Let d be h(8). Let y = d - 5. Are 7 and y non-equal?
False
Let j be (-39)/(-15) + -3 - 6*(-27)/30. Let l(b) = -2*b + 2. Let p be l(4). Let s = p + 12. Which is greater: s or j?
s
Let j be (-8487)/91 - (-28)/49. Let u = 93 + j. Which is smaller: 1 or u?
u
Let v = -89.9 + 95. Let l = 0.06 + -5.06. Let b = v + l. Which is smaller: b or 4?
b
Let h(s) be the first derivative of -s**3/3 + s**2 + 10*s - 2. Let v be h(0). Let n be -3*v*(-6)/(-15). Is n at most 0.1?
True
Let k = 197975 - 740822457/3742. Let l = -181025/246972 + k. Let h = 9/11 + l. Is -0.1 not equal to h?
True
Let c = -146 + 734/5. Which is bigger: -7/2 or c?
c
Suppose -u - 83 = -7. Let m be (2/4)/(5/(-761)). Let x = m - u. Which is smaller: 1 or x?
x
Suppose -u = 2*i + 41, -4*i + 5*u - 9 - 108 = 0. Let c be 0 - i - (-12)/(-4). Which is smaller: 19 or c?
19
Suppose -5*o + 5*x = 0, -o = -4*x - x. Suppose 5*t - 2 = 2*v + 3, o = -t + 2*v + 9. Let f be (t + 8/(-4))*-1. Which is greater: f or -2?
f
Let m = 88 + -120. Which is greater: m or 16?
16
Let n be (-1*1/23)/(-1). Suppose -23 = -4*g + 57. Let z = 20 - g. Are z and n unequal?
True
Let o be (2/(-3))/((-16910)/60). Which is smaller: -1 or o?
-1
Let d = 1021 - 661. Let k be (3 - 13412/d) + 1. Let w = k + 166/5. Which is bigger: 0 or w?
0
Let b(y) = 2*y + 6. Let z be b(6). Let p be (-12)/z + (-4)/(-6). Suppose 2*j + 4*v - 2 = p, v - 2*v = j. Which is bigger: 1/15 or j?
1/15
Suppose -26*s = 8*s. Let v = -7.7 + 8. Which is bigger: v or s?
v
Let x = 0 - -0.1. Let p = 560 - 558.96. Which is bigger: x or p?
p
Let o(h) = -h**2 + 6*h - 3. Let z be o(4). Suppose -7 = -z*f + 13. Let n(d) = d**2 - 13*d + 7. Let r be n(0). Is r less than f?
False
Let n = -0.3 - -0.7. Let a = 0.6 - n. Let p(g) = -7*g + 4. Let q be p(1). Do a and q have different values?
True
Suppose 15 = -c - 4*c. Let m = -0.0124 + -47.0876. Let s = -47 - m. Is c at most s?
True
Let k be (-102)/10 - 39/(-65). Let m = k - -10. Is -0.03 >= m?
False
Let q be -5*21/(-280) + (-201)/24. Is -31 bigger than q?
False
Suppose 0 = -r + o - 1 - 4, 4*o = 12. Let a = 6644 + -33083/5. Let g = a + -28. Which is smaller: r or g?
r
Suppose -4*v + 20 + 17 = z, 3*v - 84 = -3*z. Is z > 23?
True
Let c be (-1*(-1)/(-3))/(20/120). Let z be 17/c - (42/12 - 3). Is z bigger than -9?
False
Let s = 1.9 + -2. Let m = -11.31 - 2.39. Let a = 8.7 + m. Is s at least as big as a?
True
Let t = -94 + 72. Is t > -19?
False
Let o = 0.542 - 62.542. Which is smaller: -2 or o?
o
Suppose 4*r - 32 = 40. Suppose r = 4*s + 6. Suppose 5 = -s*m - 2*m. Which is greater: -1/8 or m?
-1/8
Let r(s) = 60*s + 356. Let z be r(-6). Let m(k) = -k**3 - 5*k**2 + 6*k - 2. Let f be m(-6). Which is smaller: f or z?
z
Suppose -2*c = -w - 17, 2*w + 4*c = 47 - 41. Suppose -5*g - 54 = o + 2*o, 4*g = 2*o - 30. Let n = 2 + g. Do n and w have the same value?
True
Let v = 619 + -619. Which is smaller: v or 2/6125?
v
Let x(i) = -i**3 - 22*i**2 - 20*i - 44. Let j be x(-21). Which is bigger: j or 1?
1
Suppose 0 = 4*z - 4*k + 40, -2*z - 2*z - 2*k - 28 = 0. Let r(a) = -3*a**2 + 3*a - 2. Let d be r(2). Is z >= d?
True
Let u = -19 + 23. Is 99 < u?
False
Let t = -808 + 803. Is t equal to 19?
False
Let r = -4029 - -56431/14. Is r > 1?
True
Let t = 1.7 + -2.39. Let u = t + -0.31. Which is bigger: u or 0?
0
Suppose -2*h + 5*h = 1152. Suppose h = -o + 136. Let w = o + 505/2. Which is bigger: 6 or w?
6
Let d be (-254)/4 - (115/(-10) - -11). Is -316/5 greater than d?
False
Let n(v) = -2*v**3 - 9*v**2 + v + 1. Let r be n(4). Is r at most as big as -266?
True
Suppose 2*g = 4*u + 10, -5*g + 2*u + 1 + 0 = 0. Let s(h) = 1 + 2*h + 1 - 4. Let v be s(1). Which is bigger: v or g?
v
Suppose 347*l = 360*l - 26. Which is smaller: 96/29 or l?
l
Let s = 16.039 + -16. Let m = -1.119 + s. Let c = m + 0.08. Which is bigger: 0.02 or c?
0.02
Let f = 685 + -15752/23. Let g = f - 55/69. Which is bigger: g or -2?
g
Let q = -3.657 + 3.7. Let f = q - -0.227. Let a = 0.17 - f. Is -6 at most a?
True
Let k = 556 + -553. Is k at least as big as -0.06?
True
Suppose 10*s - 5*s - 20 = 0. Let b be (s/6)/(2/(-6)). Let n = 20.7 + -21. Which is smaller: b or n?
b
Let c = -129 + 130. Is -0.011 <= c?
True
Suppose 6 = 3*c - x, 5*c = 20*x - 22*x - 1. Is 2/387 less than or equal to c?
True
Let c be 11/5 + 131054/230. Which is bigger: 573 or c?
573
Let v = -3887 - -3887. Let r = -0.3 - -0.38. Are v and r unequal?
True
Let r = -752 - -754. Which is smaller: r or -53/3?
-53/3
Suppose -3*o = -4*o + 6. Let k be 9/o*-1*2. Let g = k + 11. Which is smaller: g or 9?
g
Suppose -3*m - a = -20, 5*a - 45 = -0*m - 4*m. Suppose 4*v - 11 = m*v. Let k be ((v/10)/(-11))/(-1). Is 0 at least as big as k?
True
Suppose 4*w - 3*d - 60 = 0, 0*d = -w - 2*d + 4. Let n = -14 + w. Let f be n/(-20)*10/12. Are -1 and f unequal?
True
Let u = -87.14 + 87. Let z = u + 0.04. Let d = 1.3 + 13.7. Which is smaller: z or d?
z
Let f(a) = -a - 9. Let r be f(-15). Let g be (-1)/r - 14/(-12). Which is greater: 1/8 or g?
g
Let x = 52241 - 155375/3. Let k = 460 - x. Let i = -11 + k. Is 7 smaller than i?
False
Suppose 2*o = -3*d + 25, 2*o - 5*d = -0*o - 15. Suppose o*a - 7*a - 2 = 0. Let p = -111 - -1001/9. Is p > a?
True
Suppose 2*f + 5 = -11. Let o be (1/(-2))/((-2)/f). Let d be 3 + -1 - (o + 2). Is d >= 9/4?
False
Let p = -1.2 - -0.2. Let a = 561 + -2807/5. Does p = a?
False
Suppose 111*z - 4081 = 118*z. Are z and -583 non-equal?
False
Let a(n) = n**2 + 9*n + 14. Let i be a(-7). Suppose i = -3*h - 3*d - 21, 40 = -4*h - d - 0*d. Let w be h/(-5) + -2 + -1. Which is smaller: w or -0.2?
w
Let x = 10697/1768184 + -5/2264. Is 1 <= x?
False
Let b(c) = c**3 - 8*c**2 + 2. Let p be b(8). Let m be (-13)/p*(-104)/(-26). Which is smaller: m or -27?
-27
Let l = 0.54 - 1.58. Let d = -0.04 - l. Let a = 0.2 - 0. Which is smaller: d or a?
a
Let w = 44 - 14. Let d be (-2)/(-30) + 186*42/270. Which is smaller: d or w?
d
Let c = 1231.7 + -1292. Let j = -58 - c. Do j and 1 have different values?
True
Let y = -106 - -100.2. Let n = -11.2 + y. Is n < -0.3?
True
Let o be (-2)/3 + (-10)/3. Let g = -3 - o. Let y = -365 - -366. Is g > y?
False
Let v = 11.3 - 11. Let l = v - 6.3. Let r = 5 + l. Which is smaller: 0.3 or r?
r
Suppose -8 = -4*t, 2*u = -2*u - 2*t + 80. Let o be (-1)/4*-5*16. Is u at least o?
False
Let l(c) = 47*c + 421. Let b be l(-9). Let a be 8/6*(-3)/(-2). Are a and b unequal?
True
Suppose 0*k - 62 = 2*k. Let a = -30 - k. Which is smaller: 8/7 or a?
a
Let c be (-1259)/421 - 1*(4 - 7). Is c greater than 0?
True
Let x(o) = o**2 - 39*o + 57. Let q be x(37). Is q smaller than -17?
False
Suppose 3*l - 5*z - 7 = 0, -5*l + z + z = -18. Is 5/2 <= l?
True
Suppose 35*l - 28*l = 1288. Which is smaller: 182 or l?
182
Let u = -288 + 228. Is u >= -0.4?
False
Let b = 306 + -95772/313. Which is bigger: b or 0?
b
Suppose 2*o + 1266 = 4*o - 4*y, 5*o = -5*y + 3225. Suppose 20*k + 79 + o = 0. Which is smaller: -35 or k?
k
Suppose -5*w = 5 + 15. Let k be (1 - 5)/8 - 10/w. Is -21 at most k?
True
Let g(i) = -9*i**2 + 7*i + 