e
Suppose -3 = s, -2*s = -2*t + 36 - 4. Which is smaller: 12 or t?
12
Suppose -5*g + 4*h - 44 = 6, 10 = -g + 3*h. Which is bigger: g or -9?
-9
Suppose -u - 15*s + 18 = -18*s, 4*u - 33 = -s. Are 43/5 and u nonequal?
True
Let s = 1.13 - 0.13. Is s less than or equal to 0.3?
False
Let i = -6032/7 + 860. Is -2 less than i?
True
Let a(d) = -d**3 - 15*d**2 - 2*d - 31. Let m be a(-15). Is m at most 1/13?
True
Let c(q) = -4*q**3 - 4 + 3*q**2 + 7 + 3*q**3 - 4*q. Let j(k) = -2*k. Let t be j(-1). Let b be c(t). Which is smaller: -0.1 or b?
b
Suppose 8 = -2*o - 2*o. Suppose 0 = -0*q - 2*q - 4. Let a be q*((-3)/(-3) - 0). Is o smaller than a?
False
Let o = 101/6 - 17. Let h = 13 - 5. Suppose -4*r - 21 = 5*w, -w + 5*r + 27 = h. Which is smaller: o or w?
w
Suppose 0 = -3*h + 7*h - 8. Suppose -5 = h*f - 7*f. Is f smaller than 1/3?
False
Let n = 284 + -169. Suppose 5*r - n = -0. Suppose -3*q - r = -8. Is -4 at most as big as q?
False
Let z = -0.01 - 0.19. Let y be -1*1*(-3)/(-15). Is y greater than z?
False
Let c = 5 - 9. Let o be 18/c*3/18. Which is smaller: 0 or o?
o
Suppose -2*p = -2*s + 10, -4*s = -s + p + 5. Let h = 0.1 + -0.1. Do h and s have the same value?
True
Let z = 2 - 2. Let a = -3.2 + 3. Which is smaller: z or a?
a
Let m = -0.06 + 0.66. Let r = m + -0.9. Let j = r - -1.3. Which is greater: j or -2?
j
Let l = 1.55 + -0.55. Let v = -2.2 + 2. Let k = v + 0.24. Which is smaller: l or k?
k
Let d(g) = g**2. Let m be d(0). Which is bigger: m or -1/115?
m
Let d = 0.6 + -0.55. Is -1/2 bigger than d?
False
Suppose 0 = 3*w - 5*w + 8, -3*l + 5*w = 20. Suppose 2 = -d + 7. Let b = l + d. Which is bigger: b or 3?
b
Let h be 3/2*2/3. Let y be -6 + h - (-7)/(-7). Let d = y - -4. Are -2 and d unequal?
False
Suppose -19*i - 559 = -6*i. Which is bigger: -131/3 or i?
i
Let d be 30/25 + (-2)/10. Let b = d + 0. Is b < 0?
False
Let v = 23/19 - 139/209. Is v less than -1/7?
False
Let z(x) = x**3 - 6*x**2 - 5*x + 2. Let r be z(6). Let b be 596/r + 4/14. Let a be 8/(-14) + (-6)/b. Which is smaller: 1 or a?
a
Let i = 5 - 0. Suppose k - 3*k = i*g + 9, -3*g - k = 6. Are -1 and g unequal?
True
Let y = -16 + -3. Is y greater than or equal to -0.1?
False
Let m = 4 + -7. Let y be (m + 88/30)*-3. Is -2/7 less than y?
True
Suppose 4 + 2 = 2*k. Let o be 1 + k + (-45)/12. Is o at least as big as 0?
True
Let n = 1 + -2. Let k = n - 0. Suppose 0 = 2*q - 5*t - 18, t + 4*t = 5*q - 15. Is k <= q?
True
Let x = -44/3 - -14. Which is greater: -1 or x?
x
Let u be 0 - 6/2 - 1. Suppose -2 - 2 = -t. Let i = t + u. Is -1/3 < i?
True
Let p(v) = 2*v + 3. Let h = -7 + 4. Let d be p(h). Suppose -4 + 2 = s. Is d < s?
True
Let g be ((-20)/40)/(2/(-4)). Which is smaller: -2/35 or g?
-2/35
Suppose 27 - 2 = 5*f. Is 4 at least f?
False
Let j = 6551/24 + -273. Is -1 at most j?
True
Let c be (-1 - -2)/(1 - 3). Let j(m) = m**2 - 15*m - 4. Let s be j(14). Let w(a) = 2*a + 34. Let y be w(s). Is y at least as big as c?
False
Let x(f) = -f + 9. Let s be x(4). Suppose -5 = -j + s*c - 2*c, 5*c - 10 = -2*j. Let r = 321 + -316. Is r less than j?
False
Let l(y) = y**2 + 6*y + 2. Let g be l(-6). Let p(q) = -q + 12. Let r be p(10). Suppose 0 = -2*f - 10, 0 = r*w - 0*w + f - 1. Is g > w?
False
Let x be -8 - (-3 - -4 - -1). Is -9 at most x?
False
Let q = 0.187 - 0.087. Is -0.33 < q?
True
Let o = -0.93 + 2.93. Which is bigger: -10 or o?
o
Suppose w + i - 5*i + 21 = 0, 2*i + 21 = -w. Let p = w - -30. Suppose -n - p = n - h, n = -h - 6. Is -6 greater than n?
False
Suppose 4*x + 2*o = 9 - 1, 2*x = -3*o + 12. Let b be (2 + x)*(-2)/4. Let s be (1/(-2))/(110/44). Is s greater than b?
True
Let h = 2.23 - 2.1. Let f = -0.67 - h. Which is smaller: f or -1?
-1
Let d = 13.6 + -14. Let o = -6 - -5.8. Which is bigger: d or o?
o
Suppose 3*w = 7*w + 20. Which is greater: w or -19/4?
-19/4
Let u = -64 + 58.9. Let f = u + 5. Are 2 and f equal?
False
Let o(u) = -2*u**3 + 2*u**2 + 2*u. Suppose 5*j = -2 + 12. Let l be o(j). Which is bigger: l or -5?
l
Let u(w) = 4*w - 5. Let j be u(9). Suppose 3*y - j = 5*s - 4, 0 = 3*y + s - 9. Let m be (-3)/y*3/(-9). Is m at most as big as -1/2?
False
Let h be 81/(-6) - (-6)/4. Is -13 greater than h?
False
Let d(p) = -p**3 - 2*p**2 - 4*p - 2. Let z be d(-1). Is z at least as big as -1/23?
True
Suppose -10 = -2*r + 3*r - 2*u, -r - u = -5. Let m be (-1 + 2 - 0) + -1. Is r > m?
False
Let p be ((-66)/30)/((2/(-1))/10). Is 12 smaller than p?
False
Let y = 13.2 + -3.3. Let v = y + -10. Which is smaller: v or 13?
v
Let b be 15/(-60) + 14/(-8). Which is smaller: b or -6/7?
b
Let u = -155 + 158. Is -16 at most u?
True
Let t = 1.9 + -1.9. Which is smaller: t or -4?
-4
Let g = 2121/11 - 193. Let y = 0 - 0. Suppose y*b = b. Is g bigger than b?
False
Let s = 93 + -94. Which is smaller: -4/9 or s?
s
Suppose 3*o = 4*c - 3, -4*o - 5 = o - 5*c. Let b = 5 + -7. Is o < b?
False
Let f = -0.5 + 0.3. Let q = -19 + 22. Is f smaller than q?
True
Suppose 5*c + 2*u - 75 - 2 = 0, -3*u + 78 = 5*c. Let b(d) = -4*d + 2. Let w be b(-3). Is c greater than w?
True
Let s = -4 + 3.56. Let q = 0.04 + s. Let n = 0.4 + q. Which is smaller: 1 or n?
n
Let p be (-237)/(-9) + (-1)/3. Let f be (1 + p)*4/(-8). Let d = 105/8 + f. Which is smaller: d or 0?
d
Let a be 6 + -2 + 1 + -11. Is a equal to -1?
False
Let d be (-8)/(-5) - (-2)/5. Suppose -4 = 2*u, 2*a - d*u = u + 4. Does a = -1/5?
False
Let m(v) = v + 2. Let r be m(-6). Let d be ((-2)/r)/((-7)/(-8)). Is d equal to 0?
False
Let g be 10/7*2/5. Suppose 2*v = v + 2. Is v smaller than g?
False
Let o = 2216 + -17761/8. Which is smaller: o or -5?
-5
Let r = 1.1 + -1.2. Is -5 at most r?
True
Let k(g) = -g**3 - 14*g**2 + 14*g - 6. Let y be k(-15). Is 8 at least as big as y?
False
Let k = 50 - 199/4. Suppose -15 = -6*p + 3*p. Suppose 2*x = -3 + p. Which is greater: k or x?
x
Let m = 31 + -29. Let r = 3.1 + -3. Is m bigger than r?
True
Let t be 8/(-6)*(-1)/(-2). Let q(i) = -i - 4. Let o be q(-3). Let f be (-2 + 1)/(2 + o). Which is smaller: t or f?
f
Let l = 15 - 16. Is -21 at most as big as l?
True
Suppose 2*p = -2*f, f = 5*f. Suppose 0 = -4*s, 4*c = -c + 5*s. Is c not equal to p?
False
Let d = -5592/23 + 243. Is -1 less than d?
True
Suppose -7 = -h + 5*m + 19, -10 = 2*m. Let x be h/(-9)*(1 + 2). Suppose -f + 0*k = -4*k + 5, 0 = -4*f - k - 3. Which is smaller: f or x?
f
Let n be 603/6 + 4 - (-3)/(-6). Is n bigger than 105?
False
Let r be 4 - (2 - (2 + -2)). Let l be 0 + 1*(-4 + r). Suppose -o - 2 = -1. Is l > o?
False
Let s = -8 + 7. Let m(l) = -l**3 - l**2. Let z be m(s). Which is smaller: -2/11 or z?
-2/11
Suppose -4*h - 160 = 5*u, 0*u + 2*u = -5*h - 200. Let b be (0 + 3)*(-12)/9. Let z be b/(-22) - h/385. Is 2/5 at least as big as z?
True
Suppose -5*n + 5 + 20 = 0. Suppose 4*i - n = -q - 0*i, 5*i = 3*q + 2. Let p be -1 - (2/3 - q). Do p and -1 have the same value?
False
Let x be (3 + (-4 - -2))*(6 - 5). Which is greater: x or -21?
x
Let m(l) = l**2 - 9*l + 12. Let t be m(4). Is t smaller than -9?
False
Let o(k) = -k**3 + k**2 - 3. Let t(h) = -h**3 + 2*h**2 - h - 3. Let d(v) = 4*o(v) - 3*t(v). Let n be d(-3). Which is smaller: n or -2?
n
Let z(i) = 2*i - 6. Let l be z(-5). Let c be -1*((-16)/24)/(2/(-51)). Which is smaller: c or l?
c
Let f be -10 + 3 + -3 + -2. Let w = 3456 - 17218/5. Let y = w + f. Are -2/7 and y equal?
False
Let f(j) = 2*j + 8. Let r be f(-8). Which is smaller: 2 or r?
r
Let m = 4 - 3.6. Let l = m - 0.3. Let x = 4.92 + 0.08. Do x and l have the same value?
False
Let m = 16 - -4. Are 1 and m nonequal?
True
Let u(b) = b**3 - 6*b**2 + 6*b. Let r be u(5). Suppose 9 + 16 = -4*i - r*w, i + 2*w = -10. Is i less than or equal to 1/2?
True
Let l(y) = y - 5. Let p be l(9). Let t be 2 + (0 - 3*p). Let q = -51/5 - t. Which is smaller: 0 or q?
q
Let r be (-3)/15 - (-68)/140. Is 0.1 greater than or equal to r?
False
Suppose -4*m + 2*x - 30 = 0, -7*m - 24 = -6*m + 5*x. Let g be ((-4)/(-5))/(4/(-50)). Is g greater than or equal to m?
False
Let x = 11 + -19. Let r be -3*(x/9)/4. Is -0.1 > r?
False
Suppose 2*f + 1 = -5, -5*i - 4*f = 37. Let g = 4 + i. Let y be g/(-2) + (-5)/(-50). Which is smaller: y or 0?
0
Suppose 2*i = 2*q + 5 + 7, -4*q = 20. Suppose u - 4*r = -0*u + 12, r = 2*u - 10. Suppose 0 = u*o - 3*t - 0*t + 1, o + 4*t = -5. Which is smaller: o or i?
o
Let v = -16 + 14. Which is smaller: 