!= b?
True
Let u be 7/((-315)/(-10)) - 1090/45. Which is bigger: -25 or u?
u
Suppose 5*z = 2*m + 6, -3*z + 2*m + 7 - 1 = 0. Let a be 1*z/(-2 + 0). Is 0 greater than a?
False
Let p = 382 - 154. Let n = -118/1509 - -1034522/4527. Let f = n - p. Which is smaller: f or -1?
-1
Let s = 22/3 + -6. Is s less than or equal to -26?
False
Suppose -2*s = -0*s - 16. Suppose 5*j = 5*c + 45, -5*c + 28 - 10 = 4*j. Let b = j - s. Which is smaller: b or -2?
-2
Let g = 24 - 42. Suppose h - 5*d = 3*h + 12, 2*h + 2*d + 24 = 0. Let j = h - g. Are 0.2 and j non-equal?
True
Suppose -2 + 32 = -5*a. Which is smaller: 3 or a?
a
Let i(h) = h**2 + 18*h + 7. Let j be i(-14). Let f = j + 53. Are 4 and f unequal?
False
Let q = -15.45 - -15.4444. Which is greater: 1/4 or q?
1/4
Suppose 0 = -6*y + 3*y - r + 1265, 3*r = 15. Let p = y - 8822/21. Which is smaller: p or -1?
-1
Suppose -213*m + 195*m - 36 = 0. Is m <= -79?
False
Suppose -4*a - 9 = -2*a + g, 0 = -2*a - 4*g. Which is smaller: -13 or a?
-13
Suppose 4*f - o = -1, -3*o - 10 = 6*f - 5*f. Which is smaller: 7 or f?
f
Suppose -15*u = -32*u - 2057. Is -119 less than or equal to u?
False
Let h = -269 + 169. Let w = 178 + h. Are w and -0.1 non-equal?
True
Let k = -34 - -24. Suppose 0 = 3*p + 9 - 18. Suppose 29 = -p*w - 2*c, -3*c - 30 = 3*w - 0*c. Is k at least w?
False
Let n = -16.36 + 16.4. Is n less than 0?
False
Let y = -60 - -58.4. Let u = y + 1.6. Which is smaller: u or -1/3?
-1/3
Let t be -550 - (-7 + 3 - -6). Which is smaller: t or 2?
t
Let x be 2/3 + (-1)/(-3). Let d be 12*(-12)/(-1692)*(-3 - -8)/5. Which is bigger: d or x?
x
Suppose 2*r - 8 = -0. Let y(z) be the third derivative of -z**6/120 - 7*z**5/60 - z**4/6 + 5*z**3/3 + 44*z**2. Let c be y(-6). Which is smaller: r or c?
c
Let o = 534 + -535. Is -33 <= o?
True
Let i be 6/(36/(-15))*(-6)/30. Which is smaller: i or 51?
i
Let b = 3131 - 3131. Which is smaller: -12/73 or b?
-12/73
Let z be (3 - (-171)/(-38))*(-16)/(-3). Is z at most as big as -104/15?
True
Suppose -7*d + 4*d + k - 19 = 0, -4*k - 60 = 5*d. Let s = 93 + -94. Let r be (-7 - d)/(s - -2). Which is smaller: r or 1/8?
1/8
Let i = 1/1918 + 157267/17262. Let p = -538/63 + i. Which is greater: 0 or p?
p
Suppose -15 - 39 = -6*q. Do 108/13 and q have different values?
True
Suppose 0 = -2*k - i - 4*i - 39, -5*k + 4*i - 15 = 0. Are k and -4 equal?
False
Let l = -260 + 249. Which is bigger: l or -9?
-9
Let h = -10118105866468/7500481259 + 20/43355383. Let k = -1349 - h. Is k not equal to -1?
True
Let v(s) = 2*s**2 + 39*s - 15. Let w be v(-20). Suppose -w*n - 4*p + 5*p = 90, -10 = -2*p. Is -17 less than n?
False
Suppose -3*i + 5*i = -10. Let z(l) = -l**2 + 10*l + 12. Let u be z(10). Let m be (u/15)/(1/i). Do -4 and m have different values?
False
Let x = -172 - -337/2. Let h = 41 - 18. Let u = h - 26. Is x at most u?
True
Let a = -90 + 240. Is a smaller than 152?
True
Let o(d) = d**3 + 6*d**2 + 2*d + 13. Let a = 24 - 30. Let h be o(a). Which is smaller: h or -6/13?
-6/13
Let o be 46/(-24)*32/(-3). Let u = o - 1163/45. Is -4 > u?
True
Let q = 588 - 502. Which is greater: 85 or q?
q
Let x = -3.8 + 7.6. Let t = -32.8 + x. Let h = t + 29.2. Is -7 <= h?
True
Let i(p) = -p + 11. Let g be i(-5). Suppose 5*a + 2*s = 81, 55 = a + 2*a - 2*s. Which is greater: a or g?
a
Let n = -1.83 + 1.93. Suppose 2*k = -2*p - 2, -4*p + 8 = -3*k + k. Let z be (k/5)/(8/(-30)). Do z and n have the same value?
False
Let l be 10/40 + 59/4. Let z = l + -13. Do z and -3 have different values?
True
Suppose 4*a + 15 = -0*r - 3*r, -20 = -5*a + 4*r. Do a and -16 have the same value?
False
Suppose -14*x - 20330 = 5*x. Does x = -1071?
False
Let a be 5 + 1 + 0 - 0. Suppose 25 = a*f + 7. Suppose -4*o = -5*y - 13, f*o - 4*y - 10 = -0. Is o at least 3?
False
Let a(n) = -n**2 - 21*n + 24. Let u be a(-22). Let d be (-66)/57 - u - -1*3. Is 1 at least d?
True
Let z = -35.8 - -35.7. Which is smaller: z or -0.41?
-0.41
Let l be (-1695)/(-6760)*4 - 1. Which is smaller: 0 or l?
0
Suppose 0 = -21*d - 68 + 26. Let x be (-2)/(-4)*4 + -163. Let v = x - -802/5. Is d < v?
True
Let b be (-62*1)/(-5 + 6). Let o = -63 - b. Do -14/15 and o have the same value?
False
Suppose 7*k - 62 = 50. Suppose 0 = -y - 3*o + k, 4*o - 4 = y + 8. Let t be y/(-10) + 74/110. Does 2/3 = t?
False
Suppose -6*b + 9 - 1149 = 0. Is -189 bigger than b?
True
Suppose -4*v - 2*r = -50, 0*v + 68 = 4*v - 4*r. Let b be (2/(-212))/(v/(-28)). Is -1 equal to b?
False
Let o be (-6)/(-10) + (-3231)/(-90). Let i = 38 - o. Let f = -5/4 - i. Are -3 and f non-equal?
True
Let c be (-62)/60 + 1 + (-4)/(-20). Which is smaller: 13 or c?
c
Let p be 272/9 + (-2)/9. Let o = 33 + p. Let d be (-6)/(-4)*14/o. Which is bigger: 1 or d?
1
Suppose 5*g - u + 49 = g, -g + u - 16 = 0. Let h(z) = -3 - 2 - 4 - z - 4. Let m be h(g). Which is bigger: m or -7/3?
m
Let n = 44417/6 + -7526. Which is greater: n or -124?
n
Let h be 3*15/(-108) + 1/6. Let b be (-2)/4*(0 - 0). Which is bigger: b or h?
b
Suppose 0 = -3*c - 4*o + 64, 3*c - 3*o - 10 - 26 = 0. Suppose 2*h - 4*h = c. Are 0.1 and h nonequal?
True
Suppose 39*f + 20*f = 2360. Which is smaller: f or 368/9?
f
Let m = -2.27 - -0.27. Let n = -18.92 + -0.08. Let y = n + 17. Is y less than m?
False
Let d(h) = -h**3 - 5*h**2 + 6*h + 2. Let w be d(-6). Suppose -o - 57 = -3*z + z, 0 = w*z + 3*o - 45. Is z at least as big as 26?
True
Let y be 7*-1 + 1 + 1. Let s = 89 - 25. Let m = s + -62. Which is greater: m or y?
m
Let t = 109.62 + -111. Let v = t - -1.1. Is v at least as big as -2/3?
True
Let i be (-40)/(-15) - 6/2. Let j be (16 + -1)/(6/4). Suppose 5*z = -5*b - j, 3*z = -5*b + z - 1. Does b = i?
False
Let y = 301 + -302. Are -2/675 and y equal?
False
Suppose -4*n + 9*n = 10. Suppose 0 = 36*a - 33*a - 18. Let s be (-17)/(-28) + 7/(a - -22). Is n smaller than s?
False
Let z(t) = t**3 - 22*t**2 - 74*t + 53. Let p be z(25). Which is smaller: 76 or p?
76
Let i = -72 - -263. Is i less than or equal to 191?
True
Let k(z) = z**3 + 6*z**2 + 35*z + 157. Let a be k(-5). Which is greater: 19/3 or a?
a
Let i be (-1)/(-5) + (-96)/(-20). Let x(j) = j**3 - 6*j**2 + 6*j - 3. Let d be x(i). Suppose -d = -g - 3. Is 0.05 at least g?
True
Let j = -10505/12 - -2627/3. Let o = -7 + 3. Let d = -2 - o. Is j > d?
False
Let q be (14/6 - 3)*6. Let u be (-9)/3 + q/((-16)/11). Let s(m) = -m**2 + 6*m + 1. Let l be s(6). Which is smaller: l or u?
u
Let h = 206/5 + -229/5. Suppose -24*m = 69 + 75. Is m less than h?
True
Let n be 7*(0 + 2/14)*-47. Is -46 >= n?
True
Let z = -77689 + 19188952/247. Let h = -9/19 - z. Suppose 2 = -3*l - 1. Is h <= l?
False
Let m = 526 + -515. Is -6/19 > m?
False
Let f = -1 + 47. Suppose 3*h + b = -f, 8 = 3*b - 5*b. Let l = -16 - h. Which is greater: l or -3?
l
Let a = 230 + -689/3. Which is smaller: a or 403?
a
Suppose 0 = 5*t + 28 + 7. Let b be (-3)/21 + ((-1)/t - 1). Which is smaller: b or 2/21?
b
Suppose 9*u = -886 - 1229. Is -233 bigger than u?
True
Suppose 0 = -0*x + 3*x + 828. Let j be (-2)/7 + x/14. Is -2/3 at least as big as j?
True
Let f = 3877 - 3881. Let b = 4.7 + -5. Let x = 0.6 + b. Which is smaller: f or x?
f
Let l = -33 + 49. Suppose 0*u - 2*z = u + 4, 2*z + l = 5*u. Which is bigger: 10/9 or u?
u
Let i = 54 - 61.7. Let y = i - 0.3. Let a = -9 - y. Which is bigger: 5 or a?
5
Let s(d) = d**2 - 3*d + 3. Let o be (-15)/6*(-12)/10. Let l be s(o). Let n(r) = r**2 + 3*r - 1. Let z be n(-3). Is l not equal to z?
True
Suppose -4*v = -8*v - 104. Let g be v/(-455)*(-10)/(-2). Is 2/5 at least as big as g?
True
Let g = 33 + -59. Suppose 44*b - 29*b = -390. Is g not equal to b?
False
Suppose -31 = 3*g - 5*v, -3*g - 2*v = -0*g + 17. Suppose -4 + 0 = -4*n + 4*s, -2*n = -s - 6. Suppose 37 = -n*l + 7. Are g and l nonequal?
True
Let a be (-5)/120*-8 + (-2)/6. Is 2/97 <= a?
False
Let r = 73 + -147. Suppose 5*z - 3*z + 143 = -5*b, b + 147 = -2*z. Is r not equal to z?
False
Suppose 10*d - 31 + 1 = 0. Suppose 9*u - 6 = d*u. Let j = -2/925 - -3746/21275. Which is smaller: u or j?
j
Let n = -99 - -107. Suppose -3*v - 53 = -n. Is v smaller than 0.2?
True
Let k = 27 + -21.4. Let b = k + -8.6. Is 1/14 greater than or equal to b?
True
Let s = -28.1 + 28. Let h = s + 0.04. Let n = h + 1.26. Do 2 and n have the same value?
False
Let f = -1520 - -664. Which is smaller: -855 or f?
f
Let f = 40845/79 + -517.