Suppose 108 = 11*o - 10*o. Let g = o + -278. Is g not equal to -169?
True
Let f(y) = y**2 + 3*y - 2. Let z be f(-4). Suppose 0 = 2*m + z*m + 2*v, 8 = 4*m - 2*v. Let b = 109693/71 + -1545. Which is smaller: m or b?
b
Let r = -13554 - -17611. Is 4054 != r?
True
Let b be (-2)/(-13) - (2430/78 + 7). Let q = -33 - -62. Let w = q + b. Is w less than -10?
False
Suppose -2*m - 4 = -6. Let p be (54/(-63))/(9/(-42)). Suppose 3*y - 4*c = 23, -p*y + 9*y = 2*c + 43. Which is smaller: y or m?
m
Let i = 126 - 139. Let o be 31/11 - 6/(-33). Which is bigger: o or i?
o
Suppose 0 = 5*v, -6*v - 1900 = -5*l - 4*v. Suppose -10*s - 10*s = l. Which is greater: s or 7?
7
Let m = -0.51 + 0.728. Let x = m - 0.118. Which is bigger: x or 46?
46
Let z(u) = u**2 + 11*u + 10. Let l(j) = -j**3 - 5*j**2 - 3*j + 2. Let x be l(-3). Let t be z(x). Let w be (-1)/2 - t/4. Do w and 6 have the same value?
False
Let z = -63808 - -84928462/1331. Which is smaller: -1 or z?
-1
Let h = -186 - -76. Let k = h - -109. Is k bigger than -123?
True
Let m = -11 + 17. Suppose 2*r - m = -f, -2*f - f + 6 = 0. Let z = -6 + 5.98. Which is smaller: z or r?
z
Suppose -151 + 437 = 4*a + h, 2*a - 3*h - 150 = 0. Suppose -5*f - 30 = -5*r, -5*f - a = 4*r - 6. Which is smaller: -8 or f?
f
Let u(h) = -h**2 - 16*h - 58. Let y be u(-7). Let q be y/(-4 - -9)*1/3. Let v be ((-3)/(-4))/((-300)/(-32)). Which is smaller: v or q?
v
Let n be -6*((-22)/(-6) - 4). Suppose -n*p - 3 = -m, -8 = -2*m + 3*p - 0. Are 46/7 and m equal?
False
Let p be (1/(-14))/(444/777). Which is smaller: p or 12/49?
p
Let q = 3818 + -1943. Let p = q + -903. Let a be 348/p + (-2)/6. Which is greater: -1 or a?
a
Let z = 54 + -22. Suppose 3*x - 32 = 5*y + z, -5*x + 94 = -2*y. Let o be 3876/(-7956) - (90/(-78) + 1). Are x and o equal?
False
Suppose 23*i - 161 = 460. Which is greater: i or -43?
i
Suppose -8*n = -5*n + 4*u - 5, 13 = -3*n + 5*u. Let p be (-5 - -8)*(n/1)/(-3). Is p at least as big as 68?
False
Let n = -930 + 621. Let o = -508 - n. Is o greater than -198?
False
Let d = -15231.003 + 15259. Let o = 0.003 + d. Which is bigger: o or -1/2?
o
Suppose 40*w = 148*w. Is 11/9 greater than w?
True
Suppose 0 = 351*p - 353*p + 18. Is p equal to 370/43?
False
Suppose -7*g + 6*g = 2*o + 212, 5*o = g - 523. Let a be 1257/(-12) + 2/(-8). Is a less than or equal to o?
True
Suppose 24*l = -478 + 70. Let s = 3 - 4. Let p be s - (-3 + 2 + 17). Is p at least as big as l?
True
Suppose 120*n = 144*n + 4 - 28. Let u be -2 + 0 + (-972)/(-498). Which is smaller: u or n?
u
Let h be 20 + -15 + ((-6)/(-99))/(2/(-72)). Which is bigger: h or 3/5?
h
Let c(u) = 6*u + 2. Let o be c(10). Suppose -l + 3 = 0, 3*l + 9 = k + 48. Let r be k/45 + 188/3. Is r greater than or equal to o?
True
Suppose -2*l = -4*h - 52, 0 = h - 5*l - 18 + 58. Let v = 3 - 3. Suppose 4*w + w + 60 = v. Is h < w?
False
Let x be 69/(-2) - (-6)/12. Let u = x + 24. Let b(z) = -2*z**2 - 20*z - 3. Let g be b(u). Are g and 1 nonequal?
True
Let z = -4.04 - 193.96. Let m = z + 206.3. Let g = m - 8.42. Is g < -2?
False
Let o be 2/2*(-76 + 57). Which is greater: -61 or o?
o
Let m be -3*(-42)/(-18) + (-1488)/(-249) + 1. Let d = 1 + -1. Which is bigger: m or d?
d
Suppose 5*c = 5, 5*m + 15 = -c - 29. Let w be m/1179*((-16)/(-4) - 12). Is 1 > w?
True
Let q be 1/(-2 + (-183)/(-93)). Let u = q + 33. Which is bigger: u or 5/9?
u
Suppose -6*z + 35 = -1. Suppose p + 4*u - 5 = -z, -5*p + 4*u = 5. Which is greater: 4/61 or p?
4/61
Let x = -1.213 + 2.213. Do 87 and x have different values?
True
Let g be ((-125452)/29 - 2) + (-266)/3857. Is -4331 less than or equal to g?
True
Suppose -1082 = -17*t - 1116. Is -894 != t?
True
Let j = -3 + 5. Suppose -z + j*w = 11 - 0, 2*z - 3*w + 19 = 0. Let r be ((-24)/7)/(-4) + 14 + 528/(-28). Which is bigger: r or z?
r
Suppose -145*r + 72*r + 3192 = -17*r. Let l be 864/15 - 2/(-5). Which is greater: r or l?
l
Let i be 6/5*2/(590/(-25)). Let r = 290/531 + i. Which is smaller: -2.9 or r?
-2.9
Let o = 63 - 65. Let m be -71 + (o - (-4 - -2))/2. Let b be 5/20*4/m. Do b and -1 have the same value?
False
Let i(z) be the second derivative of -69*z**5/20 + z**4/12 - z**2 - 2*z + 54. Let d be i(-2). Is d <= 554?
True
Let s = -6752 + 6741. Which is bigger: s or -19?
s
Suppose -82*q + 267 = -9081. Which is bigger: 120 or q?
120
Suppose 0 = 5*j + b - 1088, 33*b - 425 = -2*j + 36*b. Let a be 0 - (-1)/(9/(-1955)). Let m = j + a. Is -1 > m?
False
Let v = 24.81 + -25.31. Is v < -31?
False
Let u = -2635.0613 - -2635. Which is greater: u or -0.4?
u
Let r(u) = u**2 - 7*u + 11. Let v = -26 + 26. Suppose v = -0*q + 3*q - 3*b - 18, -3*q - 3*b = -12. Let g be r(q). Which is greater: -3 or g?
g
Let o = -313.865 + -0.135. Let z = o + 317. Which is bigger: -0.064 or z?
z
Suppose 11*u + 11*u - 5000 = 17*u. Is 988 bigger than u?
False
Let g = 67 + -64. Suppose 0 = -3*p - g*p. Suppose -5*h - 3*y - 13 = p, -4*h + 4*y - 2*y = 28. Which is smaller: 4 or h?
h
Let v = -4 + 3.9. Let a(y) = y**3 + 4*y**2 - 17*y - 28. Let j be a(-6). Suppose -2*h = -3*n - 53, -6*n = -n + j*h + 115. Which is smaller: v or n?
n
Let i be 7*1*(-4)/(-4). Let k = -8/343 - -519/7546. Is i at least k?
True
Suppose 143 = -42*s - 25. Is s bigger than -116/23?
True
Suppose 18 + 2 = -2*q. Let x = q + 22. Let o be 0 + 16/x - 1/1. Is -6/5 at least as big as o?
False
Let j(g) = g + 73. Let m be j(11). Suppose 49*c - 7*c = m. Which is smaller: c or 21/20?
21/20
Let c be 11 - (-4 - (6/54 + (-5488)/144)). Suppose -80 - 16 = 4*d. Which is smaller: c or d?
d
Let j be 6235/(-27940) - (-10)/55. Are j and 1 unequal?
True
Let n = 451 + -523.8. Let l = -10.8 - n. Let k = 61 - l. Is -1 at most k?
True
Let y(z) = z**2 + 23*z + 40. Let p be y(-25). Let a be (30/(-9))/((-66)/p). Which is smaller: a or 6?
a
Let i = 2626.1 + -2605. Which is smaller: 2/5 or i?
2/5
Suppose 4*n + 2 = -2*f, -2*f = 2*n - n - 7. Suppose -m - 2*m + 22 = f*y, 5*m + 20 = 3*y. Are -8/13 and m non-equal?
True
Let l = 559814/5 - 111952. Let g(d) = d**3 + 6*d**2 + 4*d - 5. Let t be g(-4). Do l and t have different values?
True
Suppose 5*u = -5*t + 10, 38*t - 8 = 34*t + 5*u. Which is bigger: t or 156/55?
156/55
Suppose -5*c = 67 - 127. Suppose -12*a = -18*a - c. Let j be 12 + (-2 + a)/4. Is 11 equal to j?
True
Let w = -259232 - -259228. Let r be (-352)/118 + 1 + 2. Which is bigger: w or r?
r
Suppose -14 = -2*r - 2*w - 36, 4*w = 5*r + 73. Let n be -1*(((-1482)/(-168))/r - 0). Which is smaller: 2 or n?
n
Let v = -56972 - -56954. Suppose o - 2*o - 18 = 0. Are v and o nonequal?
False
Suppose -12*z - 3 = -51. Suppose 5*m - 97 = z*p, -84 = 3*p - 5*m - 5. Which is smaller: p or -19?
-19
Let h be 3 - 1*51/21. Let i = -182 + 100. Let x = i + 85. Are h and x equal?
False
Let q = -1/14749 - 5357/138522608. Which is greater: 1 or q?
1
Let y(q) = -q**2 + 27*q + 28. Let a be y(-1). Suppose a = 118*b - 109*b + 18. Is b at most 202?
True
Let p = 28.1 + -30. Let j = 2.1 + p. Let r be (4 + 4 + -14)*3/27. Is j at most r?
False
Suppose -3*t + 22*t - 43469 - 24399 = 0. Is t less than or equal to 3572?
True
Let l(q) be the third derivative of q**5/60 + 7*q**4/24 - q**3/6 + 8*q**2. Let u be l(-4). Let p = 15 + u. Which is smaller: 7/12 or p?
7/12
Let u = -18 - -23. Suppose 4*h + 19 = -2*f - 13, -u*f - 4*h = 80. Let t(y) = -y**2 - 16*y + 19. Let c be t(f). Which is bigger: c or 22?
22
Let a be (-1)/2 - (-77)/(-6). Suppose 47 + 1 = 3*b. Suppose 6*x = g + 5*x + b, -2*g + 5*x - 38 = 0. Which is smaller: g or a?
g
Let h = 330.89 + -332. Suppose -7*j + 8 = 1. Is h greater than j?
False
Let x = 77.4 + -443.6. Let i = x + 366. Do i and -24 have the same value?
False
Let s be -203 - 136/(0 - -8). Do -4 and s have different values?
True
Let k = -8.05 + 5.36. Let r = 1936 + -1935. Is r smaller than k?
False
Let z(p) = p**2 + 110*p + 2829. Let u be z(-69). Which is smaller: u or -65/328?
-65/328
Let j = 6.103 + -5.65. Let d = j + -2.453. Is -104 at least d?
False
Let p(s) = s**2 - 5*s - 4. Let r be p(-4). Let a = 2065 + -2032. Which is smaller: a or r?
r
Let j be (-14 - -5)*5696/(-12). Which is greater: j or 4270?
j
Let a be (-1)/(-3) - (-30)/36*82/(-205). Is a not equal to 20/4229?
True
Suppose 5*t = 22 - 2. Suppose -2*g + 28 = -t*v, 3*v + 3*g + 6 = v. Suppose 5*b + 11*y - 10*y = 12, -2 = 5*b - y. Which is greater: v or b?
b
Suppos