19 at most as big as i?
True
Suppose -113 = 3*q + 1. Which is smaller: q or -37?
q
Let q be 120/(-273) + -2*2/(-26). Does q = 5?
False
Let v be -7 + (-2 - -4) + 1. Let l = -4 + 10. Suppose -l*d = -d + 25. Are d and v nonequal?
True
Let q = -0.044 + -16.956. Which is bigger: -0.1 or q?
-0.1
Suppose 4*q + 0*q - 12 = 0. Let n = -5 + q. Let t = 2 + n. Which is smaller: t or -1?
-1
Let u = 3/16 + -1/48. Suppose 3*n = n - 10, -3*x = 5*n + 19. Suppose k + 2 = -2*g, g - x*k = 3 - 4. Does u = g?
False
Let q(n) = n**3 - 15*n**2 + n - 14. Let d be q(15). Which is greater: -3/7 or d?
d
Let v be (-22)/(-3) + (-2)/6. Let m be ((-18)/63)/((-4)/v). Which is greater: 20 or m?
20
Let z be (2/(-4))/(3/12). Which is smaller: z or 0.6?
z
Let p be 4*1/56*6. Which is greater: p or 1?
1
Let u = 8/5 - -4/5. Suppose 0*v + 4 = 2*v. Which is bigger: v or u?
u
Suppose -3*c + h - 6 + 17 = 0, -5*c + 25 = 5*h. Let z = -8 + 26. Let i = -13 + z. Is i at most c?
False
Let l = 63 - 54. Are l and 0.1 unequal?
True
Let w be 2*1*2/8. Let q = 176 - 174. Which is smaller: w or q?
w
Let m be 12*(-5)/100*-5. Which is bigger: m or 5?
5
Suppose 0 = 4*v + 3*u + 2, 3*v - 2*u = u - 12. Are -2 and v non-equal?
False
Let p(o) = -o - 5. Let k(r) = r**3 + 6*r**2 + 2*r + 6. Let w be k(-6). Let j be p(w). Let x = -25 + 25.1. Which is smaller: j or x?
x
Let s(a) = -a**3 + 10*a**2 - 7*a - 8. Let l be s(9). Let v be 88/(-45) - (-4)/l. Which is smaller: v or -3?
-3
Suppose 2*s - 3*j = 6, -4*s - 4*j + 3 = 11. Suppose s = -8*i + 4 + 20. Which is smaller: 1 or i?
1
Suppose 106 - 41 = 5*x. Are x and 12 equal?
False
Let u be (3/(-4))/(3/(-12)). Suppose 0*q = -u*q. Suppose q = 4*g + 14 - 6. Is g > -1?
False
Suppose 0 = 5*c + 25, -38 - 32 = 5*m + 3*c. Which is bigger: 1 or m?
1
Let g = -1 - 3. Let x = -4 - g. Which is bigger: x or 1?
1
Let z = 21 - 18. Let b = -18 + 13. Let t be z/9 + b/3. Which is smaller: -2 or t?
-2
Let y = 0.7 + 0.2. Let o = -0.1 + 0. Let p = y - o. Is 1 at least p?
True
Let n be 3/(-2) + (-68)/8. Are n and -10 equal?
True
Suppose 6 - 2 = -h. Let k = h + 9/2. Is k >= -5?
True
Let r(q) = -q**2 - 4*q + 7. Let u be r(-10). Are u and -53 nonequal?
False
Suppose -31 = -2*d + 3. Is d equal to 2/7?
False
Let n be -2 + 3 - 27/18. Which is greater: -2 or n?
n
Let o = 5 - 11. Let p = 10 + o. Let b(h) = h**3 - 5*h**2 + 4*h. Let d be b(p). Is d at most 1?
True
Let v be (-52)/(-21) - (-4)/(-12). Which is smaller: v or 3?
v
Let q be ((-145)/25 - -6)*5/(-18). Which is bigger: 1 or q?
1
Let y = -0.0322 - -2.0322. Let w = 2 - 1.9. Let c = w - -0.9. Which is greater: y or c?
y
Let l be (1/(-3))/(3/9). Let o be (0 - l)*2 - 6. Let d be (2/2)/((-3)/o). Which is smaller: 0 or d?
0
Let d(s) = -s - 5. Let h(b) = 3*b**3 - 2*b**2 - 3*b + 2. Let m be h(2). Let n be (-1)/((2 - 0)/m). Let p be d(n). Which is greater: -2/13 or p?
p
Let v = 393367921 + -224219621939/570. Let k = v - 3051/19. Let i = k - 5/6. Which is smaller: i or 1?
1
Let x be (-1)/(2 - (-10)/(-4)). Suppose -x*z = -3*z. Suppose z = 2*v + 3*v. Which is smaller: 1/4 or v?
v
Let j be 2/9 - (-2710)/(-45). Let x be 1*4/(j/(-9)). Which is bigger: 0 or x?
x
Let x(i) = i + 3. Let n be x(4). Let c = 11 - n. Let a(b) = -b**3 + 4*b**2 + 2*b - 5. Let q be a(c). Which is greater: q or -1?
q
Let q = -6 - -9. Is 3 less than q?
False
Let p be 2 - 6*(-3)/(-9). Which is smaller: -3 or p?
-3
Let n be -1*2*(-99)/(-18). Let y = -7 - n. Suppose -2*x + 14 = 2*x - 2*s, -y*x = 4*s + 16. Is -1 > x?
False
Suppose 3*d - 2*j - 16 = 0, -d = j - 3 + 1. Let y = -3 + 5. Is y < d?
True
Let s = 19763/105 + -565/3. Is 0 <= s?
False
Suppose 0 = -f - 2*g - 4, 0*f - g - 2 = -f. Let y(z) = -2*z - 9. Let v be y(-6). Suppose -3*h = v*s, -3 = -3*h - 2*s - 0. Do h and f have different values?
True
Let y = 33 - 5711/173. Is -1 < y?
True
Let v be 0 + 2/12*-139. Let r = v - -45/2. Let s(g) = -g**2 + 3*g - 2. Let a be s(3). Which is bigger: a or r?
r
Let r(k) = -k**3 + 9*k**2 - k + 14. Let x be r(9). Which is smaller: 9/2 or x?
9/2
Let w be 5/60*(-21)/19. Let u = 823/684 + w. Do 2 and u have the same value?
False
Let r be (22 + -19)*(-2)/8. Which is smaller: r or -2?
-2
Let p = 3 + -18. Let q be 1/3 + 5/p. Let x = 13/88 - 3/11. Which is smaller: q or x?
x
Let u = 7361/10530 - 31/162. Let s = -4/13 + u. Let w be (0/2)/(0 + 1). Is w greater than or equal to s?
False
Let c(t) = t + 5. Let p be c(-6). Let m = 14 - 15. Is m < p?
False
Let g = 6 + -10. Let u = 6 + g. Let z = -0.8 - -0.7. Which is greater: u or z?
u
Let q = 89/4 + -21. Is 2 less than q?
False
Let u be -3 - (2/1 + -4). Let b = 0.5 + -1.1. Let t = b + 0.3. Which is smaller: u or t?
u
Let k(j) = 4*j + 30. Let f be k(-8). Are f and -15/14 equal?
False
Let b be ((-7)/14)/((-10)/4). Do 0 and b have different values?
True
Let o(p) = p**3 + 3*p**2 + 2*p + 3. Let m be o(-3). Let j = m - -11. Let w = 12 + -5. Which is greater: w or j?
j
Let i = -1 - -3. Let d = 0.9 + -1.5. Let l = -0.6 - d. Do i and l have the same value?
False
Let q = 1.71 + 0.29. Is q at most -3/4?
False
Suppose -5 = 3*a - 23. Is 6 <= a?
True
Let v = 4 - 1. Suppose -m = 2*a + v, 2*a + a = -3*m - 3. Let k(c) = -c + 5. Let b be k(4). Is m greater than b?
False
Suppose 3*k + 18 = -0*k. Let s be k/(-5)*10/3. Let l be 1/9 + s/18. Is l greater than or equal to 2?
False
Let n = 21/34 - -67/442. Are n and 0 equal?
False
Let i = 48 + -44.4. Let v = -5.6 - -5. Let l = i + v. Which is smaller: l or 1?
1
Suppose 3*w - s - 55 = 4*s, 0 = 3*w + 4*s - 10. Let i be 4/10 - (-26)/w. Let v be (-5)/i - 9/(-6). Which is bigger: v or 0?
0
Let z(r) = 3*r - 2. Let s be z(2). Suppose 4*k + s = 12. Suppose -2 = d - k*d. Which is bigger: d or 3?
3
Let c = -5 - -13. Let a be (12/56)/(6/c). Suppose 2 = 2*z - 2. Do z and a have different values?
True
Let p = -0.3 + 1.1. Let b = -3.2 - p. Which is greater: b or 2?
2
Let z(x) = 2*x - 3. Let p be z(-7). Let g = 117/7 + p. Is 0 < g?
False
Suppose 13 = -4*c + 37. Suppose 2*o + 2*o + 5*a = c, 4*a - 12 = -5*o. Are 4 and o nonequal?
False
Let y = -22 - -34. Which is smaller: y or 11?
11
Let s = -182.07 - -183. Let g = 0.07 + s. Which is smaller: -1/5 or g?
-1/5
Let y = -56 + 56. Let u = -21 - -12. Which is bigger: y or u?
y
Suppose 3*i = 5*j - 4, -4*i = -4*j - i + 2. Let a = -1 + j. Let o = 3 + -3. Is o less than a?
True
Let z(x) = -x**2 - x. Let k(t) = 3*t**2 + 7*t + 5. Let a(m) = k(m) + 2*z(m). Let o be a(-2). Which is smaller: -2/7 or o?
o
Let y = -11 - -5. Let h be y/(-2)*4/(-12). Which is smaller: 2/5 or h?
h
Let c = -0.2 - -4.4. Let g = c - 4. Let x = -4 + 3. Is x != g?
True
Let n(v) = 5*v**2 + 2*v - v**3 - v - 7 + 0. Let b be n(5). Which is smaller: -4 or b?
-4
Let o(x) = -x**3 - 12*x**2 - 10*x + 12. Let j be o(-11). Let z be 3/(j/(8/(-12))). Which is smaller: 0 or z?
z
Suppose -5 = -5*b - 3*s + 6, -4*b + 4*s = -28. Which is bigger: 3 or b?
b
Let r = -6 + 6.6. Let d = r + -0.5. Which is greater: d or 2?
2
Let l be (-83)/9 - 6/(-27). Let i = l + 6. Suppose 2*z + f + 6 = 0, -5*f + 4*f = 5*z + 15. Are z and i unequal?
False
Suppose 0*a + 3 = a. Suppose -4*g = -a*g. Are -1 and g non-equal?
True
Let s be (-3)/(10 - 1)*3. Let u = -358/9 - -40. Is u greater than s?
True
Let m = 119 + -111. Let g = -3 + 1. Is g at least m?
False
Let l = 0 + 0. Let v = -0.4 + 0.2. Let d = 0.2 + v. Is d < l?
False
Let x be 6 + 30/36*-8. Let f(t) = t**2 + 3*t + 2. Let i be f(-2). Let s be (-1 - 0) + (i - -1). Which is smaller: x or s?
x
Let f be (18/22)/((-39)/(-104)). Do f and 2 have the same value?
False
Let w be -2 + (2 - 1 - -15). Suppose k - 5 = 5*z, 0 = -5*k + w + 11. Let j be 20/24 - (z + 1). Is -1 greater than j?
False
Let k = -6 - -4. Let y be -4 - k - 24/(-13). Let o = 1 + -1. Which is smaller: o or y?
y
Let h be 5 - (0 + 2 + -4). Let f be -5*h/10*-2. Which is smaller: f or 6?
6
Let v = 4454584602 - 6797695769007/1526. Let i = -203/218 - v. Let s = -220 - i. Is s smaller than 0?
True
Suppose 0 = -5*y + 192 + 3. Which is bigger: 38 or y?
y
Suppose 0 = p - 3, 1 = 4*g - 2*p + 7. Suppose 2*i + g = -6. Are i and -2 unequal?
True
Suppose -3*y - 3*y = -y. Which is smaller: -17 or y?
-17
Let c = -0.02 - -3.02. Let d = -3.1 + c. Which is bigger: 1 or d?
1
Let g(s) be the first derivative of s**4/4 + 7*s**3/3 + 3*s**2 - 4. Let u be g(-6). Which is bigger: u or -1?
u
Let q(h) = -3*h