32/31227 + -2/1487. Are -1 and s non-equal?
True
Let g = 241/4 - 60. Suppose 0 = -i - 1. Let j be (i + 3)/2*-1. Are g and j unequal?
True
Let m = -968/15715 - -2/449. Which is smaller: m or 0?
m
Let r = -9 + 5. Let a be (-10)/r*(-12)/(-50). Suppose -6 = -5*b + 4. Which is smaller: b or a?
a
Let n be (-1)/(0 + (-1)/(-2)). Let z = 64 - 65. Which is bigger: n or z?
z
Let h(v) = -v**2 - 7*v - 5. Let b be h(-4). Let a be 171/45*5/3. Which is smaller: b or a?
a
Let q = -1.3 + 6.3. Let d = -7 + q. Which is bigger: d or -3?
d
Let c be ((-19)/(-21) - 1) + 0. Let f(l) = 2*l**2 + 27*l + 13. Let t be f(-13). Are t and c non-equal?
True
Let b be (2/(-6))/((-404)/(-24)). Is b greater than or equal to 0?
False
Let d = -68/21 + 18/7. Let z be (-21)/(-6) + (-4)/(-8). Let c = -4 + z. Which is bigger: c or d?
c
Suppose 3*k - 5*i + 2 = 0, -32 = -4*k - 2*i - 0*i. Let h = -37 + 45. Let g = k - h. Is -5/4 at most as big as g?
False
Let u = -7.8 - -2.8. Are u and -2/9 equal?
False
Let x = -7 - -14. Let f be 19/(-51) + x/21. Is f at most -1?
False
Let q = -46 - -500/11. Which is greater: -2/9 or q?
-2/9
Let h = 256 - 256. Suppose 46 = o - 6*o - 4*t, 0 = -5*o + 5*t - 10. Which is smaller: h or o?
o
Let p be 0 + (-1 - -1 - 1). Which is smaller: p or -2/19?
p
Let l be (-5)/((-10)/4) - 2. Let c be ((-24)/10 - l) + 3. Which is smaller: 1/4 or c?
1/4
Suppose -2*s = -0*s. Are s and -1 unequal?
True
Let h be ((-2243199339)/(-217461300))/(-3) + 3. Let v = -11/103553 + h. Let s = -1/100 - v. Which is bigger: s or 0?
s
Suppose -k - 16 = 3*h, 4*k + 4*h = -k - 25. Is k not equal to 2/25?
True
Let y be 10/(1 - -4 - 3). Is y greater than or equal to 5?
True
Suppose -5*m = w - 3*w + 29, -3*m = -4*w + 23. Suppose 14 = 5*d + 3*b, -w*d + 3 + 13 = -4*b. Suppose 6 = -d*t + 2. Is -1 at most t?
True
Suppose 3*x = 5*a - 83, 138 = -4*x - 2*a + 10. Which is greater: -30 or x?
-30
Let t be (-6)/4*(-8)/6. Is 2 at most as big as t?
True
Let w(u) = u**2 - 8*u + 9. Let f be w(6). Is -3 bigger than f?
False
Suppose 3*v = 5*t - 7, 4*t = -t + 2*v + 3. Which is smaller: t or 91?
t
Let c = 29 + -29. Is -2 not equal to c?
True
Suppose 4*x = 5*u + 554, 0 = -4*x + 6*x + 8. Which is greater: -115 or u?
u
Suppose -5*f = 5*q - 90, -f + 23 = 4*q - 34. Let g(l) = l**3 - 19*l**2 - 19*l - 6. Let n be g(20). Is q greater than or equal to n?
False
Let a = 32661/142 + -230. Is -1 > a?
False
Let u = -205/4 + 52. Let w(m) = m**3 - 5*m**2 - 5*m - 4. Let t be w(6). Which is smaller: u or t?
u
Suppose j + 0*j - 1 = 0. Let l be j + 7/((-21)/2). Is l bigger than -1?
True
Let k = 8 - 2. Let f be (50/(-18) + 3)*k. Which is bigger: 0 or f?
f
Let n = 0.14 + -0.1. Let p = n + 2.96. Is p < -1?
False
Let b = 17 + -13. Which is greater: 1/2 or b?
b
Suppose -5*m + 2*w = -33, -2*w = 3*w - 5. Suppose s + 2*i = 5*s + 6, m = -4*s + i. Let p(c) = c**3 + 4*c**2 - 6*c - 7. Let d be p(-5). Is d at least s?
True
Suppose -5*q + 3*c + 8 = -19, -3*c - 9 = q. Suppose -22 - 5 = -q*y. Which is greater: 8 or y?
y
Let n(c) = -c**2 - 6*c - 2. Let l be n(-5). Suppose 5*o = l*o + 6. Let f = 6.9 - 7. Which is greater: o or f?
o
Let y be (-4 - -1) + (-2)/(-1). Which is smaller: 1/9 or y?
y
Suppose 10 = -0*j + 2*j. Let k = 8 - j. Which is smaller: 2 or k?
2
Let b be (2/114)/((-1)/(-2)). Let z be 0*((-17)/6 - -3)*2. Which is smaller: z or b?
z
Let c = -1/16 + -25/112. Is c equal to -1/3?
False
Suppose 5*b - 5 = 0, f - 82 = -0*f - 5*b. Let j = 4080/53 - f. Let d = -103/159 + j. Which is bigger: d or -0.2?
-0.2
Let k = 4.955 + 0.045. Is -1 not equal to k?
True
Let l be 16/6*(-18)/(-4). Let y be l/2*(-2)/2. Is -4 <= y?
False
Let z be 1/(-5) + ((-672)/(-620))/3. Which is smaller: 0 or z?
0
Suppose -a + 12 = 2*a. Suppose 3*j - a*w + 10 = 0, 0*w = -w - 2. Let n(g) = -g**2 - 6*g - 1. Let k be n(j). Which is bigger: 0 or k?
0
Let c(k) = -k**3 - 10*k**2 + 11*k + 2. Let x be c(-11). Suppose 3*h + x*h - 5 = 0. Is h < 2?
True
Let g = 1.6 + -1. Let k = -0.9 + g. Is -3 > k?
False
Let w be 24/4 + 0 + -3. Suppose -2*t + 2*z = -3 + 15, -4*z = -w*t - 23. Suppose 3*n - 12 = 5*c, -3*c - 13 + 6 = -2*n. Is c less than t?
True
Suppose 8 = z + z. Suppose 5*p + 12 = 2*n, 8 = -2*p + n + z. Let u be (1 + 2)*4/p. Is -2 greater than u?
True
Let j = 4 - 4. Let c be (-1762)/(-16) - (-6)/(-8). Let z = c - 109. Which is bigger: z or j?
z
Let z be ((-12)/(-15))/(2/15). Let j = -11 + z. Is j < -5?
False
Suppose -5*c - 12 = 8. Which is smaller: -5 or c?
-5
Suppose 4*p + 3 + 17 = 0. Let a(d) = d + 7. Let m be a(p). Let j = -7 + 11. Which is greater: m or j?
j
Let v = 1.5 - 1.3. Does -5 = v?
False
Suppose -4*n + 7 + 1 = 0. Let c be 6/(-6) + (-10)/(-8). Is n at most c?
False
Let i = -3 + 5. Let r = i - 2.1. Let a = 4 - 3. Which is smaller: r or a?
r
Let b = -3.65 - 0.05. Let n = -4 - b. Which is bigger: n or -2?
n
Suppose -18 = -8*m + 6. Suppose -4*u - 1 = m. Let v be ((-3)/114)/((-1)/4). Which is bigger: v or u?
v
Let b be -3*1/2 - -1. Let t = -11 - -7. Let p = t + 4.4. Which is smaller: b or p?
b
Let t = -371 - -373. Let k = 1 - 1.05. Is t greater than or equal to k?
True
Let w(s) = -s + 7. Let l be w(6). Let n be 1/2*(l + -1). Which is smaller: n or -4?
-4
Let j be (0/(8/2))/(-1). Suppose 0 = 3*d + 4*h + 54, j*d - 3*d - 3*h - 54 = 0. Is d >= -18?
True
Let h be (5 - 1)/(11 - 5). Is h <= 1?
True
Suppose 5*s - 17 = 3. Let u(y) = -y - 11. Let r be u(-5). Let v = s + r. Which is smaller: -3/5 or v?
v
Let x(z) = -2*z - 15. Let t be x(-8). Let k = 88/105 - 14/15. Is t less than or equal to k?
False
Let q(y) = 62*y**2 - 2*y + 1. Let m be q(2). Suppose -x + m = -3*l, 5*x - 1280 = -0*x + 4*l. Let s be 144/x + 4/(-10). Are s and 0 nonequal?
True
Suppose -2*n - 4*q = -14, 2*n + 5*q = n + 16. Let z be 3 + -3 - n/(-2). Which is smaller: z or 2?
z
Suppose 0 = -t + 2*t - 19. Is 18 bigger than t?
False
Let r = 0 - 0.1. Let l = r + 0.1. Let b = 4.033 - 0.033. Is l at least as big as b?
False
Let v be (-2)/(40/(-12))*5. Let r be (v + -2)/((-2)/6). Is -3 not equal to r?
False
Let t(l) = l**3 + 4*l**2. Let d be t(-3). Let s = 21 + -13. Which is smaller: s or d?
s
Suppose -4*k = p + 50, 0 = 2*k - 3 - 1. Is p less than or equal to -57?
True
Suppose -n + 7 = -5*v + 21, 3*n + 2*v = 9. Let y = 1 - n. Which is greater: 2/11 or y?
2/11
Let v be 14/16 - (-3)/(-6). Let h = 10 - 9. Does v = h?
False
Let s be (-1*1)/(4/8). Let a = -12.8 + 13. Which is greater: a or s?
a
Let g be (-2)/(-10) - 384/20. Which is greater: -18 or g?
-18
Let b = -11 - -15. Let l = b + -6. Which is bigger: l or -1/2?
-1/2
Let v(y) = y**2 + 22*y. Let q be v(-22). Which is smaller: q or -80?
-80
Let r = 11/5 - 27/10. Let c = 124 + -124. Which is smaller: r or c?
r
Suppose -20 = -4*m + 4*t, -4*t - 10 - 6 = -3*m. Suppose 3*k - 4 = -4*a, -m*a = -a - 12. Is k > -3?
False
Suppose 4*x + 2*g + 46 = 0, 5*g + 15 = 2*g. Is x bigger than -9?
False
Let d = 0.16 + -0.51. Which is greater: d or -2?
d
Let i = -0.7 - 4.3. Let v = -0.21 + 0.11. Is i <= v?
True
Let x be ((-12)/(-62))/((-5)/(-12)). Let j = x - 2/31. Let n = 0.01 - 2.01. Which is bigger: j or n?
j
Let d be 1 + 3 - 13/(988/344). Which is smaller: d or 0?
d
Let a be (138/(-16))/((-9)/(-6)). Let x = -169/28 - a. Let i = 0.8 + 0.2. Which is greater: x or i?
i
Suppose 0 = -4*u - 16, -2*r + 2 = 5*u + 4. Let i = -22 + 31. Let n be (1/i)/((-3)/r). Which is bigger: n or -2/7?
-2/7
Let s be (-3)/(-5) + (-20)/75. Which is greater: s or 1?
1
Suppose -2*a = 4*h - 2 + 14, -3*a = -5*h + 7. Let l be 4/(-10) + (-232)/(-55). Let q = 431/110 - l. Do h and q have the same value?
False
Let v = -59769/86 - -695. Let w = 91/430 - v. Are w and -1 nonequal?
True
Let n(c) = -c**2 - 5*c. Suppose o - x = -3, 5*o + 0*x - 3*x + 11 = 0. Let k be (-1 - -6)/(-2 - o). Let y be n(k). Which is bigger: 3/10 or y?
3/10
Let z = -34.9 - -35. Let h = 4 + -2. Which is smaller: h or z?
z
Let o = 176 - 876/5. Is o bigger than 0?
True
Let v = 6 - 8. Let d be -2 + ((-6)/21 - v). Let x be 2/(-4) - 28/(-35). Which is smaller: x or d?
d
Let u be 6/(-24) + (-46)/8. Which is greater: -7 or u?
u
Let r be (159/(-39) - 6/(-2)) + 2. Which is smaller: 0 or r?
0
Let l(n) = -2*n**2 + 24*n + 6. Let s be l(11). Is 30 bigger than s?
True
Let u be (-286)/(-72) - (-5 - -9). Which is smaller: u or -1?
-1
Suppose 0 = -4*q + 12 - 0. Suppose -4 = g - 0*g, -4*x -