0.12 - f. Is g greater than -1?
True
Suppose c = -0*c - o + 6, 5*c = o + 24. Suppose -c*m + 3 + 2 = 0. Let p be (m*-1)/(3 + -5). Is -2 < p?
True
Let l be ((-9)/2)/((-6)/(-40)). Let j be l/(-40) - 6/4. Is 1/5 less than or equal to j?
False
Let v be 1320/(-9) + 22/33. Is -146 greater than v?
False
Suppose -3*z - 35 = -8*z. Is z greater than 7?
False
Let u = 3 - 4. Which is smaller: -2/13 or u?
u
Let w be (-216)/(-30)*5/53. Let o = w - 2/159. Which is smaller: 2 or o?
o
Let f(u) = 3 + 9*u - 3*u**2 + 5*u**2 - u**2. Let c be f(-9). Let d(r) = r**3 + 6*r**2 - 2*r - 8. Let z be d(-6). Are z and c unequal?
True
Suppose i + 12 = -o, 2*i - 25 = -4*o + 9*o. Which is bigger: -5 or o?
-5
Let p = 0.36 + -1.38. Let g = p + 0.02. Which is greater: 2 or g?
2
Let l(s) = -s**3 - 12*s**2 + 14*s + 9. Let t be l(-13). Which is smaller: -5 or t?
-5
Let l be (1/2)/(-1)*12. Let w = 4 + l. Let p be w/(-7) - (-1)/21. Is 1/3 at least p?
True
Let h = -4 + 4.08. Let u = h - 2.08. Which is smaller: 0 or u?
u
Let c = 19/4 + -17/4. Let h(g) = -g**2 + 3*g - 3. Let d be h(3). Is d >= c?
False
Suppose b = -2*b + 9. Suppose x + b*x = 8. Is 3 >= x?
True
Let q be 40/12 - (-4)/6. Suppose 3*s = 0, q*k - 3 = 5*s + 1. Let w = -49.06 - -49. Which is smaller: k or w?
w
Let u = -16 + 16. Suppose -5*z + i + 55 = u, -4*z + 3*i = -3*z - 25. Which is smaller: z or 11?
z
Let l be (-1)/(2 + (-6 - -3)). Is 2 smaller than l?
False
Suppose -2*r = 2*u + 8, 0 = -r - 4*u + u - 4. Let t = 2 - r. Suppose g + 4*x + 7 = t*x, 0 = 4*x - 16. Is -1 greater than or equal to g?
False
Suppose r + 3*a + 2*a - 6 = 0, -5*a + 2 = 2*r. Which is smaller: r or -3?
r
Let x = 1 + -1. Suppose 5*t - 38 = -3. Let q = t + -5. Which is bigger: x or q?
q
Suppose -2 - 26 = 2*o. Is -14 less than o?
False
Let x = -3 + 1. Let j be (-3)/10*(-5)/(-2). Which is smaller: x or j?
x
Suppose 0 = -4*k + 3*d - 103, 0*d - 40 = k + 4*d. Let u = k + 111/4. Suppose -3*n + 5 = n - 5*j, 0 = -n + 3*j + 3. Which is greater: n or u?
n
Let p = 0.018 + 0.102. Which is bigger: p or -1/10?
p
Let m = 32.9 - 33. Is m at most as big as 36?
True
Let t be 3 - 0 - 2/2. Suppose 0 = -5*u - 3*v + 60, -u = -t*u - 5*v - 10. Suppose 5*l - 4*n = n - u, n - 1 = 0. Which is greater: -1/2 or l?
-1/2
Let o(d) = -d**2 - 4*d - 2. Let r(x) = -3*x**2 - 11*x - 6. Let z(s) = 17*o(s) - 6*r(s). Let f be z(2). Suppose -f*v + 6*v = 4. Which is smaller: 0 or v?
0
Suppose -4*g - 3*a + 10 = -2*g, -8 = -2*g - 4*a. Let v(d) = -d**2 + 11*d - 7. Let z be v(7). Let u be ((-4)/z)/(g/12). Which is smaller: 0 or u?
u
Let p = 3.92 + -4. Let l = p - 1.92. Let j = 8 + -4. Which is smaller: j or l?
l
Let o be 0 + 23/10 + -2. Which is smaller: o or -1?
-1
Let n be 6/4*(-20)/1. Let q = -17 - n. Suppose 4*y = 4*k + y - q, k = 3*y + 10. Which is greater: 0 or k?
k
Let t(y) be the first derivative of y**2/2 + 7*y - 8. Let d be t(-5). Is -0.3 greater than d?
False
Let j be 12/300*(1 - 3). Is -1 at most j?
True
Let i be (-21)/(-3 + 0) - 2. Let u = i - 12. Is -7 smaller than u?
False
Let o = -2688/65 + 206/5. Let m be (2/3)/(2/6). Let c = m - 2. Which is smaller: c or o?
o
Let c(l) = -l**2 + 10*l + 12. Let o be c(11). Suppose u - 4 = 0, 7*u - 14 = -2*w + 3*u. Let b be (-2)/(-10) + w/5. Which is smaller: b or o?
b
Suppose 0 = -2*d + 2*v - v - 20, -3*d - 37 = 2*v. Let l(q) = -10*q**2 - 1. Let h be l(-1). Are h and d nonequal?
False
Suppose -2*g + 4*g + 2 = 0. Is g bigger than -4/3?
True
Let z be -5 + -1 + (-1 - -4). Let x be (2 - 6)/(z - -1). Suppose -4*j - 2 = -3*r, -j = 4*j + x*r - 9. Is 2/9 < j?
True
Let h(u) = -2*u - 27. Let j be h(-17). Which is greater: j or 0?
j
Let o(r) = r**3 - 3*r**2 + r - 4. Let q be o(3). Suppose -7 = 5*y + 13. Let u be q/y - 33/36. Which is smaller: -2 or u?
-2
Let g = -3 - -1. Let z = 7 + g. Let m = 4.9 - z. Do m and 1/3 have the same value?
False
Let z be 2/(144/61) + 3. Let t be (1/8)/(8/(-232)). Let m = z + t. Which is bigger: -1 or m?
m
Suppose -2*f + 4 = -4. Suppose -v + f*l = -21, -5*v - l - 5 = l. Is v at least as big as -1.3?
True
Suppose -c + 4*c = 6. Let z be 144/297 - c/3. Which is greater: z or 1?
1
Suppose 4*b = -0*b + 2*x + 46, 4*b + 2*x = 26. Which is smaller: b or 8?
8
Suppose -32*p = -36*p + 4. Which is bigger: p or -2/89?
p
Let b = -7 - -29. Let z = b - 68/3. Does z = -2?
False
Let g = -42 - -1. Let a = g - -46.7. Let f = a + -6. Which is smaller: 1 or f?
f
Suppose -4*j + 3*j - 2 = 0. Let t be j/(-3) + 0/(-5). Which is smaller: t or 0.5?
0.5
Let x = 15 - 1. Let g = x - 15. Which is smaller: 2/41 or g?
g
Let h be (-18)/(-21)*11/(-242). Is 0 at most h?
False
Suppose 0 = -h + 3*u - 16, -2*u + 3*u - 6 = h. Let g be h/3 - (-2)/(-12). Let d = -7 - -5. Is d smaller than g?
True
Suppose 0 = 4*c + 3*t + 4, -4*c + 6*c - 8 = t. Let y = 15 - 11. Suppose 4*h = 5*u - 10, c = 2*h - u + y. Which is smaller: h or 1?
h
Suppose 14 = -3*l - i, 6 - 27 = 5*l + 4*i. Is l != -11/2?
True
Let l be -2 + ((-15)/(-6))/(5/12). Is l < 14/5?
False
Let n be (1/3)/(12/36). Which is smaller: n or 3?
n
Let k(h) = -3*h + 32. Let j be k(9). Is j less than 3?
False
Suppose -6 = -5*o + 4. Suppose z - 19 - 12 = 5*q, o*z - 2 = -5*q. Is z bigger than 12?
False
Suppose -12 = -r - z, r - 13 = -4*z + 14. Which is smaller: r or 5?
5
Let i be -4 + (6 - 4) - 1. Which is smaller: i or -7/2?
-7/2
Let d be (-38)/35 - (-4)/14. Let q(s) = -2*s**2 + 1. Let f be q(-1). Let y = f - -1. Is d greater than y?
False
Let l = 0 + 1. Suppose 0 = 3*d + 2 + l, -2*d - 10 = 4*c. Is c less than -1?
True
Let t = -4.6 + 5. Let u = -12 - -12. Is t at least as big as u?
True
Let c be 2/9 + (-43)/(-9). Let j(q) = q - 1. Let l be j(7). Suppose 0 = l*m - m + 25, 0 = 5*y + c*m + 40. Are -3 and y unequal?
False
Let b be 0/(-1) - 4/(-2). Suppose 8*h + 2*z = 3*h + 6, -2 = h + 2*z. Is b < h?
False
Suppose 4*t - 3 = 1, 0 = -l - 2*t + 1. Let g(c) = -c**3 - c**2 - c - 1. Let i be g(l). Does i = -3/7?
False
Suppose 0 = 2*z - 5*z. Suppose 4*d + 16 = z, 3*n - n + 5*d + 20 = 0. Do n and -3/10 have the same value?
False
Suppose 5*o + 4*z = o - 16, 0 = 5*o + z + 24. Suppose -3*r - 8 = 5*u + 13, -5*r = 2*u + 16. Which is greater: r or o?
r
Let j be 8/(2 + 4 + -4). Is j greater than 7?
False
Suppose 11*j - 9*j = 0. Let m(x) = -12 - x + j + 1 + 1. Let b be m(-11). Is b less than or equal to 1/3?
False
Let r be (300/(-112))/(-3) + 1/(-1). Is r less than 0?
True
Let c(u) = -u + 5. Let d = -6 - -12. Let y be c(d). Let z be (-1)/7*1*y. Which is greater: z or -1?
z
Suppose -5*j - 7 = -27. Suppose -s = j*s + 20. Is s less than or equal to -15/4?
True
Let i = -0.76 - 0.04. Let j = i - -0.7. Is j at most as big as 4?
True
Let v = -8 - -3. Let w = v - -4.8. Is w greater than -3?
True
Let r = 262/11 + -17532/737. Let y = 61/201 + r. Is 1 at least y?
True
Let n = -1.3 + -2.7. Let q = 2 - 5. Let w = q - n. Which is smaller: 0 or w?
0
Let j = -2.56 + 2.6. Which is greater: -1 or j?
j
Let g(z) = 7*z**2 - 3*z + 3. Let n be g(-3). Let i = n - 528/7. Is i smaller than 1?
True
Let u(y) be the first derivative of -3*y**2/2 - y + 4. Let p be u(-1). Does p = 1?
False
Suppose -4*s = -0*a + 4*a + 8, 0 = s + 3*a. Suppose b - 5 = -o, -2*o - 5*b - 4 = 1. Suppose -4*t + o = -5*y, y - 3*y - 4 = -5*t. Is y at most s?
False
Let n = 2 + 17. Let s = n - 18.1. Which is smaller: 1 or s?
s
Let j = -17 - -22. Suppose j*w = w + 24. Is 11/2 at most as big as w?
True
Let o = 8 - 5. Let x be (o/(-33))/(4 + -3). Which is smaller: x or 1?
x
Let l = 108 + -105. Suppose -1 = -4*b - 4*q + 7, 0 = 4*b + q - 20. Is b >= l?
True
Suppose -5*q + 4*n - 7 = -45, -3*q + 4*n + 18 = 0. Let p(u) = u. Let j be p(-4). Let y be (-22)/j*2*1. Which is smaller: y or q?
q
Suppose -3*t + 15 = 0, 15 + 9 = 3*n + 3*t. Let d = 0 + 2. Which is bigger: d or n?
n
Let c = 17.1 - 17. Is -1/6 equal to c?
False
Let d = -99/445 - -2/89. Which is greater: 0 or d?
0
Let q(z) = z**3 - z - 2. Suppose 4*x + 20 = -2*g, 3*g + x - 2*x = 5. Let m be q(g). Let c(r) = -r - 6. Let j be c(-5). Which is bigger: m or j?
j
Let q be 4/(-10) + 58/(-5). Let w be q/(-80)*2/(-39). Let f = 249/1430 - w. Which is bigger: 0 or f?
f
Suppose 0 = 2*l - 5*l + 27. Suppose 3 - l = -3*f. Are f and 1/2 equal?
False
Let m = -76 - -264. Let p = -3571/19 + m. Is 0 smaller than p?
True
Let y = 18 + -18.1. Which is bigger: 4 or y?
4
Let p(b) = -b**2 + 