
Suppose 0 = 6*j - 7*j + 1, -q - 1 = -2*j. Which is greater: q or -2/13?
q
Suppose 0 = 3*k - 2*q + 10, q + 0*q = -5*k - 21. Suppose 0*r - 4*m + 3 = 3*r, 2*r - 9 = -5*m. Let x = k - r. Are -4/7 and x unequal?
True
Let f be 60/(-42) - (-4)/14. Which is smaller: 0 or f?
f
Let i(x) = 0*x**2 + 0*x**2 + 2*x - 1 - x**2. Let l be i(1). Suppose -4*g + 5 + 3 = l. Which is smaller: 3 or g?
g
Let v(j) = 2*j - 21. Let k be v(9). Which is smaller: -30 or k?
-30
Let j = -0.01 + -0.09. Let l = 2.1 + j. Is l less than 0?
False
Let j be (0 + 0)/(-1 + 0). Let p be 8/6 + 5/(-15). Let k be 0*p/2 + 1. Which is bigger: j or k?
k
Suppose 3 - 18 = 5*v. Is -2 greater than or equal to v?
True
Suppose 2*c - 3*p - 9 = -2*p, 0 = -2*c - 4*p + 24. Suppose 5*w - c*w + 5 = 0. Which is greater: 3 or w?
w
Let h = -4 + 3. Which is bigger: h or 2/41?
2/41
Let l(z) = z**3 + 5*z**2 + z - 2. Let m be l(-5). Is 0 equal to m?
False
Suppose 2 + 3 = -5*k, 3*o + 3*k = 6. Suppose n + 2*f = -9, o*f = 3*n - 0*n - 9. Is n smaller than -2/7?
True
Let y be 2/(12/(-9))*-44. Let l be 13/y - 11/33. Which is greater: 0 or l?
0
Let t = -5 - -7. Let w = 1 - 0. Which is smaller: w or t?
w
Suppose 7*j - 3*w = 3*j - 61, -5*j = w + 100. Is j greater than -20?
True
Let t be ((-2)/(-25))/((-8)/30). Let g = 0 + 0. Is t != g?
True
Suppose -3*s - 5*j = -6*s + 30, -4*j = -5*s + 37. Suppose 5*o - s*g = 0, 2*o - g = 5*o. Let a = o + -3. Are a and -3 nonequal?
False
Let k = 378 - 34396/91. Let i = -99/364 + k. Suppose -3*g - 2*p + 3*p = -6, -5*p = 15. Which is smaller: g or i?
i
Suppose 4*p = -k - 0 + 5, -3 = 2*p - 5*k. Is p > -1?
True
Suppose -4 = 31*o - 27*o. Are 2/41 and o non-equal?
True
Let z = 286/105 + -20/7. Suppose 5*b - 8 = -2*c - 20, 0 = 5*c - 2*b - 28. Suppose -4*g = -0 + c. Which is smaller: g or z?
g
Suppose -4 = -2*n + 5*b + 5, -b + 5 = 3*n. Let u(q) = n*q - 7*q**2 + 5*q + 0*q - q**3 - 9. Let k be u(-8). Is -1/3 > k?
True
Let u be (-3 - 8/(-3))*3*2. Let d be 2/5 + (-92)/30. Which is bigger: u or d?
u
Let x(t) = -2*t - 7. Let m be x(-5). Let d be ((-7)/m)/(-4 + 15). Let f = 6/11 + d. Which is smaller: -0.1 or f?
-0.1
Let t be (2 + -2)*(0 + 1). Let c be (t - (0 - -2))/(-8). Is c <= -4?
False
Let s be (3/2)/((-8)/(-16)). Suppose 2*t + 11 = -3*b, -2 = -3*b - s*t - 17. Is 1/6 <= b?
False
Let h = 8 + -2. Suppose -b + 0 = h. Suppose -x + 3*w = 11, -3*w - 13 = x - 7*w. Which is smaller: x or b?
b
Let t = 2 - 19. Let b = t - -19. Let j = -9/7 - -5/7. Is b <= j?
False
Let a = 18.06 + -18. Which is smaller: 1/4 or a?
a
Suppose 0 = -2*d - 5 - 15. Which is bigger: d or -62/7?
-62/7
Let p(s) = -271*s - 2. Let a be p(1). Let u = -2193/8 - a. Which is bigger: u or -1?
-1
Let k be (-4)/(-2)*(-371)/10. Let y = 74 + k. Suppose 5*x = t + 1, -x = -3*t + 6*t + 3. Which is bigger: y or x?
x
Let c(f) = 3*f**2 + 3*f**3 - 2*f**3 - f**2 - 2*f + 2. Let j be c(-3). Is 2 > j?
True
Let w be 90/12 + 2 + -1. Let p = -7 + w. Which is greater: p or -0.1?
p
Let y = -2 + -0.2. Let k = 2 + y. Is k greater than -0.3?
True
Let b(p) = p - 1. Let j be b(2). Does 2 = j?
False
Let h = 115 - 116. Do -14/5 and h have the same value?
False
Let u be (-2 - -2)/(4 + -2). Which is smaller: u or 1?
u
Let g(x) = -x**3 - 4*x**2 - 4. Let b be (3 + -5)*(-3)/(-2). Let y be g(b). Is y less than -14?
False
Let v = 0.28 - 0.12. Let r = v - 0.06. Which is bigger: 1/3 or r?
1/3
Let m = 1089437/295 + -3693. Let d = m + 576/2065. Which is smaller: -1 or d?
-1
Let j be 1 + 1 - (-2 - -3). Let u(d) = -2*d**2 + 8*d - 6. Let x be u(6). Let f be 10/12*9/x. Do f and j have the same value?
False
Let x = -2.8 + 5.7. Let i = -3.01 + 0.01. Let d = x + i. Which is smaller: d or 1/4?
d
Let x = -0.02 - 1.98. Let r = 1.5 + x. Which is greater: r or 0.1?
0.1
Let h = 9 + -8.9. Is h less than 10?
True
Let o(q) = -q**3 + 4*q**2 - q + 5. Let g be o(4). Which is greater: 3.3 or g?
3.3
Let t = 261/5 - 52. Let z = -58 + 58.1. Which is greater: z or t?
t
Let k = -3.92 + -0.08. Suppose o + 4*s = -6, 0 = 3*o + 2*s - 2. Is o less than or equal to k?
False
Let o be 1 + -2 + 2 - -4. Suppose o*s - 1 = -j - 21, -s - 10 = -j. Let h be -1 + -1 + s/(-3). Is h less than or equal to 1?
True
Suppose 2*p + 2 = 4. Suppose 0 = 2*s + 1 + p. Let m = 2/3 - 5/12. Which is greater: m or s?
m
Let h be (-36)/40 + (-6)/(-15). Let m = 2 - 1.5. Let s = -0.3 + m. Which is greater: s or h?
s
Suppose 4*p + 52 = 2*k, 4*k = 4*p + 5*k + 64. Which is smaller: -16 or p?
-16
Suppose -3*s - 59 = 5*o, -3*o = -s + 2*s + 33. Which is bigger: o or -59/6?
-59/6
Let j be 2 + 34/(-14) - (-4)/(-28). Are j and -0.3 equal?
False
Suppose 0 = -2*a + 5*a - 6. Let l = 4 - a. Suppose -3 = b + l*b. Which is smaller: 2/5 or b?
b
Let k = 13.3 - 14. Let i = 0.8 + k. Is 1 bigger than i?
True
Let f = -6 - -25/4. Which is smaller: f or 1?
f
Let d = -12.6 + 16.6. Which is smaller: 4/5 or d?
4/5
Let w = -0.53 + 1.5. Let f = w + 0.03. Which is smaller: f or -6?
-6
Let t be -1*(-3)/(-30)*4/2. Which is bigger: 1/2 or t?
1/2
Let u be (3/10)/(2/10)*-2. Which is smaller: 1/16 or u?
u
Let j(w) be the first derivative of -w**3/3 + 11*w**2/2 - 4*w + 5. Let g be j(10). Are g and 7 unequal?
True
Let i = 10 + -7. Suppose -2*b + 5 = -i. Do b and 3 have the same value?
False
Let w(l) = l**3 - 9*l**2 + 10*l - 12. Let p be w(8). Is 2 at least p?
False
Let i = -21 - -28. Is 7 < i?
False
Let y be -2 - (-4)/(16/12). Is -1 greater than or equal to y?
False
Suppose -5*i - 66 = 24. Is i not equal to -2/3?
True
Let v = -15 + 16.2. Let y = -0.2 + 0.4. Let u = y - v. Which is greater: -0.4 or u?
-0.4
Let g = -0.31 + 0.01. Is -2/9 at least as big as g?
True
Let w = 8.5 + -6.5. Is 0 at least w?
False
Let m = 39.1 + 4.9. Which is bigger: 0 or m?
m
Let z be -1*(1 - 5) - (-12)/(-3). Let k be (2 - 2) + 0 + -1. Let s be k/1*1/1. Is z bigger than s?
True
Let h = 19 - 12. Let a be (-6)/28 + h/14. Are a and 0 unequal?
True
Let l = 1851 + -24075/13. Is l < -2?
False
Suppose 26*a - 20 = 22*a. Which is bigger: a or 11/2?
11/2
Let i(y) = y + 10. Let z be i(-8). Suppose 3*d - j + z = 0, -2 = -j + 3. Which is greater: 3 or d?
3
Let k = 8 - 11. Suppose 0*s + 5 = -s. Which is smaller: s or k?
s
Let p = -131/2 + 70. Is 6 greater than p?
True
Let x = 47 - 41. Which is smaller: 2 or x?
2
Let o(c) = c**2 + 3*c - 8. Let l be o(-7). Let s be 1/(l/3) - 0. Let a = 19/140 + s. Is a > 0?
True
Let y = 3 + -3. Let x be (y - 1)*(5 + 1). Do x and -6 have the same value?
True
Suppose 5*n = 4*p + 193, 7*n - 3*n - 2*p = 152. Let r = n - 110/3. Let o(z) = -z**2 + 4*z. Let x be o(0). Is x greater than r?
False
Let i(v) = v**2 + 5*v + 1. Let x be i(-5). Let s be (-2)/(-4)*(x - -1). Is 2 < s?
False
Let v = 31 + -18. Which is smaller: 15 or v?
v
Let y(w) = w**2 + 1. Let n be y(-1). Suppose 3*o + 2*t - 11 = n*o, 3*o - 29 = -5*t. Is 7/2 at most o?
False
Let l(u) = u**3 + 3*u**2 - u - 1. Let r be l(-2). Let w = r - 4. Is w greater than or equal to 2?
False
Let p be -1 + (40/(-6))/(-4). Is p smaller than 0?
False
Let f = 20 - 6. Suppose -3*g - 2*v + f - 6 = 0, 2*g - 6 = -2*v. Do 1 and g have the same value?
False
Suppose 4*n + 5*k = 2*n, -3*n - 5*k + 5 = 0. Suppose 2*z = -3*j + n + 6, 5*z = -2*j + 22. Is -2/57 bigger than j?
False
Suppose 5*y + 1 = 4*p - 9, 18 = -y + 4*p. Suppose -2*a = l + 9, 2*l + l + y*a + 7 = 0. Let j = 0.2 - 0.3. Is l greater than or equal to j?
True
Suppose 0*p + 8 = -4*p. Suppose 0 = -3*s - 2*s - 10. Do s and p have the same value?
True
Let z = -2/127 - 1129/889. Which is smaller: z or 1?
z
Let q be (-2 - -2) + -1 + 2. Let i = -2 + q. Let j(z) = z**2 + 3*z + 1. Let h be j(i). Which is greater: h or 2/11?
2/11
Let o(j) be the first derivative of -j**4/4 + 2*j**3 + 7*j**2/2 - 5*j + 2. Let x be o(7). Let n be (-1)/2 + x/(-5). Is n less than 1/3?
False
Suppose 10 = 3*u - u. Suppose u*s - 100 = 5*k, 2*k - k = -5*s - 14. Let z = 37/2 + k. Is z greater than 0?
False
Let o = 6/55 - 103/440. Suppose 18 = -3*i + 18. Is i < o?
False
Let z(f) = f**3 - 6*f**2. Let l be z(6). Let i be (-6)/21 - 72/(-7). Suppose 0 = -2*y - 4*m - i, -3*m = -2*y + 2 + 2. Is y equal to l?
False
Let s(j) = j**2 - 4*j + 1. Let u be s(3). Is -3 at most u?
True
Let d be 1*(-4808)/12 - -1. Let r = -65939/165 - d. Are -1 and r unequal?
True
Suppose -3*m = -2*b + 13, -2*b + 0*m - 22 = 4*m. Let t be b/(-2) - 1/2. Let u be 4/