ich is smaller: 4 or d?
d
Let d(t) = -2*t**2 - 14*t + 1. Let a be d(-7). Which is smaller: 3 or a?
a
Let i = 0 - -0.2. Let m = i + -3.2. Let d = 2447.7 + -2448. Is m bigger than d?
False
Let b be ((-1)/(-2))/(2/(-232)). Does b = -60?
False
Let x be (-1728)/862 + (-8)/(-48)*12. Which is greater: x or 0?
0
Let k = -276 + 386. Which is greater: k or 108?
k
Let h be (36/24)/(2*6/(-80)). Which is greater: h or -12?
h
Let k = 38 + -159. Which is bigger: k or -1?
-1
Let o(x) = 17*x**3 - x**2 - x. Let p be o(-1). Let s(u) = -2*u**2 + 7*u + 7*u**2 - 6*u**2 - 16. Let d be s(7). Which is bigger: p or d?
d
Let h(w) = 11*w**2. Let u be h(1). Suppose 4*j + 14 = 3*l + 6, -3*l + j = -u. Let g = 7/12 + 8/3. Is l at most as big as g?
False
Suppose -3*h - h + 20 = 0. Suppose -2*i + 7 = -h*i + 2*x, -5*x = 5. Let v be 0/((-4)/6*3). Are v and i unequal?
True
Let g = -34 + 35. Let p be 14/(-70) + g/5*-19. Are -2 and p unequal?
True
Let v = -47 - -46. Let p = -0.4 - -0.39. Is v greater than or equal to p?
False
Let g = -7.6 + 4. Let o = -0.4 + g. Is -2/9 less than or equal to o?
False
Suppose -51 = 3*o - 3*s, -o - 72 = s - 49. Which is bigger: -165/8 or o?
o
Suppose 5*n - 29 = 4*b - 7*b, 4*n - 20 = -2*b. Let t = -11 + b. Let r be 3/t - (0 - 0). Which is smaller: r or -6/11?
r
Let o = -3.9 - -4. Let a = 2 + -2.3. Let w = a + o. Is -3 equal to w?
False
Let o = 1.09 + -1.02. Let j = 3 - -2. Let h = j - 4. Do h and o have the same value?
False
Suppose -3*b + 2 - 42 = -y, 4*b = -5*y - 47. Let p be (1 - (-6)/(-9))*69. Let v = p + b. Is v < 9?
False
Let p be (21 - -3) + (-6)/3. Which is smaller: 20 or p?
20
Let r = -100 + 103. Suppose c = -r*c + 3*f - 11, -f + 11 = -5*c. Do 0 and c have different values?
True
Let n be (-1)/2 - (6 + -6). Let b = -5 - -7. Let y(k) = k**3 - k**2 - 3*k + 1. Let u be y(b). Which is greater: n or u?
n
Let s = -1233 - -1217.8. Is 0.1 at most s?
False
Let n(x) = -x**3 + 14*x**2 + 14*x - 5. Let j be n(15). Let g be 4/398*(130/j)/(-13). Is g at most as big as -1?
False
Suppose -5*g - 1 + 26 = 0. Suppose 5*d - g = -3*f, -7*d + 41 = -3*d - 5*f. Which is greater: d or 6?
6
Let n = 1.57 - 14.37. Let h = n - -13.06. Which is smaller: h or -2/5?
-2/5
Let j = 4.2 - 6. Let k = j - 1.2. Let x = -2.6 + 2.4. Do x and k have the same value?
False
Let x = -17 + 21. Let n = -22 + x. Let c be (-45)/n*(-16)/(-65). Is 1 greater than or equal to c?
True
Suppose -3*c - 43 = -31. Let g be (((-126)/c)/7)/((-5)/10). Is g greater than or equal to -2?
False
Let s(w) = 2*w**2 + 7*w + 2. Let l be s(-3). Let v be 5 - -5 - -3*1/l. Which is smaller: 6 or v?
6
Let d(r) = -r**2 + 9*r - 6. Let q be d(8). Suppose q*w - 4*g - 149 = -g, 5*g = -3*w + 214. Are w and 73 nonequal?
False
Suppose 2*j = 2*f - 0*j, -3 = 2*f + j. Which is smaller: 2/507 or f?
f
Let c be -3 + 2 + -2 + 3. Which is bigger: c or -2/41?
c
Let j = -0.007 + 0.107. Which is bigger: j or 25?
25
Suppose -4*j + 3*q + 268 = 0, -3*j + q + 99 = -102. Which is smaller: 66 or j?
66
Let o = -43139/3367 - 74005/91. Let r = o - -826. Which is bigger: -1 or r?
r
Let t = -470 - -7988/17. Let a = -0.77 + 0.87. Which is smaller: a or t?
t
Let x = 566 + -566.3. Which is bigger: x or 58?
58
Let t be 3/5*(5 + 25). Suppose 0*f - t = -5*q + f, -2*q + 3*f + 15 = 0. Let m be (q/18)/(10/6). Which is smaller: -1 or m?
-1
Suppose -2*q + 13 = 33. Let a = -539 + 536. Which is smaller: a or q?
q
Let s = -27.3 + 4.3. Let w = 0.017 + 13.983. Let l = w + s. Which is smaller: -1 or l?
l
Let z be 244/54 - (-3 + -1 + 8). Which is smaller: z or 1?
z
Let y(h) = -h - 14. Let t be (-10)/(-5) - (1 + -3). Let m be y(t). Which is bigger: 2 or m?
2
Let o = -2031 + 2030. Which is bigger: -150/13 or o?
o
Let r = 3910 + -3910. Let a = 3 + -6. Let i = 4 + a. Which is smaller: r or i?
r
Let z = 1 - 2. Let r = 79 - 65. Suppose 15*b = r*b - 2. Is z greater than b?
True
Let z(t) = -t**2 - 4*t + 2. Let f be z(-5). Suppose -4*y - 8 = 4*c, -6 = -y + 2*y + 2*c. Let g be (7 - 9)/(y/4). Which is smaller: g or f?
g
Let a be ((-11)/(-3) + -4)/(2/(-24)). Suppose -5*b - 5 = -3*u, -b = a*u - 2*b - 35. Which is greater: u or 5?
u
Let b = 1742 + -19186/11. Let n = b + 76/55. Is n at least 0?
False
Let z(j) be the first derivative of j**3/3 - 4*j**2 + 13*j + 23. Let l be z(4). Is -3 != l?
False
Suppose -3*j + 2*j = 0. Suppose j = -9*k + 4*k + 4*x + 3, k - 5*x = -12. Suppose 5*l + 8 = k*l. Which is greater: l or -2?
-2
Let s = 470 + -459.3. Is -2/3 > s?
False
Let l be (-3)/(57/(-6) + 2). Let o be (-2)/4 + (-27)/(-6). Suppose -s + 1 = o. Which is greater: l or s?
l
Suppose 16 + 68 = -7*u. Which is smaller: u or 1?
u
Let z be (-16)/(-96)*939 + 2/4. Is 157 at least z?
True
Let s = 1106 + -764. Let c = s - 343.67. Let m = -1.6 - c. Which is smaller: -0.2 or m?
-0.2
Let f = -2207 - -2226. Do f and -7.6 have different values?
True
Let o = 888 + -1110. Is -225 bigger than o?
False
Suppose -3*y + 4*g - 181 = 0, -3*y - 2*y - 290 = 5*g. Let d = y - -62. Are -0.05 and d equal?
False
Let m = 157680 + -2679045/17. Let c = -89 + m. Let u(a) = -a**3 - 5*a**2 + 7*a + 6. Let z be u(-6). Which is smaller: c or z?
z
Let f(b) = -52*b**3 - 2*b**2 - b. Let o be f(-1). Let s be ((-2)/o)/((-8)/(-2283)). Let j = s + 45/4. Is 1 at most as big as j?
False
Suppose 3*r - 269 = -v + 101, 5*r - 4*v = 594. Which is smaller: 121 or r?
121
Let d be (-1 + 2)*(-1 - -1). Let q = -2 + d. Let n(y) = -y**2 + 32*y - 208. Let o be n(9). Which is smaller: o or q?
q
Suppose 5*r = -5*x - 505, -10*r - 416 = -6*r + x. Which is greater: r or -106?
r
Let a(o) = 3*o + 47. Let k be a(-17). Which is smaller: k or -212?
-212
Let v = -10 - -10.7. Let l = v - 0.5. Let s = l - 2.2. Does -0.2 = s?
False
Suppose -2*j - 5*y + 14 = 0, -j - y = 2*y - 6. Let z be 8/j + 15/18 + -1. Which is greater: -8 or z?
z
Let r = 0 + -1. Let p be (18/(-245))/((-3)/(-60)). Let b = p + -12/49. Which is greater: r or b?
r
Let a = 0.02 + 8.98. Let i = 10 - 20. Let q = a + i. Is q at least -0.3?
False
Suppose 5*v + 50 = 5*r, 3*r - 14 = -2*v - 3*v. Let c = 1 - -7. Let w be 6/c - 22/r. Is -1 greater than w?
True
Suppose -4*a + z - 14 - 6 = 0, 2*a + z = -4. Let c be ((-1)/(-2))/(33/246) + -4. Which is greater: a or c?
c
Let r = 203 + -204. Are r and 12 non-equal?
True
Suppose -5*a - 8 = 4*w, -3 = w + 5*a - 1. Let c be (4 + -4 + 1/(-2))*w. Is -5.4 <= c?
True
Let z = -11.2 - -1.2. Let j = 19 + z. Let s = 8 - j. Which is greater: s or -6?
s
Let k = 17.43 + 38.57. Does k = -0.4?
False
Let z(r) = -r**3 - r**2 + 15. Suppose -2*q = -2*b - 10, -5*b - 3*q + 2*q = -5. Let n be z(b). Is 15 greater than n?
False
Let i = -44.64 + 42.7. Which is bigger: i or 1/4?
1/4
Let s be 39/2 + 1 + -2 - 2. Which is smaller: 18 or s?
s
Let d = 524 + -523.8. Let a = -1.27 + 1.2. Let t = a - 0.53. Which is smaller: d or t?
t
Suppose 3 + 5 = 4*v. Let t be (1 - 3) + (-7)/v. Which is greater: -7 or t?
t
Let y be (-1 + (-4)/(-10))/(11/(-1265)). Let d = -61 + y. Which is greater: 4 or d?
d
Let l = 451 + -24806/55. Which is smaller: -1 or l?
-1
Let d = -428 + 516. Are 88 and d non-equal?
False
Let p be -2*((-17)/(-6)*3 - 7). Let m be ((-3)/(-2))/(1/(-1)). Which is bigger: p or m?
m
Suppose -87*g = -83*g - 4*u + 176, -4*g + 2*u - 172 = 0. Is -52 bigger than g?
False
Let r = 5 + -10. Let d be (5/3)/((-20)/(-48)). Let n be -2 + d/(-8)*r. Which is smaller: n or -0.5?
-0.5
Let p(z) = -z**2 + 6*z + 334. Let h be p(21). Which is greater: h or 20?
20
Let w = -8 + 4. Let m = 1031.8 - 1032. Do m and w have the same value?
False
Let x = -6 + 6. Let y = x + 3. Suppose -b - 20 = y*b. Which is smaller: b or -6?
-6
Let c = -1329 + 1330. Which is smaller: 1/657 or c?
1/657
Let k = -1.09 - 1.11. Let h = -2 + -0.4. Let n = k - h. Which is smaller: n or -9?
-9
Let j(n) = -25*n + 1. Let i be j(-1). Which is greater: 30 or i?
30
Let j be 75/350*(-136)/(-6). Which is greater: j or -1/2?
j
Suppose -85 = 3*u - 2*l, 2*u - 2*l = -4*l - 40. Suppose -5*q + 53 = -3*c, -3*q + 99 = -4*c - 2*q. Which is bigger: c or u?
u
Let n be (16/5310)/(-10 - 576/(-60)). Is 1 at most as big as n?
False
Suppose 5*f + 5*a + 585 = 0, -5*f - 2*a + a = 569. Let r = 905/8 + f. Suppose -10 = -5*y + 5*x, 5*y = 2*y - 4*x - 15. Is r less than or equal to y?
False
Suppose 5*g = -27 - 3. Let v be 3 + (9 - 7) + 0 + g. Which is bigger: v or -26?
v
Le