maller: q or d?
q
Let g(p) = -p**3 - 4*p**2 - p + 3. Let l be g(-4). Suppose -2*d - l - 13 = -a, 0 = 4*d. Let q be (-6)/(-10) + a/(-75). Which is greater: -1 or q?
q
Let g = -47 + 86. Let c = 18 - g. Let x be -1 + (-6)/c + 1. Which is smaller: 0.1 or x?
0.1
Let n = 113 + -457/4. Let t be (40/(-28))/5 - (-13)/21. Which is greater: n or t?
t
Suppose 5*b + 0*b + 25 = 0. Which is greater: -4 or b?
-4
Let v = -947/1158 + -3/193. Let h be 3/(-2)*2/3. Is h < v?
True
Suppose 0 = -k - 0 + 4. Suppose k*q = 2*q. Let g be 2/(-6)*(q + -1). Which is bigger: g or 1?
1
Suppose 2*k = -4*s + 3*k, -4*s - 3*k - 16 = 0. Let t(x) = -7*x + 5. Let n(d) = -3*d + 2. Let u(m) = -9*n(m) + 4*t(m). Let p be u(2). Which is smaller: s or p?
s
Let f be 12/(-8)*(-16)/60. Is f bigger than 0?
True
Suppose 0 = -4*w + 5*d + 75, -3 = 2*d - d. Is 15 equal to w?
True
Let k = -10 - -11. Is 5 smaller than k?
False
Let r = 5 - 7. Let b be -1 + -2 + 4/4. Let u be 5/b*8/35. Does u = r?
False
Let u = 91 - -35. Let n be 2/(-7) + 64/u. Are n and 0.1 nonequal?
True
Let r be (-796)/66*-3 - 2. Suppose -5*c = -2*l - 174, 3*l - 1 = -7. Let x = c - r. Which is bigger: 1 or x?
1
Suppose -2*f - 47 = -3*u, 6*u = u - f + 87. Do u and 16 have the same value?
False
Let j be 6/(-3) + 60/21. Let s = j - 32/21. Are 2/3 and s non-equal?
True
Let n = -37 - -33. Is -4 at most as big as n?
True
Suppose -2*t + 3*t = 0. Let d be t - 4 - (-2 + 1). Suppose 5*o + 22 = 2. Is o less than d?
True
Suppose g - 4*k - 11 = 0, k - 22 = 5*g - 172. Let w = 185/6 - g. Is 0 at most as big as w?
False
Let s be (-4)/10 + (-297)/45. Is s greater than -7?
False
Let k = 20029 + -100858/5. Let m = k + 143. Which is smaller: m or 0?
0
Let n be (48/(-180))/((-34)/5). Are n and 0 unequal?
True
Let s = 0.69 + 0.11. Let q = s + -0.6. Is -0.1 at most as big as q?
True
Suppose -z = -6*z + 3*p - 5, -4*z + 5*p - 17 = 0. Suppose 0 = 6*n - 0*n. Which is smaller: z or n?
n
Let x(l) be the third derivative of l**4/24 - l**3/6 - 16*l**2. Let j(q) = q - 4. Let f be j(5). Let r be x(f). Which is smaller: 2/3 or r?
r
Let w be ((-2)/8)/((-195)/(-940)). Let a = -5/39 + w. Is a > -2?
True
Let b(d) = 11*d + 26. Let u be b(8). Let l = 935138/8265 - -418/435. Let k = u - l. Which is greater: -1 or k?
k
Let v be (-4)/(-14) - (-48)/(-70). Let h be (-8 - -9)/(5/2). Is h less than v?
False
Let r = -1 + -0.3. Let t = 11.3 + r. Let g = t + -9.8. Which is smaller: g or 1?
g
Let a = 6 - 4. Let q = -4 + 3.8. Let o = q + 0.4. Is a at most as big as o?
False
Let n(s) = s**3 + 11*s**2 + 10*s + 3. Let l be n(-10). Let z = l - 0. Suppose -4*f + 5*f + z = 0, -2*b = -f - 1. Is b != -2?
True
Let a = -8 - 1. Let w be (-40)/(-18) - (-2)/a. Suppose 2 - 3 = -b. Which is greater: b or w?
w
Let v be 3/(1*9/(-60)). Is -20 at least as big as v?
True
Let j(b) = b**3 + 4*b**2 + 4*b + 4. Suppose 0 = 4*p - 30 + 2. Let q = p - 10. Let h be j(q). Which is smaller: h or 2?
h
Let j(w) = 3*w**3 + 22*w**2 + 8*w - 1. Let z be j(-6). Is z at most 96?
True
Let n be (-1 - 65/(-55))*6. Suppose 15 = g + 3*j + 2*j, 0 = g - 5*j + 15. Is g <= n?
True
Let w be ((-6)/5)/((-3)/5) + 0. Suppose f = 3*d - 5, 10 = -2*d - 0*f + 4*f. Which is bigger: d or w?
d
Suppose -2*s = 40 - 14. Let m be (s/(-39))/(1/3). Which is greater: m or 1/2?
m
Let c(b) = -2*b**2 - 39*b - 14. Let s be c(-19). Which is smaller: -2 or s?
-2
Suppose 0 = 3*k - 8*k + 75. Which is smaller: k or 14?
14
Let n = -11.5 + 11. Which is smaller: -0.2 or n?
n
Let o be 1/2*2 - 14. Suppose -s + 0 - 9 = 0. Let a = s - o. Does a = 2?
False
Let l be (-8)/176*(0 - 174). Let v = -8 + l. Which is bigger: 0 or v?
0
Let x be ((-4)/6)/(2/12). Is x equal to -5?
False
Let z = 7 - 12. Let u be 13/z - 0 - -2. Is u less than 0?
True
Suppose 183 = g + 68. Let s = -1033/9 + g. Which is greater: 1 or s?
1
Let b be 85/(-28) - (-4)/14. Let o = b - -85/28. Let s be (-90)/(-15) - (-13)/(-2). Is o less than s?
False
Let t be 4/2 + 41 + -4. Let r = -26 + t. Is r at least 12?
True
Let a be 500/(-2128) + 0/2. Let i = a + -2/133. Which is smaller: i or 2/5?
i
Let l be 1/(-5) - (-102)/(-15). Let n = l + 2. Let z be (8 + -3)*(-1)/n. Are 2/9 and z equal?
False
Let t = -5 - -5.03. Let f = t - 0.33. Let u = f - -0.4. Is 2/7 less than u?
False
Let w = 0.36 + -0.95. Does w = -1?
False
Let b = 293 + -307.9. Let x = 10 + b. Let n = x - 0.1. Which is smaller: n or -2/3?
n
Suppose 4*t - u = 4*u + 16, -3*u = 12. Let w(r) = r**2 + r - r - 1. Let s be w(t). Which is smaller: s or 2/21?
s
Let w be ((-5)/3 - -1)*69/46. Which is smaller: w or -2/153?
w
Let q(t) = -t**2 + 3*t + 2. Suppose -3*f + 8 = -f. Suppose -4*c - 15 = -f*h - h, -4*h = 4*c - 12. Let j be q(h). Which is smaller: j or 3?
j
Suppose 0 = -p + 6*p - 3*r + 10, 5*r = p + 24. Is p < 3/128?
False
Let n = -0.3 + 0.3. Let z(q) = -q**3 - 9*q**2 - q - 11. Suppose -2*t - 18 = -0*t. Let g be z(t). Are g and n non-equal?
True
Let n = 5 - 14. Let u = n - -9.2. Which is bigger: u or 0.5?
0.5
Let v be (-2 - (-3 + 0)) + -2. Let k be 3476/(-112) - v/(-4). Let f = -31 - k. Which is greater: f or 4?
4
Suppose 3*i + 3 = -4*g - 11, 4*i + 8 = 0. Which is smaller: -10/3 or g?
-10/3
Let s = -24/17 - 975/68. Let i = 16 + s. Let x = 11/2 + -6. Is i >= x?
True
Let c = 8542/117 - 73. Which is bigger: -1 or c?
c
Let l = -54 + 57. Which is bigger: 30/7 or l?
30/7
Suppose 0*l + 240 = -20*l. Which is greater: l or -11?
-11
Let a(c) = c**2 - 10*c + 8. Let u be a(9). Let k = -2 - -1.6. Which is greater: u or k?
k
Let q = -0.62 - -10.72. Let b = -10 + q. Let a = -0.1 + 0.1. Which is greater: b or a?
b
Let h = 13 + -13. Which is smaller: h or -8/5?
-8/5
Let i(q) = 10*q**2 + 0 - 5*q**2 - 6*q**2 + 1. Suppose -l - 5*f = -0*l - 25, -20 = -4*f. Let o be i(l). Which is smaller: 2/13 or o?
2/13
Let s = 92 + 206. Let u = 5068/17 - s. Which is greater: 1 or u?
1
Suppose 4*j + 204 - 208 = 0. Which is greater: j or 2/115?
j
Let a = 7 + -3. Suppose -2*u + 3*l - 4 = -45, a*l = 4*u - 76. Suppose 5*v = u - 6. Which is smaller: v or 3?
v
Let h be (-4)/18 - (-99)/81. Do h and 3 have the same value?
False
Suppose v = -5*k + 15, -17 = -4*k + 3*k - 3*v. Let r(x) = -1 - 7*x - x - 6*x**k - x**3 + 3*x. Let s be r(-5). Is s at most as big as -1?
True
Let i = 462.97 - 465. Let c = i + 0.03. Which is greater: 1 or c?
1
Let k = 7 + -11. Let y(x) = x + 4. Let g be y(k). Let l be (-2)/(-5)*(-6)/(-4). Is g <= l?
True
Let u = 4/65 - 2/195. Is -1 at least u?
False
Let z(x) = 2*x - 10. Let s = 5 + 0. Let w be z(s). Is -3 smaller than w?
True
Let w = -9 - -10. Let z = -205403395/30032856 - -2/536301. Let g = -57/8 - z. Do w and g have the same value?
False
Suppose -2*q = 3*q - 4*y - 12, 3*y = 6. Suppose q*z - 3*z + 3 = 0. Is z bigger than -9/5?
False
Let c = 5 + -7. Let h be c*(-1 + 9/6). Is -4/3 equal to h?
False
Suppose -4*r = -3*r - 1. Let t be 2*(-921)/702 - 0. Let l = t + 25/9. Which is greater: l or r?
r
Let i = 0.14 + 6.86. Let x = i - 7.9. Let j = 1 + x. Is 4 less than j?
False
Let x be (-2)/11 + -508*(-3)/396. Let p be ((-4)/3)/(1/(-3)). Which is smaller: p or x?
x
Suppose 5*a = -5*n + 5, a + 1 = -0*a - 3*n. Let t be 175/55 + a/(-11). Let m be -4*(-1)/2 - t. Is 0 >= m?
True
Let m = -1.4 - -1.55. Let a = m + 0.05. Which is smaller: 0 or a?
0
Let o(q) = 2*q**2 - 7*q + 9. Let w be o(4). Suppose 3*b + 91 = 10*b. Do b and w have the same value?
True
Suppose 0 = 3*j - s - 4 - 6, 4*s = -2*j + 2. Let l = j + -4. Is 1/5 <= l?
False
Let x(z) = z**2 + 7*z - 12. Let s be x(-9). Let t = -6 - -9. Let y be (-4)/(-12) - (-2)/t. Is s <= y?
False
Let d = 1 - -8. Suppose -b + d = -4*b. Let j be (-2)/(-6) - (-1)/b. Are j and 1 nonequal?
True
Let w be ((-8)/(-6))/((-2)/6). Let c be -2 + 0 - 9/w. Let n = -38 - -38. Is c bigger than n?
True
Let r = -0.94 - 0.06. Let x = -4 - -3. Let b be (-13)/(-20) + x/4. Which is smaller: b or r?
r
Let g(a) = -4 + 3 - 3*a + 3*a - 3*a**2. Let h be g(1). Let i(y) = y**2 - 7*y + 2. Let d be i(6). Are h and d equal?
True
Suppose 0 = -3*i - 4*c + 8, 2*i - 1 = -5*c + 9. Suppose 3*k + 981 = -n - 4*n, i = 5*n - 5*k + 965. Let x be ((-5)/(n/(-6)))/1. Which is greater: 1 or x?
1
Let x = -4 + 25. Suppose x = -w - 11. Let h be w/6 + 4/12. Which is greater: h or -2?
-2
Let g = -6376/3 - -2144. Let v = g - 19. Which is greater: 0.1 or v?
0.1
Let w = -2 + 14. Let q = -12.2 + w. I