-9))*1*0. Are p and -5/22 unequal?
True
Let z be (-197 + -1)*(-22 - -21). Suppose -q - 4*d = -10 - 12, 2*d = 5*q - z. Which is smaller: 35 or q?
35
Let b be (777/6)/((-3)/(-6)). Suppose -b = -h - 262. Let a = -2/167 - 2829/835. Which is smaller: a or h?
a
Suppose 5*p + 11 = -14. Let q be (p/(-20))/((-1)/(-8)). Suppose q = 2*f, 3*s = -2*f - 2*f - 47. Are -17 and s nonequal?
False
Let p be (6 - 0)*1 - (8 + -5). Suppose p*n + 3 - 12 = 0. Suppose -a + n*u = -4, -3*a = -3*u + u - 5. Is a at least -1/69?
True
Suppose 0 = -9*b + 168 + 129. Suppose -111 = 2*w - b. Suppose 0 = -4*k + 4*u - 176, k - 4*u = -k - 96. Which is bigger: w or k?
w
Let m = 4300227891/19184 + -224157. Are m and 1 nonequal?
True
Suppose -4*n - 9832 = 3*s, -4*n + 5*s + 5567 = 15431. Is n > -2461?
False
Let t = -1982 - -1828.7. Let h = 152 + t. Let y be (-4)/6 + 1 - 0. Which is greater: y or h?
y
Let h be (-21*(-40)/210)/(0 + (-4)/94). Are -83 and h equal?
False
Let g = -0.169 + 0.12. Let m = g + -0.611. Let q = -0.7 - m. Which is smaller: q or -0.08?
-0.08
Let c = -4715/1043 - -35/149. Is -5 at most as big as c?
True
Let l be 69852/(-118) + (-2)/2. Let b = 593 + l. Let w be 3 - 4 - ((-51)/60 + (-6)/(-24)). Do b and w have different values?
True
Let c = -16811 + 30133. Is c greater than or equal to 13322?
True
Let u = 858400/189 + -24094/27. Are u and 3649 unequal?
True
Let c be (-3 + -12)/(30/12). Suppose -2 = -2*g - 5*s, g + 2*s + 1 = -0*s. Let h be g/3 - -1 - 3. Which is bigger: c or h?
h
Let c = -7 + 3. Suppose 1166 = 12*m - 1546. Let x = m + -229. Which is smaller: c or x?
c
Let n = -900 + 4534/5. Suppose 3*i = -j - i + 23, 5*i - 25 = -j. Let q = 22 - j. Do q and n have the same value?
False
Suppose p + 48 = 4*s, 2*p + 192 = -s + 60. Let o = -1612 - -1548. Is o smaller than p?
False
Suppose -14872 = -15*z + 11*z + 4*i, 0 = 4*z - 3*i - 14869. Which is bigger: 3717 or z?
3717
Let l = -2848 - -2847. Is l less than or equal to 2/2409?
True
Let x be (6 - 5)*(1 + 6). Suppose -4 = -3*q + x*q, 3*j = q - 155. Let u be j/(-13)*(-1 + -1). Which is smaller: -4 or u?
u
Suppose 18*h - 6*h - 240 = 0. Let g(y) = -y**3 - 8*y**2 - y + 10. Let o be g(-8). Is o greater than h?
False
Let g(x) = -9*x - 301. Let m be g(-36). Suppose 143 - m = -4*f. Is -4 at most as big as f?
False
Let o = -80891/36 - -2247. Suppose a = -2*a - 3. Which is greater: o or a?
o
Let x(u) = u**3 + 8*u**2 + 12*u + 22. Let c be x(-8). Let b be 4/(-18) - c/9. Suppose -b*z + 209 = 3*z. Are 19 and z unequal?
False
Let m = 4309 + -185297/43. Let y = m - -2128/8041. Which is smaller: y or 0?
0
Let z(v) = v**3 + 33*v**2 + 25*v - 37. Let l be -1 + ((-620)/26 - 4/26). Let a be z(l). Let g = a - 707092/163. Is 1 bigger than g?
True
Let s = -34 + 61. Suppose 28*d = s*d. Suppose 0 = -r - 2*g - 10, g + 0*g = d. Are r and -9 unequal?
True
Let d = 213960 + -213963. Let i(h) = 2*h - 1. Let c be i(1). Let k = 2 + c. Is d greater than or equal to k?
False
Let x = 1804.33 - 1756. Which is smaller: 0.2 or x?
0.2
Let h = 47.8441 + 0.0559. Let p = 47.98 - h. Which is smaller: p or 6?
p
Let d(u) be the first derivative of u**3/3 - 5*u**2 - 38*u - 28. Let w be d(16). Let s = w - -6. Which is bigger: s or 65?
65
Suppose 3*b = 5*u + 69, -296 = -2*b - 4*u - 184. Suppose -3*i = 53 - 155. Which is smaller: i or b?
i
Let d = -18437 + 18307. Which is smaller: -0.13 or d?
d
Let r(i) be the second derivative of i**4/12 - 3*i**3/2 - i**2 - 16*i. Let m be r(10). Let b be 1/((788/m)/1). Which is smaller: 1 or b?
b
Let u = -279714.3663 - -279729. Let s = u - -0.0663. Which is smaller: -2 or s?
-2
Suppose -63 + 612 = 3*o + 4*t, 0 = 5*o + 2*t - 873. Which is bigger: o or 141?
o
Let y = -4379 - -2006. Is y <= -2373?
True
Let w = -4259 - -4188. Which is bigger: -356/5 or w?
w
Suppose -3*y + 22 = 4*g, 3*g - 2*y - 13 = -6*y. Suppose -g*k = 296 - 93. Suppose 5*m = 14*m + 261. Is m > k?
False
Let z = 3035 + -2724.7. Let q = z - 311. Which is bigger: 0.09 or q?
0.09
Let z be (-4206)/(-8) - 134/(-536). Which is greater: z or 527?
527
Let f be -3*(-5)/(-15) + -2. Let o be ((-11)/f)/((-5)/(-15)). Suppose 0 = 7*p - o*p. Do p and 1/4 have different values?
True
Let i be 1284/(-322) + (-3 - -83)/20. Let f be -2*(2 - (-10)/(-4)). Is i bigger than f?
False
Suppose 46*u + 200 = 38*u. Let f be (-6 - u/4) + 5/(-4). Which is bigger: -18 or f?
f
Let v be 12 + (-13 + -12 - -12). Let h = -3.33 + 151.33. Is v less than or equal to h?
True
Suppose 0 = -199*m + 127*m - 93168. Which is smaller: m or -1292?
m
Let l be (3/(-12)*6)/((-1)/(-4)). Let d be (9/(-6) - -1)/((-3)/l). Which is smaller: d or 26?
d
Let c = -868 - -840. Let t = 242 + -248. Which is bigger: c or t?
t
Let c be (-40 - 0)*10/25. Let w be c/24 - (-8)/11. Let a = -25/132 - w. Do a and 4.3 have the same value?
False
Let d = -51 + 32. Let o be 12/16 + 125/20. Suppose o*h = 4*h - 54. Which is bigger: d or h?
h
Let f = -366 + 369. Let p be ((-12)/42)/(3*f/(-1692)). Is p > 54?
False
Let y = 713 - 718. Let s be (-1)/5 - (-1)/y. Is 7/25 >= s?
True
Let k = -11992 - -107618/9. Is k != -33?
True
Let z(f) be the third derivative of -f**5/60 - 5*f**4/24 + 4*f**3/3 + 9*f**2. Let b be z(-6). Let a be ((-42)/(-9) + -4)/(b/(-12)). Which is bigger: a or -7?
a
Let f = 216607/3256 + -731/11. Is f < 1?
True
Suppose -2*t - 69 - 127 = h, 4*h = t + 116. Let g = -143 - -44. Which is smaller: t or g?
t
Let y(l) = -6*l**3 + 20*l - 40. Let k be y(2). Is -49 equal to k?
False
Suppose 0 = -2061*l + 2063*l + 86. Which is smaller: l or -4?
l
Let b(j) = -5*j**2 + 28*j + 10. Let l be b(6). Does -33/65 = l?
False
Suppose 0 = 21*r + 18167 - 14030. Are r and -184 non-equal?
True
Let o(n) = -35*n**3 - n**2 - n - 1. Let b be o(-1). Let c be ((-23)/(-3)*1)/(-25*(-35)/2625). Are b and c equal?
False
Let f = -63/44 - 9/44. Let h = -19 - -22. Suppose 2*k + 3*k = -l - 10, -h*l - 14 = -k. Are f and k non-equal?
True
Let u be (1/6)/((-4 - -7)/705). Let d = u - 709/18. Is 66 at least as big as d?
True
Let l(g) = 136*g - 5750. Let p be l(-68). Which is smaller: -14999 or p?
-14999
Let t = -9545 - -9664. Let h be (-470)/(-4) - (-4)/(-8). Which is bigger: t or h?
t
Let y be -2 - (2 - (-28)/(-7)). Suppose -5*x + 13 = 12*a - 16*a, y = 3*a + 5*x + 36. Suppose 0 = -4*c - 30 - 18. Is a at most c?
False
Let h = -2/5493 + 9173/49437. Let f = -2566/17 + 1524629/10098. Let a = f + h. Which is greater: a or 0?
a
Let m = 3/2 + -65/22. Let l = 91/55 + m. Let z = 8/5 + -2. Is l at least as big as z?
True
Let q(y) = 7*y + 14*y - 61 + 427. Let s be q(-15). Which is smaller: 49 or s?
49
Let b be (-1)/4 - (-7912)/(-736). Is 26 greater than or equal to b?
True
Let s = -3 - -3. Let w = -31 + 46. Let f = w + -14.9. Is s greater than f?
False
Suppose -2*t = -4*w - 4462, w + 1755 = -4*t + 617. Is w smaller than -5589/5?
True
Suppose -105 = -48*y + 27*y. Are y and 105/22 equal?
False
Let m(n) = -109*n - 126. Let d be m(-4). Let u = -136 - -446. Is u smaller than d?
False
Let h be (-4)/(-1 + (6/18 - 3)). Let b be (-43)/3 - 5/(-15). Let i = 14 + b. Which is bigger: h or i?
h
Suppose 4 = 5*h - 6. Suppose -2*v - h = -34. Suppose 0 = -t + v - 16. Is t greater than 0?
False
Let g = -6063991/35 + 173257. Suppose 0 = 4*t - 7 - 9. Suppose t*u = -0*u. Is u smaller than g?
True
Let a be (-20136)/88 + ((-24)/11 - -2). Let f = a - -30. Are f and -199 non-equal?
False
Suppose -2*b = -4*l - 30, -l = 6*b - 11*b + 39. Let n be (b/((-455)/(-20)))/(-7). Is -1 smaller than n?
True
Let r be ((-327)/(-218))/((6/8)/(-1)). Let w be (r/(-8) + -4)/(-2). Is 3 bigger than w?
True
Let n be (1/(-3) - 2/3)*0/(-103). Is -33/344 smaller than n?
True
Let x(i) = -307*i - 3986. Let a be x(-13). Which is smaller: a or 315/73?
315/73
Let c = 5042/9 - 561. Do c and -1 have different values?
True
Let t = 39168 + -39193. Let h = 3 - 3.3. Is h > t?
True
Suppose 0*s = -2*s + 3*l + 54, -4*s + 104 = -5*l. Suppose -s = 3*u - 18. Let j be u + 2 + (-243)/237. Is 1 <= j?
False
Suppose 5*f + 3*k - 320 = -75, -112 = -2*f - 4*k. Let g = 174 - 169. Is g greater than or equal to f?
False
Let q = 1661 - 1660. Is 286.8 > q?
True
Let k = -10 - -12. Let f = -4.2 - -2.3. Let s = k + f. Are -1/22 and s unequal?
True
Let k be 3/(-12) + (-30)/8 - 42. Let d = 64 + k. Let q be d + -18 - 2/(-8). Which is smaller: q or -3/10?
-3/10
Let l be ((-3)/16)/(23