 1 = 4*j - 3, -6 = 4*r + 2*j. Let p be ((-15)/6)/(r/(-4)). Let c(b) = -2*b - 7. Let o be c(p). Which is smaller: 4 or o?
o
Let m be 3/(-7) - ((-1485)/280 - -5). Suppose 0*h = 3*h. Which is smaller: h or m?
m
Let i = -2.3 - -0.3. Which is bigger: -0.07 or i?
-0.07
Suppose 13*i - 16*i + 6 = 0. Let z be (30/9)/((-2)/(-6)). Let p be 2/(-3) - z/(-6). Which is smaller: i or p?
p
Let f = 59 + -58. Let j = 0 - -4. Is j greater than f?
True
Let d(s) = s**3 + 8*s**2 + 5*s - 5. Let c be d(-7). Let v = -8 + c. Are v and 0 nonequal?
True
Let s be 3/(-6) - 4/8. Let c(f) = -f**3 + f**2 - 3. Let i be c(0). Let z = i - s. Which is smaller: z or -3?
-3
Suppose 10 = f - 1. Suppose 5*a = 2*a - m + 6, 0 = -4*a + 5*m - f. Is 1/4 greater than a?
False
Let o be -2 + 0 - 2*(-9)/6. Which is bigger: o or -17?
o
Suppose w + 25 = 5*g - 4*w, -3*g = 3*w + 9. Let x = 24 + -24. Which is smaller: g or x?
x
Let k = 0.45 + -0.35. Which is bigger: k or 10?
10
Let j = -12/5 - -2. Suppose o - 2 = -y, 4*o - y - 4 - 9 = 0. Let x = o - 2. Which is bigger: x or j?
x
Let q(x) = x**2 + 5*x. Let o = 11 + -16. Let r be q(o). Is 0 <= r?
True
Let d = -10 + 4. Let s be (-1 + (-2)/d)*6. Which is greater: -6 or s?
s
Suppose -5*d + 5 = -4*d. Suppose 5 = -d*z - 15. Is -4 smaller than z?
False
Let h = 9/13 - 193/91. Which is smaller: -1 or h?
h
Let y = -0.115 - -0.025. Which is bigger: -0.6 or y?
y
Let a be 10/(-3) + (3 - 1). Suppose 5*r = -3*o - 37, -5*o = -5*r - 4 - 1. Let i(x) = 2*x**2 + 7*x - 5. Let d be i(o). Is a equal to d?
False
Let o = -9 - -9. Let h be 0 - (9 + -4 + o). Which is bigger: -3 or h?
-3
Let w be 6/(-18) - 1/(-3). Which is bigger: w or -7/11?
w
Let t(s) = s**2 + 6*s + 7. Let f be t(-5). Is f at most as big as 5/8?
False
Let s = -3.4 + 0.4. Let v = -2.95 - s. Let b = v - -0.05. Are b and -0.3 equal?
False
Let f = -129/2 + 64. Which is greater: f or -2?
f
Let z = 18 - 19. Is z less than -0.2?
True
Suppose -1 = -2*n + 1. Is n at least 9/8?
False
Let m = -0.061 + 4.261. Is 1 less than or equal to m?
True
Let q(b) = -2*b**2 - 1. Let i = 2 - 1. Let o be q(i). Is o at most as big as -4?
False
Let w = -15 - -15.6. Which is smaller: 0.06 or w?
0.06
Let c = -5/14 - -1/42. Let q be (1 - 2)*1*2/2. Is q != c?
True
Let l = -0.13 - -2.13. Which is smaller: -0.3 or l?
-0.3
Let i(c) = 2*c**3 + 2*c**2 - c. Suppose -2*t + 3 = 3*v + t, 4 = 4*v + t. Let n be i(v). Which is bigger: 5/2 or n?
n
Let r = -26 - -26. Is r != -2/15?
True
Let a = 18 - 20. Is 1/2 less than or equal to a?
False
Let q = 22 - 22. Is -3/4 less than or equal to q?
True
Let a = -29/15 + 7/3. Let j be ((-3)/(-6))/1 - 12. Let k = j + 65/6. Which is bigger: a or k?
a
Let r = 927 + -7405/8. Is r != 1?
True
Suppose -i + 2*i - 10 = 2*o, -i + 5*o + 13 = 0. Let w be 18/i + (-2 - 0). Which is bigger: -2 or w?
w
Let y(h) be the first derivative of h**2/2 + 1. Let a(q) = -q**3 - 11*q**2 + 13*q + 12. Let x be a(-12). Let k be y(x). Is -1/2 < k?
True
Let m = 3264 - 1295806/397. Which is bigger: 1 or m?
1
Let k be (-171)/(-12) + 2/(-8). Suppose 3*s - k = 22. Suppose 0 = -0*o + 3*o - s. Is 5 < o?
False
Let v = -12 + 0. Let m be ((-4)/(-3))/(v/(-1566)). Let w be 6/(-9) + 104/m. Are 1 and w unequal?
True
Suppose 5*s - 6 + 36 = 0. Is s bigger than -7?
True
Let a = -7 + 5. Which is bigger: 0 or a?
0
Let b = -1466 + 112884/77. Are 0 and b equal?
False
Let y(p) be the third derivative of 5*p**4/24 + 2*p**3/3 - p**2. Let s be y(-5). Let d be (0 - (-36)/s) + 2. Which is bigger: -1 or d?
d
Let h = -11 + 13. Suppose -2*v = 2*v - u - 6, -5 = 3*v + 4*u. Let d = v - h. Which is smaller: d or -2/3?
d
Suppose 3*a = 5*a. Suppose a = 4*j - j. Which is bigger: -2/11 or j?
j
Let k be 0 + 4/(-42)*3. Suppose i - 1 = -0. Let y = 1 - i. Which is smaller: y or k?
k
Let h = 0 + 0. Let q = 0.1 - 0.11. Let t = q + -0.09. Which is smaller: h or t?
t
Let j(o) = o**3 - 3*o - 2. Let c(k) = -2*k**3 - k**2 + 6*k + 5. Let x(u) = -2*c(u) - 5*j(u). Suppose -3*g = -0 - 9. Let t be x(g). Which is smaller: 4/3 or t?
t
Suppose 3*g - u + 18 = 4*u, 4*g + 3*u = 5. Are g and 14 unequal?
True
Let a be (-6)/8 + 0/(-2). Let g = 0 - 4. Let u be (-4)/(-6)*6/g. Is u < a?
True
Let f = 24 + -25. Is f <= -0.11?
True
Let w be -1*(3 - 4/2*1). Let d be (-1)/5 + 74/270. Is d less than or equal to w?
False
Let a(q) = q**2 + 16*q + 8. Let g be a(-12). Let y be -4 + -2 + g/(-7). Which is greater: y or -13?
y
Let t be 1*(-2)/118*1. Is t at least as big as 1?
False
Suppose 25 = 4*l + 5. Let y = l - 1. Let m = -4 + y. Which is bigger: -2/15 or m?
m
Suppose 13*h - 23*h = 20. Which is smaller: h or -4?
-4
Suppose -5*t + 3*t = 14. Which is bigger: -5 or t?
-5
Let t = 34 + -24. Let k = 9.9 - t. Let p = 1 + -3. Which is smaller: k or p?
p
Let t be (-8)/6 - 2/(-6) - -2. Let y = -2143/11 + 195. Is y smaller than t?
True
Let q(v) = -v - 5. Let i be q(-5). Let z be i*(-3)/(1 + -4). Is 2/7 >= z?
True
Let o = 1954/21 - 93. Let m = o - -59/84. Suppose -3 = 4*n + 5. Which is smaller: n or m?
n
Let s = -537 - -1151/2. Let n = s - 531/14. Which is greater: 2 or n?
2
Let t = -11 - -8. Let g be (t/(-3))/(1/2). Is -0.3 less than g?
True
Let j = -66 + 64. Let n = 4 + -3.99. Is n equal to j?
False
Let n = -3 + 6. Let h(v) = v**3 + 13*v**2 - 14*v + 20. Let z be h(-14). Let o = 23 - z. Is o at least as big as n?
True
Let z = -0.04 + -0.06. Let g = -0.9 + z. Let o = 2 + -3. Is g at most o?
True
Let h = 1/43 + -46/129. Is h less than or equal to 0?
True
Suppose -3*j = j. Let x = j - 1. Let a = 0 + x. Which is smaller: 1/5 or a?
a
Let t = 7 - 8. Let d = 4 + t. Let p be d/((-9)/12) + 1. Which is bigger: p or -2?
-2
Let i = -1 + 1. Suppose 2*w - 5 - 5 = i. Are -2/5 and w non-equal?
True
Let v be (-84)/98*((-1)/3 - 0). Let n = 0 + 1. Is v not equal to n?
True
Let i = 8 - 6. Let j = 1.05 + -1. Let s = 0.05 + j. Is i less than s?
False
Let j = 3 - 0. Let m(i) = -i**2 - 15*i - 11. Let z be m(-14). Are j and z unequal?
False
Let q be (1/10)/((-48)/128). Which is greater: 1 or q?
1
Let r(j) be the second derivative of -j**4/6 + 3*j. Let n be r(-1). Which is greater: -0.1 or n?
-0.1
Let c be 45/(-12) + (-175)/140. Let z(t) = -t**2 - t - 11. Let j be z(0). Let k = 7 + j. Do c and k have the same value?
False
Let h be (9/6)/((-28)/16). Is -2 at least as big as h?
False
Let p be (-5)/(75/5)*0. Which is greater: -4/67 or p?
p
Let b = 36 + -36.1. Which is smaller: 3 or b?
b
Let m(j) = -j**3 - 5*j**2 + 2*j + 7. Let d be m(-5). Is -1 greater than or equal to d?
True
Let n(k) = -k. Let t(z) = 6*z - 3. Let r(s) = -5*n(s) - t(s). Let j be (-1)/2*(-13 + 3). Let c be r(j). Is c not equal to -2?
False
Let v(a) = a + 9. Let f be v(-9). Let c = -8 + 7. Is f < c?
False
Let r = -1811/174 + -8/87. Let t = 11 + r. Which is smaller: t or 0.03?
0.03
Let j(a) = -3*a + 3. Let s(u) = u + 8. Let l be ((-18)/15)/((-1)/(-5)). Let y be s(l). Let x be j(y). Do -3 and x have the same value?
True
Let r be (-1)/4 - (-6)/(-40). Let i(u) = -3*u - 11. Let z be i(-5). Let w be -6 - z/8*-6. Which is bigger: w or r?
r
Suppose 0 = -4*z - 0*x - x + 1, 0 = -2*z - 5*x - 13. Which is greater: z or -1/15?
z
Suppose 0 = 2*z - z - 2. Suppose z*j - 7*j = 15. Is j <= -2?
True
Let q be (3 + -2)/(5/(-5)). Which is smaller: 12 or q?
q
Suppose -5*y + 50 = 5*p, -y + 2*p - 7*p = -30. Suppose y*f - 2 = s - 3*s, 0 = 2*f - 3*s - 16. Suppose 4*z + f = 6. Which is smaller: 2/9 or z?
2/9
Let u(l) = 2*l + 2. Suppose 0 = -5*a + 3*a - 14. Let w be u(a). Let y be (w/9 - -1)/1. Is -1 greater than y?
False
Let r be (-6146)/336 + 3/(-8). Is r < -20?
False
Let q(g) = -3*g**3 - g**2 + g. Let p be q(1). Let u = -1 - p. Do u and -2/5 have different values?
True
Let m = 49 - 52. Which is smaller: m or -1?
m
Let x be 2/7 - (-96)/(-189). Let o = 0 + 0.1. Let i = -0.1 + o. Does x = i?
False
Suppose -2*q + o + 1 = 0, o - 2 + 0 = 5*q. Suppose -h + 2*h = 2*r + 114, 5*h + 4*r - 598 = 0. Let w = 1536/13 - h. Is w < q?
False
Let b(r) = r**2 - r. Let o be b(3). Suppose -5*i + 20 + 5 = 0. Is i greater than or equal to o?
False
Suppose 0 = -3*n + 4 + 2. Let b = 4 - n. Suppose 5*v - 7 + 2 = 0. Which is smaller: v or b?
v
Let s = -0.07 - 0.04. Which is greater: s or 0?
0
Suppose -c + 0*c = -2. Let t = c - 6. Which is smaller: t or -3?
t
Suppose 4*b - 4*q - 6 = 6, -4*q = -2*b + 2. Is b != 5?
False
Suppose 0 = 4*v + 28 