-13 and o have the same value?
True
Suppose 3*f = 3*w - f - 1, 0 = 3*f - 6. Let a = -3 - -4. Which is greater: a or w?
w
Let j be -2*(1 + (-24)/22). Let l be (-3)/2*(-6)/(-9). Which is smaller: j or l?
l
Suppose 5*w = 2*j + 8, 2*j = 2*w + 7*j + 20. Does w = -2?
False
Let d be 3 + -6 + 4 - 15/(-1). Is 63/4 > d?
False
Let j = -2/537 + -4825/2148. Which is smaller: j or -1?
j
Let g(n) = 4*n + 1 - 3*n + 165*n**3 + n**2 - 159*n**3. Let u be g(-1). Which is bigger: u or -7?
u
Let r(d) = 18*d + 16*d - 33*d + 2. Let a be r(-8). Let s(k) = -2*k**2 + 3*k + 4. Let n be s(3). Is n less than or equal to a?
False
Suppose -5*k + 6 = 3*n, -5*k = -5*n + 12 - 2. Suppose 0 = 5*x + 4*l - k + 20, -3*l = -x - 23. Let b be (x/(-6))/((-4)/(-6)). Which is smaller: 1 or b?
1
Suppose 16 = -2*b + b. Which is smaller: 0.1 or b?
b
Suppose -i = 3*k + k - 9, -2*k = -2. Let q = -10 + 27. Let o = -13 + q. Is i <= o?
False
Suppose 4*h - 4 = -2*p, -3*p = 2*h + 2*h - 6. Let v = 5 + -3. Is p at most as big as v?
True
Let m = -5 + 3. Let q = m + 1.8. Which is bigger: -0.3 or q?
q
Let j = -3 - -2. Let i = -45 - -42. Is j smaller than i?
False
Suppose 0 = -w - i, -2*i = 2*i + 20. Suppose -w*t - 10 = -0. Which is bigger: 2 or t?
2
Let z(d) = -d**2 - 8*d + 1. Let m be z(-7). Which is smaller: 7 or m?
7
Let d(w) = -w**3 - w**2 + 4*w - 2. Let f be d(3). Let y be (-2)/4 - f/16. Is 2 < y?
False
Suppose -3*x + 3*x = 10*x. Is x greater than or equal to -1/4?
True
Let f = 14 - 8. Let g = -414 - -412. Which is bigger: g or f?
f
Let v = 12 + -12.9. Let t = v - -1. Let o = 0 + t. Is o smaller than 1?
True
Let c = 0.6 + -0.54. Let n = c + -0.16. Is -1 <= n?
True
Let h be 3/(-6)*(-24)/(-14). Let p be (-1 + 1)/(-6 - -8). Is h greater than p?
False
Suppose 4*q - 2*q = -2*j + 44, 0 = 3*q - 2*j - 41. Which is bigger: q or 15?
q
Let p = -36756221/165 - -222766. Let w = -1115/2607 - -3/869. Let n = w + p. Do 1 and n have the same value?
False
Suppose 2*v + 3*a + 23 = 0, -2*v + 4*v = a - 27. Which is smaller: v or -2?
v
Suppose n = -0*n - 1. Let a(l) = l - 6. Let j be a(6). Suppose 0*y + 3*y = j. Is n less than y?
True
Let k(y) = -3*y**2 - 4*y - 2. Let f be k(-2). Let n be -1*(f - (-2 + 3)). Let s be 1*n/(-3) - -2. Which is smaller: -1 or s?
-1
Let h = -0.1 + 0. Let q = -0.78 - 7.42. Let f = q - -8. Which is greater: f or h?
h
Let h(w) = w**3 - 5*w**2 + 2*w - 7. Let y be h(5). Suppose 12 = 3*s + y. Are s and 3 nonequal?
False
Let x be 0/(-3)*(5 + 0 - 4). Which is smaller: 12/13 or x?
x
Let k(b) = b + 5. Let j be k(-5). Let o be (0 - 3 - -3) + j. Which is smaller: o or 2/13?
o
Let n = 361/2600 - -3/200. Is -1 >= n?
False
Suppose 0 = 11*a - 6*a. Let c = 0.05 + 1.95. Let d = c - 1.8. Which is greater: a or d?
d
Let m = 1062 - 66904/63. Is m greater than 0?
True
Let q(m) = -9*m + 9. Let x be q(1). Does -3/25 = x?
False
Suppose 2 - 14 = -3*r. Suppose -r*k - 28 = z + 3*z, 2*z - 5*k - 7 = 0. Is z at least -3?
False
Let f = -935/511 + 13/7. Is f smaller than 1?
True
Let b = -5 - -12. Let o = -4 + b. Which is smaller: o or -0.2?
-0.2
Let k = 3 + -1. Let x = k + 0. Let y be 2 - 3/2 - -1. Which is bigger: x or y?
x
Let k = 15 + -12. Suppose -k*y = -0*y. Let v be 10/4*2/4. Which is smaller: y or v?
y
Let o(f) = f**2 + 6*f + 17. Let m be o(-4). Is 5 <= m?
True
Let t be ((-5)/(-8))/(2/36*-3). Which is greater: -3 or t?
-3
Let f = -6326/273 - -300/13. Let y = 0 + 0. Do f and y have different values?
True
Suppose 0 = f - 4*n - 18, 3*n = 3*f - 2*n - 82. Which is bigger: 36 or f?
36
Suppose 2*n - 2*z = 8, -5*z - 5 = -30. Let u be (-4)/14 - n/(-7). Which is smaller: 1/8 or u?
1/8
Let f(u) = -u**2 - u. Let w = 9 - 9. Let m be f(w). Let g = 27 + -136/5. Which is bigger: m or g?
m
Suppose -2*m + 4 = 3*y, 3*m + 0*m = 5*y - 13. Suppose 0 = -y*r - 2*o, 2*o = -r - o. Is r at most as big as 3?
True
Let v be (6/3 + -1)*10. Suppose v = 2*w, 0 = -2*g + 3*w - 3 - 10. Is g bigger than -0.3?
True
Let x = -0.01 - -0.11. Are x and -22 non-equal?
True
Let m = -26/87 - 1/29. Let d = -3 - -3. Do m and d have the same value?
False
Suppose 5*j - 4*z - 21 - 40 = 0, -3*z - 57 = -5*j. Let m = 6 + j. Let i be ((-7)/(-21))/((-1)/m). Do -6 and i have the same value?
False
Let w(t) = -t. Let m(f) = -6*f - 1. Let j(b) = 2*m(b) - 11*w(b). Let o be j(2). Let r = 0 + -3. Which is bigger: o or r?
r
Let d be (-16)/(-88) + 4/(-22). Do 2/93 and d have the same value?
False
Let u = -1.21 + 0.11. Which is smaller: u or 1/5?
u
Let l = 31.7 + -32. Which is smaller: 2/3 or l?
l
Suppose 3*r + 20 + 12 = 4*j, 5*j + 2*r - 17 = 0. Suppose 2*z + 1 = j. Suppose 14 = -z*c + 4*s, -1 - 10 = -c - 4*s. Are c and -1/4 non-equal?
True
Suppose 2 = 3*r - 1. Let f = 22 - 22.09. Let z = 0.09 + f. Are r and z equal?
False
Suppose -4*a = -5*a + 2. Suppose 0 = a*i - 4, -f + 15 = 3*i + 3. Let b be (-2)/5*10/f. Which is bigger: -1/2 or b?
-1/2
Let y(o) = -o - 2. Let w be y(0). Let v be ((-60)/18)/(w/(-3)). Is -5 greater than or equal to v?
True
Let b = 25519/165 - 773/5. Let m(l) = l**2 + 10*l + 23. Let j be m(-6). Is j < b?
True
Let c be 2 + -3 - (1 + 0)*-1. Which is smaller: 11 or c?
c
Let h = -41 - -45. Which is greater: 5 or h?
5
Suppose -17*j = 2*j. Let c = -974 + 39932/41. Which is smaller: j or c?
c
Let x(c) = -2*c**2 + 50*c + 42. Let t be x(26). Is -10 greater than t?
False
Suppose 2*g = 4*g. Suppose 3*z - 10 = f, 2*f + 7*z - 4*z - 16 = g. Let j = -4 + 5. Is f at least as big as j?
True
Let z = 9 - 8. Suppose 5*d - 11 + z = 0, -4*d - 47 = -5*t. Which is greater: t or 10?
t
Let t be -1 - (-6 - (-1 + -2)). Suppose -5*d - 31 = -u, 4 = -3*d + 3*u - 5. Which is smaller: t or d?
d
Let k be -2 + 6 + -60 + (-3 - -1). Do -58 and k have the same value?
True
Let g = -13 - -9. Let q = -187 + 559/3. Is q at least as big as g?
True
Let x = -14 - -7. Is x bigger than -0.05?
False
Let i be 30/(-4)*6/(-9). Suppose 2*y = -3*z + 4, 3*z - i*z = 3*y + 4. Is y > -2?
False
Suppose 7*t - 6*t - 2 = -3*a, 3*t - 5*a + 8 = 0. Which is smaller: 1/33 or t?
t
Let r be ((-4)/(-6))/((-176)/25896). Let x = -98 - r. Which is greater: x or 1?
1
Suppose -m = 4*m + 10. Let p(g) = -g**2 + 7*g - 7. Let f be 1 + 5 + 1 + -1. Let k be p(f). Which is bigger: m or k?
k
Let i = 1709/186 + 9/62. Which is bigger: 1 or i?
i
Let l = -12 - -14. Is l bigger than 4?
False
Let g = 2/17 + -35/153. Let i = -72 - -73. Which is bigger: i or g?
i
Let n(g) be the first derivative of g**4/4 + 7*g**3/3 + 5*g**2/2 - g + 8. Let m be n(-6). Let z be (-4 + -1)/((-3)/3). Is m != z?
False
Let u = -10 + 9.4. Let i = 1.7 + -3.1. Let t = i - -0.4. Which is smaller: t or u?
t
Let y be (-1 + 7/3)*-18. Which is greater: y or -22?
-22
Suppose 0 = -5*z - 2*w + 2 + 22, -5*z + 14 = -3*w. Suppose z*t = -12, 0 = 3*k + 6*t - 2*t + 12. Let x = 31/14 + -12/7. Which is smaller: k or x?
k
Suppose -3*k - 2*k - 5 = 0. Let b be (-8)/(-28)*(-1)/(-3). Which is greater: k or b?
b
Let x be 0 - (-4)/((-704)/(-12)) - 0. Which is greater: x or -1?
x
Let c = 48.2 - 48. Which is greater: -0.12 or c?
c
Suppose -6 - 9 = 2*z - 5*s, -3*s = -9. Is 2 > z?
True
Let f(w) = w**2 + 5*w - 22. Let g be f(-9). Which is smaller: g or 53/4?
53/4
Let i(b) be the third derivative of b**5/30 - b**4/6 + b**3/3 + b**2. Let f be i(2). Suppose 0 = 4*z + 12, 0 = -3*t - t + f*z + 6. Which is greater: -4/5 or t?
t
Let q = -39.7 + 45. Let b = -4.99 + -0.01. Let v = b + q. Which is bigger: v or 1?
1
Suppose -g + 2*g = 5. Let i(z) = -6*z**2 + z. Let a be i(1). Let d = g + a. Which is bigger: d or -1/13?
d
Let j be (4 - 4)/((-4)/(-2)). Suppose j*u - 4 = -2*u. Suppose -u*n = -0*n. Which is bigger: 3/7 or n?
3/7
Let k(v) = 9*v**2 - 2*v + 4. Let o be k(-3). Let p be (o/(-3))/((-6)/9). Let b = p - 43. Which is smaller: b or 4?
b
Let d = 18.3 - 25. Let f = 7.07 + -0.07. Let x = d + f. Are 1 and x non-equal?
True
Let i = 8 + -7. Let p = i + 1. Let c = 6 - 4. Are c and p nonequal?
False
Suppose -2*m + 5 = 3. Let v be ((-3)/18)/(10/(-8)). Are m and v equal?
False
Let o = -8.79 - -1.09. Let p = 1.3 - o. Are -0.1 and p equal?
False
Let t = 7321100723/467553 - -2/467553. Let m = 15936 - t. Let l = -275 + m. Do l and 2 have different values?
True
Let f = 18 - 1043/58. Is f greater than -1?
True
Let d be -4 - -1 - 8/(-1). Suppose -4*r = -7*r - g - 28, d*r + 56 = -4*g. Is -9 < r?
True
Suppose 3*v - 10 = -4*r, 