ich is smaller: -1 or q?
q
Suppose -8*h - 14 + 22 = 0. Let f = 0.1 + 0.1. Is h at most f?
False
Let d be (-3)/5 - 3/(-10). Is 0.1 smaller than d?
False
Let z = -14 - -33. Which is greater: z or 15?
z
Let b(w) = -w - 5*w**3 + 6*w**3 - 2*w**2 - 3*w**3. Let h be b(-1). Let z be (-2 + 2)*(0 - h). Is 1 > z?
True
Let d(q) = -q. Let t be d(-3). Let y = t + -1. Suppose -k + 1 = y. Which is smaller: 1/6 or k?
k
Let q = -0.08 - -0.08. Which is bigger: -5/7 or q?
q
Let z be (2/3)/((-12)/(-18)). Suppose 2*r + 5 = z. Let i = -59/2 + 29. Is r at least i?
False
Suppose 1 - 13 = -3*u. Let c = 7 - u. Let r = 0.5 + -0.5. Which is greater: r or c?
c
Let v be (-4)/(-30)*(-50)/6. Let i = -7/9 - v. Let y be (2 + -2 + -1)*0. Which is greater: y or i?
i
Let d be 6/3 - 1/1. Which is bigger: 3/10 or d?
d
Let o = 21 + -16. Suppose -z = -o*z. Which is bigger: z or 1/26?
1/26
Let k = -42215 + 9751600/231. Let n be (-4)/(-70)*10/132. Let l = k - n. Is 1 at least as big as l?
True
Let q = -6 - -4. Let d = -6 + 14. Let w = 4 - d. Which is smaller: q or w?
w
Let w(q) = -q**2 - 5*q - 6. Let c be w(-4). Suppose 2 = -3*i + i. Which is smaller: c or i?
c
Let a = 5 + -6. Which is greater: a or 1/9?
1/9
Let u be (-2)/8 + (-159)/4. Let d be u/(-42) + (-4)/6. Is d at most as big as 1?
True
Let v = -2.95 + -0.05. Let s = -2 + v. Let q(n) = n**3 + 5*n**2 - 5*n + 6. Let p be q(-6). Which is smaller: p or s?
s
Let l = 35 + -29. Are 5 and l nonequal?
True
Let p(f) = -f**2 + 6*f + 1. Suppose -5*h - 39 = -4*m, 2*h = -8*m + 3*m + 24. Let x be p(m). Let u be ((2 + -3)/(-1))/x. Which is greater: u or -3/7?
u
Let a be (-1)/(-7)*(1 + 2). Let u = -27/140 - 2/35. Does u = a?
False
Let c(v) = -v**3 + 2*v**2 + 2*v + 3. Let i be c(3). Which is smaller: i or -2/21?
-2/21
Let x = 24 + -40. Which is smaller: -15 or x?
x
Let q = 4.139 + -0.139. Let v = 2.06 + -0.06. Which is smaller: q or v?
v
Suppose 0 = 5*b + 3*s, s + 8 = -4*b - 3*s. Which is greater: b or 9/4?
b
Suppose 10 - 4 = 3*j. Let y be ((-4)/3*1)/j. Let m be (0/6)/(2/(-2)). Is m less than y?
False
Let h = 1.731 + 0.069. Which is smaller: 0.4 or h?
0.4
Let a = 1 + -1. Let b = a + 0.1. Let n = -0.1 - 0.1. Is b greater than or equal to n?
True
Let z(s) = 2*s - 17. Let l(k) = k - 9. Let i(r) = -7*l(r) + 4*z(r). Let f be i(-6). Is -11 less than or equal to f?
True
Suppose 0 = 2*x - 3*z + z - 6, 0 = -3*x + z - 1. Which is smaller: 2/15 or x?
x
Let i = -10 + 9.8. Is 0.3 at least as big as i?
True
Suppose -o + 6*o = 2*f - 26, 2*o - f + 10 = 0. Let u be 2/2 - 55/10. Which is smaller: o or u?
o
Let x(a) = a - 1. Let r be x(-7). Let p be 2/r*(-24)/(-54). Is p >= 1?
False
Let d(z) = -z**3 + 7*z**2 + 8*z - 1. Let a be d(8). Let i = a - 15. Is i smaller than -15?
True
Let q = -0.03 + 6.03. Let z = 6.2 - q. Which is smaller: -4 or z?
-4
Let w = -11 - -9. Let z be w/(0 + (2 - -17)). Are z and 1 nonequal?
True
Let m = -2.8 + 2.8. Let p = -1.6 - 0.4. Which is smaller: m or p?
p
Let x be (0/(4 - 0))/(-2 + 0). Let v be 3/2*(-20)/(-6). Suppose 5*b - v = -0*b + z, -20 = 5*b + 4*z. Are x and b non-equal?
False
Let i(d) = -d**3 - d**2 + 3*d + 2. Let y(c) = -c + 2. Let x be y(4). Let f be i(x). Let m = -2.1 + 1.1. Is m less than f?
True
Let w = 47 + -46. Let v = 10298/39 + -264. Are v and w nonequal?
True
Let h(d) = -2*d + 4. Let y be h(4). Let l = 4 + y. Are -2 and l equal?
False
Let v = 4/161 + 166/6279. Let s = v + 8/13. Is s greater than or equal to -1/3?
True
Let v = -7.2 + 7. Let d = -0.3 + 1.2. Let a = -0.1 - d. Which is smaller: v or a?
a
Let n = -0.04 + 3.04. Let i = -3.158 - -0.058. Let k = n + i. Which is greater: -1/8 or k?
k
Suppose 5 = -4*t - t. Suppose 2*h + 9 = -0*m - m, 0 = 4*h + 3*m + 13. Let q be 2/h + 2/7. Do t and q have different values?
True
Let m = -6.8 - -7. Let n = -0.082 - 0.058. Is n less than m?
True
Let o be (0/1)/(2 - 5). Let q be (4 - 2 - o)/(-2). Is -2/5 less than q?
False
Suppose 14*w - 27 = 85. Let x(n) = -n**2 - 10*n + 1. Let d be x(-9). Which is bigger: w or d?
d
Let w = 3 - -9. Suppose -u = 3*p - 11, -4*p + w = -p. Is u greater than 3/8?
False
Suppose -s = -0*s. Which is smaller: s or 1?
s
Suppose 4*d - 2*z = 10, z = 2 - 5. Which is smaller: 25 or d?
d
Suppose 0 = -y - 3*y + 4. Suppose 5*z - y = -6. Is z >= -2/11?
False
Let m = -32/9 + 11/3. Is m <= -1?
False
Let l(k) = k + 6. Let c be l(-5). Which is smaller: c or -4/13?
-4/13
Let y = -1 - -2. Let i be 235/75 - (1 - -2). Are i and y unequal?
True
Let y be (-1)/1*(-93)/(-399). Let p = 1/19 - y. Which is smaller: p or 8?
p
Let o = -1 + 4. Which is smaller: o or 5?
o
Suppose -2*f + 2 + 8 = 0. Suppose 2 = -2*w - 3*a, w - f*a - 2 = -3. Which is bigger: w or 1?
1
Let w = 21 + -15. Let t(n) = n - 2. Let a be t(w). Let j(x) = x**2 - 6*x + 3. Let s be j(6). Is s less than or equal to a?
True
Let d be -1 - 2/10 - -1. Suppose 8*s - 17 = -9. Do s and d have the same value?
False
Let h be (-104)/(-225) - (16/(-9) - -2). Which is smaller: h or 1?
h
Let h = 15 - 12.4. Let n = -2.6 + h. Is n greater than or equal to -2?
True
Let x be (-45)/27*(-3)/1. Are x and 4 equal?
False
Let y(f) = -30*f**3 + f**2 - f. Let v be y(1). Let u be (-20)/v + (-40)/42. Is 0 >= u?
True
Let j(f) = 23*f - 2. Let c be j(-6). Let m = c - -692/5. Does -3 = m?
False
Let k(c) = -c**2 - 3*c. Let x be k(-4). Let r be (4/(-6))/(x/12). Let w be -2 - (0 + r - 0). Is -2 at most w?
False
Let p = -8 + 8.02. Is 1 at most p?
False
Let s = -254 + 241.9. Let t = s - -12. Is t at most 2?
True
Let s be 48/(-68)*4/(-12). Which is bigger: s or 2?
2
Let b = 5 - 4. Which is greater: 2/3 or b?
b
Suppose 5*i + 13 = 153. Let u be 1317/i - (-4)/(-14). Let o = u + -47. Which is smaller: o or 2/29?
o
Let b = -0.128 + 2.228. Is -1/3 at most b?
True
Let g = 2 - 2. Let p = 1 - 0.9. Let c = g - p. Is -0.2 != c?
True
Let k = -10 - -8.4. Let j = 2.5 + k. Let s = j - -0.1. Are s and -0.1 equal?
False
Let f be (-1)/1 + (-12)/(-21). Let s = f + 1. Which is smaller: s or 2?
s
Let i be (-4)/(-66)*2949/(-220). Let k = -3/242 - i. Which is smaller: k or 2/9?
2/9
Suppose c = -2*c - 5*r + 25, 0 = -4*c - 5*r + 30. Let g = 11 + -6. Is c < g?
False
Let i = 31 + -45. Let h = -18 - i. Which is bigger: h or -0.1?
-0.1
Suppose -2*r - 16 = 2*l, 7*r - 2*r + 3*l = -50. Let q = -5 - r. Does q = 8?
True
Let q be -2 + (-174)/(-7) + (-4)/14. Is 24 smaller than q?
False
Suppose 0 = -4*b - 8, -4*n + 0*b - 3*b + 2 = 0. Suppose -3*l = 2*k - 213, -n*k = -9*l + 4*l - 205. Let d = 523/5 - k. Is d <= 1?
True
Let f = 14 + -13. Which is smaller: f or 2/55?
2/55
Suppose 0 = 5*t - 3*r - 1, t + 4*t + 4*r - 22 = 0. Suppose -3*g = -u - 20, -4*u - 6 = 3*g - 31. Let a = g + -6. Which is smaller: a or t?
a
Suppose 11*y = 12*y. Which is bigger: 2 or y?
2
Suppose 0 = -3*j + 201 - 15. Suppose -50 = -4*w - 5*o, -5*w - 5*o - 2 + j = 0. Let m be (-4)/w*(-20)/8. Are m and 3/5 non-equal?
True
Let l = -178 + 160. Which is greater: l or -16?
-16
Let h = 16 - 14. Let u = 1.1 + -1. Is h greater than u?
True
Let s = 1 + -3. Let r be (-1)/3 - s/6. Let x be (-1 - 2/(-6))*-3. Is r at most x?
True
Let d(i) = -4 - i + 7 + 2. Let n be d(3). Suppose -q = -3*q + n. Which is smaller: q or -0.1?
-0.1
Let j = 0.04 + 0.06. Is 1/3 not equal to j?
True
Suppose -72*m - 1 = -71*m. Which is smaller: m or 1?
m
Let f = -5/12 - -1/6. Let g = 6.08 - 6. Let a = g + -6.08. Are f and a nonequal?
True
Let k = 16 - 15.94. Is 0 >= k?
False
Let y = -153/4 + 39. Let d be 8*46/(-35) - -1. Let a = d + 49/5. Which is smaller: y or a?
a
Let t = -10 - -6. Let h(o) be the third derivative of -o**6/120 + o**5/10 - o**3/2 + 3*o**2. Let j be h(6). Is t less than or equal to j?
True
Let k = 1 + 1. Suppose -3*u - 12 + 0 = 2*x, u + 8 = -k*x. Let h be (3/(-4))/(1/4). Which is greater: u or h?
u
Suppose -f + 3 = -0. Suppose -f*d = -7*d. Which is smaller: 2/23 or d?
d
Let x = -11 + 12. Are 2/17 and x equal?
False
Suppose -3*q = -0*x - 3*x + 6, -2*x + 4 = -q. Suppose -3*d - x*d + 20 = 0. Let n be (d/(-2))/(2*3). Which is smaller: -1 or n?
-1
Suppose -4*d = -2*s - 52, 2*s + 7 = d - 3. Which is bigger: d or 11?
d
Let u(p) = -p**3 - 5*p**2 - 4*p + 3. Let c be u(-4). Suppose -5*m - 3*b - 13 - 29 = 0, 4*b - 31 = c*m. Let a = -10 - m. Do 1/6 and a have the same value?
False
Let l be (-12)/(-20) - 53/80. Are -0.2 and l equal?
False
Let k = -75/248 - 52