se -n = -4*i + 20, -3*n + 4*i - 5*i = -5. Are n and y equal?
False
Let f = 615/928 + -19/32. Is f < -1?
False
Let r = 4655/13 + -69689/195. Let v = r - -4/39. Do 1 and v have different values?
True
Let v = 9 - 37. Let d = -41 - v. Let l = -12.3 - d. Is 1 < l?
False
Let y be (-24)/(-84) + (-23)/7. Which is greater: -5 or y?
y
Let g = -33 - -13. Let r be (-228)/g + (-2)/5. Is 11 smaller than r?
False
Let o = 8 + -7.77. Let m = 0.03 - o. Is m smaller than -0.2?
False
Let s = 32 - 44. Is s less than -9?
True
Let m(g) = -g**3 + 2*g**2 + 5*g - 4. Let q be m(3). Suppose 2*v - 3*j - 20 = v, 2*v - q*j - 20 = 0. Is v at least as big as 4?
True
Let f = -2/485 + -852/28615. Which is smaller: 0 or f?
f
Let n be (-4)/6*6/(-8). Let h = 4 - 3. Is h less than n?
False
Let t = 42 - 46. Does t = -2?
False
Suppose 4*r + 5 = t, -5*t - 3*r - r + 1 = 0. Are t and -6/5 equal?
False
Let y = 8 + -9. Which is smaller: -1/5 or y?
y
Let n = -5 + -1. Is n at least -7?
True
Let q = 2 + -1.96. Let h = 1.3 - 1.06. Let y = q - h. Which is bigger: y or 1?
1
Let u be (-1)/(((-12)/4)/(-15)). Let h(q) = q**3 - q**2 + q - 5. Let k be h(0). Let z = u - k. Is z bigger than 1?
False
Suppose 15 = -5*m + 5. Let o(r) = r - 15. Let q be o(11). Is q greater than m?
False
Let k = -739 + 502. Let n = 68/843 + 1400590/5901. Let i = k + n. Do 1 and i have the same value?
False
Suppose -2*d + 5*d - 12 = i, -d = 3*i - 4. Suppose -r + 5*r - 16 = -4*j, 0 = -d*j - 2*r + 6. Is j less than -3/4?
True
Let j = -150670/33 - -14153/3. Let v = j - 152. Let t be 5/2 - (-9)/(-6). Which is greater: v or t?
t
Let d = -0.27 - -28.27. Is 1 at most d?
True
Suppose -u - 14 = u. Let h = 11 + u. Suppose 3*m = h*c - 20, 0*m - 3*m - 12 = 0. Is c <= 3?
True
Let w = -43 + 59. Is w at least as big as 16?
True
Let i = -22 + 32. Let k = i - 11. Is k equal to -1?
True
Let c = -4 - -4. Let s(o) = -2*o**3 + o**2 + o. Let w be s(-1). Which is smaller: c or w?
c
Suppose -54 = -2*z + 5*o, -3*o + 29 = 2*z - 9. Which is bigger: 21 or z?
z
Suppose 3*v - 17 = -2. Suppose -k = v - 1. Which is smaller: -5 or k?
-5
Let d = -20 - -59/3. Let x be (1/(-4))/((-3)/12). Suppose 4 + x = -5*b. Is d at least as big as b?
True
Let u be -1 - (7/4)/(-1). Let z be 8/(-36) + (-38)/(-9). Let h = -2 + z. Is h < u?
False
Let z = -4 + 8. Let t be (3/z)/(1/4). Which is bigger: 2 or t?
t
Let h be -6 - 156/(-16) - 1/(-4). Which is greater: h or 15/4?
h
Suppose 0*v = -3*v. Let m be ((-10)/(-150))/((-2)/(-6)). Are v and m non-equal?
True
Let g be 6*(-7)/((-189)/2). Let b = -4 - -4. Let r be (-9)/(-3) + (b - 3). Is g bigger than r?
True
Suppose -10*r - 4 = -8*r. Does r = -7?
False
Let n = -0.1 - -0.2. Let t = 3 + -8/3. Is n smaller than t?
True
Let v = 2/15 + 1/5. Is v <= 3/13?
False
Let p = -7 - -6. Let w = -69 - -1175/17. Which is smaller: p or w?
p
Let v be (-2)/(((-16)/(-1))/4). Which is bigger: 0.3 or v?
0.3
Let d = 0 - 0. Let n = 14.7 + -14.7. Are n and d nonequal?
False
Let g = -58 + 59. Which is greater: g or 5?
5
Suppose 4*u + 42 = -3*c + 7, 0 = 2*u + 5*c + 35. Which is greater: -4 or u?
-4
Let g = 64/5 + -827/65. Are -1 and g nonequal?
True
Let m = 2.88 - 2.9. Let f = m + 0.12. Which is bigger: f or 1.7?
1.7
Let l = 0.044 - -0.056. Which is smaller: l or -16?
-16
Let k = 46 + -3. Which is smaller: 44 or k?
k
Suppose 2*f - 6 = 2*l, -3*f - 2*l = 3*l - 17. Suppose -f = 3*b - b. Is b greater than -3?
True
Let b = 9 - 4. Let s = -11 - -17. Suppose -s*d - z + 2 = -d, -13 = 2*d + b*z. Does d = 1?
True
Let n = -1 - -6. Let b = 5 - 1. Which is greater: n or b?
n
Let u = 13 - 8. Let f = 3 - u. Is f bigger than -1?
False
Let o = 2 - 7. Let y = 3 + o. Let x = y - -1. Is -2/9 at most as big as x?
False
Let x be (-294)/270 + 1/(-9). Let j = -23/15 - x. Are -4 and j nonequal?
True
Suppose 3 = -l - 4. Let f be 2/l + 23/7. Let s be 11/10 - f/6. Which is bigger: 1 or s?
1
Suppose g - 42 = 2*g. Let c be 26/g - 4/(-14). Let j = 0.2 - 0. Is j less than or equal to c?
False
Suppose 3*g = g. Let z be (-1 + 0)/(g - -1). Let s be 5*(-2)/(-15)*z. Which is greater: -2 or s?
s
Suppose 11 = -5*b - 24. Let i(o) = o**2 - 5*o - 1. Let m be i(4). Which is smaller: m or b?
b
Let a be (-5 - -6)/((-682)/2498). Let s = 41/11 + a. Which is greater: 0 or s?
s
Suppose -9*r + 27 = -45. Is r > 10?
False
Let h be (-2)/((3/(-9))/1). Let l be 4/h + 32/(-30). Is -2/5 equal to l?
True
Let i = 157.6 + -164.63. Let o = 0.03 + i. Which is bigger: 0.1 or o?
0.1
Let p = 0 + 2. Is p greater than 4/5?
True
Let b(h) = -h**2 - h + 12. Let c be b(0). Let m be 0 + 0 - c/(-6). Are 1 and m nonequal?
True
Let a be 3 + (0 - -3) + -9. Let t be a + (3 - (5 - 2)). Is t smaller than -4?
False
Let m = -5 + 4.82. Let q = -1.02 + 1. Let x = m + q. Which is smaller: x or -0.1?
x
Let i be (-450)/20 - 0/(-2). Let g = 20 + i. Let y = -3 - -1. Do g and y have the same value?
False
Suppose 3*y = 224 + 211. Let p = 1017/7 - y. Which is smaller: p or 1?
p
Let y be ((-4)/8)/((-1)/2). Let s be y/(-6) - (-20)/30. Which is greater: s or 0?
s
Let l(f) = -f**2 - 11*f - 10. Let u be l(-10). Which is smaller: 3/7 or u?
u
Let y = 78 + -71. Which is smaller: y or 9?
y
Let t = 1.3 - 1.6. Which is bigger: t or 2/7?
2/7
Let p = 0.3 + 0.7. Let k = 25.9 + -33.9. Are k and p nonequal?
True
Let d = 10 + 23. Let b = -362/11 + d. Let u be 0*(-1 + -3)/(-4). Is b greater than u?
True
Let p = 0.63 - -2.27. Let c = p - 3. Is 0.2 >= c?
True
Let p = -0.27 - 0.83. Let k = p + 1. Let c = -0.3 - -0.1. Is c at most k?
True
Let r(m) = -2*m**3 - 2*m**2 + 2*m - 1. Let t be r(2). Which is bigger: -23 or t?
t
Let c = 102 - 10. Which is bigger: -2/3 or c?
c
Let q = -5.93 - 0.07. Let g = 0 - q. Let j = 8 - g. Is 0 not equal to j?
True
Let n = -0.13 - -15.13. Let g = -4/289 + -281/578. Which is smaller: g or n?
g
Suppose 4*s + 5*b + 6 = 0, 2 = 2*s - 2*b - 4. Let t = s + -2. Let r = t - -1. Is r at most 1/3?
True
Let w = 0.4 + -0.6. Let q = w - -0.1. Let z = -0.2 - q. Are -0.2 and z nonequal?
True
Let k be (-6)/27 - 5/18. Suppose 5*b = -3*d - d, b + 2*d = 0. Let g be -1 - ((0 - b) + 0). Which is bigger: k or g?
k
Suppose 0 = -5*g + 2*p - 11, 0 = -2*g - 2*g + p - 7. Let x = 3 + -3. Is x equal to g?
False
Suppose -3*r + l + 14 = 0, -r + 0*l = 4*l - 9. Let n = 14 + -9. Is r > n?
False
Let m = 4 - 70. Let w = m - -109. Let c = -345/8 + w. Are 1 and c unequal?
True
Suppose 2*g = -2*g - 4*i - 28, -3 = -g + i. Suppose 2*r - y + 24 = 2*y, 2*r + 16 = y. Let j be ((-8)/(-30))/(r/15). Is g greater than or equal to j?
False
Suppose 0*v + v + 152 = 0. Let y be (v/5)/((-1)/5). Let c = 757/5 - y. Which is smaller: 0 or c?
c
Let l(f) = -f**3 - 4*f**2 + 4*f - 6. Let w be l(-5). Let g be (w + 8/3)*-3. Let n(s) = -s**2 - 5*s - 1. Let h be n(g). Which is greater: -2/7 or h?
-2/7
Let h(t) = -3*t**3 + t**2 + t + 1. Let p be h(-1). Suppose 4*d + 24 = -p*f, 0 = -0*d - d + 2*f + 9. Let b = d + -2. Is b greater than -3?
False
Suppose 2*b = 2 - 4. Is -3/7 > b?
True
Let r = 17 - -1. Let v = r + -39/2. Is -1 at most v?
False
Let o be (-10)/15 + (-5)/(-3). Is 8 not equal to o?
True
Suppose -y = -3*y - 16. Let v be y/(-12) - 4 - -2. Is v smaller than 4/3?
True
Let r(z) be the first derivative of z**2/2 - 5*z - 2. Let m be r(6). Let g = m - 3. Which is smaller: g or -1?
g
Let t(l) = l**3 + 7*l**2 + 4*l + 10. Let a be t(-7). Let z be (-4)/a + 25/9. Which is smaller: z or 2?
2
Let x = -16 - -5. Let q = -11.1 - x. Is q smaller than -4?
False
Let x = -75409101/50 + 1508001. Let y = x - -181. Does y = -1?
False
Let g = 1320 + -131999/100. Which is smaller: -1 or g?
-1
Let b = -0.7 - -16.7. Is 0.2 less than or equal to b?
True
Let v(w) = w**3 - 16*w**2 - w + 16. Let z be v(16). Which is bigger: z or 1/11?
1/11
Suppose 14 = -2*w - f + 1, 2*w + 3 = f. Is -3 greater than w?
True
Let p = -17 + 22. Suppose -f = -4*x + 1 - 6, p*x - f + 5 = 0. Is x > 1/19?
False
Suppose -5*h - 15 - 15 = 0. Suppose s = 2*m - 0*s + 15, -m - 3*s + 3 = 0. Are m and h equal?
True
Let l = 12 - 13. Is -9/2 < l?
True
Let a = 38 + -18. Let m = -18 + a. Is -2 > m?
False
Suppose q - 7 + 11 = h, h - 4*q - 13 = 0. Which is greater: -1/24 or h?
h
Let q = -2/283 - 544/3113. Which is smaller: 1 or q?
q
Let z be (18 - 17)/((-17)/1). Are 0 and z unequal?
True
Suppose 1 + 19 = -5*t. Is -2 less than or equal to t?
False
Let r = -7 + 39.