y = r - -3. Which is bigger: y or 1?
1
Let a be -4*6*(-1)/4. Is a less than or equal to 6?
True
Let c = -0.04 - -0.04. Suppose -2*k + 2*q = -12, 22 = 4*k - 0*k - 5*q. Let d be (-4)/18 + k/(-45). Which is greater: c or d?
c
Suppose r + 4*r - 200 = 0. Let o be (2/(-5))/((-4)/r). Suppose d - o*d = -15. Are 4 and d nonequal?
True
Suppose -4*q = 5*f + 46, 16 = -2*f - 6*q + 2*q. Which is smaller: f or -9?
f
Suppose 0 = 5*l + l - 6. Is l smaller than -2/77?
False
Let u = 49 + -49.07. Let f = -6 + 7. Is f at least as big as u?
True
Let u be -1 + (406/(-8))/(-7). Let r = u + -6. Which is smaller: 0 or r?
0
Let p = -9 + 9.1. Is p at most -0.17?
False
Suppose -4*q + 0*m = -2*m + 10, 4*q = 3*m - 13. Let f = 884/7 + -126. Which is smaller: q or f?
q
Let o be ((-10)/15)/((-4)/6). Is -1/12 >= o?
False
Let l = 4.9 + 0.1. Let g = l - 4.8. Which is smaller: 0.1 or g?
0.1
Let f = 0.344 - 6.384. Let q = f + 6. Let c = q - -4.04. Are c and -0.2 unequal?
True
Let y be ((18/15)/3)/(11/(-1595)). Which is greater: y or -59?
y
Suppose 0 = 2*d + 3*m - 14, 5*d - 2*m - 3 = -6. Let f be (-10)/(-35) - 107/154. Let s = f + 5/22. Which is smaller: s or d?
s
Suppose 4*y - 7*y = -21. Let u = 10 - y. Is u at most 5?
True
Suppose -3*i - 2*z = 98, -6*i - 60 = -4*i + 4*z. Is -35 less than i?
True
Suppose -4*o + 3 = -5*o + 2*t, -4*o + 3*t = 7. Let s = 0 - o. Which is smaller: -2/23 or s?
-2/23
Suppose -z + 2*h + 1 = 0, 4*z - 7*h = -2*h + 7. Let k = 0 - -2. Which is bigger: k or z?
z
Let x = -5/14 - 3/70. Is -1/2 at most as big as x?
True
Let n = -2396/459 - -90/17. Which is smaller: n or 0?
0
Let v = -4 + 6. Suppose 1 = -4*d + 5*d, v*i = -4*d + 10. Suppose 0 = 4*f - f - i. Is f bigger than 1?
False
Suppose o + 3*s = 4*o + 9, 0 = 4*o + 2*s - 12. Let c(f) = -2*f**3 - 2*f**2 + 2*f - 1. Let v be c(o). Which is smaller: -2 or v?
v
Suppose -46 = -3*k - 13. Which is greater: k or 10?
k
Let b = -2 - -9. Is b > -2?
True
Suppose 11 = -c + 3*l, c = -4*l - l + 29. Suppose -8 = -c*x - 4*n, -3*x + 9*n + 30 = 4*n. Suppose 0 = -x*g - 4*a + 1, g - 3*a + 15 = 0. Is g < -3?
False
Let w be 8/15*6/(-8). Let t be 9/12*(-8)/(-15). Which is smaller: w or t?
w
Suppose t + 6 = -2*t, -4*q + 5*t + 10 = 0. Let l = -2 - q. Which is smaller: -3 or l?
-3
Suppose 3*w + 2*w + 70 = -5*m, -18 = 3*m - 5*w. Is m != -11?
False
Suppose 4*t - 3*d = -6, 2*t - 3*d + 10 = 2*d. Let g be (-5)/5*(-4)/26. Are t and g nonequal?
True
Let g = -1 - 0. Which is greater: 1/8 or g?
1/8
Suppose -4*w + 2*u + 6 = 0, -4*u - 12 = -3*w - 0*u. Suppose w*y - 2*y = -12. Which is bigger: y or 8?
8
Let f be (-2 + (-1550)/(-778))*-2. Let x = -15195/1556 + f. Let c = 10 + x. Which is greater: c or -1?
c
Let n be (-2)/30*(-5)/(-8). Is n bigger than 0?
False
Let v = -16 + 15.8. Is v at most as big as 3/8?
True
Suppose -18*u = -21*u + 18. Which is smaller: u or -2?
-2
Let k = 38 + 23. Which is smaller: -1/2 or k?
-1/2
Suppose -3*g + 7 = 1. Which is bigger: g or -0.9?
g
Let z = 11 - 16. Let f = -5 - z. Is f at least 0?
True
Let h = 25 - -5. Let t be (-6)/h*(-30)/8. Which is greater: t or 1?
1
Suppose -4*w + 0 + 32 = -2*g, 5*w = -g + 54. Let o be w/(-8) - (-15)/20. Is 3 < o?
False
Let f = -1/109 - 199/2071. Suppose 0 = 2*s - 3*s. Which is bigger: f or s?
s
Let c be 1 - ((-2612)/868 + 4). Which is bigger: c or 0?
c
Let g be (2/(-32))/(3/6). Let k be 7/(-42)*2*-3. Which is smaller: g or k?
g
Let r = 17 - 12. Suppose 3*z + 12 = -r*y, -2 = -4*y - 2*z - 10. Suppose y = -3*w - 0*w. Are w and -1 unequal?
True
Let s = 30 + -20. Suppose 4*f = 2 - s. Let a be f - ((-6)/(-8) + -3). Which is bigger: a or 2?
2
Let j = 28 + -13. Is j >= 1?
True
Let m(l) = -l**3 - 6*l**2 + 8*l + 6. Let d be m(-7). Let q be d/3 - 13/(-3). Is q at most as big as 3?
False
Let g = -1 + 4. Let w = 2 + -2. Suppose w = 3*s - 0 - 9. Is g less than s?
False
Let i be 2 + (-32)/12 - 10/(-6). Which is smaller: i or -1?
-1
Suppose -15 = 2*u + 3*z, -4*u + 4*z - 11 - 9 = 0. Let f(c) = 2*c + 8. Let b be f(-6). Which is bigger: u or b?
b
Let y(i) = 54*i**2 - 2*i - 1. Let w be y(-1). Let l = 383/7 - w. Which is smaller: l or 2?
l
Let x(r) = -r**2 - 11*r + 6. Let k be (-99)/9 - (1 - 1). Let z be x(k). Let o = z + -11. Is -6 bigger than o?
False
Let k = 13 - 0. Let b = k - 13.1. Which is bigger: 2/7 or b?
2/7
Let b = -1.8 - -3.8. Which is smaller: b or -14?
-14
Let t be (-2)/11 + ((-70)/99)/1. Is 0 > t?
True
Let j = 1.3 + -0.3. Suppose -11*i + 15 = -29. Is j > i?
False
Suppose -2*j + 10 = j + 5*o, 4 = -j + 2*o. Let m = -1 - j. Let k = 53 - 425/8. Which is greater: m or k?
k
Let i(v) = v + 7. Let u be i(-5). Which is smaller: 4/3 or u?
4/3
Let r(q) = -q**3 - q - 2. Let x be r(0). Let k be ((x - -1)*0)/2. Is -1 at least k?
False
Let i be 184/2700*(-80)/14. Let x = -2/189 + i. Let l = 2.6 + -2.7. Which is greater: x or l?
l
Let g = -0.1 - -0.08. Let y = 3.02 + g. Which is smaller: -0.1 or y?
-0.1
Suppose -75 = -y - 3*y - 3*j, 2*y = -4*j + 30. Suppose -8 = -4*b - 5*f, b + y = -2*b + 3*f. Suppose -1 = -2*k + 2*n - 3, 0 = -3*k + 5*n + 1. Is k at most b?
True
Let z be (-76)/(-14) + 4 + -8. Which is smaller: 1 or z?
1
Let m(v) = -28*v**3 + 2*v**2 - v. Let s be m(1). Which is smaller: s or -29?
-29
Let u = -21/2 - -65/6. Which is smaller: u or -10?
-10
Let m be (-4)/(-10) + (-34)/35. Let n = -3 + 1. Let t be 3*n*1/3. Which is greater: t or m?
m
Suppose -2*d - 4*z + 1546 = 0, 4*d + 0*d = -3*z + 3072. Let y = 4577/6 - d. Is y < -2?
True
Let z = -82 + 82.61. Let k = z + -0.6. Are 1 and k equal?
False
Suppose 321 + 78 = 7*y. Is 57 equal to y?
True
Let d(r) = r**3 + 6*r**2 - 2. Let q be d(-6). Let k be q/8 + (-7)/(-28). Is 8/7 at most as big as k?
False
Let x be 1 + (-1)/(1/1). Suppose 2*q = -x*q - 2. Let z = 44/145 - 3/29. Do z and q have the same value?
False
Let k = -1.6 + 12.6. Which is bigger: k or 0.1?
k
Let u be 4*(4 + 30/(-8)). Which is greater: 2 or u?
2
Let q be 2 - 3 - 1/(-1). Suppose -2*f - 6 = 3*x - 3, -4*f = x - 9. Suppose -f*l + 10 + 2 = q. Is l not equal to 3?
True
Let b be (6/8)/((-453)/(-12)). Let v = b + 420/1661. Are -1 and v equal?
False
Let y = 1722 - 34419/20. Which is greater: 0 or y?
y
Suppose -4*a + 3*y + 31 = 0, 3*a + 18 - 42 = 3*y. Suppose 0 = -8*w + a*w - 1. Which is smaller: -0.1 or w?
w
Suppose 2*j = 3*n + 11, -n + 5*n - j + 8 = 0. Suppose -2*d = 4*m - 2 - 0, -5*m + 4*d - 4 = 0. Suppose -4*f + 9*f + 15 = m. Do f and n have the same value?
False
Let u be ((-9)/3)/((-57)/(-38)). Let l = 5/4 + 41/4. Let o = l + -12. Which is bigger: u or o?
o
Let n = -608/5 - -122. Is n at least 1?
False
Let i be (0 + -1)*2*2/(-4). Are i and -1/6 equal?
False
Let f be 2/5 + (-296)/690. Which is smaller: f or -1?
-1
Suppose 0*q - 17 = 5*q - u, 10 = -q - 2*u. Let f be (3/(-23))/((-6)/q). Which is greater: f or -1?
f
Let l = -2.14 + 1.14. Which is greater: 8/9 or l?
8/9
Suppose 3*o - 9 = -24, 5*o - 155 = 2*m. Let r = m - -452/5. Do r and -0.5 have the same value?
False
Let a = 0.13 + -0.23. Let c be (-2)/(-1) - 16/6. Is c < a?
True
Suppose -2*m = -6*m. Suppose 2*b + m - 2 = 5*p, 3*b - 3 = -p. Which is smaller: 0 or b?
0
Let j(z) = 4*z**2 - 4*z**2 + 1 - z**2. Let f be j(-2). Is -1 less than f?
False
Let p be ((-1)/6)/((-6)/(-8)). Let w = 4 - 3. Let b = w - 0. Which is bigger: p or b?
b
Let v = 54 - 53.9. Which is smaller: -40 or v?
-40
Let m be 25/(-7) - 8/(-14). Which is bigger: -11/6 or m?
-11/6
Suppose -3*k - 61 = 41. Let z = -101/3 - k. Do 4/7 and z have different values?
True
Let x(t) = -t**3 - 6*t**2 - 5*t + 1. Let o be x(-5). Let y = -2/299 - -955/8671. Is y < o?
True
Let i be 2/(-2) - (2 - 3). Let o be (-10)/22*(1 + 0). Is i >= o?
True
Let v be (0 - -1)/(1/2). Suppose 5*f + 2*o = 193, v*f - 43 = f + 4*o. Let i be (2/5)/(f/15). Is i less than 1?
True
Let x(q) = q**3 + 7*q**2 + 7*q + 4. Let v be x(-5). Let z = 3.03 + -3.13. Which is smaller: v or z?
z
Let s be (-1)/(-4) - 13/68. Let k be (2 - 95/(-170)) + -2. Let n = k - s. Which is smaller: 1 or n?
n
Let r = -25 - -45. Let q = -14 + r. Let b be (6 - q) + 0 + 0. Which is smaller: b or -2/11?
-2/11
Let v(s) = -s + 8. Let j be v(6). Suppose -3*f + 2*k = -2*k + 17, -3*f - 7 = -j*k. Let y be ((0/1)/1)/f. Which is smaller: y or -0.1?
-0.1
Let k = 2.7 - 2.48. Let t = 1.78 + k. Which is smaller: t or 4/5?
4/5
Let a be (0 - 6/27)/((-102)/9). Which is bigger: 