e
Let r = 1006/7 + -144. Is 46 smaller than r?
False
Let n be 0*(-3 - -2)*1. Let c be (3/48)/((-3)/18). Which is bigger: c or n?
n
Let f be (-267)/38*(11 - -35). Let k = 323 + f. Is 1 at most k?
False
Let y = 4 - 3. Let k be 2 - (-3 + 4)*y. Let r be (-14)/(-4) + 1/(-2). Which is smaller: r or k?
k
Let a be (0 + -2)*(-3)/(-1). Let p(m) = m**2 + 6*m + 4. Let n be p(a). Is n bigger than 5?
False
Let t be (-4 - (-65)/(-10))*48/140. Which is bigger: -5 or t?
t
Let i be 2/(-5) - (456/(-40) + 7). Is 14 greater than i?
True
Let o = 0.1 + -1.1. Let m = 0.88 - 3.88. Which is bigger: m or o?
o
Let f be (-3)/(-12) - (-4)/(-16). Suppose -10 = -3*d + 11. Suppose -3*a - 4 + d = f. Which is smaller: -1/5 or a?
-1/5
Let f be ((-3)/(-21)*-1)/1. Which is smaller: -1 or f?
-1
Suppose 2*c = -6 + 2. Let h be (-3 - -3)/(0 - c). Are 0 and h unequal?
False
Let i(q) = q**3 - 15*q**2 + 25*q + 6. Let b be i(13). Is b at least as big as -29/5?
False
Suppose 5*v = 2*v - 3*v. Is v at most as big as 3/37?
True
Let m(o) = o**3 + 6*o**2 - 8*o - 4. Let d be m(-7). Let q = -39 + 41. Is q at most as big as d?
True
Let i = -1012/5 + 202. Suppose -4*w + 3*c = 13, 11 = 4*w + 5*c - 0. Is w greater than i?
False
Suppose 0 = 15*v - 7*v + 25*v. Let n = 54/7 + -8. Do n and v have different values?
True
Let o = 44 + -31. Which is smaller: o or 11?
11
Suppose -t - 2*f = -4, -3*t - 3*f + 0*f = -3. Let w = -11 - -11.3. Which is bigger: t or w?
w
Suppose -5*n - 20 = 0, n + 0 = -3*v + 5. Let s(g) = -g**2 - 11*g - 6. Let u be s(-10). Is v < u?
True
Suppose -5*j = -12 + 2. Let s = j + -1. Which is bigger: 1/6 or s?
s
Let s = -0.076 + -0.924. Which is smaller: 2.3 or s?
s
Let v = -4 + 15. Let p = v - 12. Is p less than 7?
True
Let l = -69474/1309 + 584/11. Which is smaller: -1 or l?
-1
Let n(v) = -v**3 + 7*v**2 - 6*v + 1. Let j be n(6). Let d = 58 + -755/13. Is d > j?
False
Suppose 0 = 2*d - 5*u + 6 + 17, -5*d - u = 17. Let b be (-2)/d*0/(-11). Is b not equal to 1/9?
True
Let s = 8573/11 - 780. Let j = 65/33 + s. Let w = 1 - j. Which is smaller: w or 1?
w
Let p = 2.3 - -0.7. Let j = 3.4 + 0.6. Let f = j - p. Which is greater: 0.1 or f?
f
Suppose -25 = -5*j - 4*g, g - 4 = -j + 1. Suppose a - 6*a + j = 0. Which is greater: a or -2/13?
a
Let t = 34 + -34. Let m = 0.03 + -3.03. Are t and m nonequal?
True
Let b = -22537/53082 - 4/2949. Let d = -2/27 + b. Let c be (-6)/4*24/18. Which is smaller: d or c?
c
Let g(m) = 2*m - 5. Let x be g(4). Suppose 3*i = 2*t + 2*t - 19, 3*i - 17 = -5*t. Suppose -4*j + x*a = t*a - 13, 0 = 5*j + 3*a - 18. Is 3 <= j?
True
Suppose h + 9 = -2*n - 4*h, 9 = -n - 4*h. Suppose -4*w = -3*w - 3*x + 4, -5 = n*w - 2*x. Which is greater: -3/11 or w?
-3/11
Let d be 3/(-2) - (-39)/18. Suppose 0*f - 3 = -f. Does f = d?
False
Let j be (((-7968)/(-10))/4)/2. Let w(g) = -25*g. Let t be w(-4). Let f = t - j. Which is greater: f or 1?
1
Let q be 8/(-1)*4/(-8). Suppose 16 = -5*n - q*g, 4*n - 2*g = -g + 4. Is n >= 3/8?
False
Let h = 7 - 7.3. Let w = -0.6 - h. Let l = w - -0.3. Is l at least as big as -4?
True
Let c = 106/177 - -4/59. Suppose -6 = -0*m - 3*m. Let y be m + -1 - (-3)/(-4). Is c < y?
False
Let k(c) = -4*c - 6. Let l be (-10)/15*(-9)/(-2). Let r be k(l). Which is smaller: 7 or r?
r
Let t = -0.13 - 1.07. Let u = 0.03 - 0.23. Let m = t - u. Which is bigger: m or -0.5?
-0.5
Let i = 237 + -1891/8. Which is greater: i or 0.4?
i
Suppose 5*b + 5 = -3*t + 63, 3*t - 48 = -3*b. Let l = 2 - t. Is -7 > l?
True
Let s = -40.2 + 40. Let a = -19/45 - -2/9. Is s < a?
False
Let l be (-40)/12 - 2/3. Let i be l/(-6) - (-12)/9. Is i equal to 3/5?
False
Suppose 0 = 4*b + b - 35. Let g be ((-10)/25)/(b/5). Let r = 1 - 0. Which is bigger: r or g?
r
Let t be -2 - (305/10 + 4). Which is smaller: t or -37?
-37
Let h(t) = t**2 - 18*t - 13. Let w be h(19). Which is smaller: 7 or w?
w
Let g(j) be the third derivative of -j**4/24 + 5*j**3/3 - 2*j**2. Let z be g(5). Suppose z*q + 9 - 29 = 0. Is 3 != q?
True
Let f = -18 - -19. Is -5/13 less than f?
True
Let v(x) = 9*x - 7. Let q(c) = -5*c + 4. Let u(y) = -7*q(y) - 4*v(y). Let f be u(4). Is f greater than or equal to -4?
True
Suppose -3*y - 4*p = -7*p + 3, -24 = 3*y + 4*p. Which is smaller: -3 or y?
y
Let i = -1.73 + -0.27. Is i at least 1?
False
Let a = -80 + 80.3. Which is greater: -4 or a?
a
Let t(p) = -p**2 - p - 2. Suppose 0 = 5*g + 3*l + 24, 7 - 19 = 4*l. Let i be t(g). Let q = i + 8. Is -0.2 not equal to q?
True
Let l(m) = m**2 - 1. Let d be l(1). Are 5/32 and d equal?
False
Let z = 0.22 - 0.02. Let q = 0.3 - z. Which is smaller: 1 or q?
q
Let a = 4 + -8. Let x = -2 - a. Which is smaller: 0 or x?
0
Let x = 69 + -58. Which is greater: x or 6?
x
Let n be 4/1*(-1)/(-8). Is -19 at most n?
True
Let x = 0.996 - -0.004. Is x at most as big as 0.4?
False
Let t(k) = -k**2 + k + 1. Let h(n) be the second derivative of n**4/4 - n**3/6 + n. Let z be h(1). Let p be t(z). Which is smaller: p or -1/2?
p
Let w be -41 - (1 + 0/(-2)). Let r be 2/(5/((-15)/w)). Let b(l) = l**3 - 7*l**2 + l - 8. Let f be b(7). Which is greater: r or f?
r
Let k(f) = -f + 5. Let r be k(4). Suppose -s - 3 = -r. Let h(v) = v - 7. Let m be h(6). Which is bigger: s or m?
m
Suppose 6*u - u - u = 0. Are 2/41 and u non-equal?
True
Let q = -13.9 + 14. Let y = -0.45 - -0.05. Let r = -0.6 - y. Which is smaller: q or r?
r
Let s = 1684/1375 - -6/125. Is 2 bigger than s?
True
Let k = 16/23 + -15/23. Which is greater: 1 or k?
1
Let n = 3.8 - 3.6. Which is greater: -7/3 or n?
n
Let i(a) = a - 1. Let q be i(4). Let p be (2/q)/((-2)/(-3)). Let b be 2 - (p - (-12)/10). Which is bigger: b or -1?
b
Let c = -21 + 43/2. Which is smaller: 1 or c?
c
Let s = 316/425 - 14/17. Are s and 0 unequal?
True
Let g be (-6)/8 + (-22)/(-8). Suppose 2*u + g*j + 8 = 2, 0 = 5*u + 2*j + 9. Which is greater: 2 or u?
2
Let o be 1 - (-10)/(-6) - 0. Which is greater: 1 or o?
1
Suppose 0 = v + 3*c, -7*c - 33 = 5*v - 3*c. Let y = -5 - v. Suppose 14 = 5*x + y*n - 6, 2*n = 4*x + 10. Are 2 and x nonequal?
True
Let a be (-3 - -4) + (1 - 0). Let t be a - (1 + 3/6). Is 0 not equal to t?
True
Let z be (4/85)/(30/(-75)). Which is bigger: 1 or z?
1
Let t = 6.05 + -0.05. Is t > 0.2?
True
Let b = 0.4 - 0.8. Let h = 0.6 + b. Which is smaller: 2 or h?
h
Let r be ((-4)/(-6))/(2/(-6)). Let i = -7 - -17. Suppose -9*x + i*x + 1 = 0. Which is smaller: r or x?
r
Let k = -2 + 4. Let i be 1 + -4 + 27/9. Let q be (-3 - -4)/(-4 - i). Is q at most as big as k?
True
Let j = 0 + 1. Let m be (-4)/j*(-3)/(-6). Let g be (2 - (-1 + 1))/m. Is g less than -2/5?
True
Let f be 2/(-7) + 90/(-175). Let t = 2/5 + f. Is -1 != t?
True
Let a = 10 + -7. Suppose a*b + 0 + 6 = 0. Let k be ((-2)/3)/(2/3). Which is smaller: k or b?
b
Let y(p) = -4 - 3*p + 4*p + p - p. Let h be y(4). Let t = 11102/25 - 444. Is t less than h?
False
Let v = -65267/715 - -212/143. Suppose -3*f - 2*f - 430 = -3*k, -f = -5*k + 64. Let r = f - v. Which is greater: 0 or r?
r
Suppose -3*d + 6*d = -3. Let g(q) = -q**2 - 1. Let f be g(1). Which is bigger: d or f?
d
Let y = -421/5 - -1168/15. Let c = y - -383/60. Is c > 1?
False
Suppose -2*c + y = 2*c + 27, 4*c = -2*y - 30. Which is smaller: -8 or c?
-8
Let x = 7 + -9. Let t = -3 - 5. Let o be -1*((-10)/t)/(-5). Are o and x equal?
False
Let h = -26 + 60. Which is smaller: h or 32?
32
Let k(y) = y**2 - 9*y + 1. Let n be k(9). Is n <= 3/2?
True
Let d be -3 + (5 - 2 - 2). Let i be (-6*1)/d + -10. Which is bigger: i or -8?
i
Let w be (-818)/(-360) + (5 - 7). Let y = w - -1/36. Is y at least as big as 1?
False
Let a(n) = n - 5. Let j be a(6). Let w be j*3/66*5606. Let y = w - 255. Which is smaller: y or -1?
-1
Let r = -72.7 - -73. Is r <= -15?
False
Let o = 23.1 - 22. Let h = 2.9 + o. Let p = -2 - -3. Is p equal to h?
False
Suppose -11*f + 3*f = -10*f. Let m be 0 + (-2)/(-10)*3. Which is smaller: f or m?
f
Let o be 10/(-15) + (-128)/30. Let b be (-1670)/525*(-3 + 1). Let y = b + o. Is y equal to 0?
False
Let n be 2/5 + (-12)/30. Which is greater: -7 or n?
n
Let i(r) = -r**3 + 2*r + 2. Let b be i(-2). Let q = -5 + b. Is 1/3 equal to q?
False
Suppose -12 - 12 = 3*o + 4*m, 3*m - 16 = 2*o. Let s(d) = d**2 + 8*d + 1. Let r be s(o). Which is smaller: 1/4 or r?
1/4
Let v = -24.7 + 26. Let z = v - 0.3. Is -4 smaller than z?
True
Let z = -40 + 41. Is 1/117 at most z?
True
