t h(v) = -v + 7. Let q be h(5). Which is smaller: q or u?
q
Let h be (-4)/6 - 32/6. Let c be 6/(-9) + (-4)/h. Is -3/5 greater than or equal to c?
False
Let y(d) = -d**3 + d**2 - d - 1. Let c be y(-1). Suppose c*i + 3*i - 10 = 2*a, -2*i = a - 4. Let w be (-32)/(-36) + 2/(-9). Which is bigger: a or w?
w
Suppose d - 15 = -2*d - 3*n, 5*n + 5 = 0. Let q be (-26)/195*d/(-8). Let v be 2 + 0 + 1 + -2. Is q bigger than v?
False
Suppose -3*j = -0*j - 9. Let m = j + -5. Let p be (-2 + (-1 - m))*0. Is p less than or equal to -2/7?
False
Suppose 33 = -4*z - 5*i, -4*z + i + 3*i - 60 = 0. Let d be 84/z + -1*3. Which is smaller: -11 or d?
-11
Suppose 2*t - 2 = t. Let z = -129/476 + -1/68. Is z bigger than t?
False
Let a = -0.9 + 0.7. Let z(q) = q**3 - 6*q**2 + 6*q - 5. Let l be z(5). Is a less than l?
True
Suppose p + 3*l = 5*p - 4, -2*l + 4 = 4*p. Which is smaller: p or 28?
p
Suppose 5*m + 4*p + 15 = 0, 3*m - 19 = 3*p - 1. Suppose 2*n - 1 - m = 0. Suppose -g + 2 = n. Which is smaller: g or 2/3?
2/3
Suppose -3*y = -2 - 16. Let p = 3 - y. Let x be (1/(-5))/((-6)/12). Is p greater than x?
False
Let u = 2 + -2. Suppose o = 6*o - 2*c, 4*o + 3*c = 0. Suppose o = 2*j - j. Is u <= j?
True
Let i = -9 + 13. Suppose 0 = -l - i + 2. Is -1 at most as big as l?
False
Suppose 4*j - 12 = -2*j. Is j at least as big as -2?
True
Suppose i = 1 + 3, 2*i - 5 = -o. Suppose 0 = 3*c - 8*c - 5. Let z be ((4 - 0) + -2)/c. Which is greater: z or o?
z
Let n = -3 - -3. Let z = n - -1. Let f = 13 + -89/7. Is f smaller than z?
True
Let p = 3.1 - 2.1. Is p greater than -0.4?
True
Let p = 11 - 11. Does p = 1/25?
False
Let x = 1.5 - 7.5. Let s = x + 6.4. Which is bigger: 2 or s?
2
Let x(g) = -2*g + 42. Let m be x(20). Which is bigger: -6 or m?
m
Let u = -4 + 13/3. Let j = 2 - -1. Let x = j + -2.9. Which is smaller: u or x?
x
Let u be 6/(-18)*1/7. Is u at most -1?
False
Let a = -9 - -11. Let j = 4 + -3. Which is greater: j or a?
a
Let q = 145 - 145. Which is greater: q or -2/5?
q
Let m be ((-2)/(-7))/((-1)/(-7)). Suppose -m*a + 5*r - 19 = 0, -a + 1 + 6 = 3*r. Is a at least as big as -2?
True
Let o = -0.64 + 0.6. Let g = 2.96 - o. Is g smaller than 1/4?
False
Let t be 258/(-540)*2 - -1. Let s be (-2)/5 - 7/(-5). Is s greater than t?
True
Let v = 7.8 - 8. Is 2/7 not equal to v?
True
Let d = 0.06 - 3.06. Let x = -2.13 + 0.13. Let k = x - d. Is k != 1?
False
Suppose 2*d - 6*d - 14 = 3*g, -4*d = 4*g + 12. Which is smaller: 1 or g?
1
Let x(a) = -a - 2. Let o be x(-5). Suppose l - 1 = g, -o*g + 8*g + l = -5. Is g greater than 1?
False
Let i = -2706 - -8197/3. Let w = -26 + i. Let f = 725 + -9431/13. Is f bigger than w?
False
Let d be 33/(-24)*58/(-7). Let o = d - 45/4. Let g(t) = t**3 - 4*t**2 + t - 3. Let q be g(4). Which is smaller: o or q?
o
Let i = -1679/16 + 105. Let z be -3 + (4 - 0) + -2. Is i at least z?
True
Suppose 0*m - 3*m = 0. Let y be (0 - m)*(-1)/2. Let v be y + 3 - (-40)/(-12). Which is greater: v or -0.1?
-0.1
Let o be (6/9)/((-4)/6). Let u be (-3)/(-6)*o*-2. Suppose 5*a + 1 - 11 = 0. Which is greater: a or u?
a
Let q be 3 - (-1 + (-1 - 0)). Which is smaller: 4 or q?
4
Let c be 10/(-4)*8/(-5). Suppose -2*v = -n - n + c, -3*v = 2*n + 11. Are 3 and n equal?
False
Let p be 3/(-1)*2/9. Is 84 > p?
True
Let y(r) = 10*r - 6. Let o(f) = -3*f + 2. Let m(s) = 7*o(s) + 2*y(s). Let q be m(1). Is q equal to -1?
False
Suppose -3*b = -2*b - 15. Let g = -21 + b. Let a be 1 + (0/2 - 6). Which is greater: a or g?
a
Let g be 26/10 - 4/(-10). Suppose 0 = -3*k + 2*z - 0*z + 22, -5*k + 3*z = -35. Suppose -12 = -k*w - 0*w. Do g and w have the same value?
True
Let v = 5 - 8. Is v greater than -3?
False
Let b(f) = -5*f + 41. Let g be b(0). Which is bigger: g or 43?
43
Suppose -2*p - h + 9 = 0, -4*p + 6*p - h = 7. Suppose -6*o = -2*o + p. Let c = o - -1. Is -1 > c?
False
Let t = -1 - -1.4. Let j = t - 0.4. Is j at least as big as -2/9?
True
Let r be (-2)/(-4) - (-189)/14. Suppose 2*s = 4*s - r. Which is bigger: 6 or s?
s
Let w be 1/4 + 798/(-24). Let o be (-3)/(-15) - w/(-115). Which is greater: o or 0?
0
Let r = -105 + 97. Which is smaller: r or -9?
-9
Suppose y = -2*m + 207, -5*m + y + 550 = -3*y. Which is greater: m or 107?
107
Suppose 5*q = q - i + 18, -q + 10 = 3*i. Let v = q - 4. Which is bigger: v or 3/4?
3/4
Suppose 5 = -q - 2*d, 2*d - 8 = -2*q + 7*d. Is -1/10 less than q?
False
Let k = 1.38 - 7.48. Let p = -6 - k. Is 0.6 >= p?
True
Let n = -42 + 119/3. Are -3 and n nonequal?
True
Let u(v) = 22*v**3 - v**2 + 1. Let n be u(1). Suppose -5*o + 13 = -n. Let b be (-6)/(-12) - o/10. Is b at least 0.1?
False
Let h be 2/(-20)*(1 - -3). Are h and -10 non-equal?
True
Let p be 1 + (1 - (1 - -1)). Suppose 5*s = 4 - 24, 5*k + 5*s = -5. Suppose 6 = -q - k*v, -3*q - v = -p*v + 10. Is 0 less than q?
False
Suppose 0*i + 10 = 2*i. Let a be 7 - (11 - 2)/3. Are a and i non-equal?
True
Let z(x) = -x**2 + 17*x - 15. Let y be z(16). Which is bigger: 2 or y?
2
Suppose 0 = -2*s - 3*g - 5, -5 = s + 2*g - 1. Which is smaller: s or 15/16?
15/16
Let q = -1/12 - -67/12. Which is smaller: q or 6?
q
Let y = 15/28 - -19/7. Do 3 and y have different values?
True
Suppose 2*u = 1 + 3. Suppose -u*d = -d - 1. Let v(c) = c**3 + 3*c**2 + 5*c + 7. Let m be v(-2). Do d and m have the same value?
True
Suppose -4*b + 2*p + 2 = -3*p, 4*p - 8 = 0. Let g be 1 - 0 - b - -2. Let x = 184 - 1658/9. Is x less than or equal to g?
True
Let m = 12 - 20. Let n be m/(-15) + (-5)/25. Which is greater: n or -0.3?
n
Let r be 1/((-6)/14)*-3. Let f = 5 - r. Which is smaller: -7/5 or f?
f
Let d = -112 + 127. Is 13 at most d?
True
Let t = -7 - -16. Let g be ((-3)/t)/(2/6). Are 1/5 and g nonequal?
True
Suppose 0 = 4*o - 11 + 3. Suppose -14 = 3*s - o, -2*s = 5*f + 8. Suppose 0*z + 5*z = f. Which is bigger: z or 2/9?
2/9
Let r = -3.2 + 3.7. Which is smaller: r or 1?
r
Let r be (1 + -1)*(-4)/12. Let c be (-6)/(-21) + (-12)/(-7). Suppose -c*l + r*l = 8. Is l equal to -4?
True
Let a = -0.38 - -0.28. Which is bigger: a or 2/15?
2/15
Suppose -q - 5*y + 18 = 2*q, -3*q + 4*y = 9. Let l(v) = 4*v**3. Let a be l(1). Suppose -a*t = 3 + q. Is -1 at most as big as t?
True
Let x be ((-2)/(-8))/((-1725)/4526740). Let s = x + 656. Let d = -8/69 - s. Which is bigger: 1 or d?
1
Let u be 3 + (1 - (-6)/(-2)). Let n be 22/77 - 38/182. Is u >= n?
True
Let n be (8/(-10))/((-2)/(-15)). Let o = -10 - n. Let f be -2*1 - (0 + 1). Which is smaller: o or f?
o
Let k = -3 + 6. Suppose k*t + 3 = -3. Is -0.1 > t?
True
Let t(g) = -1 + g**3 + 4*g**2 - 5*g + 0 - 2. Let w be t(-5). Let z(s) = s + 4. Let k be z(-5). Which is greater: k or w?
k
Let q = 10 - 9.85. Let u = q + 0.05. Let z be (-136)/(-80) - 6/4. Is u less than z?
False
Suppose -165 - 151 = 2*n. Let h = n + 1104/7. Is -2 smaller than h?
True
Let z be ((-4)/2 - 0)/5. Suppose -5*l + 5*b = -10, -1 = 2*l - 4*b + 1. Suppose -3*u + l = 2. Which is smaller: z or u?
z
Let y = -2.4 + 0.4. Let p = 2.1 + y. Let o = 1/6 + 1/6. Is p bigger than o?
False
Let v(f) = 6*f**2 + f + 3. Let q be v(2). Do 29 and q have different values?
False
Suppose -3*h + 375 = -3*w, -2*w - 214 = 3*h + 36. Is -126 equal to w?
False
Let c = -38 - -112/3. Let a be (-2)/(-7) + 1 + (-285)/140. Are c and a equal?
False
Suppose -k = -t - 3 - 5, 5*k + 8 = -3*t. Is t less than -6?
False
Let g = -6.9 + -1.1. Let z = 13 + g. Is z at least 0.1?
True
Let g = 4.6 - 5. Let s = -0.03 - 1.37. Let c = g - s. Which is smaller: -3 or c?
-3
Let g(q) = -q. Let k be g(-2). Let f = 2 - k. Suppose -4*d + 5*d - 1 = f. Is -2/13 less than or equal to d?
True
Let s(c) be the first derivative of c**3/3 - 2*c**2 + 2*c + 1. Let v be s(3). Let w be -2*v/2 + 1. Is 2 > w?
False
Let d be -3 + 5 + 159 + 2. Let r = d - 1139/7. Is r <= 0?
False
Let h = -9 + 11. Do 2 and h have different values?
False
Let m(w) = -w**3 + 6*w**2 + 7*w - 3. Let a be m(7). Let r = -1 + 3. Suppose -2*k = -r, 2*x - 5*k + 9 = -0*x. Which is bigger: x or a?
x
Let c = 0.08 + 0.02. Let r = 0.1 - 0. Let y = r + c. Is y >= -0.1?
True
Let y = 1 - 1.3. Let k = -0.5 - y. Let h = -0.9 + 0.7. Is k < h?
False
Let r = 6/37 - -457/148. Let l = 15/4 - r. Let j(k) = -k + 12. Let s be j(10). Which is smaller: l or s?
l
Let r = 2 + -12. Let f = -9.94 - r. Let l = 0.94 + f. Is 7 <= l?
False
Let h(k) = -2*k + 1. Let r be h(1). Let j = r - -2. Let p be j