 -15 or r?
-15
Let n = 2.918 - 0.018. Is n > 0.3?
True
Suppose 14 = 3*y - 13. Suppose 5*f - 18 - 32 = 0. Is y >= f?
False
Let a = -7 - -7.02. Let h = 0.08 + a. Let p = 2.97 + 0.03. Which is smaller: p or h?
h
Let t(j) = j**2 - 9*j + 20. Let n be t(5). Which is bigger: n or 1/7?
1/7
Let v be 3 + 1*4/(-4). Let i be ((-20)/(-8) + -3)*v. Is -2/17 > i?
True
Let h be ((-15)/14 - -1)/(48/(-28)). Let x = 2 + -3. Is h < x?
False
Let k(x) = -x**2 - x - 1. Let m be k(0). Let i(l) = -2*l**2 + 2*l + 2. Let t be 12/7 - 6/(-21). Let o be i(t). Is m at most o?
False
Suppose 0 = -3*n - 2*n + 60. Let q be (n/(-150))/(7/5). Is q < 0?
True
Let x = -17 - -16. Which is smaller: x or 8/21?
x
Let m be ((-33)/6)/(2/(-4)). Suppose 0 = 3*n - 2*n - f - 9, 0 = -3*n - f + m. Suppose 5*d - 2*v + v = n, 3*d + 3*v - 3 = 0. Which is greater: -0.2 or d?
d
Suppose 4*p = -0*p + 32. Suppose -m - p = m. Let n = 4 + m. Is 0 bigger than n?
False
Let k be 10/(-6) - 2/6. Suppose 0 = -2*v - 2*v - 5*j - 103, 5*j = -v - 37. Let q = 64/3 + v. Which is smaller: k or q?
k
Suppose 3*x + 3 = 0, -x = -5*l + x + 142. Let a be ((-6)/l)/(6/(-8)). Is 1/4 less than or equal to a?
True
Let w(a) = -a**3 - 5*a**2 + 5*a - 6. Let z be w(-6). Which is greater: z or -1/6?
z
Let n be ((-18)/(-14) + (-4)/14)*11. Are 12 and n equal?
False
Let t(j) = -2*j**2 + j - 1. Let z be t(1). Let h be (-9)/(-4)*z/4. Which is smaller: 0 or h?
h
Let g(z) = -z + 13. Let m be g(11). Suppose -3*h = 3, 0 = 5*c + m*h - 4*h - 22. Let i = c - 4. Are 4/9 and i equal?
False
Suppose -3*j = 5 + 1. Let q be (-5 + 4)*j*1. Suppose 5*k + q = -3. Is k less than or equal to -1/3?
True
Let x be 136/36 + (-2)/(-9). Let y be x/(-3)*1/(-2). Is -0.2 less than y?
True
Suppose 5*c = 4*m - 13 - 0, 2 = m - c. Let z be ((-24)/9)/((-1)/m). Let k be (-4)/z*(-4)/(-9). Which is smaller: -1 or k?
-1
Let h(t) = t**3 - 7*t**2 + 12*t - 6. Let u be h(5). Let z(i) = 5*i. Let x be z(1). Is u at least x?
False
Let b = 16 - 16. Is b not equal to 3?
True
Let k be 0/((-1)/(-2)*-2). Let r be (-2)/(-2 + 10/4). Let c be (-2)/56 + r/(-14). Are k and c non-equal?
True
Let l be -69*(6/9 - 1). Let s = -70/3 + l. Which is smaller: 1 or s?
s
Suppose -g + 5 = -4*g - 4*j, -3*j = -4*g + 10. Suppose z = -2 + g. Is z at most as big as 1/4?
True
Let v(w) = -3*w**2 + 2*w - 1. Let m be v(1). Do 0.09 and m have different values?
True
Let u(h) = -h**3 + 19*h**2 + 18*h + 47. Let p be u(20). Is p < 4?
False
Suppose 0 = -4*r + 5*r - 3. Let y be -2 - (-43)/9 - r. Which is smaller: y or -2/3?
-2/3
Suppose 0 = 2*q - 3*p + 13, -2*q - 2*p = 3*q - 15. Suppose -5 - q = -3*d. Let u be d/3 + (-12)/9. Which is smaller: 0 or u?
u
Suppose 2*b - 3*b = -7. Suppose 3 = -5*g - b. Suppose 0 = -q + 2*l - 13, q + 3*l - 18 = 2*q. Is g greater than or equal to q?
True
Let f = -6 + 5.8. Which is greater: 0.4 or f?
0.4
Let v be 10/12*12/(-8). Is -1 equal to v?
False
Let h = -1.8 - 0.2. Is h <= 4/3?
True
Let z be 88/(-55) + (-6)/(-10). Which is greater: -2/31 or z?
-2/31
Let g(i) = i + 13. Let d be g(-9). Suppose -d*u = q - 4, -2*q + 3*u = -3 + 6. Suppose -3*x - 2*x = q. Which is smaller: -0.4 or x?
-0.4
Let h = -79 + 75.3. Let s = -0.7 - h. Let w = s + -2. Is -1 != w?
True
Let g = 2.27 - 1.8. Which is smaller: g or -0.2?
-0.2
Let u = 2.4 - 2.6. Is u greater than -0.2?
False
Suppose 5*b - 280 = -9*b. Is b not equal to 24?
True
Let v = -23 + 38. Is 4 at least as big as v?
False
Let c(m) = 2*m - 19*m**2 - m + m**3 + 19*m**2. Let p be c(0). Are p and -2/3 equal?
False
Suppose 1 = 5*i + 4*t - 30, 4*i + 2*t = 26. Let w be (i + -3)*2 + 4. Is 0 smaller than w?
True
Let j be (-1 + 0)*0/2 + -27. Is j greater than -29?
True
Suppose -1 = -3*c + 8. Suppose 0 = 5*w - 25, -c*r + 5*w - 23 = -r. Which is smaller: 3/8 or r?
3/8
Suppose 6*w = 3*y + 7*w + 36, 2*w = -3*y - 36. Is y at most as big as -15?
False
Let w = -10.98 + -1.02. Is -3 less than or equal to w?
False
Let u = -20.1 - -20. Which is greater: 4 or u?
4
Let y(b) = -b**2 + 2*b - 4. Let a be y(2). Which is smaller: a or -6?
-6
Let u = -61 - -212. Which is smaller: u or -1/4?
-1/4
Let b = -3 + 1. Let h(s) = -s**3 + 5*s**2 - 6*s + 1. Let y be h(4). Let z = -6 - y. Is z at least b?
True
Suppose 2*f = -0*f - 246. Let b = f - -617/5. Let c = 0 + -1. Which is smaller: b or c?
c
Let g(c) = -11*c**3 + 2*c**2 + 2*c + 1. Let i be g(-1). Let k be 1 - (-1 + 27/i). Suppose 3 = 2*u + 11. Is k bigger than u?
True
Let n be (-48)/(-9)*6/4. Let j = n + -6. Suppose 0 = -4*a - 4*m - 8, -3*m + 5*m = 4*a + j. Does -1 = a?
True
Suppose 8*f = 5*f. Suppose -2*l = 4*n + 8, 3*l + 2*n = -4 - 0. Are l and f unequal?
False
Suppose -d = 2*d. Suppose -g + 6*g + 15 = d. Which is smaller: g or -4?
-4
Let g = -241/1265 + 1/115. Let y = 6/103 - 260/927. Which is smaller: y or g?
y
Let w = -2183/23 + 95. Is w >= -1?
True
Let c(n) = -4*n + 14. Let b be c(9). Which is smaller: b or -23?
-23
Let b(a) = 20*a + 2. Let q be b(-5). Let n = -884/9 - q. Which is bigger: n or 0?
0
Let t be ((-12)/10)/(2/(-5)). Suppose -2*l = -2*z + 10, -l + 5*z - t*z = 9. Let q be ((-21)/(-14))/(5/(-2)). Which is smaller: q or l?
l
Let g be 4/(-8) - (405/2)/5. Which is smaller: -39 or g?
g
Let w = -15 - -13. Let r(n) = -n**3 - 7*n**2 - 7*n - 9. Let c be r(-6). Is w smaller than c?
False
Let u = 189 + -187. Let f(i) = -i + 2. Let o be f(3). Is o not equal to u?
True
Suppose 5*a = 2*c - 8, -a + 10 = 5*c - 10. Let w be (-102)/(-72) - c/6. Which is smaller: -0.1 or w?
-0.1
Let o = 0.019 + -1.019. Which is smaller: o or -34?
-34
Let s = 3 + -2. Suppose -z - 3*x = -3, -4*z + 3 = 5*x - 2*x. Let r = z + s. Which is smaller: r or -2/5?
-2/5
Let s(t) = -6*t + 23. Let l be s(5). Is -10 >= l?
False
Let d = -9 + 9. Let q be ((-12)/8)/(3/(-2)). Which is smaller: d or q?
d
Let n be 0/((-2 + 0)/1). Suppose -t = 2 + 1. Let u be 0/1*t/6. Are n and u unequal?
False
Let h(f) = -f**2 + 4*f + 7. Let x be h(5). Is x != 5?
True
Let l = -17.93 + 18. Let s = -0.17 + l. Which is greater: 2 or s?
2
Let i = -8.967 + -0.033. Is i less than -0.2?
True
Let u be (-86)/22 + 8 + -4. Let p be (0*(-3)/6)/(-1). Which is smaller: p or u?
p
Let t = 24 + -20. Are t and 1/3 nonequal?
True
Let x = -314683/52 + 6052. Let c = 545/1092 - x. Which is bigger: c or -1?
c
Suppose 781 - 952 = -9*b. Let t be -19*((-1 - 0) + 0). Is b bigger than t?
False
Let d = 127 + -134.1. Let l = -0.1 - d. Which is smaller: -1 or l?
-1
Let h = 0.29 + -1.29. Which is greater: 4 or h?
4
Let v = -180 + 189. Let i(y) = -y**2 - 7*y - 1. Let p be i(-5). Do p and v have the same value?
True
Let g = 6.88 - -0.12. Let u = 7 - g. Is u at least 1/5?
False
Let y = 2 + -3. Suppose -2*s = 3*t - 2, -4 + 1 = -3*s - 2*t. Let l be y/3*(0 - s). Is l less than or equal to 0?
False
Let i(r) be the first derivative of r**4/24 + r**3/6 + r**2/2 - 1. Let h(s) be the second derivative of i(s). Let p be h(-4). Do -1 and p have different values?
True
Suppose -5*z - 3*p + 11 = -0, -z = 5*p + 11. Suppose z*k - 14 = -3*n, 0 = -5*n - 4*k - k + 20. Let u = 1 - -2. Which is smaller: n or u?
n
Let k = -1348/19 - -71. Are 0 and k equal?
False
Let a(g) = g + 3. Let o be a(-3). Let n(v) = -8*v**2 + 0*v**3 - v**3 + 9*v**2. Let r be n(o). Is r not equal to 1?
True
Let y be 8/16 + 10/4. Suppose -3*k + 2*i = 7, -1 = y*k - 3*i + 8. Which is greater: 0 or k?
0
Let h = -185.04 - -191. Let i = h + -6. Which is bigger: -0.1 or i?
i
Let c be 1 + 1 + 100/(-48). Do 0 and c have the same value?
False
Let t(d) = d**3 + 6*d**2 + 2*d - 4. Let v be t(-3). Which is greater: 16 or v?
v
Suppose -12 = -0*l - 3*l. Is 4 <= l?
True
Let v be 1 + 1 + 1 + -1. Suppose v*d - 1 = 3, 4*d = -2*i + 16. Let z be i/14*(-7)/(-3). Do 1 and z have the same value?
False
Suppose x + 3*b - 97 = 2*b, 0 = -4*x - 5*b + 391. Which is greater: 95 or x?
95
Let y = -2/383 - 1909/1149. Which is bigger: y or -3?
y
Suppose 5*p + 3*i - 26 = -0*i, 2*p - 20 = 2*i. Let v(h) = h + 8. Let c be v(-4). Suppose -c*o + 5 = -23. Is o > p?
False
Suppose -y + 5*d + 8 = -1, 2*y + 4*d = -10. Suppose o - 1 = -3*c, -26 = 5*c - 3*o - 9. Is c at most y?
True
Let r = -6 + 5.8. Is 0.01 at most r?
False
Let s = -49 - -47. Is s greater than or equal to -3/5?
False
Let m = -34 - -103/3. Let g = 19.984 + 0.016. Let v = g + -20. Is m at most as big as v?
False
Let g = -60 - -61.7. Are -1/7 and g non-