alse
Let b be ((-19)/57)/(2/(-7)). Is b at most as big as 2?
True
Let c be 12/(-10)*45/(-18). Suppose -5*v + q + 13 = 0, 2*v - c*v + 2*q + 8 = 0. Which is greater: v or 3?
3
Let z(w) = w + 12. Let j be z(-9). Suppose j + 2 = -5*m. Which is smaller: m or 3/10?
m
Let x = 3 - -9. Suppose q = 3*q + x. Is -6 less than q?
False
Let o = 0 - 2. Let g = 2 + o. Which is bigger: g or -0.3?
g
Let r = -23 - -42. Suppose -5*d = -w + r, d + 3*d - 66 = -5*w. Let p be ((-21)/w)/(3*2). Is p < 0?
True
Suppose 3*y - 9 = -d, 12 = 3*d - 8*y + 12*y. Let w = 0.4 - 0.2. Let m = -0.1 + w. Which is smaller: m or d?
d
Let s(x) = -x**2 - 4*x + 6. Let b be s(-5). Suppose -4*q + 3*q - b = 0. Which is bigger: q or -2/9?
-2/9
Let z = -10 - -10. Let n = 2/51 - 59/204. Which is smaller: n or z?
n
Let b = 22 - 12. Suppose -p = 4*p - b. Suppose -1 = -q + p. Is q > 3?
False
Let r be 12/5 + 6/(-15). Suppose -v + 4 = -r*j + j, -3*v = -2*j - 13. Suppose 4*q - 9 = -5*a, -4*a + j = -3*q - 0. Is a less than -1/3?
False
Let y be (-1)/2*(-2 - -2). Let x = 3991753/123516 - 6161/188. Let c = x - -2/219. Which is smaller: y or c?
c
Suppose 3*a - 2 + 11 = 0. Let n = -5 - a. Let r = -43/26 + 2/13. Is n smaller than r?
True
Suppose -4*m = m + 5. Is 7 not equal to m?
True
Let o(v) = -v**2 - 4*v - 2. Let s = 1 - 4. Let w be o(s). Let k be (2/12)/(3/(-4)). Is k not equal to w?
True
Let g be (21/7 + -9)/((-2)/5). Is g < 15?
False
Let d = 0 - 0. Let y = -4 + 6. Let k = -1.8 + y. Which is greater: k or d?
k
Let t = 1 + -1. Suppose -s - 4*l + 17 = 1, s + 5*l - 20 = 0. Is s at most t?
True
Suppose -3*p = 12, d = -0*d + 4*p + 14. Let w be d/(-7) + 10/14. Do w and 2 have the same value?
False
Let h = 236 + -1173/5. Let t be (-5)/(-15) + (-4)/12. Which is smaller: t or h?
t
Suppose 24*j = 25*j + 49. Is j at most as big as -47?
True
Let d = 39 + -101. Is -62 bigger than d?
False
Suppose 4*b - b - 324 = 0. Let z be ((-16)/b)/((-4)/(-6)). Is z greater than -1?
True
Let u be 4 + 34/(-4) + 4. Suppose -q + 2 - 4 = 0. Are u and q unequal?
True
Let i = -7 + 8. Is -1/3 greater than or equal to i?
False
Let j = -24 - -17. Let d = j + 2. Let l = d - -6. Is 0.5 less than l?
True
Suppose g + 61 = 6*g - 4*c, -c = -5*g + 49. Is g < 1?
False
Let q be (-4 - -2) + 15*40/295. Which is greater: -1 or q?
q
Suppose -5*f - 7 = -5*p - 17, 5*p + 55 = -4*f. Which is smaller: -6 or p?
p
Suppose k + 15 = 5*h, -4*h + 8*k - 3*k = 9. Let d be 15/13 + h/(-4). Which is bigger: 1/4 or d?
1/4
Let t = -2 + 5. Let z be ((-4)/(-6))/((-2)/(-6)). Let u = z - 0. Is u at least as big as t?
False
Suppose -9*q + 10*q = 1. Which is smaller: q or -3/13?
-3/13
Suppose -7 + 4 = t. Let z = 7 + t. Let p be (-8)/10 - (z - 4). Which is smaller: p or 0?
p
Let t be 2/9 - 34/(-9). Let w = 4 - t. Let h = 43/2 + -21. Which is smaller: w or h?
w
Suppose 0 = -3*n - 0*n + 24. Suppose -4*w + 8 = -n. Suppose w*g - 11 + 3 = 0. Is g not equal to 3/5?
True
Let r = 472 + -14630/31. Which is smaller: r or 1?
r
Let q(h) = 7*h**3 - 9*h**2 + h + 8. Let o(t) = -8*t**3 + 10*t**2 - 2*t - 9. Let g(p) = 6*o(p) + 7*q(p). Let l be g(4). Which is smaller: -3 or l?
-3
Suppose 4 = 4*g + 5*i - 4, 0 = 4*g - i - 8. Suppose 5*m - 64 = x, m + 23 = 3*m - 3*x. Let c(f) = -f**2 + 13*f + 3. Let a be c(m). Which is greater: g or a?
a
Let c = -1031/1792 + 1/256. Which is smaller: -2 or c?
-2
Let d be 3/18*5*6. Let w be (1 - 2)*7/(-1). Is w < d?
False
Suppose 7*x = 2*x - 5. Let d = 0.2 + -0.3. Is d bigger than x?
True
Suppose -j - 3 = 2*j. Let x be (-1)/5 + j/(-5). Which is smaller: -1 or x?
-1
Let t = 17 + -17. Let c be 8/70 + (-2)/(-7). Is t less than c?
True
Let v = 3 - 4. Let s = v + 1. Let u = 23/3 - 7. Does u = s?
False
Let x = -9 + 9. Which is smaller: -0.12 or x?
-0.12
Suppose 3*j = 2*c - 2, 2*j - 3*j = -2*c - 2. Let h(g) = -g**3 + 5*g**2 - g - 2. Let f be h(5). Which is bigger: j or f?
j
Let n(s) be the first derivative of s**4/4 - 8*s**3/3 + 3*s**2 + 5*s - 1. Let h be n(7). Let c = 1 - 3. Is c not equal to h?
False
Let d = 113 + -113.2. Is 8/9 bigger than d?
True
Let c(j) = -6*j + 2. Let d be c(-1). Let s be ((-4)/(-10))/(d/20). Which is smaller: 0 or s?
0
Let t be 38/18*1*6. Let h = -424/33 + t. Is -1 < h?
True
Let s(x) be the third derivative of -x**4/12 + x**3/2 - 2*x**2. Let z be s(2). Let i = 0 + 0. Which is smaller: i or z?
z
Let q(s) = -s**2 + 10*s + 23. Let d be q(11). Which is smaller: 9 or d?
9
Let z be ((-2 - -3) + -5)*1. Let y be 1*2/((-2)/(-5)). Suppose 4*j = -h + y, -2*j = -3*h + j - 15. Is z greater than h?
False
Suppose -3*b - 5*g = -2, -b - 2*b - 2*g - 1 = 0. Let a be (4/6)/(6/(-9)). Let c = b - a. Which is smaller: c or -4/5?
-4/5
Let j = -1 + -4. Let q = 5.3 + j. Which is greater: 0.2 or q?
q
Suppose i = 3*g + 2*g + 96, 0 = 4*g - i + 76. Which is greater: -19 or g?
-19
Let b(o) be the third derivative of o**4/4 - o**3/3 + 2*o**2. Let d be b(-1). Which is greater: -0.1 or d?
-0.1
Let o(i) = i**2 + 5*i - 4. Suppose -4*d = -d + 15. Let f be o(d). Which is greater: -3 or f?
-3
Let b = 5125/13 + -394. Let c be (-2 - -2)/(-3 + 1). Which is greater: c or b?
b
Let n(t) be the second derivative of 3*t**2 + 2*t + 2/3*t**3 - 1/12*t**4 + 0. Let v be n(5). Which is smaller: -2 or v?
-2
Let u = -109/8 + 4453/328. Which is smaller: -1 or u?
-1
Let y = 130 - 113. Is y <= 13?
False
Let o(l) = -l + 8. Let y be o(5). Suppose y*k + 0 - 15 = 0. Let h be (-6)/(-4) + k/(-10). Which is greater: 0 or h?
h
Suppose -r = 5*r - 6. Which is greater: -2/15 or r?
r
Suppose 8 + 0 = 4*q. Suppose q*n = 5*n. Which is bigger: 1 or n?
1
Let t = -23/70 + 13/14. Are t and 1 non-equal?
True
Let a be (1/3)/((-23)/(-207)). Let u be 2/(-3)*(-6)/2. Does a = u?
False
Let r = -12 + 8. Let h = 3 + r. Let a = -13/22 + 12/11. Is h less than a?
True
Let s = -24 - -12. Let o = -12.2 - s. Which is bigger: o or 0.3?
0.3
Suppose 4*w - 5 = 3*w. Suppose 0 = -w*n + 7 - 2. Let a = -4 + 6. Which is smaller: a or n?
n
Let l = 35 + -57. Is -21 less than or equal to l?
False
Let k(d) = 3*d**2 - 2*d**2 - 11 - 11*d + 2*d. Let z be k(10). Let g = -2 - -1. Is z < g?
False
Let u = 77 - 81. Which is bigger: -5 or u?
u
Let k be (2/(-6))/(2/6). Is -6 less than or equal to k?
True
Let v = 0 + 1. Do v and -14 have the same value?
False
Let s = 10 - 14. Let i(v) = -v**3 - 4*v**2 + v + 1. Let x be i(-4). Let p be 12/(-9)*x/(-2). Are p and s nonequal?
True
Suppose 3*m - 7 = 2*v, 8*m - v = 4*m + 1. Suppose 3*k = -2*g - 15, -3*k + 2 = g + 14. Let o = g + m. Is -4 smaller than o?
False
Let n be (-2)/(-11) - 54/(-66). Is 2 < n?
False
Suppose 0 = 2*o - 5*n - 43, 46 = 2*o + 2*o - 2*n. Let j = -16 + o. Is -8 at most as big as j?
True
Let q = -42.44 + 1.44. Which is smaller: 1/2 or q?
q
Let w = 0.41 - 1.41. Is 0.063 > w?
True
Let j = -7.2 + 7.1. Does -27 = j?
False
Let n(z) = -z**2 + 7*z + 7. Let d be n(8). Let j = 4 - d. Let u be j/12 + 1/4. Which is bigger: 0 or u?
u
Let w = 0.11 + 0.29. Let a = -0.5 + w. Are 0 and a nonequal?
True
Suppose 5 = -2*k + 3*k + w, 4*w = 3*k + 13. Let b be k - (2 - (0 - -1)). Suppose 4*q - 19 = 5*t, 5*q + 3*t = -4 - b. Is -2/5 < q?
True
Let c be 2/4*(-4)/23. Let f = -65/46 + c. Let y be 16/(-20)*(-5)/(-2). Which is greater: y or f?
f
Let v = 0.05 + -0.3. Let c = -5.95 - -6. Let s = v - c. Is s at least as big as -1?
True
Let y = 1.8 + -2.6. Is 2/3 equal to y?
False
Let m(n) = n**3 - 5*n**2 + 3*n + 3. Let z be m(4). Is z equal to -3/11?
False
Let x = -22 + 31. Let l = x + -10. Which is smaller: 0.1 or l?
l
Suppose -2*a - 3*r = -3, 0*r - 3*r = 5*a - 12. Suppose -3*w + 4 = -11. Does w = a?
False
Let r be 24/(-45)*5/(-2). Suppose -6 = -q - 7*w + 3*w, q = -2*w + 4. Which is bigger: q or r?
q
Let r(c) = -c**2 + 4*c + 2. Let p be r(4). Let h be -2*(-1 + 1/p). Let w = 0.3 - -0.7. Is w at least as big as h?
True
Suppose 2*v - 6 = 4*x, 2*x - 5*v + 11 = -4. Let l be (-6)/(-4)*3/(-27). Which is greater: l or x?
x
Let d be ((-5)/5 - 0)*0. Do d and 10 have different values?
True
Let c = 3/62 + 25/124. Let u = -11/5 - 3/10. Is u < c?
True
Suppose -6*z = -4*z + 24. Let h be 3/(-1) - z/5. Is h less than or equal to 1?
True
Let z(i) = 2*i**3 - 3*i**3 + 2*i**2 + 0*i**2 + 4*i - i**2. Let t be z(3). Does -5 = t?
False
Let s = 5 + -2. Let q = s + -4. Let k = q + 0.7. Is k greater than -1/5?
False
Let v be 2/(8/4 + 0). Which is greater: 