ater: l or 0?
0
Suppose -4*r - 5*n = -23, 4*r + 4*n - 9 - 19 = 0. Is r less than or equal to 13?
True
Let j = 10 + -9. Which is smaller: 4/23 or j?
4/23
Let f be -1*3/(7 - 4). Let o be 11/(-4) - 3/12. Which is smaller: f or o?
o
Let g(c) = c**2 - 7*c + 2. Let s be g(7). Is s less than or equal to 5?
True
Suppose 0 = 5*i + 4*l - 18, -2*l + 12 = 3*i + i. Suppose -2*c - i = 3*p - p, -c = 3. Which is smaller: -1 or p?
-1
Let v be (1/3)/(28/330). Let o be (-2)/(-4) - 82/28. Let y = o + v. Are 3 and y nonequal?
True
Let i(p) = p**2 - 6*p + 4. Let w be i(5). Suppose -8*z + 3*z + 100 = 0. Suppose -u + 4*c - z = 0, 0 = -0*c + 5*c - 25. Is u greater than or equal to w?
True
Suppose -3*o = -4*h + 7 + 10, 2*h + 4*o = -8. Suppose 0 = -2*s - h*s + 16. Suppose -x = -s*x - 21. Is x greater than -6?
False
Let s = 2 - 2. Suppose s*p = -4*p - 4. Let l = 3 + -2.8. Is l >= p?
True
Let o be (-2)/4 + 133/(-38). Does o = -3?
False
Let n = 1.2 - 0.2. Let p = 1 - n. Let f(a) = -a + 17. Let b be f(15). Is p bigger than b?
False
Suppose 266 = -4*x - 5*w, 0 = 2*x - 3*w + 12 + 110. Let q be 4/6 - x/(-6). Does q = -10?
True
Suppose 4*l = -11 + 3. Let z be l*(0 + -1)*1. Is z at least 0?
True
Suppose q + 8 = 3*u - 3, -2*q + 23 = 3*u. Let h be (0 + 24)*7/21. Suppose 3*c + h = -c - 4*b, u*c = -3*b - 8. Is c at least as big as -1?
True
Suppose -6*i - r + 33 = -2*i, -8 = -4*i + 4*r. Let l(b) = -b**2 + 7*b + 8. Let p be l(6). Let s(t) = t**2 - 13*t - 8. Let f be s(p). Which is greater: i or f?
i
Let t = -22 + 15. Which is bigger: -6 or t?
-6
Let n(b) = b**3 - 2*b + 16. Let g be n(0). Which is smaller: 18 or g?
g
Suppose 5*t - 12 - 8 = 0. Suppose -t = 3*q + q. Suppose -4*b + 7 = 3*i, -12*b + 7*b = -5*i + 35. Which is smaller: q or b?
b
Let b be (4/6)/((-2)/(-3)). Suppose -l = -b - 4. Suppose -5*x + 25 = -g, 5 + l = -2*g + 2*x. Which is bigger: g or -1/3?
g
Suppose 0 = y - 2 - 6. Suppose 2*d = -3*d. Let u be ((-2)/y)/(-1 - d). Which is smaller: 1/2 or u?
u
Suppose 4*k + 0*k = 0. Which is smaller: -2/55 or k?
-2/55
Let t(f) = f**3 - 3*f**2 + 2*f - 2. Let x be t(3). Suppose 0 = -h - 0*h + x. Suppose -4*k + 3 = -3*k. Is k at most as big as h?
True
Let c = -148 - -149. Is 3/55 >= c?
False
Suppose 0 = -4*k - 5*j + 1, 0 = 2*k - 3*j + 4 - 21. Suppose -k*o + 7 = 3. Is o greater than 2?
False
Let l(u) = -2*u - 12. Let b be l(-7). Which is greater: 4 or b?
4
Let o be 2*4/(-16)*14. Which is smaller: o or -6?
o
Suppose -5*k - 45 = 5*p, -4*k + 2*p = -k + 17. Let h be -4*(2 + -1 + 1). Which is greater: k or h?
k
Let q(o) = -o**3 - o**2 + o - 2. Let m be q(-2). Suppose -1 = -h - m. Which is greater: h or -2/17?
h
Suppose 2*k = 6*k - 16. Let q = -8 - -10. Is k greater than q?
True
Suppose 5*g = -x + 4, 5*g - 8*x = -3*x - 20. Suppose g = -2*h + h. Which is smaller: h or 1?
h
Let b(q) = -11*q**2 - 2*q + 7. Let j(k) = 5*k**2 + k - 3. Let n(y) = 2*b(y) + 5*j(y). Let p be n(1). Suppose x + 2*x - p = 0. Which is greater: 2 or x?
2
Let f(o) = -3*o - 15. Let c be f(-8). Is c bigger than 19/2?
False
Suppose 0 = 15*p - 12*p - 3. Which is bigger: -1 or p?
p
Let m = -1 - -1. Suppose -4*o - 5*z + m*z = 17, 3*z + 17 = o. Which is smaller: o or 3?
o
Let j = -1 - -4. Suppose -j = r - 2*r. Suppose 4*y - 4*p = 16, 0*y + 16 = -y - r*p. Which is smaller: -2 or y?
-2
Let o be (-16)/(-30) - (-4)/(-6). Are o and 1 nonequal?
True
Let k = -83/161 + 2/23. Let o be (4 + -3)*2 - 3. Let j be (o/3)/(4/(-12)). Which is bigger: j or k?
j
Let i = 11 + -11. Let l = -0.01 + -10.99. Which is bigger: l or i?
i
Let m be 27*((-8)/12)/2. Which is smaller: m or -2?
m
Let g = 7 - 3. Suppose -g*l - 3 = 1. Is l greater than -1?
False
Let q = -8 + 6. Let l = q + 1.9. Let o be (1 + 1)/(-2 + -3). Which is greater: o or l?
l
Let h(z) = -z**3 + 11*z**2 + 12*z + 3. Let q be h(12). Suppose 0 = -4*m + q - 7. Let p be (0/1)/(m + 0). Is p bigger than 3/11?
False
Let k be (2 - 36/17) + (-2946)/102. Which is smaller: 1 or k?
k
Let a(f) be the first derivative of -f**2 + 4*f - 1. Let q be a(5). Is 0.1 > q?
True
Let o = 0.04 + 0.36. Let y = 1.4 - o. Let u = -1 + y. Is u at least as big as -0.3?
True
Let d be 1706/(-10) - (-8)/(-20). Let w be (-2)/8*d/1. Let o = w - 43. Which is greater: -1 or o?
o
Let r = -26.8 + 24. Let l = r + 3. Which is greater: l or 1?
1
Let r = -0.84 + 0.94. Let o(u) = -u**3 - 5*u**2 + 6*u - 1. Let h be o(-6). Is r less than h?
False
Suppose 5*p = 2*p - 36. Is -10 bigger than p?
True
Let g = -8 + 23. Suppose 3*x - 8*x = -g. Suppose -2*c - 2 = -x*c. Which is smaller: 1/2 or c?
1/2
Let g = 6 + -4. Suppose q = -1 - g. Is q at least as big as -4?
True
Let u be (-3 - 0) + 2 + 4. Let o = 13/4 - u. Let x = -0.3 + 0.4. Is o less than x?
False
Let f(z) = -z + 2. Let p be -2*2*(-2)/2. Suppose -p*y = y - 25. Let i be f(y). Which is smaller: -2 or i?
i
Let q be 1/(8/4 + -3). Let y = -0.1 + 0.2. Let d = y + -0.4. Does q = d?
False
Let b = 1.5 - 4.3. Let q = 1.8 + b. Is q >= 0.3?
False
Let p = 4.2 - 6.2. Which is smaller: -5 or p?
-5
Let t = 23 - 15. Suppose f + 4 - 3 = 0. Is f bigger than t?
False
Let t be (-1 - 1)*(-8)/(-4). Let k(d) = d**3 + 2*d**2 - 9*d - 3. Let n be k(t). Let j = 0.36 + -0.06. Which is smaller: n or j?
j
Let a = -2 + 1.6. Let m = -6.4 - a. Which is smaller: m or 0.1?
m
Let j = -6 + 1. Let z = -534/7 + 76. Which is smaller: z or j?
j
Suppose 1 + 1 = 2*j. Suppose -4*b + 2*p - 2 = 0, 4*b - 8 = 5*p - p. Let n be -2 - 2/(b/3). Is j at least as big as n?
True
Let y = 0.13 + -4.13. Let a = y + 8. Do 0.1 and a have different values?
True
Let u be ((-5)/(-20))/((-1)/(-2)). Is 2/31 not equal to u?
True
Let w = 0 - 0. Suppose w = -2*h + 116 - 34. Let n = h + -124/3. Which is smaller: 0.1 or n?
n
Let v be (27 + 6/(-3))*3. Suppose 5*t - v = -5*p, 3*p = -t + 1 + 16. Which is smaller: t or 15?
t
Suppose -5*u - 2*k - 15 = 0, 3*u = 2*k + k + 12. Let y = -4/35 - 2/7. Is y less than or equal to u?
False
Let z be 3/1 + 897/(-297). Which is smaller: 0 or z?
z
Let z(h) = -h + 2. Let p be z(3). Let l be (-9)/6*1/(-6). Which is bigger: p or l?
l
Let n be -59 + (0 - (-3)/1). Let p = -107 + 170. Let x be ((-4)/(-6))/(n/p). Is x > -0.1?
False
Let l = -0.06 - -0.36. Let o be (28/294)/((-24)/(-1267)). Let d = o + -21/4. Is d > l?
False
Let m be -41 - ((-5)/(-20))/(2/8). Which is smaller: -43 or m?
-43
Let j = 63287/685 - -7/685. Let x = j - 92. Which is bigger: -1 or x?
x
Let x = -9.008 - -0.008. Let d = -9.34 + 0.24. Let w = x - d. Which is greater: 7 or w?
7
Let i = 49 - 52. Suppose 3*p + 6 = -3. Is i equal to p?
True
Let f(y) = y**3 + 6*y**2 - 8*y - 5. Let v be f(-7). Suppose -v*p = -0*p - 8. Suppose 6 = 2*q - 0. Which is greater: p or q?
p
Let h = 1.3 - 0.26. Let d = h - 0.04. Do d and -5 have different values?
True
Let u be (-1)/3 - 3/(-9). Let y be (0 - 1) + 7 - u. Let k = -5 + y. Is 2/9 greater than k?
False
Let z = -64 + 92. Let a be (-4)/14 - (-64)/z. Let g(h) = -h**3 - 4*h**2 + 3*h - 7. Let j be g(-5). Which is bigger: j or a?
j
Let n(y) = -y**3 - 7*y**2 - 9*y - 5. Let q be n(-6). Do 13 and q have different values?
False
Let r = 5 + -4.8. Let t = r + -0.4. Let x = -1 + 2. Is x less than t?
False
Suppose -3*v + 1 = -4*v. Suppose -3 - 1 = -4*n. Let a be 4*3/15 - n. Which is smaller: a or v?
v
Let i(s) = 3*s + 0*s - 10 - s**2 + 11*s. Let t be i(13). Which is smaller: t or -1?
-1
Let c(t) = -t + 12. Let x be c(13). Is x equal to 1?
False
Let v be 4 + (-21)/(-30)*(-2 - 26). Is -17 greater than or equal to v?
False
Let i be (3*3)/(39/65). Which is greater: 14 or i?
i
Let s be (-28)/4 - (-1 - -4). Let b = s + 6. Suppose -2*n = 8 - 0. Is n at least b?
True
Let r = 10 - 13. Let h = 4 + r. Which is greater: h or 10/7?
10/7
Let k = 51 + -45. Which is smaller: k or 4?
4
Let f = -2760 + 19273/7. Which is smaller: -8 or f?
-8
Let d = -2/121 - 232/605. Suppose 0 = -o - 5*m - 21, -1 - 2 = -o + m. Are d and o nonequal?
True
Let c = -0.89 - 0.11. Which is bigger: -2 or c?
c
Suppose -7*b = -8*b + 41. Is 41 bigger than b?
False
Let w = 1.3 + -1.4. Which is greater: w or 1/2?
1/2
Suppose 0 = 3*t - 15, -2*m + t = -6*m + 13. Is m <= -0.7?
False
Suppose 0 = -3*q - 0*q + 9. Suppose 11 - 35 = q*j. Suppose -146 + 137 = x. Which is bigger: x or j?
j
Let r(h) = -2*h + 2. Let v be r(4). Suppose 4 = -5*i - 21. Is i greater than or equal to v?
True
Suppose 0 = 3*z + 5*c