 = f + 9.99. Which is greater: -1/2 or i?
i
Let a be (-5856)/399 + 6/57. Is -15 < a?
True
Let v(k) = -2*k**3 - 7*k**2 - 3*k + 9. Let j = -17 + 13. Let m be v(j). Are m and 37 unequal?
False
Let c = -3 + 5. Let f = 5258 - 5295. Which is greater: f or c?
c
Suppose -2*x - x + 39 = 0. Let v = -13 + x. Which is smaller: v or -7/5?
-7/5
Let s be 1 + 24/(-28) + (-1)/7. Which is bigger: -12 or s?
s
Let g(r) = r + 17 + 5*r + 4*r - 9*r. Let i be g(-6). Is 11 at most i?
True
Let f be (3/(-51))/(226/228 + -1). Let o = f + -3044/459. Is 0 smaller than o?
True
Let p = -1591/10 + 788/5. Is -14 > p?
False
Let q = -7153 - -7152.9. Suppose 0*k = -3*k + 225. Is q > k?
False
Let o = -17.8 + -0.2. Let f = -8.747 - -8.8. Let a = f - 0.053. Which is smaller: a or o?
o
Let q = -2/13 - -128/1001. Let y(n) = n**3 - 7*n**2 - 6*n - 16. Let t be y(8). Which is bigger: t or q?
t
Suppose 0 = 89*q + 1642 + 405. Is q bigger than -42?
True
Let x = -9 - -12. Suppose -2*h = 5*a - 2 - 11, 3*a = x*h + 12. Let r be h/5 + (-54)/(-45). Is r at least 4/17?
True
Let y = 6 + -17. Suppose 0 = 7*j + 22 + 62. Do j and y have different values?
True
Suppose -24 = -5*b - w + 4, 2*w = 6. Suppose o = -j + 2, b + 2 = j - 4*o. Suppose 7 = -2*x + j*p, 5*x = -p + 13 - 5. Is x bigger than 15/7?
False
Let x = -6.898 - -0.098. Let c = x - -7. Which is smaller: c or 5?
c
Let z = 422 + -457. Which is greater: z or 1?
1
Let y = 599 + -598. Are y and -10/271 nonequal?
True
Suppose 0 = 2*f - f - 4*x - 13, 5*x + 25 = 0. Which is greater: -2/7 or f?
-2/7
Let l(k) = k - 9. Let v be l(3). Let m(x) = 11*x + 1. Let q be m(1). Let f = q + -18. Is f equal to v?
True
Let a = -317 - -2543/8. Let n be 12/10*-10*(-1)/6. Which is bigger: a or n?
n
Let y = 350 - 166. Let n be 4/22 - y/44. Let a(b) = -6*b + 31. Let m be a(6). Which is smaller: m or n?
m
Let w = 54 - 54.16. Let j = w - -0.069. Which is greater: j or -0.1?
j
Let n be 1/((-33)/(-6) - -4). Let b = -26.2 - -26. Which is smaller: n or b?
b
Let h = 25 - 20. Suppose 15 = 5*c + 3*s + 50, 5*c - h*s = 5. Is -2 < c?
False
Let v be 1072/(-3703) - 10/(-35). Let x = v + -67/529. Which is bigger: 0 or x?
0
Let p be (8/3670)/((-24)/120). Is p not equal to 0?
True
Let g(r) = 134*r + 269. Let n be g(-2). Suppose -2*w + 0 = 6. Which is greater: w or n?
n
Let g be (-1)/(((-363)/11)/(-11)). Which is smaller: 362/3 or g?
g
Let p(c) = c**3 - 9*c**2 - 10*c + 14. Let o be p(10). Suppose m + 2*a = 3*a + 7, 3*m = -4*a + o. Let k be (4/m)/2*-3. Is -3/8 at most k?
False
Let g = -19316 - -251234/13. Which is smaller: 9 or g?
9
Suppose 0*t = -2*t. Let o = -580/11 + 11633/220. Are o and t non-equal?
True
Let s = -7.53 - -41.23. Which is smaller: 0 or s?
0
Suppose 0 = -3*z + 4*y - 128 - 100, -4*y + 308 = -4*z. Do z and -78 have the same value?
False
Let b(s) = -s**2 + 43*s - 503. Let u be b(39). Which is smaller: -348 or u?
-348
Let h = 10 + -21/2. Let t = -9.2 + 11.2. Is h equal to t?
False
Let b = -25 + -4. Let w = b - -31. Which is smaller: -7/3 or w?
-7/3
Suppose -302*j + 277*j = -550. Does 32 = j?
False
Let u(p) = -p + 11. Let c be u(9). Does 11/12 = c?
False
Let n(p) be the second derivative of -p**5/10 + 7*p**4/6 - 4*p**3/3 - 5*p**2/2 - 21*p. Let c be n(6). Is c greater than 0.1?
True
Let c be 17 + -3*2/(-3). Let w be (-3 - -4)/(1/19) - -3. Let u be w + 2/(4/(-6)). Is c <= u?
True
Let x be 30/72*5619/50. Let j = 237/40 + x. Let s = j - 53. Which is smaller: -1 or s?
-1
Suppose -3*u = -2*a - 11, 2*a + 0*a + 13 = 5*u. Let s be (-8 - (0 + 6)) + (-4)/(-2). Let n be 2/38*s/(-6). Which is greater: n or u?
u
Let f(u) = -u**3 - 4*u**2 + 13*u + 5. Let g be f(-6). Let q be (-1 - 3)*g/(-4). Is q less than or equal to -1/43?
True
Let u = -47.7 - -47.5. Let t be (-1)/3 + (-10)/(-12). Which is bigger: t or u?
t
Suppose -d + 67 = -4*d + 2*m, -112 = 5*d - 3*m. Which is bigger: d or 3?
3
Suppose 0 = 27*a - 440 + 2897. Is -181/2 at least a?
True
Let i be (-1)/((-105)/(-28) - (4 + 0)). Is -4 greater than i?
False
Let r(p) = -2*p**3 + 2*p**2 - 1. Let i = 5 + -4. Let k be r(i). Let a = -73/56 - 1/8. Which is smaller: a or k?
a
Let y = -0.0607 - -10.0357. Let z = 0.025 + y. Do 2 and z have the same value?
False
Let d be (25 + 10)*(-4)/10. Let c = d - -17. Is c at most as big as 5?
True
Let j be 250/7 + (-18)/(-63). Let b be 18/8 - 9/j. Let t(w) = -w**2 + 5*w - 6. Let u be t(b). Which is greater: 1/6 or u?
1/6
Let u = 5.4 + -5. Let w = u - 0.4. Let b = -3.68 + 3.7. Is b bigger than w?
True
Suppose 492 = 5*l - 2*y, 0 = 4*l + l - 5*y - 495. Let j = l - 979/10. Which is smaller: -0.1 or j?
-0.1
Let n = -2/225 - 373/225. Suppose 4*r - w + 235 = 0, 0 = -2*r + r + 4*w - 55. Let c = -60 - r. Is c smaller than n?
False
Let x = 5633 - 208436/37. Which is greater: x or 0?
0
Let r be (-20)/(-8)*(-2)/(-5). Let b be (-13216)/(-1071) - 2/3. Let x = b - 104/9. Are x and r nonequal?
True
Let t = 2/2823 + 8363/149619. Let s(c) = -c**2 + 3*c + 4. Let w be s(4). Which is smaller: w or t?
w
Let n(d) = d**3 - 10*d**2 + 10*d + 1. Let u be n(9). Let m = u - 14. Let c be 2*6/m - -1. Which is smaller: c or -12/5?
-12/5
Let n = 0.025 + 22.975. Let q = n - 39. Let f = q - -15.8. Which is smaller: 1/3 or f?
f
Let u(i) = -2*i - 13. Let n = 8 + -14. Let w be u(n). Let y = -4 + 6. Which is smaller: y or w?
w
Let f be (-19 - -18) + -1 + (-153)/(-20). Which is smaller: 5 or f?
5
Let y be ((-3534)/24 - 5/(-20)) + 4. Is -143 < y?
False
Suppose -21*t + 26*t - 190 = 0. Is t > 40?
False
Let h be (-18)/(-12) + 2/4. Suppose -3*r + 13 = 2*p, 11 = 3*r + h*r - 2*p. Suppose -r*q + 16 = q. Is 4 not equal to q?
False
Suppose -2*h - 4 = 5*k, -h - 6*k - 2 = -7*k. Suppose -17 = -3*l + 3*d + 10, 3*d + 35 = 4*l. Suppose r + r = -l. Which is greater: r or h?
h
Suppose -5*b + 2*b + 22 = g, 0 = 3*b - 4*g - 17. Let d = -669/4 - -2099/12. Which is bigger: b or d?
d
Let z = 13 + -8. Suppose 6 = -z*w + 21. Suppose -w*j = 5 - 26. Which is smaller: 6 or j?
6
Let d = 261 - 281. Let f be ((-209)/(-22))/((-1)/2). Which is smaller: d or f?
d
Suppose 5*c = 2*c - 4*h + 101, c - 59 = 5*h. Let q be 6/30 - c/(-5). Are 7 and q non-equal?
True
Let b(v) = -19*v + 1253. Let p be b(66). Is p <= -5/42?
True
Suppose -2*u + 24 = -v, -29*u + 24*u = 5. Is 11 < v?
False
Let b = -19 + 107. Let q be (8/(-5))/((-22)/b). Is 5 <= q?
True
Suppose -9*y = -12*y + 207. Suppose 5*r + 106 = -y. Are r and -36 non-equal?
True
Let g be ((-7)/2)/((-18)/(-4)). Suppose 7 = -21*u - 35. Is g less than u?
False
Suppose -5*c + 5*q - 105 = 0, 3*c + 19 + 39 = -2*q. Let d be 3 + 1*c/6. Which is smaller: d or 0.06?
d
Let r = -11.73 - 3.07. Is -0.1 greater than r?
True
Suppose 0 = 6*s - 4*s. Suppose 4*o + 12 = -s. Which is smaller: 0 or o?
o
Let q(i) = i**3 + 9*i**2 - 27*i - 20. Let m be q(-11). Suppose -a = -2*g + 7*g + m, 3*a - g = -25. Is a < -2?
True
Let n = -1.6 + 2.28. Let r = n - 0.28. Which is bigger: r or -1/3?
r
Let o = -0.2 + 0.1. Let v = 20680/29 - 312711/319. Let s = v + 267. Which is bigger: s or o?
o
Let i be (-9975)/(-323) - (-4)/34. Let w = i - 13. Which is bigger: w or 17?
w
Let x(n) = -n**2 - 11*n - 12. Let p be x(-9). Suppose -9*y = p*y - 6*y. Which is bigger: 2 or y?
2
Let f = -185 - -177. Which is bigger: -14 or f?
f
Let p be 4*28/(-54) + 2. Suppose 0 = 4*i - 7 - 13. Suppose 0*y = i*y. Which is bigger: y or p?
y
Let u(d) = d**3 + 5*d**2 + 10*d. Let p be u(-7). Is p bigger than -168?
False
Let f = 24 + -20. Suppose i = 3*i - f. Is i bigger than -9?
True
Let d be ((-36)/(-340))/((-11)/55). Let x(z) = z**3 - 3*z**2 + z. Let m be x(1). Which is bigger: d or m?
d
Let v = -0.34 - -0.63. Let q = -0.0467 + 2.0467. Which is greater: q or v?
q
Let h = -176 - -166. Suppose -r + 3*r - 2 = 0. Let z be r/(-5) + h/(-30). Which is smaller: 1 or z?
z
Suppose -2*s - k + 5 = -7, 0 = -3*s + 5*k + 5. Suppose -24 + 9 = -s*n. Let g be 0/1 + 14/9. Which is greater: n or g?
n
Suppose 0 = -g - q + 5*q - 29, 4*g - q + 71 = 0. Which is greater: g or -35?
g
Let r = 84 - 839/10. Let i(w) be the first derivative of -w**2/2 + 21*w - 35. Let c be i(21). Which is smaller: r or c?
c
Let y(w) = -w**3 - 9*w**2 - 4*w - 1. Let i be y(-6). Let b be (i/(-40) - 2)*3. Which is greater: b or 3/4?
3/4
Let y(n) = 6*n + 44. Let r be y(-7). Suppose 0 = -2*b - r - 2. Is b not equal to -3?
True
Let l = 59 - 58.75. Let x = l + -0.