 Let x = -17 - w. Let z = x - -11. Which is smaller: z or -3/10?
z
Let d be 6/(-48)*3/(-255). Is d not equal to 0?
True
Let b = -941/3 - -323. Suppose -14 = -o + 4*c - 2*c, 4*c - 32 = -4*o. Which is bigger: b or o?
o
Suppose -2*y = c - 4, 0 = -5*y - 1 + 11. Suppose -6*u - 585 = -u. Let i be ((-26)/u)/((-8)/6). Which is smaller: i or c?
i
Let b(h) = 3*h**3 - 149*h**2 - 52*h + 106. Let x be b(50). Is -5 equal to x?
False
Let z = -3631 + 25601/7. Is 26 <= z?
True
Let s = 82/3539 - 2597039/127404. Let g = 35/36 - s. Is g not equal to 21?
True
Let o be -6*8/120 + (-184)/(-10). Let w be (1 - -2 - 2)/((-4)/(-76)). Are w and o non-equal?
True
Let s(x) = x**3 - 25*x**2 - 55*x + 26. Let t be s(27). Are t and -2/947 non-equal?
True
Let s(z) = z**2 - 5*z - 2. Let n be s(-3). Let a(t) = -49*t - 466. Let p be a(-10). Which is smaller: p or n?
n
Let p be (9 + (-101)/7)*7. Which is bigger: -2/11 or p?
-2/11
Let x(s) = 38*s + 505. Let d be x(-18). Which is smaller: -182 or d?
-182
Let f = 7 + -16. Let p be (5/((-10)/29))/(3/6). Let c = 21 + p. Is c smaller than f?
False
Suppose 33*k - 16*k + 68 = 0. Which is smaller: k or -20?
-20
Let v be (33/9 + -3)*(163 - -5). Suppose -4 = -4*a - v. Is a at most -26?
True
Suppose -r - 19 = -3*g - 2*g, -5*r - 11 = 3*g. Suppose 24 = 4*w + 2*m - 14, 0 = -3*w - g*m + 27. Let c = w + -5. Which is greater: 3 or c?
c
Let a be (-18)/1*(-1)/2. Let j(z) = 2*z**2 + z - 1. Let v be j(-2). Suppose -v*x = m - 51, -4*x + 21 = -x + 3*m. Which is bigger: a or x?
x
Let h be (-3)/(585/(-12))*(-15)/(-6). Let d = 19/39 - h. Let s = -0.08 - -3.08. Which is greater: s or d?
s
Let p(n) = 10*n + 47. Let f be p(14). Suppose 73 = -6*l + f. Let g = 61 + -43. Is g bigger than l?
False
Let v = 44 - 43. Which is bigger: v or 5.7?
5.7
Let y = -0.062 - -0.162. Which is greater: y or 13/2?
13/2
Let b be -3 - (-30)/12*24/15. Let z be -1 + (-10)/2*b. Is -3 smaller than z?
False
Let r(u) = -u**3 - 2*u**2 - 3*u - 1. Let n be r(-2). Suppose n*t + 8 = 2*y, -2*t = y + t - 4. Suppose x - 1 = -y. Is -5 at least x?
False
Let t be ((-1494)/415)/((-3)/(-50)). Which is greater: t or -59?
-59
Let j be 2/11 + (-7544120)/(-8888). Let a = -849 + j. Are a and -1 equal?
False
Let d = 25.9 - 25.2. Which is greater: d or -0.3?
d
Suppose 0 = 25*w - 22*w + 279. Do -92 and w have different values?
True
Let m = -209 - -165. Let t = 3/26 - -5/13. Which is greater: t or m?
t
Let c = 38 + -54. Let h = 10 - 29. Let b = h - c. Which is greater: b or -1/3?
-1/3
Let n = -1276 - -1882. Is 606 not equal to n?
False
Suppose -8*h + 12*h = -4*f - 24, -5*f + 3*h + 10 = 0. Is -4/421 greater than f?
True
Let p = -22 - -53. Let o = p - 70. Which is greater: -41 or o?
o
Let j = 55 + -105. Let n be ((-9)/(225/(-20)))/(68/j). Is 0 at least as big as n?
True
Let v be (-2)/1 + (1 - -2) + -1. Suppose -4*s + 11 = 3. Let g be s/7 + (-2)/(-91). Is g greater than or equal to v?
True
Suppose 46*j - 35*j - 11 = 0. Do -1/880 and j have different values?
True
Suppose 2*k - w = 97, -w - w = 5*k - 265. Suppose -k = -5*b + 34. Are 16 and b unequal?
True
Let z = -0.3 - -2.3. Suppose 62 = -2*t - 2*v, -t - v = -4*v + 27. Let s be 2/(-5) + 18/t. Is z greater than s?
True
Let l(u) = 2*u**2 + 9*u - 5. Let i be l(-7). Let q be i/(-105) + (-68)/(-91). Suppose 5 = -4*p + 1. Is p smaller than q?
True
Suppose -2*y - x = -25, 4*y + 3*x = y + 45. Suppose 2*g + 3*g - 5*j - 15 = 0, -4*g + 5*j + y = 0. Let n be (-1 + g)/(4/6). Which is smaller: n or 8?
n
Suppose 5*c - 4*r = 6*c + 5, 0 = -4*r. Suppose 0 = p - 4*p - 63. Let x = p + 18. Is c greater than or equal to x?
False
Let b be 14/(-49) - 491*(-2)/1624. Let x = 17804/29 + -614. Let v = b + x. Is v less than 5?
True
Let z = 71.9 - 69.9. Are z and 3.1 unequal?
True
Suppose 2498*h - 2577*h = 0. Suppose 9 = z + 2*y, 4*z = y - 5 + 23. Is h less than or equal to z?
True
Let q be 37/4 - 24/(-4). Which is greater: q or 15?
q
Suppose 47 = r - 3*g, -3*r + 2*g + 127 = -0*g. Suppose -9 + r = 2*l + z, 5*z - 55 = -3*l. Which is greater: l or 13?
l
Let v be ((-2)/44)/((-4)/8). Let x = -0.617 + 0.717. Which is greater: v or x?
x
Let w = 21.24 + -30. Let b = -9 - w. Let v = b - 0.16. Which is smaller: -0.3 or v?
v
Let u be 18/(-15) - 1/(-5). Which is greater: -2/875 or u?
-2/875
Let h be 3/6*10/(-175). Are 1 and h non-equal?
True
Let t(l) = l + 5 + 5 - 8 + 17. Let j be t(-17). Let v be 4/(-6)*(-36)/21. Which is greater: v or j?
j
Suppose 26 = -7*h + 82. Is h less than 5?
False
Let z be (-3)/27*2 - 168/(-2700). Which is greater: 0 or z?
0
Let x be 9/(-21) - 59/(-7). Let z = 14 - x. Let d be (z/36)/(1/2). Is 2 bigger than d?
True
Let v = 353.99 - 354. Let a = 0.1 + 0.1. Do a and v have different values?
True
Let t = -100/7 - -886/63. Which is smaller: t or 10?
t
Let k(q) = q**2 + 4*q - 17. Let n be k(-5). Let t be n/(-66) + 376/(-11). Is t at most -34?
True
Let d be (-5464)/6 - 60/45. Let a be (2 - 5/2)/(24/d). Which is bigger: a or 1?
a
Suppose -23*x - 306 = -5*x. Are x and -19 equal?
False
Let m = 9 + -7. Let b(y) = -m + 1 + 0*y - 6*y + 4*y. Let c be b(-1). Which is smaller: c or 15/7?
c
Let u be (-6)/(-10)*(-10)/(-8). Let k = u + -1/4. Let c = 36 + -35.88. Which is smaller: k or c?
c
Let i = -22 + 66. Suppose p = 5*q + i, 0 = -4*p + 5*q - 45 + 161. Let z be (-2)/(-10)*80/p. Is z bigger than 0?
True
Let m = -259 + 320. Which is greater: 58 or m?
m
Let s be (15/3 + 43/(-11))/(22/121). Let b = 1 + 0. Is s less than b?
False
Let h be (-188)/(-3) + 4/(-6). Let j = h + -38. Let o be -4 + 2 - j/(-14). Are 11 and o nonequal?
True
Suppose 328*l - 311*l = 1377. Which is smaller: l or 82?
l
Let v = -141.865 - 0.135. Which is greater: 4/5 or v?
4/5
Let c(i) = -2*i**3 - 3*i**2 - 7*i + 65. Let p be c(0). Is 196/3 <= p?
False
Suppose -504 = 44*q - 30*q. Is -36 != q?
False
Let v be 6*(-4 - (-65)/15). Let n be (11/(-22))/(v/(-12)). Which is bigger: 29/8 or n?
29/8
Let d be ((-3)/(-2))/(2/(-36)). Let j = -24 - d. Let z(v) = -v**3 - 9*v**2 - 10*v - 11. Let t be z(-8). Is t not equal to j?
True
Suppose -b + 2 = b. Let d(i) = i**2 - 2*i + 1. Let y be d(b). Let z be (1*(-5)/50)/1. Is y > z?
True
Let k = 3.07 - 3.17. Let n = 0.03 - 3.03. Which is bigger: n or k?
k
Let v be ((-4)/5)/(32/240). Let i be v/(-15) + 26/10. Let s = 5 - i. Which is smaller: s or 0?
0
Let x be ((-2)/(-16))/((-2)/356). Let s(t) = 1674*t + 8347. Let j be s(-5). Which is bigger: x or j?
x
Let b = -1.18 - -0.18. Suppose -x - 4*x = -15, -x + 7 = -2*n. Which is smaller: n or b?
n
Let b be (42/273)/((-5)/(-13)). Which is smaller: -2/1261 or b?
-2/1261
Let p = 27459/88 + -312. Which is bigger: p or 0?
p
Suppose -3*r + 918 = -17*b + 14*b, 5*b - 942 = -3*r. Which is greater: 307 or r?
r
Let q(l) = l - 2. Let y be q(-6). Let j = y + 10. Suppose -3*p = -5*i + 46, 0 = -5*i + j*i + 2*p + 27. Are i and 11 nonequal?
False
Let u be (3/52)/(-1)*(-408)/(-1071). Is -1 equal to u?
False
Let r be ((-21)/35)/(32/(-360)). Which is bigger: 0 or r?
r
Let x(r) = -r**2 + 8*r - 5. Suppose 0 = n - 12 + 3. Let f be x(n). Which is smaller: -13 or f?
f
Let d = -90 + 91. Let g be ((5/(-375))/(1/(-3)))/d. Is g < 1/6?
True
Suppose -3*t = 4*n + 9, 6*n - 3*n + 14 = 5*t. Is -8 at most t?
True
Let v(r) = r**2 + 7*r - 5. Let f be (3 - 21/15)/((-4)/20). Let m be v(f). Which is smaller: 5 or m?
m
Let z = -0.5 + -2.5. Let r = -1059 + 1054. Which is greater: r or z?
z
Let x be 80/6*(1 - (-3 + 1)). Let r = -79/2 + x. Is r bigger than 2/9?
True
Let b = 1 + -1. Suppose -2*o + r + 3 = -o, b = -4*r - 8. Let x be (2 - o)*(-220)/10. Which is bigger: -21 or x?
-21
Let l = 0 - -0.1. Let t = -0.02 + l. Let m = 120 + -120.1. Is m greater than or equal to t?
False
Let c be (130/(-35))/(3/(-21)). Is c < 25?
False
Suppose 0 = -b + 4*b + 27. Let o be ((-1987)/51)/(3/b). Let f = 117 - o. Which is bigger: f or -1?
f
Suppose -5*k + 36 = -4*q - 26, -5*k + 59 = -3*q. Suppose 0*c + 2*c = -4*f + 34, -2*f + c + 7 = 0. Are f and k nonequal?
True
Let s(b) = -6*b. Let h be s(2). Let n be 8/h + (-71)/(-2). Let v = 35 - n. Is 0 > v?
False
Let p = 366 - 14639/40. Let l = 7/40 + p. Let m be (10/(-30))/(4/24). Which is smaller: l or m?
m
Let c = 1930/23 - 84. Let z = -0.77 - 0.03. Let m = z - -0.9. Which is greater: m or c?
m
Let f = -1 + -4. Let u be 38/6 - f/(-15). Let b be (-2)/u - 4/(-12). Are b and -1/14 