 6*u - p*u, -5*y = u - 7. Are 5 and y nonequal?
True
Let d = 24 + -16. Let v be d/(12/3) - 0. Suppose 5*m - 10 = w, -v = 2*w - 3*m - m. Are w and 2/9 nonequal?
True
Suppose 2*v + 4*k - 26 = 0, 4*k - 7 - 37 = -4*v. Let g be v/(-12) - (-2888)/3936. Which is smaller: -1 or g?
-1
Suppose 2*h - 16 = -n - 0*h, 0 = 5*n + 2*h - 40. Let d be (-198)/24*(-16)/n. Suppose 0 = 14*q - 316 + 22. Is d at least as big as q?
True
Let b = -0.893 - 67.107. Is -2 at least b?
True
Let z be (66/95)/(46/(-115)). Which is bigger: z or -1?
-1
Let z = 18.4 - 18.2. Is z smaller than -2/31?
False
Let y = 23 - 36. Let b = y - -15. Suppose -5*g = 5*t + 20, 3*g - 16 = 2*t + b*t. Which is smaller: g or 3/8?
g
Let k = -0.2036 - -146.3036. Let i = -146 + k. Is -114 at most i?
True
Let d = -18 - -30. Suppose 3*q = -d + 15. Let b = 1.1 - 1. Which is smaller: b or q?
b
Let n(h) = h + 12. Let s be n(-15). Let j(q) = -q**2 - 6*q - 4. Let k be j(s). Suppose k*m = 10, -4*g + 5*m = m + 80. Does g = 1?
False
Let v be (-1 + 9/6)/((-4)/8). Is -8/77 bigger than v?
True
Let k(y) = -y**2 + 8*y - 7. Let r be k(6). Suppose -x + p - 3 = 3*p, 0 = 5*x - p - 7. Let d be (x/r)/((-16)/(-32)). Is 0 greater than or equal to d?
False
Let n = -228514109 - -9990408332414/43719. Let m = -2/1121 - n. Do -1 and m have the same value?
False
Suppose 4*s = -s + 215. Let b = 38 - s. Is -10 not equal to b?
True
Suppose 35 = 5*z - 210. Which is smaller: z or 51?
z
Let f = -147144112/2943 - -49998. Which is smaller: 1 or f?
f
Let q = 19 + -19. Suppose 2*z - 4*w - 58 = 0, z + w + w - 21 = q. Let b be (-90)/(z/5) + -4. Is -23 > b?
False
Let l be 42/(-8)*176/(-66). Which is bigger: 18 or l?
18
Suppose 7*h - 244 = 3*h. Let l = 173 - h. Let g be l/(-180) + 2/5. Is -2 less than g?
True
Suppose -u - b + 19 - 17 = 0, -3*b = -5*u + 2. Let g be (-10)/((-1 - -3) + 0). Let t be 3 + g/(40/27). Is u less than or equal to t?
False
Let b(z) = -z**3 - 4*z**2 + 4*z + 10. Suppose -4*i = i + 20. Let v be b(i). Is -6 equal to v?
True
Let k = -190 + 183. Does -50/9 = k?
False
Let s(d) = -d**2 + 14*d - 29. Suppose -3*a + c = 2 - 41, -2*a + 30 = -2*c. Let n be s(a). Which is greater: -3 or n?
-3
Let i(n) = 67*n + 300. Let c be i(-5). Are c and -363/10 unequal?
True
Suppose -19 = -2*t - 59. Let l be (18/(-210))/((-8)/t). Which is smaller: l or 4/5?
l
Let x = -1.7 + 2. Let d = x + -0.5. Let l = 72 - 64. Which is bigger: d or l?
l
Let m = -55 - -163. Let b = m - 759/7. Suppose -3 = 3*u - 0. Which is smaller: b or u?
u
Let r = 5.88 - 6. Let w = -332.12 - -340. Let z = w - r. Is 1 > z?
False
Let w = 620 + -598. Suppose -2*j = 4*t - j - 6, 2*t - 10 = -4*j. Let s be (t + -2)/(1/w). Which is bigger: s or -21?
-21
Let b(v) = -v**3 - 14*v**2 - 15*v - 18. Let g be b(-13). Which is greater: 13 or g?
13
Let y = -2/217 - -444/1085. Let t = -67 - -66.616. Let n = 0.016 - t. Is n < y?
False
Let p = -17.61 - 695.39. Is p bigger than 1?
False
Suppose -2*g = -5*g + 9. Suppose -h + 5*m = 0, h + 4*m + 24 = g*h. Which is greater: h or 21?
21
Let v be 3 - (4 - (0 - -5)). Let c be (v/10)/((-2)/(-20)). Suppose -l = 2*z + 2, -2*z + c*l + 2 + 6 = 0. Is z > -6/23?
True
Let k(u) = 22*u - 86. Let l be k(4). Which is smaller: l or -884?
-884
Let f = -7407 - -7411. Let q(g) be the first derivative of g**4/4 - 2*g**3 + 5*g**2/2 + 3*g + 1. Let j be q(5). Is f at most j?
False
Let x(r) = 19*r + 20. Let a be x(-1). Which is smaller: a or -8/25?
-8/25
Let y = -1964310674/99186061 - -84084/4313. Let q = 2/1769 + y. Which is smaller: 0 or q?
q
Suppose 5*t + 6 = 31. Suppose 19 + 6 = 5*g + t*l, -3*l = 4*g - 21. Is g at most 7?
True
Let q = 2046 - 1184633/579. Which is smaller: q or -1?
-1
Let g = 1 + -1. Let i = -57826044/41457365 - 133/42961. Let y = i + -2/965. Which is greater: g or y?
g
Let b = 460.9 - 461. Do -0.103 and b have the same value?
False
Suppose b + 6*y + 42 = 7*y, 0 = b - 4*y + 54. Is b at least -35?
False
Let s = 4079/26 - 2072/13. Let m(y) = y**3 + 3*y**2 + y - 1. Let l be m(-3). Let j be 1/(2 - (-10)/l). Which is smaller: j or s?
s
Suppose 5*p = 2*x + 44, 0*p - 23 = -2*p - x. Suppose -30 = 5*h + 2*z - p, -4*h + z = 3. Is 3 at least h?
True
Let f be (-4)/(4/7)*(-47 + 44). Which is bigger: f or 20?
f
Let h be (26/(-4) + 7)*(68 - 2). Is 32 > h?
False
Suppose -4*d + 32 - 256 = 0. Let x = -4608254/27 + 170732. Let g = d + x. Is -1 less than g?
True
Let u = -751 - -817. Which is smaller: 3 or u?
3
Let g(t) = -t**3 - 10*t**2. Let b(a) = -a**2 + 3*a - 10. Let c be b(0). Let n be g(c). Let i be 4/30*3/2. Is n <= i?
True
Let r = -376.5 + 376. Is r at most -5?
False
Let b be 522/(-30)*5*-1. Let v = -88 + b. Is 1 at least v?
True
Suppose -288*m + 291*m + 2*w = -13, -5*m - 20 = 3*w. Let u = 0.05 + -0.35. Let r = -0.1 - u. Which is bigger: m or r?
r
Suppose 9 = o + 8. Suppose -3*f - o = -2*v, -11 = -f + 3*v - 8*v. Are f and 1/19 equal?
False
Let u be 18 + -16 - (-2 + 2120/532). Is u at least as big as -2?
True
Let t be (-6)/4*804/(-9). Let c = t - 535/4. Which is greater: c or -0.032?
c
Suppose 0 = -4*j + 152 + 152. Let p = -75 + j. Are 4/23 and p non-equal?
True
Let j be (98/3 - 2)/(22/(-402)). Let a = j + 561. Is 1 at least a?
True
Let u = 0.332 + 28.668. Which is bigger: 1.4 or u?
u
Let n be -3 + (-30)/30 + 124/37. Which is bigger: n or -2?
n
Suppose 5*t + 2968 = -1467. Is -887 greater than t?
False
Let x(l) = l**3 + 39*l**2 + 139*l - 8. Let d be x(-35). Which is greater: d or 26?
d
Let s be 19/(-38)*(18/33)/(-1). Which is smaller: -0.04 or s?
-0.04
Let o be (0 + -6)/(17/(-136)). Let d be (1/2)/((-12)/o). Is 0 < d?
False
Let i = 499/117 - 37/9. Let g = 32/39 - i. Let x = -0.04 + 0.04. Which is greater: x or g?
g
Let a(z) = 11*z + 47. Let d be a(-3). Is d less than 15?
True
Let s = -2470072372/6653723657 - 2/3518627. Let x = s - -11/31. Is x smaller than -1?
False
Let p(f) = -43*f + 420. Let r be p(18). Is r smaller than -354?
False
Let y be 32/(-6)*(-70)/(-168). Is y greater than 0.1?
False
Let o = 713050/261 + -2732. Which is smaller: 2/13 or o?
o
Let l be (-1 + 12/15)*3. Which is smaller: -1/64 or l?
l
Let n = 1/2920 + 198551/26280. Which is greater: n or 8?
8
Let c(j) = -j**2 + 2*j - 1. Let i be c(1). Suppose i*a - 48 = -2*a. Let n = a - 2. Do n and 21 have the same value?
False
Let d be (-8)/3 - -2 - (-1700)/(-150). Which is smaller: -10 or d?
d
Let k be 2/12 - 3*30/(-108). Let p be (-49)/(-38) + (-12)/8. Which is bigger: k or p?
k
Let a(k) = k**3 - k**2 - k - 2. Let m be a(2). Let r be (-10)/15 + (-289)/(-663). Which is smaller: r or m?
r
Suppose -3*q + 4*q + 4 = 0. Let h be 7/(-4 - (q - -1)). Let o be (-2)/h*(-1 - -2). Does o = -1?
False
Suppose -48 + 65 = 17*w. Do w and 11/34 have the same value?
False
Let l be ((3 - 4) + 2)*-1. Let m(x) = 29*x + 2. Let y be m(l). Let j be (3/y)/(13/(-6)). Which is smaller: j or -1?
-1
Suppose 5 = -0*o + o. Suppose 2*i = f + 3*i + 1, o*f = -4*i - 4. Let b(r) = -2*r**2 - 12*r - 7. Let h be b(-2). Which is bigger: f or h?
h
Suppose 5*w - 2*w + 3 = 0. Let i(p) = p**2 - 13*p + 27. Let o be i(3). Is o at most as big as w?
True
Let j = 759 - 768. Which is smaller: -33/4 or j?
j
Suppose -z = -3*z + 2. Let h = 3/172 - -117/688. Which is bigger: h or z?
z
Let j = 29.956 - -0.044. Let h = j + -30.1. Which is bigger: h or 95?
95
Let o = -40 - -31. Let l be o/(-36) + 129/(-4). Which is greater: l or 1?
1
Let k = 81 - 78. Let u = 25 + -17. Suppose 17 = -k*z - 5*a, 0 = -3*z - 4*a - u - 5. Do z and -1/10 have the same value?
False
Let o be (-1)/(-1*1/(-7)). Are 6 and o nonequal?
True
Suppose 4*l - l - 6 = 0. Suppose -l*r - 27 + 25 = 0. Is r at most as big as -3/20?
True
Let h(t) = t**2 - t + 1. Let p be h(1). Let r = 167/738 - 1/246. Is p greater than or equal to r?
True
Let v be (144/28)/(-1 - -3). Suppose x - 4*l - 20 = -3*x, 4*x - 2*l = 16. Do v and x have different values?
True
Let u be (1 - 0)/(8 - 545/15). Which is bigger: -1 or u?
u
Let q = 298.04 + -298. Which is smaller: q or 49?
q
Let h = 30 - 28. Suppose 5 = -h*l - 5. Let m(j) = j**2 - 7*j + 2. Let p be m(6). Is l at least as big as p?
False
Let a be -4 + 0/(-1 + 6). Let n = -15 + a. Is n != -20?
True
Suppose -887 + 2351 = -6*l. Is l at most -238?
True
Let l be (-28)/(-70) + ((-13)/(-5) - 0). Suppose -l*v + 2*r = -246, r - 367 = -4*v - 28. Do v and 83 have different values?
True