 is smaller: d or i?
d
Let s = 3.08 - 0.08. Let f = s - 2.7. Let i = -122 + 124. Which is smaller: f or i?
f
Suppose 3*v = -2*v. Let g be (1 - 0)*1 - 470. Let f = g - -5165/11. Which is bigger: f or v?
f
Let i(o) = o**2 + 4*o + 5. Let u be i(-5). Is 3 less than u?
True
Let r = -1/500 + -3997/1500. Is -4 != r?
True
Suppose -12*n + s + 5 = -15*n, -5*n = 3*s + 15. Is n greater than or equal to 1/56?
False
Suppose 4*y - 48 = 80. Suppose -3*b - y = 5*b. Are -1 and b equal?
False
Suppose w - 16 = -3*w, -2*t - 5*w = 0. Suppose -13*h = 2*c - 18*h + 1, 5*c = 4*h - 28. Let n be (c/6)/(t/15). Which is smaller: -0.9 or n?
-0.9
Let k be 4 + -4 + (-11)/6028. Which is smaller: 0 or k?
k
Suppose -3*z + 11*z = 24. Suppose z*q = 4 - 13. Are q and -5 unequal?
True
Suppose 64*s = 75 - 11. Let h = -4/9 + 131/72. Let g = h + -5/8. Which is smaller: g or s?
g
Let x = -21.88 - -21.9228. Does -0.1 = x?
False
Suppose -3 = a - 2*k - 16, 0 = -3*a - 2*k + 7. Suppose 0*r = -4*r + j, -5*r = a*j. Let y be -2*(1260/(-316) + 4). Which is smaller: r or y?
y
Let a be (1/(-3))/(-1*(-3)/(-9)). Is 7/150 at most a?
True
Let d = -0.188 - -0.278. Which is bigger: d or 6?
6
Suppose 0*r - 4*r = -3*b - 12, -4*b = -4*r + 12. Let p be 4 + (r + -15)/4. Let k = 3 + -3. Which is greater: p or k?
p
Suppose 8233 + 1733 = -33*m. Which is smaller: m or -304?
-304
Let v = 23 - 10. Let p(o) = -7*o + 9. Let r be p(3). Let a = r + v. Is 5/3 smaller than a?
False
Let w(d) = d**3 + 8*d**2 + 8*d + 11. Let b be w(-7). Let k(c) = -c**3 + 4*c**2 - 4*c + 4. Let i be k(b). Let g be ((-9)/6)/(2/16). Are i and g equal?
True
Let q = -37060/13 - -2852. Let f = -3 - -4. Is f at least as big as q?
False
Let b = 4.0731 - 0.0731. Suppose 2*t - 3*a + 5*a = 6, 0 = a - 1. Suppose t*y = y. Which is greater: b or y?
b
Let t(k) = -k**3 - 9*k**2 + k + 7. Suppose 3*n + 24 = -3*l, -2*n + 54 = -4*l + 16. Let o be t(l). Let c be o/(-5) + 5/25. Which is greater: 1 or c?
1
Let d(t) = -t**2 - 4*t + 2. Let u be d(1). Is -0.22 > u?
True
Let y be (1 + (1 - -74))*1. Which is smaller: y or 77?
y
Let i = -12 + 25/2. Let d = 1318 - 1319. Is i greater than d?
True
Let c be ((-50)/(-3))/((-91)/63 - 1). Are -8 and c non-equal?
True
Let p be (-80)/8 - 624/(-60). Let j = 5 - 4.92. Let t = 0.1 - j. Do t and p have the same value?
False
Let c be -4 + (6 - (5 - 1)). Let r be (c/10)/((-3)/15). Is -1/11 < r?
True
Suppose -2*j + 9*y - 17 = 14*y, -2*y = 10. Let q(o) = o**2 + 7*o + 3. Let l be q(-6). Do l and j have the same value?
False
Let y = -66051562/167031 - -9/18559. Let r = -396 - y. Let o = -10 + 8. Which is smaller: o or r?
o
Let a(q) = -q**3 + 8*q**2 + 6*q + 28. Let b be a(9). Is -1/226 at least b?
False
Let i(d) = d - 57. Let s be i(0). Let f = s + 119/2. Let m = f + -5. Is -3 at least m?
False
Let i be (-19 - -19)/(-1 - -4). Suppose -3 + i = w. Let v = 596/5 + -122. Which is smaller: w or v?
w
Suppose 0 = -3*r - 9, 4*n + 3*r + 30 + 15 = 0. Let z = 12 + n. Suppose 4*k = z*k. Which is bigger: k or -2/7?
k
Let t = -59/45 + 10/9. Let f = -93/7 + 3431/273. Let v = -5/13 - f. Which is smaller: t or v?
t
Let v = 23 + -39. Suppose -9*p + 170 = p. Let b = v + p. Which is smaller: -2 or b?
-2
Suppose -5157*k + 5158*k + 1 = 0. Is 133 >= k?
True
Let v(m) = -8*m - 256. Let q be v(-32). Is 10/43 smaller than q?
False
Suppose u = -3*t + 25, 2*t + t = -5*u + 17. Is t greater than or equal to 9?
True
Let q = -4.3 + 4.2. Let j = -0.3 + q. Which is greater: j or -6?
j
Let n = -0.71 - 0.09. Let y = -706 - -703. Are n and y unequal?
True
Let k be 123*(-5 - (-52)/12). Is k smaller than -81?
True
Let p = -18 - -18. Let o = -6.5 - -7. Is o at most as big as p?
False
Let a = 235 + -234. Which is bigger: a or 7/29?
a
Let w = -52 + 54. Suppose -3*b + 4 = -i, -5*b = -10*b - w*i + 14. Suppose 0 = k + 2*k. Which is greater: k or b?
b
Let p be (-6 + 12)*3/2. Suppose -4*j + 24 = -108. Suppose p = 4*y + j. Is -6 < y?
False
Let z be (98/28 - 4)/(1/(-2)). Is z <= -3.03?
False
Suppose 11 - 5 = v. Let n = 553 - 547. Is v >= n?
True
Let d = -4 + 3. Let u be (d + 2)/(-2) - -1. Let n = -96 + 97. Which is smaller: u or n?
u
Suppose -3*k - 12 = k + i, 0 = -5*k - 4*i - 4. Let b = k + 2. Let q = -198.6 - -199. Is b < q?
True
Let w = 19 - -65. Let z = -84.06 + w. Does 2 = z?
False
Let u be 16/4 - (-12)/(-4). Let l be 6/15*1/(-27)*-5. Is u less than l?
False
Suppose s - 13 = 2. Suppose g - 3 = -3*w + 12, s = 4*g + 3*w. Let k be 0/((1 - -2)*4/6). Are k and g nonequal?
False
Let j(d) = -d**2 - 7*d - 5. Let x be j(-5). Suppose x*r + 11 + 9 = 0. Let s(p) = p**2 + 6*p - 10. Let y be s(-7). Which is greater: r or y?
y
Suppose -14 + 2 = -4*q. Let o be (3 - -25)*q/4. Let m be 14/o + 2/(-3). Is 0 <= m?
True
Let s be (2 + -1)/(1 - 2). Which is smaller: 2/83 or s?
s
Suppose 91*v + 48 = 86*v - 4*f, -4*v - 2*f = 36. Suppose -2 = -4*q + 2*y - 0, 3*y - 6 = 3*q. Let t be (q/(-6))/((-1)/(-18)). Which is smaller: v or t?
t
Let u(t) = -t**2 - 6*t + 5. Let k be u(-6). Suppose k*o = 2*o. Suppose -6*q - q = -2*q. Is o at least as big as q?
True
Let x = -149 - -154. Suppose 5*o - 126 = 139. Suppose 4*l + 4*d - o = -d, 0 = -x*l - 4*d + 73. Are l and 18 equal?
False
Suppose 5*c + 19 = 34. Suppose -4*o = -c*a - 0*a + 15, 20 = o + 4*a. Is o != 1/21?
True
Let q = 7419/7 - 1079. Which is greater: -19 or q?
-19
Suppose -22*t - 42 + 42 = 0. Is t != -2/91?
True
Let f = -401 + 408. Is f less than 31/5?
False
Let j = -0.4 - 0.4. Let t = -12.8 - j. Let c = -0.4 + 0.4. Which is bigger: c or t?
c
Let g be (-24)/10*(-20)/(-26). Let j be 3/(-1) - (-29 - -28). Are j and g nonequal?
True
Let g = 792 - 786. Which is bigger: g or 145?
145
Suppose 14 = b - 4*h, -4*h + 16 = -8*h. Which is smaller: b or -31/18?
b
Let w be (-9)/(-102)*(-4)/(-66)*2. Let g = 215/2618 - w. Do g and 0 have the same value?
False
Let u = -373/8 + 4207/88. Is u <= 1?
False
Let l be (-36)/14 - (-16)/28. Let x(t) = 2*t**3 - t - 3. Let q be x(l). Are q and -16 nonequal?
True
Let g be -1*6/2*1. Suppose -7 = -5*z + 13. Suppose z*k - 1 = -9. Which is greater: k or g?
k
Let i be (-6)/(-3)*1 - -31. Let y = -12 + i. Suppose -6 + y = 5*o. Is o at most 3?
True
Suppose -4 = y - 3*y. Let w(b) = 5*b**2 + 2*b + 1. Let q be w(-1). Let i be (-2)/q - 39/(-30). Is i != y?
True
Let x be -1*(-4)/(-8)*-30. Suppose x*m = 19*m. Is 2/83 less than or equal to m?
False
Let z = -42 + 47. Let x = -2526/5 + 500. Let m = z + x. Is 0 >= m?
True
Let y(b) = b + 10*b**2 - 15 - 14*b**2 - 12*b. Let r be y(-6). Let x be r/(-6) + 15/(-10). Are x and 14 nonequal?
False
Let c = -78.79 - -78.71. Let g = 0.8 + -0.4. Is c greater than g?
False
Let d = 7 + -5. Let c be (d - -13)/(9/(-6)). Is -11 less than c?
True
Let v be ((-6)/(-12))/((-1311)/(-1314) + -1). Which is greater: -218 or v?
-218
Let d = -863 - -892. Let i = -0.1 + 0.1. Which is bigger: d or i?
d
Let d = -5.92 + -0.08. Let q = d - -7. Let u(w) = w**2 + 5*w + 4. Let i be u(-3). Which is greater: q or i?
q
Let v = 29385/19 - 1548. Let w = 764/551 + v. Which is bigger: w or 0?
0
Let x = 4.27 - 3.71. Which is smaller: x or 3?
x
Let w(j) = 2*j**2 - 37*j - 40. Let z be w(21). Let k = z + -64. Which is smaller: k or 2/149?
2/149
Let i = -51 - -34. Which is bigger: -5 or i?
-5
Let r(j) = j**3 + 6*j**2 - j - 7. Let p be (4/(-3))/(20/(-30)). Let x be ((-9)/(-12))/(p/(-16)). Let u be r(x). Which is smaller: u or -6/5?
-6/5
Let z be ((-6)/(-22))/(5/10). Let c be (0 + 5)/(-6 + 21/3). Suppose 2*x - 12 = 6*x + 5*i, 2*i = -c*x + 2. Which is greater: x or z?
x
Suppose -103 + 100 = -h. Let s be (-108)/(-21)*h/9. Which is smaller: s or 3?
s
Suppose 0 = 5*i - 5, -5*i + 15 = 5*j - 0*j. Let g(s) = -s**3 + s**2 + s + 1. Let p be g(j). Is -6/11 less than p?
False
Let z be (0 + 0)*1/(-2). Suppose z = o + 4*o - 10. Let t = 19 + -20. Is t smaller than o?
True
Let v(g) = -18*g + 488. Let n be v(27). Suppose 4*b - 16 = -y - 3*y, -2*b - 3*y = -7. Is n at most as big as b?
True
Let o be (-16)/9 - (-8)/(-36). Let s(j) = j**3 - 6*j**2 - 8*j + 9. Let h be s(7). Suppose 5*g - 3*k + 11 = 0, -h*k + 5 = 2*g - 3*g. Which is bigger: o or g?
g
Let j = -0.0346 + 1.2346. Which is smaller: -15 or j?
-15
Let s be -3 - -1 - 0/(-2). Let v(x) = x**3 + 3*x**2 - 62*x - 264. Let p be v(-5). Which is smaller: p or s?
p
Let i = 276 - 1105/4. Which is smaller: i or 3?
i
Let f = 788