e
Suppose 0 = w - h + 313, 0*h - 2*h + 937 = -3*w. Is -310 less than w?
False
Let z be (-11)/(-55)*20 + 11. Is -9 > z?
False
Suppose -5 - 16 = 7*n. Suppose 0 = -6*g + 11*g - 50. Suppose -g*v = -11*v - 3. Are v and n nonequal?
False
Let f = -24362.01 + 24362. Let g be ((-4)/23)/2*1. Is f != g?
True
Suppose -2*u + 6 = -2. Let r(f) = -f**2 - 16*f - 19. Let d be r(-14). Suppose 3*i + 4*z - d = -0*i, 13 = -i + u*z. Is i less than 0?
True
Suppose 2*o - 19 = o + 4*j, -j - 3 = 0. Suppose 0 = c + i - 9, 5*i - 1 = 3*c - 4. Which is smaller: c or o?
c
Suppose i - 2 + 4 = a, -5*i = -2*a + 7. Let w be (18/(-8))/3 + a. Let f = -221 + 221.1. Does w = f?
False
Let a = -487/2 + 245. Which is bigger: a or 9/8?
a
Let v = -1596/47 + 69877/282. Let s = 213 - v. Is s != 0?
True
Let p(v) = -7*v**2 + 50*v + 14. Let r be p(7). Which is smaller: 1 or r?
1
Let v be (11/(-3))/((-3)/(-9)). Let c be (3 - 2620/208) + 16/(-104). Which is smaller: c or v?
v
Suppose -7 = -2*m - 21. Let l be (4/(-2))/(60/168). Which is greater: l or m?
l
Let r be 4/63*((-580)/(-40) - 13). Is r != -10?
True
Let l = -922/7 + 130. Let d(w) = -7*w**2 - w + 3*w - 2 - 6*w + w**3 + 10*w**2. Let a be d(-4). Is l equal to a?
False
Let u be (21 - 1) + (39 - 38). Is u bigger than 222/11?
True
Let u(v) = v**2 + v - 1. Let o be u(-9). Suppose 4*a + o - 255 = 0. Let z = a - 232/5. Is z > -1?
True
Let k = -137 + 136. Let h = 0.5 + -0.516. Which is smaller: k or h?
k
Suppose 2*r + 410 = -3*b, -4*r + r = 2*b + 605. Is r less than or equal to -199?
True
Let g = -223 + 222.8. Which is bigger: -14 or g?
g
Suppose 2830*w - 2822*w + 24 = 0. Suppose 5*k = 19 + 11. Suppose -3*p = 3*n - k, 5*n - 59 = 5*p - 19. Is p at least w?
True
Let x = 17363 + -17380. Let l = -41 + 26. Is l greater than x?
True
Suppose 8*b - 5*r - 720 = 6*b, -3*b = 3*r - 1101. Which is bigger: b or 364?
b
Suppose z + 9 - 6 = 0. Which is greater: z or 6?
6
Suppose -4*g - 12 = 0, 3*g + 13 = j + 5. Let x = -44/13 - -3. Is j at most as big as x?
True
Let g = 1.53 + -0.23. Let c = -5.7 - g. Let z = c - -7. Is z > 1/4?
False
Let d be (1 + -8)/(6 + -4). Suppose 0 = 3*i, 0*w + i = 3*w + 24. Let y be (w/(-12))/(-2)*15. Is y smaller than d?
True
Let a(j) = -5*j**3 + j**2 + 2*j + 1. Let m be a(-1). Let i = -2242/7 - -325. Which is smaller: i or m?
i
Suppose 0 = -3*t + 7*t - 2*a - 34, -3*t + 22 = 2*a. Let r = -19 + t. Is -11 less than r?
False
Let r = 1128 - 885. Is r greater than 2/7?
True
Let o = -48.8 - -48.39. Which is smaller: o or -2/7?
o
Let y = 4 - 3. Let i = -0.98 + 1.04. Is y greater than i?
True
Let i = -1.01 + -5.99. Which is smaller: i or 5/6?
i
Suppose 33*v - 4004 = 5*v. Which is smaller: v or 142?
142
Let x be ((-2)/3)/(125/18). Which is bigger: 0 or x?
0
Let t = 60.4 + -52.4. Is t at least as big as -3?
True
Let z = 1778 + -1778. Is z at least -2/65?
True
Let z be 6/(-4)*(-42)/3. Let u(w) = w**3 + w**2 - w. Let a be u(2). Let g = z - a. Which is greater: 12 or g?
12
Let r = -8 - -10. Let k(o) = o - 3. Let l be k(5). Let c be (0 + 0)/(-3 + l). Which is bigger: r or c?
r
Let u = 1051 - 1053. Which is bigger: u or -104?
u
Suppose -22 = -5*n + 3*t, 2*t - 73 + 85 = 2*n. Which is smaller: 26 or n?
n
Let i be (-16)/360*-5 - 17/63. Is 33 at most as big as i?
False
Suppose -2*g - 14 = -4*g. Let v(h) = -h**3 + 6*h**2 + 7*h + 5. Let a be v(g). Is 5 != a?
False
Let n = -2602 - -2601. Which is greater: 2/1169 or n?
2/1169
Let s be (-5 + (-30)/(-6))*(-1)/(-2). Suppose s = -4*x, 2*x - x - 44 = 2*g. Which is bigger: -64/3 or g?
-64/3
Let h be -21 + (-6)/(-9)*3. Let g be 8/64 - h*(-3)/72. Which is smaller: g or 0?
g
Let g = 15906743669/303923664 - -337/341104. Let r = g - 576/11. Which is greater: r or -1?
r
Let s(l) = 4*l - 5. Let v = -43 - -33. Let o be s(v). Do -44 and o have the same value?
False
Let v = 959 - 959. Let z = 1159/10 - 116. Do z and v have the same value?
False
Let i = 29 - 28. Let j be (i - -2)/(21/2). Which is greater: -2 or j?
j
Let v be ((-40096)/140)/((-4)/5). Is 358 >= v?
True
Suppose -15 = v + 3*z, -2*z + 0 = -4. Let w = v + 30. Which is bigger: 35/4 or w?
w
Let m be -2*2*(-3)/(-6). Let v = m - 11. Let r be 39/(-3) + (1 - 0). Which is bigger: v or r?
r
Let z be (3 + -1)/((-13)/26). Let k(f) = f**2 - f + 1. Let g be k(z). Let a be (g/(-12) + 1)/(-9). Which is greater: a or 1?
1
Suppose -w + 0*h - 2 = -5*h, 5*w - 3*h + 10 = 0. Let n be (-11)/(-2 + w/(-2)). Let y be (-15)/(-99) - (-2)/n. Is y at most 4/13?
False
Let d be (-16)/10*825/(-60). Which is smaller: d or 26?
d
Let v = -54 - -33. Suppose -n - 2*n = 3*c + 12, -5*c + 4*n + 25 = 0. Let k be (21/2*2)/(c/(-1)). Do k and v have the same value?
True
Let q(t) = t - 5. Let r be q(7). Let f = 2 - r. Suppose 4*u - 21 = -3*u. Is f >= u?
False
Let s(y) = -6*y**2 - 41*y - 18. Let k be s(-7). Is k at most as big as -15?
True
Let h = -592 - -2969/5. Let f be 11 - 55/44*8. Which is greater: h or f?
h
Suppose 8*w = -29*w - 13172. Is w equal to -358?
False
Let y be (0/(-2) - 1)/(390/286). Is y less than 0?
True
Suppose i + 2*n = 8, -i = -5*i - n + 25. Let s(w) = w - 1. Let o be s(i). Are o and 1 equal?
False
Let s = -4 - -4. Let o be -7 + 3163/465 - 4/(-30). Which is bigger: o or s?
s
Let b be (-10)/20*2/1. Is b at most as big as 0.17?
True
Let j be 1/(((-29)/(-7))/(-1)). Which is smaller: -1/2 or j?
-1/2
Suppose 0 = -3*r - d - 1, 3*d = -8*r + 3*r + 5. Let n = 0 - r. Which is greater: n or 1?
n
Let u be ((-6)/10)/((-333)/25715). Do 45 and u have different values?
True
Let g be 2 - 3/((-648)/(-428)). Let o = -494.1 - -494. Is g <= o?
False
Let k(r) = r**2. Let h be k(0). Let l(j) be the first derivative of -2*j**2 - 3*j - 12. Let i be l(-1). Which is smaller: h or i?
h
Let o = 0.44 - 92.44. Let b = 69 + o. Is 0.1 <= b?
False
Let w be 19/(1026/24)*(-2)/(-8). Which is bigger: -5 or w?
w
Let m(p) be the first derivative of p**4/4 + 11*p**3/3 + 5*p**2 + p + 17. Let o be m(-10). Which is smaller: -1/23 or o?
-1/23
Suppose 5*z = -5*d + 45, 10 = 4*z + d - 14. Let m = z + -3. Let v be 73/20 + (-12)/30. Which is smaller: m or v?
m
Let h = -5.3 - -6.2. Let r = -3 + 2. Let l = h + r. Which is bigger: -2 or l?
l
Let v = -36 + 37. Let z = 3.9 - -15.1. Let g = z - 17. Is g bigger than v?
True
Suppose -126 = 3*d + 6*d. Let h be -1 + (-26)/(-14) - 2/d. Which is bigger: h or -2/67?
h
Let a = -187/61 + 15577/5917. Is a equal to -1?
False
Let p = -1 - -13. Suppose -t + p = -4*t. Suppose 0 = -4*w + 3*i + 12, -i + 1 = -4*w + 5. Which is smaller: t or w?
t
Let u be (-22)/(-3)*(-6)/(-2). Let r = u + -13. Let g = r - 6. Is 2 > g?
False
Let o(a) = -a**2 + 6*a - 14. Let y be o(20). Which is smaller: 1 or y?
y
Suppose -13*u - 5*n + 35 = -11*u, 2*u - 3*n = -21. Let f be 484/1185 - (-2)/(-5). Is f at least u?
True
Let u = -134.2 - -54.2. Is 2 > u?
True
Let a be 19/(-4) + (-27)/(-36). Let g be ((-10)/a)/(14/4). Are 1 and g unequal?
True
Suppose 0 = 35*d - 146 + 671. Is d greater than -0.1?
False
Let f = -1/632 + 309/95432. Are -1 and f equal?
False
Let c = -222 - -6881/31. Let w = -5330 - -5330. Are c and w unequal?
True
Let g be -3 + (0 - 29) + (-1 - -2). Let d = g + 30. Is 2/125 > d?
True
Let y = 37 - 41.4. Let u = -0.6 + y. Let t = -4.7 - u. Is 0 less than or equal to t?
True
Suppose 5*z + 3*q = 2*z + 36, -20 = -4*q. Suppose -2*a = m - 24 - z, 4*a + 4*m - 64 = 0. Suppose 0 = j - a + 18. Is -3 less than j?
False
Suppose 7*x - 2*x = -4*m - 41, 0 = 2*x + 4*m + 26. Let q be 2/(x/(-15)*3). Suppose -4*i = -2*v - 2*v - 8, 0 = 3*v - 3. Do i and q have the same value?
False
Let n = -11 - -13. Let y be 170/175 + -3 + n. Which is smaller: 0 or y?
y
Let l be 152/57*(-3)/14. Which is smaller: 1.1 or l?
l
Let w = 1.7 + -0.7. Let b = 19 + -20. Let z = w + b. Which is bigger: z or 0.6?
0.6
Suppose 7 = 5*k - 6*k + d, 5*k = -5*d - 25. Do k and -59/9 have different values?
True
Let d be (-4)/(-16) - 65/4. Let u be 1/8 - (-1400)/64. Let c = u + d. Which is smaller: c or 3?
3
Let n be ((-18)/7)/(51/238). Suppose -34 = 5*d + 21. Is d at most as big as n?
False
Let s be (-4)/(-10) + (-3)/(-5). Let i be 4 + s + -3 + -2. Suppose -4*w = -i*w + 4. Which is smaller: -2 or w?
-2
Let l = 20 - 8. Let c be 40/l - (-1)/(-3). Suppose 22 = 3*r - c*v - 2, -4*v = r + 12. Is 4 at least r?
True
Let n be ((-18)/(-24))/((-6)/(-16)). Let l = -2 + n. Let k be 12/(-