.01 - -2.99. Let h = 7 - o. Which is bigger: h or -1?
h
Let j = 10 - -23. Does 31 = j?
False
Let k(z) = -4 + z**2 + 5*z + 3*z - 2. Let a be k(-9). Is a greater than 3?
False
Let p = 9 + -7. Suppose 3*z = 4*l + 8, -3*l - 4 - 1 = -p*z. Suppose c - 3 = -1. Which is bigger: l or c?
c
Let c = -11 - -10. Let g be (6/(-7))/(c/(-7)). Is g greater than or equal to -5?
False
Let w = 4 + -6. Let g be (w/(-6))/((-3)/(-63)). Which is smaller: g or 8?
g
Let g(f) be the first derivative of 3*f**2/2 - 6*f - 1. Let k be g(4). Suppose 2*p = -y + 2, k = y + 2*y + p. Which is greater: y or 3?
3
Let z = 120 + -76. Let q = -175/4 + z. Which is bigger: 0 or q?
q
Let k = 0 + 4. Suppose 0 = -0*v + v - 6. Which is smaller: k or v?
k
Let k = -50 - -67. Which is smaller: 16 or k?
16
Let c(q) = q - 14. Let x be c(14). Suppose -15 = 3*n + 3*a, a = 4*n - n - 5. Is x > n?
False
Let l = -3 - -6. Is 1 smaller than l?
True
Suppose 4 = x + 3. Let z(y) = 9*y**3 - y**2. Let b be z(x). Are 8 and b nonequal?
False
Suppose -3*c = k - 33, 0*c + 9 = 2*c + 5*k. Which is bigger: 14 or c?
14
Suppose -2 = -3*p - 5*n - 5, -5*p + 2*n = -26. Let m be -2 - (-3)/6*p. Which is bigger: m or 1/2?
1/2
Let u(s) = 2*s - 9. Let w be u(6). Suppose 0 = -w*p, 0 = -4*z + 5*p + 37 - 5. Which is greater: 9 or z?
9
Suppose -5*h - 43 = -3*i, h - 3*i + 13 = 2*i. Let k(g) = -g**3 - 5*g**2 + 6*g - 7. Let c be k(-6). Are c and h equal?
False
Suppose 0 = -5*t, 10 = -5*j + 3*j + 4*t. Let x be -2 - (2 - 3) - j. Do 5 and x have the same value?
False
Let z = 6.9 - 7. Let i = z + 0.1. Which is smaller: -0.2 or i?
-0.2
Let b(i) = -i**3 - 2*i**2 + 2*i - 3. Let u be b(2). Let g be -1 + 9/3 + -3. Let k be g - u/(-18)*-1. Which is bigger: 1 or k?
1
Let a be (-4)/(-22) - 42/(-11). Suppose -6*l + a*l - 8 = 0. Is -4 equal to l?
True
Let s = 224 + -891/4. Which is smaller: 2/15 or s?
2/15
Let p = -13/17 + 203/221. Is p >= 0?
True
Let r = -1.2 + 1. Let p = 2 + 2. Let t be (1/p*-2)/(-1). Is t at least r?
True
Let d be 22/(-36) - 4/18. Suppose -4*s = s. Which is smaller: s or d?
d
Let q(r) = r**3 + 2*r**2 - 2*r + 2. Let v be (0 + 1)/2*-6. Let u be q(v). Let a be 2 + (-16)/6 - (-220)/429. Which is greater: u or a?
a
Let n be 81/15 + (-2)/5. Let i(w) = w**3 - 3*w**2 - w + 1. Let m(s) = s**3 - 2*s**2 - 2*s + 2. Let y(d) = 3*i(d) - 2*m(d). Let q be y(5). Are q and n nonequal?
True
Let o be 87/(-29) + (-2)/(2/9). Is o < -11?
True
Let x = 9 + -8. Let t = 0.7 - x. Which is smaller: 3 or t?
t
Suppose 0 = 2*w + 3*w. Let r be ((-2)/8)/((-6)/8)*-3. Which is smaller: r or w?
r
Suppose -35 = 4*f - a - 2, 9 = -2*f + 3*a. Let c = f - -6. Let j(i) = 2*i + 3. Let b be j(-3). Is c at least b?
True
Let m = -36 + 7. Let z = 205/7 + m. Which is smaller: z or 0.1?
0.1
Suppose -23 = -w + 2*f, 4*f - 91 = -5*w - 32. Let v be ((-12)/w)/(2/(-5)). Suppose 0*g = -v*g. Is g greater than -2?
True
Let z be (1/(-2))/((-1)/(-2)). Let g be (-4)/(-2 - 0) + z. Let s be (-10)/(-12)*(-4)/15. Which is smaller: g or s?
s
Let l = 72 - 149/2. Let o = l - -25/6. Which is smaller: o or 3?
o
Let n be 5 + (2 + 0)*-2. Which is smaller: 3/11 or n?
3/11
Suppose h + 2 = o, o + 8 = -0*h + 3*h. Let q(w) = w - 6. Let p be q(o). Let j be (-4)/3 - 2/(-1). Which is greater: p or j?
p
Let u = 4 - 4. Let f be 0 + 2/(-42)*2. Is u at most f?
False
Suppose a = -n - 0 - 2, 4*a = n - 8. Let q be 1/(-3 - a*1). Which is smaller: q or -0.1?
q
Let j = 25 - 18. Suppose -3*n = 5*c + j - 0, -n = -2*c - 16. Which is smaller: n or 7?
n
Let m be (-51)/4 - (-2)/8. Let r = m + 121/10. Do 0 and r have the same value?
False
Let m = -7 + 9. Suppose -1 - 11 = o - m*f, -2*o - 16 = 4*f. Let y be 25/o*(-6)/(-5). Which is smaller: y or -5?
-5
Let i = -2 + -7. Which is smaller: -19/2 or i?
-19/2
Suppose 5*u + 4 - 9 = 0. Is u < 11/5?
True
Suppose p + 0 - 5 = 0. Suppose -4*m + 25 + 7 = 0. Which is smaller: p or m?
p
Suppose 4*p + 2 = -2. Is 2/83 greater than or equal to p?
True
Let k = 2 - 3. Let f = 1.3 + k. Let v = f - 0.2. Does -1/2 = v?
False
Suppose 4*z - 3*x = -2*x - 21, -5*x + 15 = -2*z. Let c be (-7)/(-5) + 2/z. Which is greater: c or 3/4?
c
Suppose 4*y - 2*z = 30, 2*y + y - z = 21. Suppose -7 = -2*s - 3*t + y*t, -2 = -4*s + 2*t. Which is smaller: s or -8/7?
-8/7
Let q = 50 - 105/2. Do q and -2 have the same value?
False
Let s be (-41 + -1)*1/3. Is s less than -14?
False
Suppose -4*w - 3 + 7 = 0. Let m be 0 + -1 + 3 - -1. Are w and m unequal?
True
Let h(b) = 9 - 2*b - 3 + 3*b. Let x be h(6). Suppose -4*s = w + 13, 0 = -3*w - 3*s + 8*s + x. Which is smaller: w or -2/11?
w
Let p be -3 - (69/(-54) - 2/(-12)). Is -1 < p?
False
Let y(u) = -u**2 + 11*u - 7. Let w be y(10). Which is greater: 4 or w?
4
Suppose -4*x = x, 2*a = -2*x. Let k = 410/9 - 4474/99. Is a greater than or equal to k?
False
Let z = 236 + -4957/21. Is z at most -1?
False
Let u = 3/2758 - 2166/89635. Which is greater: u or 0?
0
Let w = -11 - -12.3. Let s = w + -0.3. Which is greater: s or 1/4?
s
Let j be (-1)/((-2)/(-3)) - (-2)/(-4). Which is smaller: 15 or j?
j
Suppose -2*w + 12 = -0*w. Let v be 4/w*45/10. Which is smaller: 2 or v?
2
Let k be 3 - (3 - (-12)/(-3)). Suppose -5*o + 20 = 4*u, 5*o - 5*u - 33 = k*o. Is o bigger than 7?
True
Let s(u) = -2*u - 4. Let c be s(-3). Let a be (c/3)/((-2)/6). Suppose -6*w + 11*w = 0. Which is smaller: w or a?
a
Let l be (-8)/5 - (3 - 5). Let p(t) = t + 4. Let c be p(-4). Suppose c*b + 1 = -b. Which is bigger: l or b?
l
Let o = 13 - 19. Which is smaller: -1/2 or o?
o
Let j(z) = -z + 7. Let u be j(6). Let m be 4/18 - 194/(-18). Let y be -2*(u + (-10)/m). Is y > -1/2?
True
Let w = 86 - 85.4. Which is smaller: 3/4 or w?
w
Let q = 0 + -1. Let a be 1/(-2)*(6 + -8). Which is smaller: q or a?
q
Let f = -249 - -244. Let r = 5 - 7. Which is smaller: r or f?
f
Suppose -3*z + 12 = 0, 7*a - 3*a + 3*z = 4. Suppose -5*n = 5*m - 20, 4*n = m + 4*m - 2. Which is smaller: n or a?
a
Let c(w) = w - 5. Let x(u) = -2*u + 9. Let t(i) = 5*c(i) + 2*x(i). Let p be t(5). Let h = -2 - -1. Which is greater: p or h?
h
Let s = 0 + 0.2. Let o = 0.16 - 6.16. Let p = 4 + o. Is s less than or equal to p?
False
Let n = -8 - -12. Suppose p = n*p + 12. Is p >= -4?
True
Let g = -0.18 - -0.28. Let y be 6/8 - (-2)/(-4). Which is smaller: g or y?
g
Suppose 0 = 2*b - 10, -2*f = 2*f - 2*b + 14. Suppose 4*v = -v - 110. Let c = -89/4 - v. Is c > f?
True
Let v be (-4)/34 - 1077/(-51). Is 21 <= v?
True
Let o be (-2480)/(-7) - 2/7. Let l = -3537/10 + o. Which is smaller: -1 or l?
-1
Let w be 0/(3/(-1 + 4)). Suppose -2*u = 5*g + 3*u + 5, w = 2*u. Is -2/5 smaller than g?
False
Suppose 4*k + k = 20. Let l be ((-2)/(-12))/(2/k). Let p = 0.2 - 0.1. Which is smaller: l or p?
p
Let v(p) = -p**3 - 7*p**2 - 1. Let w be v(-7). Let g = -119/4 + 30. Is g at most as big as w?
False
Suppose 4*m + m - 10 = 0. Suppose m*d + 10 = -3*d. Is -3 > d?
False
Let s be ((-18)/4)/(5/10). Are -9 and s nonequal?
False
Let g be (6/(-9))/((-2)/57). Suppose w + 7*o + 6 = 2*o, -w = 4*o + 1. Are g and w nonequal?
False
Let n = 11863063/102 + -116306. Let c = n + -2/51. Which is smaller: -2 or c?
-2
Let q(x) = -x**3 + 10*x**2 - 9*x - 11. Let m be q(9). Which is bigger: m or -9?
-9
Let r = 0.9 - 3.8. Let k = r + 3. Is -7 equal to k?
False
Let c = 0.4 + -0.2. Let q = c - 1.2. Let z be ((0/3)/(-5))/(-2). Is z equal to q?
False
Let y be 2*1/2*3. Suppose -2*g = 0, 2*x + y*g + 1 = -3. Let n be 3/(3*x/4). Is n less than 1?
True
Let u(i) = i**3 - 5*i**2 + 6. Let k be u(5). Suppose -2*m + k = m. Suppose j - 3*j + 5*y = -12, m*y + 4 = 0. Which is smaller: j or 1/4?
1/4
Suppose 20 = 5*l - 4*h, 0 = 5*l - 5*h + 3*h - 20. Let i be (-45)/(-50) - l/10. Which is smaller: -1 or i?
-1
Suppose 4*h + 1 = 5. Let t = h - 4. Let v = t - -3. Which is smaller: v or -1?
-1
Let q = -104 - -177/2. Is -15 bigger than q?
True
Let z = 2 + -2. Let f be (-2)/(-6) + 26/(-51). Let p = -11/34 + f. Is z > p?
True
Let s = 8 - 6. Let f = 0 - 1. Which is bigger: f or s?
s
Let k = -289 - -202. Let a = k - -607/7. Which is greater: -1/4 or a?
-1/4
Suppose 0 = 5*o - 55 - 55. Suppose 5*f - o - 3 = 0. Suppose 3*b + 5*c - 4 - 4 = 0, 0 = f*b - 4*c - 1. Are b and 3/4 equal?
False
Suppose -5*s + d + 35 = 6*d, 5*d = 0. Suppose 0 = -2*q - 4*m + 18, -3*q - 16 = -s*q - 3*m. Which is bigger: q or -2?
q
Let l be ((-1)/(-18))/((-4)/784*-7). Wh