
Let l be (-2 + 0)/2*1. Let a be (l/5)/((-6)/15). Suppose 5*w + 2 = 4*s, 0 = 5*w + s - 0*s - 13. Are a and w non-equal?
True
Let k = 98 - 683/7. Let q be (57/(-28))/(39/(-13)). Let g = k - q. Is -2 smaller than g?
True
Let n be (-1)/3 + 16/(-6). Let g(u) = -2*u - 3. Let k be g(-2). Suppose 2*s + 3*z = k + 3, 2*z = -5*s - 12. Is n != s?
True
Let m = 0.24 + -0.14. Which is smaller: 26 or m?
m
Let j = 1 - 0. Suppose 4*z + 11 - 35 = 0. Which is greater: z or j?
z
Let i(z) = -z**3 + 3*z**2 + 2*z - 1. Let u = 7 - 4. Let k be i(u). Suppose -4 = k*b + 11. Is -3 at least as big as b?
True
Let j be ((-24)/(-80))/((-18)/(-4555)). Let m = 76 - j. Is m at most 1?
True
Suppose 2*o + 5*t - t = 0, 0 = -3*o + 5*t. Which is greater: o or -1/18?
o
Let i be 40/(-15)*(-6)/(-4). Let a be ((-8)/(-12))/(i/(-6)). Suppose 8*q = 7*q - a. Which is bigger: q or 1?
1
Let b = -22 - -13. Let z = b + 14. Let y = 4.7 - z. Which is smaller: -1/4 or y?
y
Let z = -39 - -38.9. Is z not equal to -46?
True
Let h = 3.43 + -17.33. Let b = h + 14. Do -8 and b have different values?
True
Let n be (-4)/(-3)*51/(-39). Let b be (-84)/(-9)*(-3)/(-26). Let w = b + n. Which is bigger: w or -2?
w
Let z be (13 + -8)*(-7)/(35/54). Let t = -66623 + 666771/10. Let d = z + t. Is d smaller than 1?
True
Let g(j) = -2*j - 2. Let w be g(-3). Suppose q = w*q. Suppose -4*k - 4 + 0 = q. Which is smaller: k or -2/13?
k
Let j be 6/(-12) + 3/(-6)*-1. Which is smaller: j or 3/23?
j
Let h = 657763/9 - 72945. Let a = -140 + h. Let v(y) = y**3 + 4*y**2 - 7*y - 10. Let j be v(-5). Which is bigger: a or j?
j
Suppose 0 = -2*l - 7 - 9. Is -10 < l?
True
Let a be 4/10 + (-4)/10. Let m = a - 4. Is -1 at most m?
False
Suppose -3*x = -4*x. Let c be x/(4/2 - 3). Suppose c*r = 5*r - 10. Which is smaller: 3 or r?
r
Let t = 52 + -19. Suppose -5*m - 5*l + t = -3*m, l - 5 = 0. Which is smaller: 3 or m?
3
Let x be 1/1 - (-13 - -14). Do x and 5/4 have the same value?
False
Let p be 2 + (-57)/30 + 1. Let j = 8/5 - p. Are j and -7 non-equal?
True
Let t(a) = -a**3 + 4*a**2 + 2*a - 5. Let n be t(4). Let k be n/30*1*4. Which is smaller: k or 0.1?
0.1
Let a = 0 + -1. Let c be ((-8)/180)/(-1 + 22/20). Which is smaller: c or a?
a
Let h = 0.02 + 0. Let r = -1.98 - h. Let g = 1.9 + r. Which is smaller: 0.2 or g?
g
Let f(z) = 2*z - 6. Let o be f(2). Is o > -12/7?
False
Let z be 34/24 - (-6)/(-8). Let d(i) be the first derivative of -i**4/4 - i**3 - i**2 - 4*i + 1. Let c be d(-3). Is c equal to z?
False
Suppose -12*v + 33 = 9. Which is smaller: 30 or v?
v
Let j = -0.071 - 1.029. Is j at least as big as 2?
False
Let j be 12/(3*4/(-8)). Let c be 42/70*j/3. Which is bigger: -0.1 or c?
-0.1
Let i(l) = 2*l**2 - l + 5. Let q be i(-5). Let o be q/21 - (2 + 1). Which is smaller: o or 0?
o
Let c(d) = d**3 + 8*d**2 + 5*d - 10. Let z be c(-7). Which is greater: 14/5 or z?
z
Let b(j) be the first derivative of -j**2/2 - 2. Let v be b(2). Suppose 0 = 2*q - 3*l + 4, 4*q = 9*q + 3*l + 10. Do v and q have the same value?
True
Suppose 2*h - 1 = -o + 3*h, -5*h - 5 = 4*o. Let u be (-2)/9 + (-80)/(-225). Is o > u?
False
Suppose 0 = 4*b - 2*b + 4*a, 5*a + 25 = -5*b. Which is smaller: -11 or b?
-11
Let d be 114/8*36/(-45). Is -10 < d?
False
Let h be ((-44)/(-6))/((-16)/24). Is -10 > h?
True
Let q = -1/5 - 0. Let t be (-2)/10 - 18/10. Let v be 2/2 - (t - -2). Which is bigger: v or q?
v
Let k be (3/9)/(1/21). Let i = -8 + k. Does i = -6/5?
False
Let o be 20/24 - 2/(-6). Is 1 less than o?
True
Let r = -2/37 + -142/111. Let i = 27 - 47. Let y = 18 + i. Do y and r have different values?
True
Let t = 0.26 - -1.64. Let p = 2 - t. Is p greater than -9?
True
Let i = -3 - -2. Let g be ((-2)/4)/((-8)/(-80)). Let t = -4 - g. Are t and i equal?
False
Let f = 8/5 + -46/35. Let r(j) = -4*j + 2. Let v be r(2). Let m be -1*2/v - 0. Which is smaller: m or f?
f
Suppose 0 = -5*v + 2*v + 9. Is 3 at most v?
True
Let y = 58/7 - 409/35. Is y at least as big as -2?
False
Let b be (5 - 4)/((-2)/(-4)). Suppose -2*u = 4*w - 0*u - b, -6 = -5*w + u. Let o be (0 - -1) + w/1. Which is greater: o or 3/2?
o
Let j be (-3)/(9/6) - 3. Let o = 23 + 11. Suppose 3*s - 3*f + o = -2*s, 0 = 2*s + 4*f - 2. Is j at least s?
True
Suppose -3*b = 2*b + 4*a, 0 = 4*a + 20. Is 6 not equal to b?
True
Let b be 4/(-10) + (-2152)/(-3420). Let o = 2/285 - b. Which is smaller: 0 or o?
o
Let t = -83 + 59. Let x = -13 - t. Which is smaller: x or 2/7?
2/7
Suppose 3*i - 2*p + 10 + 9 = 0, 3*i + 3*p + 9 = 0. Let h(u) = -u**2 + 6*u. Let j be h(5). Let k = 1 - j. Is i < k?
True
Suppose 4 = -t + 14. Suppose c = 6*c - t. Which is smaller: 3/2 or c?
3/2
Suppose r + 0 + 3 = 0. Let u be (-20)/(-6) + 1/r. Suppose -4*j + 10 = j. Which is smaller: j or u?
j
Suppose 5*a - 5 = 10. Suppose n - a = -4*b + 2, -4*n = -20. Suppose b*d - d = 0. Which is smaller: d or -4/7?
-4/7
Let n = 10 - 10.13. Let k = n + 0.12. Is k greater than 1/4?
False
Suppose 4*j = 2*j. Suppose 3*v + 12 = 5*v. Let u be ((-4)/10)/(v/10). Is u less than j?
True
Suppose 4*y - 28 = -24. Is -3/10 less than or equal to y?
True
Let t be (-6)/4*(-4 - -2). Is t equal to -2?
False
Let w(n) = n**2 - 2*n - 2*n**2 - n**2 + n**2. Let t be w(-1). Does 2/23 = t?
False
Let t = -4 + 3.9. Which is smaller: -71 or t?
-71
Let k = -46 - -43. Which is bigger: 5/6 or k?
5/6
Suppose 4*t + 4*a - 36 = 0, -4*t + 85 = t - 3*a. Let m be 5445/(-41230) - (-4)/t. Let v = -3/62 + m. Which is greater: v or -1?
v
Suppose -1 = -v + 2, 0 = 5*q + 2*v + 1464. Let k be q/(-35) + 6/10. Which is bigger: 7 or k?
k
Let m = 3.2 + -3. Let f = -1 - -2. Let s = f - 2. Is s != m?
True
Let s = 3 + -5. Is -7/8 greater than s?
True
Let x = 41 - 44. Which is smaller: x or -11/4?
x
Suppose 3*i - 20 = -8. Let d = -5 + 11. Which is smaller: i or d?
i
Suppose 2*v + 0*v = -2*r, 2*v = 4*r. Let l be -1 + r - (-9)/7. Which is smaller: -3 or l?
-3
Let j be -12 + 14 - 1*2. Which is bigger: j or -2/3?
j
Let m(l) = -2*l - 3. Let k be m(0). Let d be (-1)/(-1) - (0 + 2). Is d less than or equal to k?
False
Let r be 4/(-2)*(-27)/18 - 0. Which is bigger: 0 or r?
r
Suppose 2*a - 5*a = -270. Which is bigger: 89 or a?
a
Let v = 0.14 + 0.06. Let j = -0.1 - -0.1. Which is bigger: v or j?
v
Let z be (28/(-4))/(1*2/6). Is z less than or equal to -21?
True
Let w = 10 - -6. Do w and 17 have the same value?
False
Let v = -7/6 + 5/3. Let m be (2 - 0) + 1 + -3. Suppose m = -4*k - k. Are k and v non-equal?
True
Suppose -5*z = -0*z + 10. Let a = 550/3 - 186. Is a smaller than z?
True
Let d = 40984/17 - 2412. Which is bigger: 0 or d?
0
Let j = -8.6 - -8. Let y = j + -1.4. Let t = 2.1 + y. Is t at least -1?
True
Let u be (-16)/(-2)*(-2)/(-4). Suppose u*y = -0*y - 4. Let o be -1 - (88/(-42) - y). Does 1 = o?
False
Suppose c = -2*l - c - 4, 0 = 3*c - 15. Let h = l + 6. Which is bigger: h or -0.4?
-0.4
Let m = 1.1 + 6.9. Are m and 1/2 nonequal?
True
Let z be 42 - (3 - 1)/(-2). Let i be z/30 + 2/3. Let s = i + -29/15. Which is greater: s or 1?
1
Let l = -13.08 - -13. Let b = 1.92 - l. Which is greater: b or 0.5?
b
Let d be ((-8)/18)/((-2)/(-3)). Which is greater: 1/38 or d?
1/38
Let a = -13 - -9. Let u = a - -8. Is u less than or equal to 4?
True
Let u be (3/9)/1*15. Suppose u*a = 2*a - 3. Which is greater: 0 or a?
0
Let r = -325/4 - -82. Suppose -3*v = -2*v - 2. Suppose -1 = -5*j + 2*b + 2, -v*j - 2*b = -4. Is j at least as big as r?
True
Let j be 8/28 + 24/14. Let b be j/(-4)*(4 + -2). Let v be -4 - -3 - (b + -1). Are v and 1 equal?
True
Suppose 0*c - 1 = c. Suppose -14 = 2*p - 4*n - 4, 5 = 5*n. Let b(y) = -y**2 - 3*y. Let h be b(p). Which is smaller: h or c?
c
Suppose -c + 0*c = -v + 13, v - 4*c - 19 = 0. Are v and -1/2 unequal?
True
Suppose -4 = 2*n - 14. Let x(y) = -y + 3. Let k be x(n). Let m be k + 24/(-27)*-2. Which is smaller: m or -1?
-1
Suppose 0 = 6*d - 3*d - 6, -5*s + 5 = 5*d. Is s at most -44?
False
Let b = 20 + -13. Let l be 2 + b + -2 - 2. Suppose -l*k = o, -4 = -5*k - 5*o + 16. Are 1/5 and k nonequal?
True
Let x = 25 - -8. Let a = -229/7 + x. Which is smaller: -1 or a?
-1
Let n(g) = -g**3 - g - 1. Let a(m) = -3*m**3 + m**2 - 7*m - 7. Let b(i) = -a(i) + 4*n(i). Let j be b(-2). Let h = 158/651 - -4/93. Which is bigger: h or j?
j
Suppose -j - 6*j - 7 = 0. Is j >= -13/6?
True
Suppose 0 = -6*t + t. Suppose t = -2*l + l - 7. Let w be l/2 