igger: o or -0.7?
-0.7
Let g(z) = z - 6. Let h be g(8). Suppose h*p + 28 = -2*p. Is -6 at most as big as p?
False
Let s = 16 - 12. Suppose -9 = -5*x - s. Which is greater: x or -3/13?
x
Suppose -3*t + 7 = -h, -4*t - 4*h + 5 = -5*t. Let k = 7 - t. Suppose 0 = n - k*n. Which is bigger: n or 4?
4
Let r = -11 + 9. Let q = -2 - r. Is q at least -4/9?
True
Let x = -2/69 + 769/345. Is 3 less than x?
False
Let u = -1.7 - 2.3. Let r = -4.02 - u. Does 0 = r?
False
Let w(k) = -k**3 + 17*k**2 - 14*k - 33. Let r be w(16). Is r at most -2?
False
Let v = 5 - 5.05. Let z = v + 2.05. Let c = z - 1.9. Is -0.1 smaller than c?
True
Let f be (12/16)/(6/154). Let a = -19 + f. Which is bigger: -1 or a?
a
Let r = -108 - -141. Does 34 = r?
False
Let g(b) = -5*b + 2. Let w be g(-3). Suppose 2*x = -5*n + 29 + 56, -4*n + 68 = 3*x. Is n at most w?
True
Let o = 7 - 8. Which is smaller: o or -2/57?
o
Let v be (-7)/((-2)/(-72)*6). Is -42 > v?
False
Let d be -1 + -1 - (6 - -28). Let h be d/(-35) + 2/5. Is h at most 2?
True
Suppose 3*b = -b - 8. Let r be (((-48)/(-27))/4)/b. Is r smaller than -4?
False
Let q = 555653/60 + -9259. Let v = -11/20 + q. Does 1 = v?
False
Let i = 88 - 438/5. Let s = -1057/2 + 497. Let n = 569/18 + s. Are n and i nonequal?
True
Let u be (-1 + -2)/(36/(-8)). Let j = 5 + -5.8. Let m = j - 0.2. Is u at least m?
True
Let l = -3 + 4. Let b be 42/(-9) + 6/9. Let p be (-7)/6 + b/(-4). Is p at least l?
False
Suppose -3*i + 8 = i. Suppose 7*a - i*a - 885 = 0. Let q = 1241/7 - a. Which is smaller: 0.7 or q?
q
Let g = 3 - -1. Let w be (2/4)/(g/(-8)). Let l = 2 - w. Is l less than 2?
False
Let h = -31952/13 - -2459. Is h bigger than 0?
True
Suppose -2*f - 2*f = 16. Let v(r) = r**3 + 4*r**2 + r + 4. Let l be v(f). Do 2/5 and l have different values?
True
Let m = 8.63 + -8.7. Let c = -1.3 - -0.4. Let y = 1 + c. Is m equal to y?
False
Let l be (-1)/(-1*3/(-45)). Which is smaller: -17 or l?
-17
Let t = 47/21 + -11/7. Which is greater: t or 0?
t
Let f = -31 + 30.79. Which is smaller: f or 1?
f
Suppose -21 = 3*o - 2*s - s, 4*s = 3*o + 26. Let p be (o/(-6))/(1/(-3)). Let f = -3 + 2. Is p greater than or equal to f?
True
Let f be 1/1*(-20)/(-36). Is 0 <= f?
True
Let c = -1 - -14. Let z be 0*1/2 + c. Let h be z/20 - (-1)/(-4). Is h greater than or equal to 0?
True
Suppose -2 = -5*u + 3*u. Let i = 4 - u. Suppose 4 = -2*f, -i*a - f - 2*f - 3 = 0. Which is greater: a or 0?
a
Suppose 0 = -4*q - 0*q + 8. Suppose -3*j = 3*p, 6 = -4*p + q. Let c be (j/6)/(6/(-9)). Which is greater: 0 or c?
0
Let q be (-12)/15*(-10)/4. Which is smaller: 1 or q?
1
Suppose 12 = 2*l - 0*l. Let i be l/4*4/(-15). Which is smaller: -1/5 or i?
i
Let y(p) = -3*p - 3. Let b be y(-4). Let m be (6/b)/(13/(-3)). Are 1 and m unequal?
True
Let z(a) = a**3 + 2*a**2. Suppose -2*i = -5*x - 3*i - 3, i - 1 = -x. Let m be z(x). Let t be 2*(1 + m)*1. Is 4 greater than t?
False
Let i be -5*(3 + -2 + -2). Suppose p + i*f = 4*f - 5, 2*p + 3*f = -14. Let k be 64/126 + (-2)/7. Which is smaller: k or p?
p
Suppose -4*o - 664 = -224. Let p be 72/(-275) + (-20)/o. Is p less than 1?
True
Let r = -3/337 + -48859/674. Let q = r + 70. Which is bigger: 0 or q?
0
Suppose 5*x = -3*p - 76, -4*p + x - 94 = 4*x. Which is bigger: p or -21?
-21
Let a = 23 + -13. Suppose 5*z + 0*z = a. Is z at least 2?
True
Suppose t - 6 = -1. Let v = 9 - t. Let j(p) = -p + 4. Let d be j(v). Does 1/3 = d?
False
Let q = -1 + -2. Let l be q/(-2) + (-6)/(-4). Let u(s) = s**2 + 7*s - 6. Let o be u(-8). Is o equal to l?
False
Let c = -0.06 + 0.76. Does c = 1?
False
Let q = 1.2 + -0.2. Let k be ((0 - -2) + -3)*1. Let c be k + -1 - (-8)/3. Which is greater: q or c?
q
Let x(z) = -z**2 - 3*z + 4. Let o be x(-4). Let q = 7 + o. Let v be (-21)/q + 0 + 1. Is 0 at most as big as v?
False
Let w be -6*2/(-4) + -4. Let k = 2 - w. Suppose 2*j + 3*j - 9 = y, -3*j + 9 = k*y. Which is bigger: 1/8 or y?
y
Let g = 0.03 - 0.43. Let q = 0.13 + 0.27. Which is greater: q or g?
q
Suppose -4*y - 96 = 2*z + 26, -2*y - 67 = -z. Is -32 bigger than y?
False
Suppose -5*j + 5 = 20. Let h(q) = q**2 - 14*q - 9. Let m be h(15). Let y be (20/(-12) - -1)*m. Which is greater: y or j?
j
Let v = 93 - 1393/15. Let f(n) = 2*n**2 + 7 - n**2 - 2*n**2 - 6*n. Let j be f(-7). Is j at least v?
False
Let g(z) = z**2 + 3*z - 1. Let b be (2 - 1) + (3 - -1). Suppose j = -2*t - b, -t = -4*j - 4*t - 15. Let f be g(j). Is f > 1?
False
Suppose 9*s - 7*s = 22. Is s < 10?
False
Let j = 4 + -2. Suppose c + h = 2*c - 4, 2*c + h = 8. Suppose -j*i + 5*z = 20, -4 = -c*i - 2*z + z. Which is bigger: -1 or i?
i
Let a = -0.05 + -0.05. Let s be (1/(-2))/((-1)/(-2)). Let f be (1/s + 3)/11. Is a smaller than f?
True
Suppose -3*t - 5 = 1. Let j be t/(6/(-21))*2. Is 15 bigger than j?
True
Let s = 2 - -4. Let p(j) = -j**3 + 7*j**2 - 5*j - 7. Let k be p(s). Let f be 2*1/(k*2). Which is bigger: f or 0?
0
Let i(f) = f + 3. Let a be i(-4). Let d(j) = -j**3 + 5*j**2 + j - 7. Let m be -10*(-3)/(-12)*-2. Let s be d(m). Which is smaller: s or a?
s
Suppose -2*q - 418 + 434 = 0. Let d(w) = 3*w + 1. Suppose 0 = n - 0 + 2, i + 2 = -2*n. Let p be d(i). Is q != p?
True
Let m = 108 - 103. Which is smaller: m or 1?
1
Let r be 6/(-5)*(-20)/6. Let b be r/(-14) - 36/21. Suppose -q + 4 = 5. Are b and q nonequal?
True
Let m = -42 + 66. Let y = -23 + m. Which is smaller: y or -4?
-4
Let y be 436/(-76) + 3 + 2. Let j = y + -11/114. Is j smaller than 0?
True
Let n be 1*-3 - (-12)/63*16. Which is bigger: n or 1?
1
Suppose 4*r = -4, -2*x + r + 21 - 114 = 0. Is x >= -47?
True
Let n(t) = 4*t - 22. Let u be n(8). Is 48/5 >= u?
False
Let z = 165 + -2147/13. Let g = -9 + 8. Is z >= g?
True
Suppose -2*f + q + 32 = 5*q, 29 = 4*f + q. Do f and 0 have the same value?
False
Suppose -3*n = -3*l - 7*n + 3, 5*l + 5*n = 10. Suppose -6 = 2*b + b + w, 0 = l*b - w + 10. Suppose 0 + 12 = -4*r. Do b and r have the same value?
False
Let i = 8 - 1. Suppose -3*h + 3*w + 26 = 2*h, 0 = h + w - 10. Is i greater than h?
False
Suppose 40 = d + 4*d. Let l be 20/d*(2 + -8). Let r be (l/18)/5*1. Which is smaller: r or 1?
r
Let u = -5.88 - -6. Let h = -0.38 - u. Let n = -95/3 - -32. Does n = h?
False
Let b(u) = -u**2 + 6*u + 1. Let o be b(6). Let w = 0 + -1. Do w and o have the same value?
False
Suppose o + 0*o - 5*w = -5, -3*o - 1 = -w. Which is smaller: o or -2/11?
-2/11
Let b(x) = x**2 - 10*x. Suppose l - 15 = 5*o, 5*l - o = -5*o + 46. Let g be b(l). Which is smaller: g or -1/4?
-1/4
Let f be 3/11 - (0 + 0). Let t = -94 + 93. Is t equal to f?
False
Let n = -2 - -2. Suppose 3*v = -v + h + 17, 3*v - h - 14 = n. Does v = 4?
False
Let k(m) = 2*m - 3. Let i = 3 + 0. Let u = i + -1. Let c be k(u). Is c < 1/2?
False
Let l = 8 + -10. Do l and -1 have the same value?
False
Let a(g) = g + 1. Let x be a(5). Let q = -12 - -20. Suppose 2*y = -i + 5, -4*y = -q*y + 5*i + 45. Is x at least as big as y?
True
Let i = 8507/45 - 189. Is i not equal to 0?
True
Suppose 5*d = -4*v - 14, -7*v = -5*d - 2*v - 50. Let u be (12/8)/(d/(-4)). Let z be u/7*(-3 - -1). Is z less than or equal to 0?
True
Let a = 16 - -5. Let t be (-4)/(-4) + (-18)/a. Let r = 0.4 + -0.3. Which is smaller: t or r?
r
Let w = -0.196 - -0.026. Does w = 1?
False
Let s = 215 + -199. Is s != 10?
True
Let q be 1/4 - 109/1148. Let f = q - 1/82. Suppose 4*d + 6 = j + 2, d + 1 = 2*j. Do j and f have the same value?
False
Let t be 26/30 - 28/(-210). Which is bigger: 5/32 or t?
t
Suppose -2*h + 10 = -2*j + 3*j, 3*j - 22 = -4*h. Suppose -4*c = -2*b + 2, 3*b - h*b = -1. Which is smaller: 4 or c?
c
Let u = -15 - -6. Let l = 6 + u. Is l < -3?
False
Let z = 1778/99 + -160/9. Let j(v) = v**2 - 3*v - 5. Let y be j(4). Let r = y + 2. Is z less than or equal to r?
True
Suppose -3*m - v = -6, 0 = -m + 6*v - 3*v + 2. Suppose 3*k - 21 = 3*r, -2*r + m*k = 5*k - 6. Which is smaller: -4 or r?
-4
Suppose 4*h - s = 2*s - 186, h + s = -43. Is -45 at least as big as h?
True
Let y be (-3 + 3)/((-2)/(-2)). Suppose 2*u - 27 = -4*a - u, -2*a = -2*u + 4. Let v be 2/6 - 4/a. Is v less than y?
True
Let p be ((-11)/(-2) - 4) + -2. Which is smaller: -18 or p?
-18
Suppose s - 9 = 5*l, s - 4*l = 3 + 4. Let w = -6/31 + 5/186. Which is smaller: s or w?
s
Let i = -4 + 30/7. Is i bigger than -3/4?
True
Let r = 0.6 - 3.6. Let v = r + 4. Which is greater: -2 or v?
v
Let q = 