1/(a/(-4)*-1). Which is bigger: 1 or r?
1
Suppose -4*n = -1 + 17. Is n at most as big as -4?
True
Let k = -22 + 89/4. Let n = 5 - 5. Is n bigger than k?
False
Let g = -2 - -3. Suppose 0 = 4*s - 5*w + w + 20, 0 = -4*s + w - 26. Let j be ((-4)/s)/(4/14). Which is smaller: j or g?
g
Let n = 2 - 7. Let w = n + 5.1. Let v = 0.3 + -0.2. Is w < v?
False
Let x be 11/3 + (-6)/9. Let g = 5 - x. Suppose n = -3*n + 4. Is g equal to n?
False
Let s = 12 + -6. Let d = -7 + s. Which is bigger: d or 2?
2
Let g = -49 - -48. Which is greater: g or 2?
2
Let a = -1179/17 + 69. Are 1 and a non-equal?
True
Suppose -9*r - 8 = -8*r - 2*y, -5*r = 5*y + 85. Is r > -46/3?
True
Suppose 5*l - 5*s = -65, -5*l = -2*s + 3*s + 35. Is l greater than or equal to -7?
False
Let d = -7 + 9. Suppose -d = -5*h + 18. Do h and 3 have the same value?
False
Let a be 1632/(-543) - (-9)/3. Let p = 727/543 + a. Is 0 greater than p?
False
Suppose 3*u - 3*k - 31 + 1 = 0, 0 = -5*u - 3*k + 10. Is -1/4 equal to u?
False
Suppose -f + 1 = -1. Suppose -f*s - 3*s = 5. Let d be (0 - s) + (-13)/11. Which is bigger: 1 or d?
1
Let x be (4/(-10))/((-2)/340). Let m be 1/3*(-24)/x. Which is smaller: 1 or m?
m
Let h(y) = 21*y - 24. Let q be h(2). Which is smaller: 16 or q?
16
Suppose 4*s - 7 = 1. Let w(u) = u**3 + 6*u**2. Let a be w(-6). Which is greater: s or a?
s
Let b = -0.5 - 0.5. Let u = 0.04 - 0.34. Let x = 0.7 - u. Is b less than x?
True
Suppose -4 = -4*s - 12. Is 7 greater than s?
True
Let h(i) = -i**3 - 3*i**2 + 2*i - 4. Let q be h(-3). Let m be (1/q)/(4/(-30)). Let l = -69 - -71. Which is smaller: m or l?
m
Suppose -3*k + 2 = -5*k. Let j be 28/(-22)*k - 2. Let l = 5/22 + j. Are 2 and l equal?
False
Let s be 64/(-24) + (-3)/(-1). Do s and -9/2 have different values?
True
Let b = -19 - -34. Do b and -1 have different values?
True
Suppose -6*l = -2 - 58. Suppose 3*y + 8 - 38 = 0. Is l greater than y?
False
Suppose 11 + 8 = 3*d + 4*q, d + 3 = q. Let t be (-3)/d + 10/4. Is t bigger than 0?
False
Suppose -2*r + 5*u = -27, -4*u = -6*r + r + 25. Does r = -2/73?
False
Let h be (3 - 3/2)*(-4)/(-9). Let g = -4 + 11. Do g and h have the same value?
False
Let l be (-1898)/(-10) + (-1)/(-5). Suppose 5*t + 0*t - 156 = -4*f, 0 = 5*f + 5*t - l. Suppose 6 = -g - 5*k + f, -4*g - 8 = -4*k. Are 3/2 and g non-equal?
True
Let n = 0.4 - -1. Let j = 0.4 - n. Let f = 1.1 + -1. Which is bigger: j or f?
f
Let z = 8 + 3. Let s = 22 + -11. Do s and z have different values?
False
Let z = 1/4 + 1/4. Which is smaller: z or -2?
-2
Let o(u) = u**3 - 4 - 3 + 0*u**3 - 1 - 5*u - 5*u**2. Let q be o(6). Which is smaller: q or -1?
q
Suppose 5*o + 2*k - 5*k - 1 = 0, o = -k - 3. Which is bigger: o or -7/12?
-7/12
Let q(v) = -v - 1. Let m be q(-4). Let s be -3*(1 - (-2 + 4)). Let b be s/(-1 + 4) - 0. Which is greater: b or m?
m
Let u be -7*(-5)/((-70)/(-4)). Let y = 5.2 + -5. Is u > y?
True
Let u(x) = -6 - 6*x - 5 + 2*x + 2*x. Let s be u(-6). Is s > -1?
True
Let l = 0.23 + -0.32. Let s = l + -1.91. Let q = 0 + s. Which is greater: -3 or q?
q
Let v = -47 - -6155/131. Are v and 1 non-equal?
True
Let g be (-4)/(-1)*(-9)/(-6). Is g at most as big as 6?
True
Let j = -3.6 - -4. Is 0 != j?
True
Suppose 0*q = -7*q - 63. Do q and -6 have different values?
True
Suppose 10 = 5*w + t, 5*w = 5*t + 12 - 32. Is w at most as big as 2/101?
False
Let s(y) = -y**3 + 3*y**2 + 4*y. Let d be s(4). Let i(u) = u**3 - 5*u**2 + 4*u - 6. Let v be i(4). Let c be 6/40 + v/15. Which is smaller: d or c?
c
Let o(s) be the second derivative of -s**3/6 - s. Let b be o(-3). Suppose b*f - 3 = u, -3*f = -u + 5*u - 18. Are 2 and u equal?
False
Suppose 0 = a + 3*a - 248. Let k = -37 + a. Let i = k + -76/3. Is -1 greater than or equal to i?
False
Let p be (1/(-2))/(4/20). Are -4 and p nonequal?
True
Let j(z) = -z + 3. Let v be j(-8). Is v smaller than 11?
False
Suppose 58 = -6*n + 2*n + 5*z, 4*z + 25 = -n. Is -16 smaller than n?
False
Let s = -5/9 - -1/18. Suppose -3*t - 5 = n - 0, -15 = 3*n. Which is smaller: s or t?
s
Let s = -4 - -5. Suppose 3*q + s = 4*q. Is q bigger than 3?
False
Suppose -9*c = -17*c - 32. Is -0.1 greater than c?
True
Let g be 1/(2/(-3) - -1). Let f(d) = -d**3 + 4*d**2 - 4. Let x be f(3). Is x at least as big as g?
True
Let s(g) = 5*g + 6. Let c be s(-3). Is -8 at least c?
True
Let g(b) = -2*b. Let o be g(-3). Suppose -3*u - u + 17 = 5*s, -2*u + o = 2*s. Suppose 3*x + s = 8*x. Are 0 and x nonequal?
True
Let n = 2 + -4. Suppose 0*o = 6*o + 12. Is n bigger than o?
False
Let h = 2/7 + -39/14. Which is greater: h or -4?
h
Let x = 214 - 77. Let r = x - 148.1. Let z = r - -11. Which is greater: 0.1 or z?
0.1
Let o = -64 + 68. Is 9 at least o?
True
Suppose 5*b = -7 - 3. Let p = 2 - b. Is 5 equal to p?
False
Let r be (-2)/(-6) + -4 + 4. Let m = -0.2 - -0.8. Let f = m + -4.6. Which is smaller: r or f?
f
Suppose 5*x - 4 = 3*x. Suppose 3*o + x*y = 5*o - 10, -19 = -3*o + 5*y. Which is bigger: 0 or o?
o
Let j(y) = -y**3 - 4*y**2 - 8*y - 13. Let d be j(-4). Which is bigger: 18 or d?
d
Let t = -83/56 + 13/8. Is t at least as big as 0?
True
Let q be -1 + 5 - (0 + 0). Let i be 4/q*2/(-2). Which is smaller: i or -2?
-2
Let b(s) = 9*s**3 - 2*s**2 + 2*s - 1. Let k be b(1). Let d be (12/(-80))/(2/k). Is d != -1?
True
Let o = 4 + -31. Let c be (8/o)/((-6)/(-9)). Is -1 smaller than c?
True
Let n be -36 + 4/20*5. Is n at least -35?
True
Let k be -4 + 6 - 5/2. Let u be -2 + 0 + -2 + 7. Let b(t) = t**2 - 3*t - 2. Let d be b(u). Is d less than k?
True
Let r = 8 + -4. Is r < 2?
False
Let c = -0.3 + -0.3. Which is greater: c or -1?
c
Suppose 5*z + 5*x = 20, -3*x + 18 = 3*z + 2*x. Let c = -83/4 + 21. Is c less than z?
True
Let z = 33 - 44. Is z > -13?
True
Let k = 2 + -2. Let w = 0.5 - 3.5. Is w at most as big as k?
True
Let s be (1/((-3)/(-15)))/1. Let o(z) = -z + 2. Let g be o(s). Which is greater: -4 or g?
g
Let t = 1356/5 + -272. Suppose 8 = 2*i - 5*j, 0*i - 5*i + 4*j = -3. Is i bigger than t?
False
Suppose 61 + 67 = 4*m. Let q be m/14 + 6/(-21). Which is smaller: q or 4?
q
Let z = -5.03 - -5. Let l = z + -0.97. Which is greater: l or 1?
1
Suppose k - 1 = -2*k + 4*s, 8 = 4*k - 2*s. Suppose -k*z - 6 + 3 = 0. Which is bigger: -5/7 or z?
-5/7
Let l(d) = -4*d + 2. Let h be l(-1). Let y be -2 - ((-27)/h - -3). Let s = -3 + 2. Is s not equal to y?
True
Let g(v) = v**3 - v**2 + v. Let s be g(1). Let q be s/(-5) - (-36)/30. Which is smaller: 2 or q?
q
Suppose r + 140 = 6*r. Is r smaller than 28?
False
Let x be 0 - (4 - (-42)/(-10)). Suppose -3*m + 4 - 1 = 0. Let y = m - 1. Is x not equal to y?
True
Suppose 6*x = 3*x. Suppose 36 = -x*t - 4*t. Are t and -9 equal?
True
Let o be (-8)/(0 + 15/(-1)). Let l be (-8)/40 + (-8)/(-15). Let a = o - l. Do 2/3 and a have different values?
True
Suppose 0 = 2*b - 10 - 2. Let j be (b/15)/(6/(-10)). Is j equal to -2?
False
Let a = -6115/14 - -437. Which is greater: 1 or a?
1
Let x = -0.15 + 1.75. Let k = x - 2. Is 1/4 less than k?
False
Let y(a) = -2*a + 7. Let z(j) = -14*j + 50. Let b(x) = -44*y(x) + 6*z(x). Let l be b(4). Which is smaller: l or 10?
l
Let k be -3 + (-3 - -7 - 4). Let z be 6/(-12) - k/(-18). Suppose 0*i = -t + 5*i - 21, t - i = -5. Is t > z?
False
Let j = -4 - -3. Let q = j - -2. Let l = -71/2 + 36. Which is smaller: q or l?
l
Let m be (-1 - -15) + (0 - 2). Is m smaller than 12?
False
Suppose -170 - 386 = -4*w. Suppose -4*i - w = 165. Let f be -1 - (3 - i/(-18)). Which is smaller: -1 or f?
-1
Let l = -0.5 + 0.4. Which is bigger: l or 0.09?
0.09
Let v(f) = 4*f**2 - 3*f - 2. Let y be v(-2). Suppose 4*w = 3*a + y, -w - 5*a + 0*a - 18 = 0. Let b be (w + 2)*(-1)/(-14). Which is bigger: -1 or b?
b
Let j(z) = z - 3. Let k be j(6). Let s be (k/(-9))/(6/18). Which is smaller: -5/3 or s?
-5/3
Let b = 7.1 - -0.9. Which is bigger: b or -0.1?
b
Let z = 1 - -1. Suppose 38 - 4 = -4*n + z*h, 0 = -2*h + 6. Is n > -6?
False
Suppose 4*c = 8*c. Which is bigger: c or 5?
5
Let s be (-1)/3*-3*-1. Is s at most as big as -3/14?
True
Let i = -29 + 18. Let b = i - -10.8. Which is bigger: 0.02 or b?
0.02
Suppose -2*o = -9*o. Is o less than 1/10?
True
Suppose -3*q + 18 = -3*r, -3*q + 3 = -4*r - 19. Which is smaller: q or 14?
q
Let v be 11/(-11)*1*-1. Which is greater: -2/13 or v?
v
Let y = -5/137 + 399/3425. Is 1 smaller than y?
False
Suppose -8 = 2*h - 10. Which is