+ 3*c + 11. Let t = 3 - x. Suppose -4 + t = -n. Which is smaller: n or 1?
1
Suppose -6 = -2*q - 2*c, 2*q = q - 2*c + 7. Is q at least as big as 3/56?
False
Let z(f) = 3*f - 3. Let l be z(1). Which is smaller: 4/23 or l?
l
Let h = 3.81 + -0.21. Let a = 0.6 + -1.2. Let v = h + a. Which is greater: v or -2/7?
v
Let c be (-11)/13 + 3 - (-6)/(-39). Which is smaller: 17/6 or c?
c
Let z = -0.9 - -1. Which is bigger: -10 or z?
z
Suppose 7*t - 15 = -78. Is t greater than or equal to -9?
True
Suppose 0*x + 20 = 2*x. Suppose 3*t - 2*z - 11 = -0*z, 4*t - 5*z - x = 0. Is t greater than 6?
False
Suppose 5*g - 17 = g + d, 4*d = 4*g - 32. Is g != 0.2?
True
Let g(m) = m**2 + 7*m + 8. Let p be g(-7). Suppose 0 = -4*a + 1 - 33. Let k = a + p. Is -2/23 > k?
False
Suppose 4*u - 4*o + 3 = -1, 0 = 2*u + 4*o - 28. Suppose 1 = 5*l - u. Let p = 3/8 - -1/8. Is l at most as big as p?
False
Let h be 0/(1 + 0/2). Suppose -4*k - 3*y = -7, 3*k - y - 7 = 2*k. Suppose k*x + 1 - 5 = 0. Do h and x have different values?
True
Suppose 0*m - 3 = 3*m. Let a be 1 + m + (-21)/28. Let r(z) = z**2 + 3*z + 1. Let q be r(-1). Is q < a?
True
Let z be -3 + (-4)/(-4) - -22. Let r be z - (1 - -1 - -1). Which is smaller: r or 16?
16
Let f be 22/(-6) + 4/6. Which is bigger: f or -4?
f
Suppose l - 4 = 2*t - 10, 6 = 4*t - 5*l. Suppose 5*c + 0*a = 2*a + 11, 2*a = t. Let h be (-3)/2*2/c. Is -1 at most h?
True
Suppose -5*m = -10 - 20. Suppose 5*y - m = -26. Is -2 greater than or equal to y?
True
Let w = 299/11 - 27. Suppose 0 = -4*g - 1 + 5. Do w and g have the same value?
False
Let r = -21.677 - 0.423. Let q = r - -22. Let v = -1 + 1.2. Which is smaller: v or q?
q
Let v be (-2)/(-4)*(2 - 49). Let d = -23 - v. Suppose -u = -4*u, 4*t = 3*u. Is d equal to t?
False
Let g be (0 + -8)/2*-2. Let j = -29 + 37. Is j at least g?
True
Suppose 5*r + 57 = -28. Is -17 >= r?
True
Let d(u) = 4*u - 1. Let h be d(1). Let f = h - -1. Let s be (f/(-50))/((-2)/(-10)). Is s greater than or equal to 1/3?
False
Let u = -0.55 - -0.5. Let z = 1.05 + u. Which is smaller: 3 or z?
z
Let u be (-1)/(0 + (-1)/(-5)). Let d be 16/u + (-2)/(-10). Let k = 0.1 + -1.1. Which is greater: k or d?
k
Let p = -14756 - -9576646/649. Let w = p + -5202/3245. Let j = 21/10 + w. Is 2 greater than j?
True
Let j(w) be the first derivative of -1 - 3/2*w**2 - w + 1/3*w**3. Let o be j(3). Which is smaller: -1/5 or o?
o
Let w = -0.045 + -3.655. Let z = w + 0.7. Are z and 1 non-equal?
True
Suppose -5*r - 22 = -2*g - r, -r - 5 = 0. Let y be ((-6)/(-9))/(g/6). Is 4 < y?
False
Suppose 5*h = 2*h. Suppose 0 = -2*x + 4*l - 26, 0*x + 5*l = 3*x + 34. Are h and x non-equal?
True
Suppose 0 = r - 6*r - 135. Let p be (-8)/r*(-3)/2. Do 1 and p have different values?
True
Let k = 6 + -5. Let a = 2.1 - -7.9. Let d = a - 7. Is d <= k?
False
Suppose -d - 9 = 4*r + 2, 4 = d + r. Is 9 equal to d?
True
Let a be ((-8)/(-66))/(8/12). Do a and -7 have different values?
True
Let d be 119/11 - 2/(-11). Are d and 11 equal?
True
Suppose 0 = -2*b + 4*i + 8, 3*b - b - 3*i - 6 = 0. Let s = 1/239 + -485/1673. Which is smaller: b or s?
s
Let x = 11 + -17. Let o be (-4)/(-10) + x/15. Let b be -2*(o + 14/4). Is -7 greater than b?
False
Let o be (4/(-4))/(2 - (0 - -1)). Let l(a) = 11*a**2 - 1. Let n be l(-1). Suppose -8*g - n = -3*g. Are g and o equal?
False
Let v be 73/5 - (-6)/15. Which is greater: 14 or v?
v
Let k be 3594/33*(-26)/(-48). Let d = 15/44 + k. Let i = d - 60. Which is bigger: i or -0.2?
-0.2
Let d be (-2)/5 + 24/10. Suppose n + 5 = -5*f, -4*n = d*f - 0 + 2. Let y be (-1)/(-3) - (1 - 0). Is n equal to y?
False
Let j = -2.3 + 0.3. Let y = -4 - j. Which is smaller: 1 or y?
y
Let i = 4 + 10. Let f = -5 + i. Let v = f - 9.1. Is v equal to 0.2?
False
Let f = -187/5 - -813/20. Which is smaller: f or 2?
2
Let j = 40 + -39.9. Which is smaller: j or -18?
-18
Let j = -6 - -8. Let s = -2 + 0. Is s bigger than j?
False
Let x = 28461 + -2476075/87. Let r = -1/29 + x. Which is smaller: r or 1?
r
Let o = -101/68 + -1/68. Let h = 2 - -2. Suppose -4*s + 3*u = 4, h*s + u + 4*u + 4 = 0. Is s greater than o?
True
Let n be 1*4/3 + 2. Let b = n + -56/15. Which is bigger: 0 or b?
0
Suppose 3*s = 2*s + 5. Suppose 3*p - v + 4 = -4, s = 5*p + 2*v. Let f be (3*6/(-27))/1. Which is bigger: f or p?
f
Suppose 0*z - 2*z - 10 = 0. Let k(a) = -3*a**2 + 29*a + 10. Let l be k(10). Is z less than or equal to l?
True
Let o = -0.051 - -13.151. Let n = o + -13. Which is greater: 2/3 or n?
2/3
Let y = 479 + -7667/16. Which is bigger: 1 or y?
1
Let q = -11.22 - -11. Let f = q + 0.12. Which is smaller: -2 or f?
-2
Suppose 0 = 3*p - 4*p + 1. Let o = 7 + -7. Let a be (2 + o)/(-1 - -3). Is a less than or equal to p?
True
Let p(y) = -13*y - 4. Let x be p(-6). Let d = x - 1033/14. Let v = d - 8/21. Is 1 greater than v?
True
Let u be (3 - -1 - 2) + -2. Let j = -486/11 - -44. Which is bigger: u or j?
u
Let a = 25 - 35. Let v = 11 + a. Let t(b) = b**2 - 4*b - 4. Let m be t(5). Is m less than v?
False
Let g(n) = n**3 + 6*n**2 - 7*n. Let w be g(-7). Suppose w = -0*x + x. Let z be (1/(-2))/((-3)/6). Which is bigger: z or x?
z
Suppose 2*q - 4*q = 0. Let i be 1 - (4 - (-1 - -2)). Let v be -2*1 + i + 0. Is q less than v?
False
Let h = -154 + 94. Let z be (-6)/(-33) + h/(-33). Is z at most as big as 2/5?
False
Let q be 5/(-4) + (-2)/(-2). Let k = 378727/72 - 40527/8. Let n = -194 + k. Which is smaller: n or q?
q
Let a = 6 + -7.8. Let y = -2.1 - a. Are y and 0 non-equal?
True
Suppose 0 = 5*t - t. Suppose v + 2*v - 6 = t, 2*i - 3*v + 6 = 0. Which is smaller: i or -1/9?
-1/9
Let f be (-9)/(-6)*-2 - -6. Let w(y) = -8*y**2 + 4*y - 1. Let s be w(f). Let r = s - -429/7. Which is bigger: -1 or r?
r
Let a be (-6)/(-4)*10/3. Suppose -4*p = 16, 2*r + a = -3*p + 1. Suppose 2*b = -5*b + 21. Is r < b?
False
Let a(g) = g. Let t be a(-1). Let f be t + (-11)/(-4) + -2. Suppose -3*m - 4*v + 23 = 0, -5*m + 0*m - 4*v = -25. Which is smaller: m or f?
f
Let u = -10 + 11. Let a be 4*u + 72/(-15). Is -1 < a?
True
Let x be (-1)/(27/(-6)) - 185/225. Which is bigger: x or 2?
2
Let z = 1/5 - 8/15. Let h be (-6 + 0)/(-6)*1. Which is smaller: z or h?
z
Suppose d = -d + 3*m + 48, -2*d - 4*m = -34. Which is bigger: d or 20?
d
Let t be 6/(-261) + (9 - 9). Is 1 > t?
True
Suppose -2*j - 37 = -13. Is j > -11?
False
Suppose -2*z + 9 = -3*l, -8 - 4 = 4*z. Let r = l + 3. Is -1 greater than or equal to r?
True
Suppose -2*o = 2*o. Suppose 0 = -2*u - 2*u - 8. Let f be (-2 - o) + 5 + u. Which is greater: 1/7 or f?
f
Let k be 4*(380/16)/5. Which is smaller: k or 0.2?
0.2
Let n = -206/5 - -34. Which is greater: n or -8?
n
Let d(r) = r + 8. Let v be d(-7). Let g be (v/2)/((-2)/40). Which is smaller: -9 or g?
g
Let t be (-9)/(-6) + 22/(-4). Let s be t*((-108)/104 + 1). Do s and 0 have the same value?
False
Suppose 0 = 3*g + 3 + 3. Let q(h) = 2*h - 5. Let o be q(4). Let a = g + o. Are -1 and a non-equal?
True
Let l = 14.1 + -14. Is l <= -1?
False
Suppose 2*v = 2*r - 31 - 1, 0 = v + r + 16. Let b = 6 + v. Let y be ((-4)/b)/(7/5). Which is bigger: y or 2/5?
2/5
Suppose -2*x = -4*q + x - 28, -2*q + 4 = 3*x. Which is greater: q or -5?
q
Let a = -13/21 + 9/7. Is 46 at most as big as a?
False
Let m be (-63)/105*4/6. Is m less than or equal to 20/11?
True
Let a = 1 - -1. Suppose 4 = 2*t - a. Suppose t*v + 21 = 3*g, 2*v = 5*g - 4*g - 9. Which is smaller: -4 or v?
-4
Let q = 8 + -1. Let g = -5 + q. Suppose -3*d + g*j = -15, -3*j = -d - 8*j - 12. Do d and 3 have the same value?
True
Let f(u) = -128*u**2 + 3*u - 2. Let a be f(2). Let s = a - -2564/5. Which is smaller: s or 6?
s
Let v be -2 + ((-1)/(-274))/(1/544). Which is greater: v or -0.2?
v
Let b(m) = -m**2 + 5*m - 4. Let p be b(3). Suppose 2*z - 4 = -3*f - 0*z, 4*f - 20 = z. Suppose f*l - 6 - 14 = 0. Which is bigger: p or l?
l
Suppose 36 = -4*m + 4. Is -9 at least m?
False
Let t be ((-16)/24)/((-11)/(-15)). Is -1 not equal to t?
True
Let a = -1 - -5. Suppose -a*f + 33 - 9 = 0. Which is bigger: 5 or f?
f
Let n be (2/3)/((-4)/(-6)). Let u be 3 - (n + 0 - 3). Suppose -3*t - u + 2 = 0. Is t < 2/13?
True
Let h = -0.3 - -0.4. Let g = h - -0.1. Let m = -0.2 - -0.1. Is g smaller than m?
False
Suppose 4 = 2*h + 2*h. Suppose s = -h - 2. Let m = 5 - 7. Which is smaller: s or m?
s
Let w(u) = -u**2 + 5*u + 4. Let i(s) = -s**2 + 5*s + 3. L