 12 - 10. Suppose -3*z + 4*t = -13, -3*z = b*t + 3*t - 4. Is 4 <= z?
False
Suppose -8*m = -7*m - 18. Let o = 19 - m. Is 2/11 greater than or equal to o?
False
Let f be (-45)/4*(-5 + (-116)/(-24)). Which is bigger: 2 or f?
2
Let v(h) = h**2 + 3*h - 1. Let u be v(-4). Let r be (-15)/5 + 1/1. Let s = r + u. Which is smaller: s or -2?
-2
Let p = -11 - -16. Suppose -4*m = -4*q + 105 - p, 0 = q + 2*m - 25. Suppose -s + 6*s = -q. Is s > -6?
True
Let f be (1/4)/(15/24). Suppose 2*a + 3*u = 18, -3*a = -0*u - 2*u - 14. Let k = 6 - a. Is k greater than f?
False
Let q be 2/9 + 7/9. Suppose -5*w + 9 = -q. Which is bigger: 3 or w?
3
Suppose 0 = -m - 0 + 6. Suppose 0 = -m*d + d + 5. Let v = -585/7 - -84. Is d at least v?
True
Let r be ((-99)/18)/(2/36). Let h = 795/8 + r. Which is smaller: h or 0?
0
Let l = -90 - -448/5. Let m = -0.01 - -0.51. Let h = m + 0.5. Which is smaller: h or l?
l
Let b = -162 + 151. Which is smaller: b or -9?
b
Let v = -79 - -47. Which is smaller: v or -33?
-33
Suppose -3*k - 4*z = 40, 3*z - 44 = 5*k + 4*z. Which is greater: k or -9?
k
Let y = -2 + 3. Let s be (-2*y/7)/1. Which is smaller: 0 or s?
s
Let z be (-3 - -4) + 1*7. Let d = z - 0. Suppose 0*i = 4*i + d. Which is bigger: -3 or i?
i
Let z(r) = -r**3 + 4*r**2 - r + 3. Let x be z(4). Let w be (x/(6 - 1))/(-1). Which is smaller: 0.1 or w?
0.1
Suppose 5*f - 24 = -39. Is 0.3 > f?
True
Let i(c) = 2*c**3 - c**2 + 1. Let z be i(1). Let x = -13 - z. Are -15 and x equal?
True
Let n be 149/(-21) - 6/(-9). Let c = 107/21 + n. Let t be 1/(-2 + 2/2). Which is greater: c or t?
t
Suppose 0 = -2*x + 7*x + 350. Let r be (-4)/14 + 50/x. Which is bigger: 0.7 or r?
0.7
Let r(f) = f**3 + 4*f**2. Let b be r(-4). Suppose b = k - 3*k - 14. Is k at most -7?
True
Let m be 12/69*(-1)/2. Let a = -1 - -1. Which is smaller: a or m?
m
Let x = -0.29 - 0.09. Is 2/5 > x?
True
Let c = 3 - 6. Let q be 2 - (1 - 1 - -4). Is c less than or equal to q?
True
Let f(q) = 14*q**2 + 2*q + 3. Let v be f(3). Let w be 6/v*(-5 + 0). Is 2/5 > w?
True
Let t be (-2)/(-1) + 3/(-2). Let l = -29.1 + 28. Let p = l - -0.9. Which is smaller: t or p?
p
Let r = -34 + 50. Let n be r/(-10) + (-6)/15. Let k(u) = -u**3 - u**2 + 3*u + 1. Let b be k(n). Is b < 2/5?
True
Let a = 117404/19 - 6176. Is a equal to 2?
False
Let o(b) = -b**2 - 10*b - 17. Let a be o(-8). Which is greater: a or -1/4?
-1/4
Let t = -42 + 41.97. Which is bigger: -1 or t?
t
Suppose i + 3 - 4 = 0. Let l = 3 + -4. Let p be i*l - (2 + 0). Is p bigger than -3?
False
Let g = 5.17 + -5. Let t = g - 0.29. Which is smaller: 1 or t?
t
Suppose 0 = -4*z + 15 + 5. Suppose 4*f - 7 = 3*a, z*a = -3*f + 2*a. Let k be 3*3/(9/f). Is -1/3 equal to k?
False
Let s be -298*9/24 + 0. Let c = 111 + s. Is c > -2?
True
Let y be (-27)/(-3 + 0) - 3. Suppose -16 = 2*h - y*h. Let c(s) = -s + 3. Let g be c(h). Is -1 <= g?
True
Let k be ((-32)/736)/(9/5 + -2). Which is smaller: 0 or k?
0
Suppose 0 = -4*u + b - 22, 3*u + 0*b + 25 = 5*b. Let f = u + 5. Let q be f + ((-6)/9)/2. Is -1 bigger than q?
False
Let r = 12 + -10. Let m = 2 - r. Which is smaller: m or -4/9?
-4/9
Let c = -2/13 - -5/13. Which is greater: c or -1?
c
Suppose 0 = n - 6*i + 3*i, 2*i + 7 = 3*n. Suppose 0 = n*y - 4 + 1. Let l = 23/20 - 9/10. Which is smaller: y or l?
l
Let s = 0 + 2. Let q be s + 2*3/(-3). Are -5/4 and q non-equal?
True
Let w = -4 - -7. Suppose -n - 3*z + 10 = 0, -w*n + 2*z = -5*n + 8. Let b = 45 - 134/3. Is b <= n?
True
Suppose -4*f = f - 40. Which is smaller: 6 or f?
6
Let r = 1.02 + -13.22. Let c = r - -12. Which is smaller: 0.4 or c?
c
Let t(f) = -f**2 + 7*f - 6. Let v be t(5). Suppose -1 = -5*q + v. Suppose 6 = 5*u + q. Is u > 1?
False
Let y = -6 + 8. Suppose -2*c = y*c. Which is smaller: -1 or c?
-1
Let d(l) = 3 - 2*l + l + 2*l. Let m be d(-3). Suppose m = 4*r - r - 9. Is r greater than 1?
True
Let h be (-2 - -1) + 30/5. Suppose -y - 8 = y, h*g - 5*y = 0. Which is smaller: -3 or g?
g
Suppose 0 = 2*q + 3 + 17. Let n be (8/10)/((-2)/q). Suppose 10 = 4*k - z, 2*z - 6*z + 17 = 3*k. Is n greater than or equal to k?
True
Let h = 3 + -3. Let v = h + 0.06. Is 1 at most v?
False
Let s = -2.01 + 2.1. Let x = 0.01 + s. Which is smaller: 8 or x?
x
Let z be (-6)/24 - (-81)/12. Which is bigger: z or -1/3?
z
Let o(u) = u**2 - 8*u + 9. Let j be o(7). Let f be j/6*(-72)/(-20). Is 1 greater than f?
False
Let q = 3/13 + 4/39. Let p(b) = b + 4. Let c be p(-4). Which is bigger: q or c?
q
Let g = -19 + 21. Suppose -5*z - j - 8 = g*j, -z = -4*j - 3. Which is bigger: z or -5/7?
-5/7
Suppose -3 = -2*v - 9. Let b be v/2 + (-2)/4. Is b smaller than -5/6?
True
Let m be (-4)/10*(-15)/21. Let k(r) = -r**2 + 8*r - 1. Let f be k(7). Suppose -f = -5*p - 0*g + 3*g, -3*p + 3*g = -6. Is p equal to m?
False
Let m = -13/2 - -6. Are m and 4/5 unequal?
True
Let t be (-3)/(-6) - 52/(-8). Suppose -n - 5 = 3*w, w = -t*n + 3*n - 9. Which is greater: w or 1/12?
1/12
Suppose 43 = -5*p + 3*v - 63, -p - 28 = -4*v. Is -19 at least as big as p?
True
Let h(f) = f**3 - 6*f**2 - 8*f + 2. Let a be h(7). Is -3 > a?
True
Let w be 16/(-104) - 66/(-598). Which is bigger: 1 or w?
1
Let s = 42 + -19. Is s at least as big as 23?
True
Let k be (-9)/7 + 1/1. Suppose 3*w + g + 4 = 2, 4*w - 3*g + 7 = 0. Which is smaller: k or w?
w
Let t = -45 - -24. Which is smaller: t or -22?
-22
Let i(l) = -l**2 - 15*l - 10. Let z be i(-14). Let t be 2*4/(-240)*z. Let m be -2*(0 + 2/(-4)). Is m equal to t?
False
Let u = -1 + 3. Suppose 3*r - u*r + 1 = 0. Which is smaller: -2/5 or r?
r
Suppose -4*f + 3*f - 2*p + 3 = 0, 0 = -4*f - 4*p + 12. Which is bigger: f or 1/15?
f
Let b(v) = v + 1 + 0*v + 0 - 3. Let s be b(2). Let t = 0.1 + 0.3. Which is greater: t or s?
t
Let w be 12/48 + (1 - 1/4). Which is smaller: w or 3/26?
3/26
Let z = -106 - -1485/14. Which is bigger: z or 0?
z
Suppose 5*r = -2*t - 22, 4*r + 3*t = 6*t - 36. Let m(q) = -q**3 - 6*q**2 + q - 1. Let k be m(r). Let g be -6*(-2)/(1*-2). Is k less than g?
True
Let m = 15/47 + 613/141. Is 5 at most m?
False
Let g(i) = i**3 - 6*i**2 + 2*i - 9. Let d be g(6). Suppose 0 = -d*t + t. Which is bigger: -0.1 or t?
t
Let d(j) = -j**2 + 7*j - 7. Let a be 1*(-1 - (-3 + 2)). Suppose -b - 2*b + 18 = a. Let k be d(b). Is k >= 0?
False
Suppose 3*z + 0 = -24. Which is smaller: -7 or z?
z
Let i be 3 + 2 + 2/(-1). Let a be ((-1)/2)/((-1)/4). Suppose -3*d + a*p + 9 = 3*p, -2*d + 3*p = -6. Is i != d?
False
Suppose 0*t - 5*t = -90. Suppose -z + t = 5*n + 2*z, 3*n - 11 = -2*z. Let x be (n + -4 + 3)/(-3). Which is bigger: x or 0.06?
0.06
Let q = 3/5136340 - -889050937/4833295940. Let y = 2/941 - q. Are -3 and y unequal?
True
Let d(i) = -7*i**3 + 2*i - 1. Suppose -b = 3*b - 4, 2*b = -4*n + 6. Let x be d(n). Which is smaller: -7 or x?
-7
Let o = 13 + -28. Let h = o - -14. Are h and -2/9 nonequal?
True
Let a = -42 + 208/5. Is a at least as big as -1?
True
Let p be (-4)/10 + (-124)/(-10). Suppose -h - 2*h = -p. Suppose 0 = 2*d - o + 8, 6 = d + h*o - 2*o. Which is greater: -1/2 or d?
-1/2
Suppose -4 = 4*y - 12. Let a be y/10 - (-1)/(-5). Let w be (-3 - (-21)/6)*a. Is 0 >= w?
True
Let k be -1*(0 + -2 + 13). Let f = 101/9 + k. Are -2/5 and f equal?
False
Let a = 30 - 21. Is 9 equal to a?
True
Let q(f) = -f**3 - 4*f**2 - 5*f - 4. Let i be q(-3). Let p be (0 + i)*9/6. Let w(v) = v**3 - 4*v**2 + 4*v. Let o be w(p). Which is bigger: 4 or o?
4
Suppose 0 = -b - 2*g - 8, b - 4*g = -3*g + 7. Do b and -7 have the same value?
False
Let b = -45 + 93/2. Suppose -4*k - 4*f = -9 - 23, -5*k = -2*f - 5. Which is smaller: b or k?
b
Let z be 165/954 - 1/(-2). Let c = z - 1/159. Let l = -2 + 2. Which is greater: l or c?
c
Let q = -9 - -8. Is q >= -1/4?
False
Let d(m) = 3*m**2 - m**2 + 2 - 3*m**2 + m. Let s be d(3). Let l be (-6)/(-30) - 22/10. Which is bigger: s or l?
l
Suppose -3*x - 2*x = -10. Suppose -19 = -x*f - 0*d - d, -3*f + 35 = -5*d. Which is smaller: 9 or f?
9
Let m = 50 + -24. Suppose -2*b + 3 = 5*d + 29, 4*b - 3*d = -m. Is b >= -8?
True
Let q(c) = -c + 7. Suppose 0 = -2*k - 3*k. Let d be q(k). Which is greater: 6 or d?
d
Let f = 3052 - 36655/12. Let a = f - -9/4. Is a <= 0?
True
Let l be (1 - -1)/(4/(-18)). Let p = -9 + 1. Which is greater: l or p?
p
Suppose -2*y + 11 = -117. Suppose -4*i + 6*i = -y. Let l be 12/(-18) - i/30. Does 2/7 = l?
False
Let q be 88/42 - 4/6. Which 