2*y - 13, 0 = -2*t + y - 5*y - 6. Is t at least as big as a?
True
Let x = 2/45 - -2/9. Suppose m + 2*o = -3*o + 15, 4*o = -m + 12. Is x less than or equal to m?
False
Let z(a) = -a**2 + 10*a - 21. Let q be z(4). Is q != -13?
True
Let l = -6.52 - -6.42. Which is smaller: -0.67 or l?
-0.67
Let f = 55 - 264. Let i = -225.8 - f. Let s = i - -17. Which is bigger: 5 or s?
5
Suppose 20*q - 12 = 24*q. Suppose 2*u + 4*x + 4 = 0, 2*x = 7*u - 2*u - 2. Let t = u + q. Is -2/7 at most t?
False
Let l be (-2)/(-3) - (-120)/(-99). Let b = 9 - 9. Let g be 0/(-1 + 0) - b. Which is greater: g or l?
g
Let n = 1230 + -6171/5. Let j = n - -43/15. Is -2 >= j?
False
Let q(g) = -2*g - 12. Let i(m) = -m - 13. Let w(z) = 3*i(z) - 2*q(z). Let t = 1042 + -1035. Let b be w(t). Which is smaller: -10 or b?
-10
Let u = 328.4 + -220. Let k = -105 + u. Do 0.1 and k have the same value?
False
Suppose -5*d + 2042 = -928. Let t = 1149/2 - d. Which is smaller: -20 or t?
-20
Let t(d) = 3*d**3 + 3*d**2 - 6*d + 2. Let n be t(1). Suppose -31 = -11*a + n. Let r(z) = z**3 - z**2 + 1. Let s be r(0). Which is smaller: s or a?
s
Let l be 0 + 1 - (-5 - 10). Let q = -287 + 302. Which is smaller: q or l?
q
Let y be ((-7)/7*0)/(-1). Which is smaller: y or 1/101?
y
Suppose -5*m - 6295 = -5*h, -5*h - 373 = -3*m - 6660. Is h at least as big as 1254?
True
Let o(r) = r**3 - 9*r**2 + 7*r + 7. Let k be o(8). Let s = 83 + -1080/13. Is s < k?
False
Let z(q) = 3*q**2 + 3. Let u be z(0). Let t = 1.4 - 1.4. Do u and t have the same value?
False
Let y be 1/(-60)*(-333)/(-148). Which is smaller: 1 or y?
y
Suppose -r - 2*d + 372 = 0, -13*d = -4*r - 18*d + 1497. Is 377 smaller than r?
True
Let p(z) = -z**2 - 3*z + 9. Let i be p(-5). Let y = i + 4. Let a(v) = v**3 - 3*v**2 - 2*v + 2. Let b be a(y). Which is smaller: b or 0?
b
Let p = 8760553 - 26220333507/2993. Let g = 36/73 - p. Suppose -a + 16 = -5*k, k = -a - 0*k - 2. Is g bigger than a?
False
Let j be 4 + (-150)/35 + 100/(-42). Let d = j - -13/6. Is d at least -1/5?
False
Let h be (-8 + (-5 - 1))/(-2). Let y = 13.4 - -1.6. Let o = y - 15.1. Which is smaller: h or o?
o
Suppose -4*c + 4*y + 1272 = 0, 3*c - 2*c + y - 320 = 0. Is 320 smaller than c?
False
Let a be (-36)/12*(-3034)/6. Let x = -125913/83 + a. Is x bigger than 0?
False
Suppose 5*c + c = -126. Is -159/8 less than or equal to c?
False
Let j = -28 - -17. Let d = 37 + j. Let r = -25.9 + d. Which is bigger: r or -25?
r
Let b be (52/24)/13 + (-95)/(-15). Suppose 2*x - 21 = -x. Which is smaller: x or b?
b
Let p = 0.128 + -0.088. Is p at least as big as -10?
True
Let y be ((-10)/12)/(-5) - 868/24. Let o be (-1056)/y*((-7)/(-2) - 2). Which is smaller: 43 or o?
43
Let k be 1/(2 + 3 - 6). Let h be (6/608)/(2/(-8)). Which is bigger: k or h?
h
Suppose p = -2*p + 6. Let z = p + -6. Which is greater: z or -1?
-1
Let g = 1853 + -1413. Which is smaller: 0 or g?
0
Let m = 8.9 - 8.8. Which is smaller: 0.059 or m?
0.059
Let u = 0.006 - -22.994. Let x = -22.8 + u. Let a be 4/(-5) + 4/10. Is a at most as big as x?
True
Let c = -0.3 + 0.2. Suppose 6*r + 156 - 48 = 0. Is r at most as big as c?
True
Suppose 2*r - 180 = -12. Which is bigger: r or 85?
85
Suppose -5966 = 34*a - 72*a. Is a != 157?
False
Let a(v) = v**3 - 9*v**2 - 39*v + 20. Let x be a(12). Which is smaller: -15 or x?
x
Suppose -40*m + 44*m - 256 = 0. Is m > 0?
True
Let t(y) = -15*y**2 - 3*y. Let j be t(1). Is j <= -0.02?
True
Suppose 4*s = z - 39, -8*z + 12*z - 3 = -s. Which is smaller: -6 or s?
s
Let n(p) = -302*p**3 - 2*p**2 - 5*p - 4. Let s be n(-1). Is 304 <= s?
False
Let w(n) = n**2 - 2*n. Let u be w(2). Let t be (-1)/(1 + u) + 5/5. Is t > 1/260?
False
Suppose -6*t + 94 = -68. Let n = t + -25. Suppose -2*i + 2 = -3*f + 23, 4 = n*f + 2*i. Is f equal to 3?
False
Let s be (17/(-18))/(-17)*(-3 + 2059). Let z be 19*(0 - 12)/(-2). Let f = s - z. Which is smaller: 0 or f?
0
Let d(c) = -c**3 - 7*c**2 + c + 10. Let y be d(-7). Let w be (y/(-1061))/(36/24). Let m = w + -1001/31830. Which is greater: 1 or m?
1
Let i = -453 + 398. Is -54 greater than i?
True
Let j = -9/2 - -383/10. Which is smaller: j or 34?
j
Let v be 3/(3228/3224)*-1 - -3. Which is bigger: -1 or v?
v
Let x = -165 + 109. Let q be (-450)/x + -5 + -3. Let w be 1/(2/(2/1)). Which is bigger: q or w?
w
Suppose -5*l = -q - 16, -q + l = 2*q + 6. Let b(w) = -2*w**2 - 3*w - 7. Let c be b(-5). Let y be ((-36)/c)/(q/14). Is -13 not equal to y?
True
Suppose j - 3*j = 0, -p + 5*j = 30. Let z be ((-4)/p)/((-2)/(-40)). Let m = 77 - 75. Which is smaller: z or m?
m
Let g(t) = -3*t + 1. Let j be g(1). Let i = -2 + 8. Suppose 2*p + i = 4. Which is smaller: p or j?
j
Let t = -19 + -8. Let d = 26 + t. Is d at least -3/2?
True
Let c = -1453 + 1453.2. Is -0.0601 equal to c?
False
Let m = 29 + -5. Suppose -2*f = 2*f + 5*w + 28, -4*f - 3*w - 28 = 0. Let v(u) = -u**2 - 10*u + 3. Let k be v(f). Is k > m?
False
Suppose -202*r + 208*r + 510 = 0. Which is smaller: r or -335/4?
r
Suppose 14*q - 82 = -1594. Which is bigger: -107 or q?
-107
Let r be (-2)/28*2*-1. Let l(k) be the first derivative of k**2/2 - 6*k + 20. Let b be l(5). Which is bigger: b or r?
r
Let x = 63 + -60. Let l be (2*(-10)/(-6))/(x/(-9)). Which is greater: -9 or l?
-9
Let b = -14.59219 + -0.04381. Let m = b - -1.626. Let k = 13 + m. Which is bigger: k or 0.1?
0.1
Suppose 4*a = -5 - 15. Let i = -13 + 8. Is i equal to a?
True
Let l = 13575/7 - 1939. Which is smaller: 2/3949 or l?
2/3949
Let d(b) = -b + 2. Let s be d(-4). Suppose 0*h + s*h = 0. Suppose h = -5*k - t + 26, t = 3*k - 11 - 11. Is k bigger than 1?
True
Let i be (2/4)/((-1)/(-10)). Suppose 51*u + 7 = -d + 53*u, 2*d + 2*u = 4. Is i greater than or equal to d?
True
Let r be (-2 + 14/3)*216/(-32). Which is bigger: -22 or r?
r
Let a = 58.92 - 59. Let b be (7/(-4) - -2)*-2. Which is smaller: a or b?
b
Let b = -18/2746079 + -117358265/110320977746. Let z = -30996342/382757785 + b. Let f = z + 1/1030. Which is smaller: 0 or f?
f
Let n = -23 - -344/15. Which is bigger: n or -34?
n
Suppose 16*f + 81 = -11*f. Let v(h) = -2*h - 4. Let p be v(-3). Suppose -4*k + 2*k - p = 0. Is k at most as big as f?
False
Let o = -1048 - -7334/7. Let n = -4 + 6. Which is smaller: o or n?
o
Suppose 5*h + 0*a = 4*a + 43, 0 = -h - 3*a + 20. Suppose -o = -h + 13. Which is smaller: -9 or o?
-9
Suppose -4*n + 8 = n + r, 0 = -4*n - 2*r + 10. Let a = -13 + 31. Let f be a/8 + n + -4. Which is smaller: 1 or f?
f
Let m be (0/13)/(0 - (-1 - -3)). Is m not equal to 1/317?
True
Let s = -10/7 - -55/63. Is s equal to -2?
False
Let k be ((-16)/(-9) - 2) + 505/45. Let o(a) = 2 + 6 + a**3 - 2*a - 4 - 3*a**2. Let w be o(4). Which is smaller: k or w?
k
Let y = 1/52 + -27/52. Let q = 7 - 6.98. Which is smaller: q or y?
y
Let y be -6*1/(-1)*15/(-855). Is 13 at least y?
True
Let a be 6/(-8)*(-73 + 401). Is a greater than 3?
False
Let g = 7 - 3. Suppose -7*r = -11 + g. Which is smaller: 3/74 or r?
3/74
Suppose -2*z = -i - 3141, -2*i + 6270 = -0*z + 4*z. Is 1570 < z?
False
Suppose -371 = -4*h - 23. Which is smaller: h or 88?
h
Let i be (12/(-162))/((-3)/27). Is i greater than 268/3?
False
Let q be 6 + 3 + -7 + 0. Let z be (-15)/(-108) - q/8. Are z and 0.1 unequal?
True
Let u = -1476 + 1543. Is u <= 67?
True
Let m be 1 - (8/(-10))/(-4). Let o(h) be the first derivative of -h**3/3 + 2*h**2 + 5*h - 2. Let a be o(5). Which is smaller: m or a?
a
Let j(i) = 2*i - 2. Let g be j(-3). Let w = -10 - g. Let b = 1007 + -5052/5. Which is smaller: w or b?
b
Let l = -55 - -39. Let f be l/56 + 24/231. Which is smaller: f or -1?
-1
Let k be 155/6 + (-3)/(-6). Suppose 108*o - 26 = 109*o. Let v = o + k. Is 3 not equal to v?
True
Let y = -839 - -750. Which is bigger: y or -88?
-88
Let z be (-36)/60*2/12. Suppose -2*g + 6*g + 48 = 0. Let o be (-4)/16 - 3/g. Which is smaller: z or o?
z
Let x = -4 - -4. Let o be 46 + x + (0 - -1)*-3. Which is bigger: 44 or o?
44
Let m = -95 + 99.1. Let t = m - 4.09. Is t <= -2?
False
Let w = -0.0026 - 0.0274. Let a = 0.41 + -0.01. Is w greater than a?
False
Let x be (-17 - -17) + 3*5. Suppose 16*w - 4 = x*w. Is 0.1 not equal to w?
True
Let g = -69.05 - -79. Let j = -10 + g. Let p = j + -0.95. Is 2 bigger than p?
True
Let g = 2270 - 2192.14. Let p = -79 + g. Let a = -1 - p. Is a < 0.1?
False
Let b = -11.9 + 6.9. Let d = -7.08 - -0.08. Let l 