alse
Let v = -120 - -38. Let n be (v/16 - -5)/((-3)/4). Suppose c = -3*f - 11, -3*c = f - 4*f - 15. Is c != n?
True
Suppose 9 - 26 = w. Let l be 0 + (w/11 - -1). Let d(s) = s**3 - 13*s**2 - 10*s - 56. Let m be d(14). Which is smaller: m or l?
l
Suppose 25 - 5 = -4*t. Let v be t/(-15) - (-41)/3. Suppose -2*r = f - 6, -4*f - 3*r = -5*f - v. Is -7/5 >= f?
True
Let q = 3 - 2. Let t be (4 + -7)*2*q/4. Let w = 3 - 2. Which is greater: t or w?
w
Suppose 0 = -12*j + 9*j. Let s be (-12)/((-4)/(j + -4)). Is -12 greater than s?
False
Let q = 2075.1 + -2075. Is -733 <= q?
True
Let u = -373 - -348. Which is greater: -33 or u?
u
Let x = -0.96 - -1. Let m = x + -12.04. Let q = 28740 - 28742. Which is smaller: q or m?
m
Let l = 876 + -907. Does 1.2 = l?
False
Suppose -5*z + 145 = -5*t, 4*t + 4*z - 93 = -249. Let s be t/(-40) - 2/8. Which is smaller: s or -0.2?
-0.2
Suppose 24*y - 5 = -101. Is y <= -80/21?
True
Let g be (-1458)/45*(-5)/2. Let m be g/273 + (2 - (-28)/(-13)). Which is smaller: m or 1/5?
m
Let n = 1346 - 1344. Let z = 8 + -6. Let f = 2 + z. Is f > n?
True
Let r be (-112)/120 + (-4)/(-10). Let v = -107/60 - r. Which is bigger: v or 0?
0
Let j = -2.07 - -0.07. Let h be (-36)/96 + 6/16 + -5. Which is smaller: h or j?
h
Let t = 2387 - 2838. Which is smaller: -453 or t?
-453
Let p(b) = b**3 + 3*b**2 - 4*b - 4. Let u be p(-3). Suppose 0 = -6*m + 3*x + 33, 2*x + 25 = -5*m + 66. Are u and m non-equal?
True
Suppose 7*b + 8 - 1 = 0. Suppose h - 9 = 4*y + 5, -5*h + 22 = 4*y. Let s be (2*1)/(b - h). Which is bigger: s or -0.3?
s
Let j = -2016 - -1775. Is 1 smaller than j?
False
Let q(m) = m**2 - 12*m - 18. Let t be q(14). Suppose 4*i - t = -5*v - i, -2*v - i = 0. Let x = 0.9 - -0.1. Which is smaller: x or v?
v
Let h be -9*2*(-2)/(-12). Let m = 4 + h. Which is smaller: m or 3/35?
3/35
Suppose 0*h - 2*h + 2 = 0. Let u be 20 + -18 + 1*h/(-2). Suppose 5 = -q + 4, 0 = -3*l - q + 5. Are l and u non-equal?
True
Let p be 4/18 + -7*(-9185)/693. Which is smaller: p or 466/5?
p
Let o(f) = -4*f**2 + 41*f + 14. Let b be o(8). Is b > 86?
False
Suppose -14*j = 149 - 135. Do -5/99 and j have different values?
True
Let f be 145*(8/(-30) + (-31)/93). Which is greater: -82 or f?
-82
Let t = -0.48 - -0.28. Is t not equal to -72?
True
Let t = 0.2 - 0.1. Suppose -428*m + 88 = -436*m. Which is greater: m or t?
t
Let p(h) be the first derivative of -h**3/3 - 7*h**2/2 + h - 13. Let v = 2 + -9. Let z be p(v). Are 1 and z non-equal?
False
Suppose -k + 2*o = -2*o + 14, 0 = -2*k + o + 7. Which is greater: 100/21 or k?
k
Suppose 3*d - 25 = -16. Suppose 0*k = -t + 5*k + 4, t + 2*k = -10. Let f = t - -10. Which is smaller: f or d?
d
Suppose -22 = -3*h + 5*q, h - 6*h - q + 46 = 0. Let n = h + -7. Suppose -v = -3*f + n*v + 21, -2*f = -4*v - 16. Is 4 bigger than f?
False
Suppose -3*n = 5*c - 28, n + n + 4*c = 22. Let u be -5 - (-1 + -1 + -3). Is u smaller than n?
True
Let d = -104 + 105. Which is smaller: 1/10 or d?
1/10
Let l be 713/20 + 2/(-5). Let o(q) = -q**2 - q + 35. Let x be o(0). Is x at least l?
False
Let a = -588 + 575. Is -19 greater than a?
False
Let q = -69 + 32. Let t be 72/21*21/(-2). Which is greater: q or t?
t
Let t be (5/40)/((-4)/10). Let u be 26/22 - (-18)/(-99). Is u greater than t?
True
Let v(d) = 26*d + 117. Let s be v(-5). Which is greater: s or 17?
17
Suppose 0 = 2*z - 3*z + 13. Suppose 5*q - 2 - z = 0. Suppose -4*t - 1 = 3*g, -10 = 4*t + 5*g - 3. Which is smaller: t or q?
t
Let f(n) = -5*n + 4. Let t be f(7). Let a = 127/4 + t. Is a at most 0?
False
Suppose -2*h = 2*c + 10, 0 = -c + 4*h - 0*h + 20. Let d = c - 4. Let w be (-3)/135 - d/18. Is w not equal to -2/7?
True
Suppose 0*z = -4*p - 4*z + 12, 5*p - 27 = -2*z. Is 21 smaller than p?
False
Let q = -13.39 - -13.4433. Which is smaller: q or 0?
0
Suppose -o + 4*o = 15. Suppose 5*w - 5 = 0, -o*h - 13 - 6 = -4*w. Is h bigger than -3?
False
Suppose 0 = 5*v - 9*v. Suppose v*h = -5*h. Is 1/23 equal to h?
False
Suppose -4*r = y + 33, -2*r - y = -r + 9. Suppose -3*p - 8 = 4. Let x = r - p. Which is smaller: -3 or x?
x
Suppose 0 = -4*d - 4, -5*i + 27*d + 4 = 23*d. Suppose 0 = -u + 4*t - 3*t + 1, -4*t - 8 = 0. Let a = 2 + u. Which is smaller: a or i?
i
Let h = -3 - 0. Suppose 3 + 3 = 3*a. Suppose a*t + 0*t = -2. Which is greater: t or h?
t
Let j = 2.2 - 2. Let x(l) = 29*l + 117. Let s be x(-4). Is j greater than or equal to s?
False
Let o be 4 + (-102)/39 - (6 + -3). Which is greater: o or -1?
-1
Suppose 11*w = 786 + 1128. Are -0.1 and w nonequal?
True
Let u = 38 - 2. Let f be (304/u)/(-2) - -4. Which is bigger: f or -5?
f
Let v = 0 + 5. Let n = -926 - -931. Is n greater than v?
False
Suppose 3*m = 3*o - 8*o - 82, 5*m = 4*o + 36. Let w be (o/63)/(8/44). Which is bigger: w or 0?
0
Let w be (((-2340)/27)/10)/((-2)/108). Is 466 at most as big as w?
True
Let x = 0.22 + -133.22. Let r = x - -152.2. Let d = -19 + r. Which is greater: d or 4?
4
Let t be (0/(-2))/(-1 + 3). Let m be (-3)/8*(-6940)/150. Let l = m + -67/4. Which is bigger: t or l?
l
Suppose -6*h + 360 = -2*h. Let r be (-4)/(-190)*-5 - (-34)/(-38). Let k be (65/h + r)*-3. Is 0 bigger than k?
False
Let g = 0.1831 - 0.3531. Do g and -5/9 have different values?
True
Suppose 4*m = -4*t - 28, -t + 16*m - 15*m = 1. Is t greater than -13/5?
False
Suppose 3*a - 3 - 9 = 0. Let j(q) = q**3 - 3*q**2 - 2*q - 3. Let w = 1 - -3. Let b be j(w). Is b less than a?
False
Let d = -8896/13 - -684. Suppose -4*w + 18 = 2, 0 = -o - 4*w + 17. Let i be (-1 - -2)/(o - 0). Which is smaller: d or i?
d
Let u(z) = -9*z - 14. Let g be u(-7). Suppose 5*w - 59 + g = 0. Is 11/4 at most as big as w?
False
Suppose -6*z + z = 3*j, 5*j = z. Which is greater: 3/38 or z?
3/38
Let q(y) = y**3 + 14*y**2 - 14*y - 2. Let p be q(-15). Let h = 13 + p. Let u = -5.6 + 6. Which is smaller: u or h?
h
Let t be (-615)/(-18)*((-8)/(-24) - 1). Is -24 at most t?
True
Let n be (-2 - 5/(-3))*-6. Suppose -4*u + n*u + 6 = 0. Are 1 and u unequal?
True
Let c be 6/(-555)*11/(-22). Is 1 != c?
True
Let o = -2588 - -2587.2. Is 62/5 > o?
True
Let j be (-1)/(0 - 0 - -19). Let b = -107 + 45. Let z = b - -60. Which is smaller: j or z?
z
Let w = 36 - 46. Let r be w/(-75) + 3/15. Let j = 1 - 1.04. Which is smaller: r or j?
j
Let f = 39 + -35. Let r be 10*(f/(-4) + 0). Which is smaller: -3 or r?
r
Suppose 0*d = 3*d - 102. Let w = d + -34. Is w < 1/73?
True
Let u = -82 - -77. Let g(a) = -3*a**2 - 1. Let s be ((-5)/(-15))/((-2)/(-6)). Let v be g(s). Is v smaller than u?
False
Suppose 5*b - q - 42 = -3*q, 4*q + 4 = b. Let w be (0 + 4)*-1*b. Let m be (-7)/84*w/(-6). Which is smaller: m or 1?
m
Let r = -2481/37 - -67. Let u be (0 + 0/(-4))/2. Is r <= u?
True
Suppose -10*u + 872 = 862. Let s = 1 - 2. Which is bigger: u or s?
u
Let r be 40/22 - (3 + -1). Let q = -28/117 + 1058/4095. Let j = -109/210 + q. Which is bigger: j or r?
r
Let t = 30166/29 - 1040. Let g be ((-2)/(-6))/((-464)/60). Let j = g - t. Is j bigger than 0?
False
Suppose 2*c + 22 = 5*i + 6*c, -4 = 2*c. Let u be (-5)/i + 5/(-30). Let a = 1 + u. Is a at least as big as -4/3?
True
Let z be 60/(-80) + 2714/(-168). Let u = -88/7 - z. Which is smaller: 1 or u?
1
Let x be 14/(-42) - 22/6. Let n be x/(-14) + (-253)/77. Which is bigger: 3/2 or n?
3/2
Let s = -130.1 + 140.7. Are s and -1/9 non-equal?
True
Let f = 12 + -25. Let g = f + 14. Let p = 12.7 - 18.7. Is p > g?
False
Let v(s) = 16*s - 445. Let y be v(28). Is 80/19 < y?
False
Let s(w) = w**2 - 8*w + 18. Let h be s(4). Let g be 3/((-21)/5)*h/10. Let o = 1 + -1. Which is greater: o or g?
o
Let g(l) = -2*l - 5. Let q be g(0). Let h be (-9)/((-90)/(-16))*q. Is h >= 7?
True
Let r(w) = -118*w**3 - w**2 - 2*w + 2. Let c be r(1). Which is bigger: c or -479/4?
c
Suppose -4*y - 968 = 2*c, 4*y + 548 = -5*c - 414. Are -243 and y non-equal?
False
Let h = -46/9 - -461/99. Which is smaller: h or 0?
h
Suppose -2*j - j = 39. Let s(q) = -q**3 - 6*q**2 + 2*q + 17. Let c be s(-5). Let z = c - j. Is z less than or equal to -6?
False
Let w be ((-1)/(-1)*-3)/10. Suppose f + n - 2 - 24 = 0, -n + 54 = 2*f. Let t be 7/f - (-5)/(-4). Is t >= w?
False
Let v = -2 - -14. Let d = 17 - v. Suppose 4*r - d*r = 5. Do r and -1 have the same value?
False
Let v = 766.04 - 766. Which is greater: v or 0.7?
0.7
Suppose -2*v = -6*v - 3*h - 11, -h = v + 3. Let i(n) = n - 2.