Is u greater than or equal to q?
True
Suppose 3*i - 13 = -4*c, 5*i + 0 = c - 9. Which is bigger: i or 7?
7
Let h = -13.8 - -13. Is 5 less than h?
False
Suppose k = -1 + 3. Let m be k/(4/3)*2. Is m at least 3?
True
Let u(c) = c**3 - 8*c**2 - 7*c + 7. Let g be u(9). Let z be (-30)/g - (-3 - 0). Is 2 at most z?
False
Let p = -22 + 13. Let n = -7 - p. Which is bigger: n or 1?
n
Let f(o) be the second derivative of o**4/12 + 7*o**3/6 - o**2/2 - 3*o. Let g be f(-7). Which is smaller: 2/5 or g?
g
Let f = -226 + 227. Let p = 6/37 - 61/148. Is f bigger than p?
True
Let c(u) = 4 + 4 + 0 - 1 + 4*u. Let p be c(-4). Are -26/3 and p non-equal?
True
Let h be (-12)/20*(0 - 5). Let j = 0 - 0. Are j and h nonequal?
True
Let s be 2/8 - 50/72. Let c = 46/63 + s. Which is greater: -1 or c?
c
Suppose 28 = -2*y + 5*x, 0 = -3*y + 2*y + 5*x - 14. Is y at least -14?
True
Let w(q) = -2*q + 5. Let o be w(6). Let a be (-957)/o - (2 + -1). Let b = a + -136. Is b not equal to 0.3?
True
Let f be 2/(-3)*6/(-4). Suppose -37 = d + 2*h - 16, 0 = -d + 5*h - 28. Let c = d + 23. Which is smaller: f or c?
c
Let m = -389/5 - -78. Suppose 5*h + 0*h + 10 = 0. Let c = h + 3. Which is bigger: m or c?
c
Let t = 24 - 20. Which is smaller: t or -0.1?
-0.1
Suppose 2*y = y - 4. Let l(q) = q**3 + 3*q**2 - 3*q + 5. Let t be l(y). Which is bigger: t or 0.2?
t
Let d be (-9)/2 + 4 - (-2 - -3). Which is smaller: d or -1?
d
Let i(n) = n**3 + 13*n**2 + 10*n - 24. Let m be i(-12). Are m and 0 nonequal?
False
Let l = -12 - -13. Does l = 1?
True
Let j = -0.9 + 0.3. Let m = -0.38 + 0.48. Are j and m nonequal?
True
Let u(v) = 3*v + 4. Let b(i) = i + 1. Let n(z) = 4*b(z) - u(z). Let m be n(-7). Let p = 12 + m. Is 6 less than p?
False
Let q = -1.5 + 0.5. Let u = -5 - -4.97. Which is bigger: q or u?
u
Suppose 5*j - 4*y = 35, 2*j = -4*y + 4 - 18. Suppose 0 = 5*w - 3*t - 0 - 1, -j*w - t = -9. Which is smaller: 1 or w?
1
Suppose 0 = -3*z + 5*z - 3*x + 1, 5*z + 3*x = -13. Let h = -109 + 213/2. Is z <= h?
False
Let m = -1 + 7. Let v = 6 - m. Let b be ((-2)/(-2))/(-1*1). Which is smaller: v or b?
b
Let t(c) = 3 - c + 0*c + 0 + 0. Let j be t(2). Which is smaller: 2/9 or j?
2/9
Let n = -0.02 + 5.02. Which is greater: n or -1/3?
n
Let k = -4.8 + 5. Let u = 11 - 43/4. Which is greater: u or k?
u
Let z be (0 - 0)/((-2)/(-2)). Suppose z = -3*q - 2*q - 165. Let u = q + 98/3. Is -1 greater than u?
False
Let h = 514/3 - 165. Let n = 17/3 - h. Which is bigger: n or -1/6?
-1/6
Suppose -10 = -2*y + 2*n, -5*y + y - 15 = 3*n. Let q be ((-6)/(-4))/(9/(-12)). Let k = q - -3. Is k bigger than y?
True
Let y = 10.2 + 12.8. Is 1/2 less than or equal to y?
True
Let k = 0.21 - 0.15. Let p = -6.06 + k. Is -0.1 <= p?
False
Let p be 5/10 + (-2)/4. Let d be (-3)/12*-6 + -1. Which is bigger: d or p?
d
Suppose -4*t + 40 = -5*n + 3*n, 2*n - 30 = -3*t. Which is smaller: 39/4 or t?
39/4
Let d = -2 + 6. Suppose d*h - 1 = 5*g, -6 + 0 = 3*g + 3*h. Is g equal to 2/11?
False
Let p = 34 + -32. Is 6/7 smaller than p?
True
Let t = -298/3 + 98. Let m be 0/1 + 0/(-1). Do t and m have different values?
True
Suppose 4*c = u + 8, c = u + 1 + 1. Let t = -0.3 + 3.3. Is t greater than c?
True
Let f be 260/30 + (-1)/(-3). Let k = -61/7 + f. Are -0.3 and k unequal?
True
Let v = 22 + -16. Let c be v/8*(-2)/(-6). Let t = 25 - 25.3. Is t greater than or equal to c?
False
Let a be (6/4 + -2)*-4. Suppose 1 = o + a. Is o not equal to 0?
True
Suppose -4*d - s + 6 = 0, 2*s = -4*d + 7*s + 18. Let i = -5/2 + d. Which is bigger: -2/7 or i?
-2/7
Suppose 3*k - 4*k = 5*o - 19, -3*k - 3 = -5*o. Suppose 15 = -3*r + 3*f, 8 = k*r + f + 23. Which is smaller: 1/2 or r?
r
Let t be (-54)/(-90)*(-10)/16. Which is greater: 0 or t?
0
Let z(b) = 4*b - 7. Let u be z(2). Which is bigger: u or -1/35?
u
Let o be 0/((1 - 2)*-2). Suppose -2*d = -o + 2. Let a be (-2)/(3/(18/4)). Which is bigger: d or a?
d
Let b = -0.1 - -0.2. Let p(i) = -2*i. Let s be p(-2). Suppose 0 = -s*z + 2*y, 4*y - 10 = 3*z - 0. Is z at most as big as b?
False
Let r be ((-2)/(-8))/((-7)/(-28)). Suppose -r = 2*f + 1. Let d = 1 - 1. Which is smaller: f or d?
f
Let z = 0.76 - 0.8. Let l = 1.1 + -0.1. Let a = 0.9 - l. Which is smaller: z or a?
a
Let a be 0/(-5 + 1 + -1). Which is smaller: 2/95 or a?
a
Let j = -38 + 17.7. Let l = j + 19. Let m = l - -0.3. Which is bigger: -1/6 or m?
-1/6
Let f(d) = -d**3 - 3*d - 3. Let t be f(-2). Let o = 13 - t. Which is bigger: 0 or o?
o
Let u be 6/27 - (-4)/(-18). Suppose u*f = -f - 1. Is f equal to -5/6?
False
Let t(y) = -y**2 - 20*y + 1. Let a be t(-20). Which is smaller: -1/31 or a?
-1/31
Let m be (4/10)/(-2) + (-2305)/(-275). Which is greater: 8 or m?
m
Let h be (-26)/(-6) - 2/6. Suppose -w + 276 - 271 = 0. Which is greater: w or h?
w
Let q = 0 + -1. Let y(l) = 7*l**3 + 3*l**2 - 3. Let h(g) = g**3 + g**2 - 1. Let k(d) = 4*h(d) - y(d). Let b be k(q). Is b smaller than 3?
False
Suppose 3*f = -2*f + 5. Let w = f - 2. Let r be ((-7)/(-21))/((-1)/3) + 1. Which is smaller: r or w?
w
Suppose -13 = 2*v + 3*d, 2*d = -4*v + 6*d + 4. Is v < -2?
False
Let d be 61/(-3) - (-2)/(-3). Let o be 120/d - 2/7. Let g = -14 - -8. Is o >= g?
True
Let m be (-1)/(214/(-71) - 15/(-5)). Is 71 < m?
False
Suppose -6*y + 2*y + 8 = 0. Let w be (y + (-2 - 0))/(-2). Is w less than or equal to -2?
False
Let c be (-8)/(-6)*(-18)/4. Let o = -3 - c. Is 2 not equal to o?
True
Let n = 2899/900 + -29/150. Let x = -13/4 + n. Is x greater than -1?
True
Let s = 16 - 16. Which is smaller: -4 or s?
-4
Let u be (-2 - 1) + 9/12*4. Is -4/41 > u?
False
Let q be (1*(-4 + -2))/(-1). Suppose -4*z + 3 = -25. Which is smaller: z or q?
q
Let i = -4 + 4. Let p = 3 - 1. Suppose 4*r = -3*w + 9, -2*r + 0*r - p*w + 6 = 0. Is i at least as big as r?
True
Suppose 0*a = -3*a + 171. Is a > 57?
False
Let f be 3 + 9/((-108)/40). Let j be (3/(-14))/(16/(-28)). Is j not equal to f?
True
Suppose 233 = 5*f - 4*d, -2*d = -0*f + 4*f - 176. Let t be (3/f)/(2/(-5)). Which is greater: 0 or t?
0
Let d = 4 - 3.94. Let l = d + -4.06. Suppose 3*a = 2*a + 1. Which is bigger: l or a?
a
Let c(i) = -2*i - 9. Let t be c(-5). Let y be 2 + (-11)/252 - 2. Let l = y - 5/28. Which is greater: l or t?
t
Suppose -10*w + 5*w = -5. Which is smaller: w or -2/29?
-2/29
Suppose q = -q - 102. Is q smaller than -50?
True
Suppose -178 = -24*a + 302. Which is smaller: 19 or a?
19
Let r = -16 + 2. Let n = -0.2 + -9.8. Let k = r - n. Is -1 bigger than k?
True
Let f(k) = 2*k + 1. Let g be f(1). Suppose 0*p = g*p - 6. Is p greater than or equal to -1?
True
Suppose 3*g + 2 - 1 = -2*j, 2*j - 23 = 5*g. Suppose 2*a - 82 = -4*t - 0*a, 0 = -5*t - j*a + 110. Let p be (2/(-21))/((-6)/t). Is 1 equal to p?
False
Let y be 6*(2 - 205/105). Which is bigger: -0.8 or y?
y
Let c(s) = s**3 + 18*s**2 + 19*s + 12. Let t be c(-17). Do t and -22 have different values?
False
Suppose -7 - 3 = -2*j, -5*r + 30 = 5*j. Let t = -3 - -5. Let m be (-1)/t*4/(-6). Is r > m?
True
Suppose -6 = -3*w + 9. Suppose 0 = -5*x - w*i + 35, 4*x + i - 8 - 8 = 0. Let g(k) = k**2 - 4*k - 18. Let c be g(7). Is x < c?
False
Let k be (104/(-12))/((-4)/18). Suppose 3*g + 9 = 3*h - 0*g, -5*h - g = -k. Let y = h - 27/4. Which is smaller: -0.4 or y?
-0.4
Suppose -g - 4*g = -15. Let j = g - 7. Which is smaller: j or -1?
j
Let w be 2 + 0 + (0 - -2). Let k(m) = -1 - w + m**2 + 0 - 3*m. Let h be k(4). Which is smaller: h or -2/5?
h
Let n = -76 - -175. Let f be (-2)/(-3)*(-27)/n. Let w be 0/(-1 - 4/(-2)). Is w at most as big as f?
False
Let u = 648/1573 - -6/121. Is u >= -1?
True
Let f(q) = 3*q + 2. Let v(l) = 10*l + 7. Let d(p) = 7*f(p) - 2*v(p). Let m be d(3). Suppose 5*c + 23 = h, -c - m*h - 2*h = -11. Which is bigger: -2 or c?
-2
Suppose -y - 45 = -2*b, 5*y + 5*b + 107 = -178. Let i = -263/5 - y. Which is smaller: i or 2/7?
2/7
Suppose j + 3*z + 7 = 0, 2*z - 3*z + 11 = 3*j. Which is smaller: 6 or j?
j
Suppose 3*f = f + 2. Let s = -3 - -2. Let j be 4*((-93)/90 - s). Is f less than or equal to j?
False
Let l be 4 - (-1)/(4/(-8)). Let i be l/(5 - 4 - 2). Are 2/7 and i unequal?
True
Let o be (-42)/(-12) + (-2)/4. Suppose 5 = -5*k, -o*m = 4*k - 9*k - 8. Which is smaller: m or -3?
-3
Let m = -453/1397 - 5/127. Is 1 at least as big as m?
True
Let q = -97.06 + 101. Let x = -4 + q. Which is greater: x or -1/4?
x
Let d = -28 + 26.1. Which is smal