is smaller: 2 or q?
q
Let z = 57 + -56. Is z at most as big as 1?
True
Let p = -1/377951 + -2260819/2602948537. Let m = -1907729/34435 - p. Let a = m - -55. Which is smaller: a or -1?
-1
Suppose -6*q - 60 = -4*w - q, w - 2*q = 12. Let u be ((-2)/8)/((-5)/w). Suppose -2*a - 8 = 2*c, -4*a + 10 = -2*c - 4. Is u at most a?
True
Suppose y - 15 = 3*y + 3*i, -5*i - 18 = y. Let r be -2 + -1 + 2 - 1. Is y at most as big as r?
True
Suppose -m - 8 = 3*h, 2*h + 3*m = h - 8. Is h at most as big as -4?
False
Suppose -33 + 1 = 4*b. Let c = -3 - b. Let t = c + -14/3. Which is smaller: t or 1?
t
Let k = -0.76 + 0.66. Is 1/3 equal to k?
False
Let q be 22 - 4/4 - 3. Let b be ((-5)/(-15))/(1/q). Is 6 equal to b?
True
Suppose 2*p + 1 - 7 = -5*r, -4 = 2*p. Suppose -2*x + 20 = -3*x + 5*a, r*x - 20 = -5*a. Let i = x - 0. Which is smaller: i or 1/2?
i
Let v = 1 - 0.9. Let f = 1/92 - -167/1564. Do f and v have the same value?
False
Let x(m) = 7*m**3 + 2*m**2 + 2*m + 1. Let s be x(-1). Let r be 2*-2 + (-3 - s). Which is bigger: r or 0?
0
Let o(a) = -a**3 - 6*a**2 + 7*a - 8. Let m be o(-7). Let v be m/(-18)*(-9)/6. Is -4/7 at most as big as v?
False
Let u(o) = o**3 - 7*o**2 - o + 6. Let s = -7 - -14. Let j be u(s). Let i be (-1)/6 - 55/30. Is j < i?
False
Let s = 0.8 - -0.2. Which is bigger: -3 or s?
s
Let p be (-40)/(-100) - 186/(-10). Which is smaller: p or 17?
17
Suppose -4*r = 3 - 15. Let p = -8 - -13. Let t = r - p. Are t and -1 unequal?
True
Let m(f) = -f**2 + 4*f - 2. Let t be m(5). Is 0 not equal to t?
True
Let a = -117/4 + 29. Let v = 4 + -3. Do v and a have the same value?
False
Suppose 0*o + w - 273 = -5*o, 2*w = -5*o + 271. Do o and 54 have the same value?
False
Suppose -169 = -6*i - 55. Is 18 at least as big as i?
False
Suppose 4*l + 9 - 1 = 4*f, 2*l + 5*f = 24. Let j be ((-3)/(-2))/(18/(-48)). Let z(t) = -t**3 - 5*t**2 - 5*t - 2. Let n be z(j). Do n and l have the same value?
True
Let u be (12*10/15)/2. Is 4 smaller than u?
False
Let k = 1829 - 1812.43. Let x = 17.6 - k. Let n = x + -0.03. Which is smaller: -0.2 or n?
-0.2
Let w = -0.11 - 0.89. Which is greater: -0.2 or w?
-0.2
Let o = -21 - -31. Let p = 9.6 - o. Is -1/2 at least p?
False
Suppose 0 = -s, -3 = -c + 2*s - 5. Is -1 less than or equal to c?
False
Let m be ((-8)/6)/(10/(-45)). Let h = -2 + m. Suppose h*z + k = 6, -11 = 2*z - 3*z - 5*k. Is 0 at most z?
True
Let v = 126.786 - -0.214. Let f = -124.07 + v. Let o = -0.07 - f. Which is greater: 1 or o?
1
Let l = 20 + -19.7. Let g = 0 - -0.2. Do l and g have the same value?
False
Suppose -a - 5 - 1 = -3*z, -3*a - 5*z = -24. Which is bigger: a or 8?
8
Let v = -2746/35535 - -28/345. Let q = v + -124/103. Which is smaller: q or -2?
-2
Let n(k) = -2*k - 16. Let h be n(-12). Let r = -12 + h. Which is smaller: -6 or r?
-6
Let k = 0.7 + -0.73. Let t = 3.97 - k. Let v = -3.9 + t. Do v and -2 have the same value?
False
Let l(u) = -u**2 - 3*u. Let z be l(-3). Let b(v) = -v**2 - 10*v + 11. Let g be b(-11). Let r be (g - z)/(2 - 1). Which is smaller: 2/15 or r?
r
Let u = 60372/29 + -2082. Are u and 1 equal?
False
Let j = -18 - -20. Let z = -0.02 - 1.28. Let d = z - -0.3. Is j equal to d?
False
Let m be ((-10)/4)/((-3)/(-6)). Which is smaller: m or -6?
-6
Let y be (-4 - -6)*1/2. Which is smaller: y or 2/587?
2/587
Let l be -15 + (-3 - (-1 + 0)). Let o = 19 + l. Which is bigger: 3 or o?
3
Let f be 3/((-3)/(-1))*-12. Let v be (23 - 2)*(-2)/f. Suppose 25 = 3*b - 5*j, 4*j = -2*b + 1 + 1. Which is bigger: b or v?
b
Let p = 205 + -194. Which is bigger: p or 9?
p
Let c(s) = -17*s - 8. Let k be c(-6). Let d be k/42 - (-11)/33. Is d at most as big as 2?
False
Let y = -732/11 - -67. Let j = 53/44 - y. Let h be (3/2)/(-1 - 2). Which is greater: j or h?
j
Let d = 4 - 3.99. Let y = d - -0.39. Let p = y - -2.6. Is 0 less than or equal to p?
True
Let z be -21*(3 - (2 + -2)). Let b be 2/(-6) + (-91)/z. Which is greater: 2 or b?
2
Let y = 5718543/65656 - 67/2264. Let u = 87 - y. Which is bigger: u or -1?
u
Suppose -2*w = 4*u - 10, -3*u - 2*w + w + 9 = 0. Suppose 0 = -4*s - 12, 0 = -l - u*l + 4*s + 12. Which is smaller: l or -2/9?
-2/9
Let t be 2 - 2 - 16/44. Suppose -2*q - 2*q = 4*i + 4, -1 = 2*i + q. Is i > t?
True
Suppose 9*q - 4*q + 24 = 4*p, -12 = -2*p + 4*q. Suppose 2*n - 5*v = p*n - 31, -4*n = 3*v - 25. Which is smaller: n or 5?
n
Let y(j) = j**2 - j - 2. Let k be y(-2). Let b be k/6 + 20/6. Let u = b - 5. Is u > 2/7?
False
Let q = -32 + 4. Do q and -28 have the same value?
True
Let f = 0.22 + -0.24. Which is smaller: f or 0?
f
Let n be ((-18)/(-195))/((-8)/(-20)). Which is smaller: n or -1?
-1
Let o(w) = -w**2 + 7*w + 2. Let f be o(7). Suppose 2*l + f*l = 2*m + 100, -3*l = -3*m - 138. Let z be 1/(-3) - 26/m. Is 1 <= z?
False
Let w be 33/(-22)*1*-4. Is w at most 2/5?
False
Let h = -2 + -8. Is -10 <= h?
True
Let w = 62597/53 + -1181. Which is greater: w or -1?
w
Let h be (1 + -2)*(12 + -8). Suppose 15 = 3*u + 3*v, -7*u + v = -2*u - 19. Suppose 3*l - u + 13 = 0. Which is bigger: h or l?
l
Let v = -0.01 + -0.06. Which is smaller: 1 or v?
v
Let c(x) = 3*x**2 + 0*x**3 + 5 + 3*x + x - x**3. Let m be c(4). Let p(n) = n**3 - 6*n**2 + 5*n - 3. Let h be p(m). Is h >= -3?
True
Let n = -3 - -3.2. Let i = n - 0.2. Let c = 17/45 + -7/9. Which is smaller: i or c?
c
Suppose -c = -2*c - o, 5*o = 4*c - 9. Suppose 0*b = 5*b - 10. Suppose 5*k - u = -2*u - 5, -5 = b*k + u. Which is greater: k or c?
c
Let f be ((-1)/2)/(2/(-8)). Let a be -7 + 9 + (-9)/7. Is a less than or equal to f?
True
Let v be 3/(-6) - 14/(-12). Is v at least 1?
False
Let k be ((-2)/(-106))/((-10)/(-20)). Which is smaller: 1 or k?
k
Let c = 76/15 - 32/5. Let f(k) = 2*k - 50. Let a be f(24). Is a greater than c?
False
Let a be (-21)/(-56)*1/6. Which is smaller: a or 0?
0
Let d = 2016 - 20181/10. Which is smaller: -3 or d?
-3
Suppose 0 = 5*q - q. Suppose 5 = 3*c - 4. Suppose -c = g - 4, -2*g - 1 = 3*j. Which is bigger: j or q?
q
Let z be (-33)/(-12) - 3/(-12). Suppose 0 = -3*i - l + 3*l + 11, -4 = -3*i - 5*l. Let c be 0 + (i - -1) + -2. Is z at most as big as c?
False
Suppose 0*w - g + 2 = 2*w, -4*g = -5*w + 5. Which is smaller: 0 or w?
0
Let o = 13 + -7. Let d be o/15*(17 + -2). Which is greater: 0 or d?
d
Let n = 12 + -11.91. Let o = -1.49 + n. Let c = 0.4 + o. Is c greater than 0.2?
False
Let c = 110/3 + -36. Let o = -3.7 - -3.8. Are o and c equal?
False
Let n = 4 - 0. Let v = n + -7. Let r(m) = -m**2 - 2*m + 4. Let s be r(v). Is 1 equal to s?
True
Let t(w) = -3*w - 2*w + 11 - w**2 - 3*w - 3. Let o be t(-9). Which is greater: o or -1/2?
-1/2
Suppose -10 = -2*x, -3*j + 13 + 30 = 5*x. Which is smaller: j or 5?
5
Let r = 16 - 16.1. Let c = 0.2 + -0.1. Let q = c - 0.1. Is q greater than or equal to r?
True
Let n be 28/(-18)*19/(2793/(-18)). Which is smaller: n or 0?
0
Let o be (33/(-18))/((-2)/57). Let a = -52 + o. Which is greater: a or -1?
a
Let o be (-27)/(-6) + (-2)/(-4). Suppose 4*m = o*a + 3, a + 2 + 7 = 5*m. Is -2 not equal to a?
True
Let u = 3.3 - 0.3. Let i = 0.14 + -0.24. Is i less than or equal to u?
True
Suppose 2*t - 13 + 17 = 0. Which is greater: t or 16?
16
Let m = -0.9 + 1. Let g = -5.5 - -0.5. Let o = -4 - g. Which is smaller: o or m?
m
Suppose -3*c + 59 + 10 = 0. Let a = 17 - c. Are a and -5 unequal?
True
Let r be (2/(-3))/((-14)/441). Suppose 0*y + r = 7*y. Is y greater than or equal to 3?
True
Let p(q) = -6*q**3 - q**2 + 3*q - 2. Let k be p(1). Is -7 less than k?
True
Let n be (-1 - -2)*(34 + -4). Is 31 > n?
True
Let a(p) be the first derivative of -p**4/4 + 2*p**3/3 + 3*p**2/2 + 2. Let j be a(3). Which is smaller: 2 or j?
j
Let x = -4 - -14. Are x and 10 nonequal?
False
Let r(g) = -g**2 - 5*g - 5. Let b be r(-4). Let x = -1 - b. Which is bigger: -2/7 or x?
x
Suppose -2 = 2*x + 2. Is x < -4/3?
True
Let s be 1/(0 - 1)*0. Suppose 0 = 12*q - 7*q - 40. Let t be (s - 0) + (q - 8). Is t less than or equal to 0?
True
Let g = -7 + 8. Which is smaller: g or 19?
g
Suppose 8*u = 7*u + 1. Let j = 13 - -4. Let o = 67/4 - j. Which is smaller: u or o?
o
Let y = 1.1 - 2.1. Let q = -1.04 + 1. Are y and q nonequal?
True
Let l = -16 - -10. Let m be (-5 - -2)*4/l. Let p = 0 - -3. Are p and m equal?
False
Suppose -4 = l + 2. Let t(w) be the third derivative of -w**4/24 - 2*w**3/3 - w**2. Let i be t(l). Which is smaller: 2/3 o