: v or x?
v
Let s = 1652/5 - 332. Which is bigger: s or -3?
s
Let k = 18 + -9. Let o = k + -8.9. Which is smaller: -1/10 or o?
-1/10
Let h be ((-3)/18 + -1)*-10. Let b = h + -12. Suppose 5*p + 4*n = 21, 5*n = p + 26 - 7. Which is greater: p or b?
p
Let x = 8.7 + -0.7. Are x and 0.2 unequal?
True
Let p be 23/5 - (-4 + 1). Is p > 9?
False
Let g = 9 + -11. Suppose 0 = -4*w - 4*c + 45 - 129, -w - 3 = -5*c. Let y be (-2)/9 - (-14)/w. Are y and g nonequal?
True
Let z = -7 + 5. Is -13/4 greater than or equal to z?
False
Suppose 4 = -0*m + 4*m. Suppose 0 = g + 9 - 1. Let a be 2/(-90) - g/36. Which is smaller: m or a?
a
Let l be 30/18*(-6)/8. Let w = l - -3/4. Which is smaller: w or -1?
-1
Suppose -2 = 4*w + 2. Suppose -7*l + 3*l = 8. Is l bigger than w?
False
Let d = 109/2 - 53. Let i = 7 + -5. Is d bigger than i?
False
Let f be (-1)/(0 - -1) + 13. Let q(a) = a**2 + 13 - 2 - f. Let x be q(0). Is x != -6/5?
True
Let f(g) = -3*g. Let a(h) = 7*h. Let z(u) = 4*a(u) + 9*f(u). Let n(r) = -r**2 + 6*r - 1. Let j be n(6). Let i be z(j). Which is greater: i or -2?
i
Let a(m) = m**2 - 3*m + 1. Let o be a(1). Which is bigger: -3 or o?
o
Suppose 0 = 5*x - 9*x + 240. Suppose -2*a = 2*a - x. Which is bigger: a or 16?
16
Suppose -7*a = -0*a + 77. Which is greater: -12 or a?
a
Let p = 1.2 + -1.1. Is p at most 1/2?
True
Let v = -0.034 - -11.434. Let q = v + -12. Are q and 0.1 non-equal?
True
Let a be -1 + 4 + -3 - -1. Is a greater than or equal to 1?
True
Let f(v) be the second derivative of -v**4/12 + v**3/2 - v**2/2 - v. Let b be f(2). Is b != 2?
True
Let l(y) = -y**3 + 8*y**2 + 9*y - 6. Let p be l(9). Let m = p + 1. Let n be ((-2)/(-1))/((-10)/m). Which is smaller: n or -3/8?
-3/8
Suppose -2*y + 3 = -3. Suppose 8*l = y*l - 15. Which is smaller: l or -2?
l
Let g = 0.7 + -1. Let r = 0.3 - g. Let m = -0.4 - r. Is m at least 2?
False
Let v = 97 + -76. Is 21 at most as big as v?
True
Let h = 18/11 + 34/33. Is h at most 1?
False
Suppose 75 = 4*a - 2*a + 3*r, -3*a + 5*r = -84. Which is bigger: 32 or a?
a
Let q be 1/(-2) + 70/4. Do q and 17 have the same value?
True
Let o = -689 + 2048/3. Is o > -7?
True
Suppose -5*q = -q + 12. Let k be (-8)/(-24)*(0 - 9). Is q at most as big as k?
True
Let q = -0.38 + 0.08. Let n(f) = f**2 + 7*f + 6. Let h be n(-5). Let k be ((-1)/h)/(2/4). Which is smaller: k or q?
q
Let c be (1/(-48))/((-2)/4). Let x = 19.1 + -19. Which is smaller: x or c?
c
Suppose 4*g = 2*t + 9 + 7, 0 = -5*g + t + 14. Suppose 2*p - 5 = -s, g*s - 7 = s - 4*p. Let i = 7 + -5. Is i != s?
True
Suppose -3*j + 3*s = j + 1, -5*s + 13 = -j. Let p = 73885/94 + -786. Let u = 277/470 + p. Which is greater: j or u?
j
Suppose 0 = 3*v - r - 132 - 34, 0 = -2*v + 2*r + 108. Is v <= 56?
True
Let r = -4156410 + 32232959378/7755. Let j = 2/55 + r. Let a = j - 100/423. Which is greater: a or 0?
0
Let d = 8533/19 + -449. Which is smaller: 0 or d?
0
Let u = 1.5 - 1.5. Let g = u - 1. Is g equal to -0.3?
False
Let w be 1/(-4) + (-3)/4. Let p = 24.5 + -25. Is w greater than or equal to p?
False
Let t = 23 - 18. Are 5 and t nonequal?
False
Let c be (2*(-5)/15)/6. Which is smaller: c or 2/5?
c
Let k = -0.47 + 1.87. Is 0 less than or equal to k?
True
Let l(j) = j**3 - j**2 + 2*j - 1. Let y be l(1). Suppose -i + 4*q = -9, -2*i + y = q - 8. Suppose 4 = 2*m + m - 4*x, -5 = i*m + 5*x. Is m bigger than -3/8?
True
Suppose -2*o = -3*o - 14. Which is bigger: o or -41/3?
-41/3
Let m = 6.01 + -0.01. Let q = 2 - m. Is q at least -2?
False
Let s(h) = -h**3 + 5*h**2 + 7*h - 2. Let y be s(6). Suppose -3*x - x - 10 = -c, -3*c + 47 = 5*x. Let q = -10 + c. Is q at most y?
True
Suppose -4*n = -0*n - 8. Let c(v) = n*v**2 + 3 - v**2 + v - 6*v. Let d be c(3). Which is smaller: d or -2?
d
Suppose 0 = f - 5*f + 8. Suppose 5*l = 4*j + f, 0 = 2*j + l - 8 + 2. Suppose -4*x + 4 = 4*t, -4*t = -3*x + 34 - 10. Which is smaller: j or x?
j
Let i be 111/(-1 + (5 - 2)). Let b be (-2 + 0)/1 - -59. Let x = b - i. Which is smaller: x or 3?
x
Suppose -5*u - 5 = 0, -2*m + 454 = -5*u - 275. Suppose 2*h - m = -24. Let t = 1355/8 - h. Is 0 less than t?
True
Let i = -4249/50 + 85. Is i != 1?
True
Let f = -34 - -93. Which is greater: 58 or f?
f
Let k = 46 - 46.1. Do 1.12 and k have the same value?
False
Let z be 554/192*1/2. Let v = -5/192 + z. Let t = v - 7/4. Does t = 0.4?
False
Let k(s) = s**3 + 2*s**2 + 2*s - 5. Let l be k(-4). Let n be 2/(-9) + (-10)/l. Suppose 0*v + 3*v = n. Is v != 0?
False
Let s = -2.7 - -2. Which is greater: s or -0.1?
-0.1
Suppose -t - 8 + 3 = 0. Let b = t + 2. Is -2 < b?
False
Let a = 0 + 0. Suppose -r + 22 = 4*r - 3*x, 2 = -3*r - 2*x. Suppose -4*o - r + 14 = a. Which is smaller: o or 2?
2
Suppose -157 = 5*o - 557. Does o = 80?
True
Suppose 5*p + y = 14, -2*p = -p + y - 6. Suppose -p*m - 1 = -7. Suppose -5*u = -3 - 12. Is u >= m?
True
Let n be (2 - 4) + (-11 - -12). Is -1/29 greater than or equal to n?
True
Let b = 0.6 - 0.1. Let f = -2.6 + 1.1. Let o = b + f. Is o at least -2?
True
Let y(g) be the first derivative of g**3/3 - 5*g**2/2 - 7*g - 1. Let a be y(5). Suppose 0 = 2*v + 21 - 5. Is a at most as big as v?
False
Let o = -754/9 - -84. Which is greater: 3 or o?
3
Let o be 40/12 - (-4)/6. Suppose -4*u = 2*z - 14, -5*u + 4*z - o + 28 = 0. Is u at most 4?
True
Let w = 3915/7 + -558. Is 0 at most as big as w?
True
Let s = 1 - -1. Let u = 8 - 8. Let w = 1 + u. Which is smaller: s or w?
w
Suppose -1 - 12 = -3*r - 4*u, 3 = r + u. Let t = 5 + r. Is 4 <= t?
True
Let l(i) = -i**2 + 4*i - 1. Let d be l(2). Suppose 208 = -5*r - d*m, 2*r - 156 = 6*r + 5*m. Let s be 6/r*-14 + -2. Is s < -1?
False
Suppose -x + 4*x - 45 = 0. Let i be x/10*2/(-3). Let o be (1 - 2) + i/(-1). Which is smaller: 2 or o?
o
Let m = -56 - -109/2. Is -3 less than or equal to m?
True
Let i(b) = b**2 + 8*b + 7. Let y be i(-8). Let l = y - 6. Which is bigger: 0 or l?
l
Let c = 2.8 - 2.3. Is 0.2 at least as big as c?
False
Let d be ((-6)/(-8))/(6/16). Suppose -2*t - 4 = s + 4, 30 = 5*s - 4*t. Is s != d?
False
Let u be (1/(-2))/((-5)/20). Let b = 6 - u. Suppose 1 = -3*v - 4*a, -5*v + 0*a + b = a. Which is smaller: v or 2?
v
Let t be ((-14)/8)/((-16)/64). Let b = t - 11. Is -4 <= b?
True
Suppose -13 + 3 = -2*g. Suppose u = 2*v + 1, g*u + 12 = 2*v - 7. Let y = u - -2. Do y and -4 have the same value?
False
Let f(b) = -b**3 + 2*b**2 - b. Let g be f(1). Let x be -7*(-6)/(-3) + 0. Let v be (8/x)/2 - 0. Which is greater: v or g?
g
Let p be -7 - -10 - 178/58. Which is greater: p or 1?
1
Let b be (-9)/1 - (0 - 3). Let x(m) = m**3 - 6*m**2 - 7*m + 6. Let o be x(7). Let j = 1 - o. Which is smaller: j or b?
b
Suppose -10 = -4*a + 10. Suppose -3*u - 6 = -a*u. Suppose 0 = -2*w - 5*v + 6, 3 = 3*w - 2*w + 4*v. Are w and u equal?
True
Let p = 20 + -39. Let h = p - -11. Is h greater than -8?
False
Let n = -3 - -9. Is 2 < n?
True
Let l be (3 - 2) + 5/(-10). Let n(b) be the second derivative of -b**3/6 + 5*b**2/2 - b. Let s be n(3). Is l at least as big as s?
False
Suppose -2*m - 84 = m. Let k be (2/m)/((-2)/8). Which is smaller: -0.1 or k?
-0.1
Let a = -295 + 291. Let l be -1 - (5 + -2 + -1). Which is bigger: a or l?
l
Suppose -19 = -5*m - 2*k, -2*m - 5*k + 2*k = -12. Is m greater than or equal to 5?
False
Suppose y - 10 = -l - 41, 5*y + 164 = -2*l. Are y and -34 equal?
True
Suppose 3*r + 2 + 4 = 0. Which is smaller: 2 or r?
r
Suppose -5*u + 3 = -2*u - 5*i, -u + 3*i + 1 = 0. Is u at least -3/118?
True
Let q = -1/190 + -369/2090. Let d = -7 + 6.7. Let u = d - 0.7. Is u bigger than q?
False
Let o = 20 - 16. Which is bigger: 6 or o?
6
Let w be (1 - -4) + -9 + 6. Let d be 1/w + (-66)/84. Which is smaller: -2/5 or d?
-2/5
Let s(d) = 3*d - 3. Suppose 0*y + y = -3. Let b be s(y). Let k be (-8)/(-18)*b/(-8). Is k greater than 1?
False
Let h be (0 - -2)*2/8. Let p be (1 + 1)/(1/2). Let i = p - 3. Which is bigger: i or h?
i
Let f(z) = z**2 - 9*z. Let b be f(9). Is 2/5 less than b?
False
Let j(g) = g + 4. Let a be j(-2). Suppose -z = -2*z - a. Let o be 6/8*3/(-9). Is z less than or equal to o?
True
Suppose 0*m - 2*m = -8. Let v = m - 6. Suppose -3*t = -5*t - 6. Is v greater than t?
True
Let v = 25.7 - 26. Let l = 1 - 7. Let d(a) = -a**3 - 7*a**2 - 5*a + 5. Let x be d(l). Which is smaller: x or v?
x
Let g = -15 - -25. Are g and -7 equal?
False
Let b = 4.4 + -9.3. Let r = b - -5.