/2. Let f be (3 - 1)/(6/(-21)). Are t and f non-equal?
False
Let d be 15/25*-5 + -1 + -2. Which is smaller: d or -163?
-163
Let f = 45 - 76. Which is smaller: f or -1?
f
Let v = 23 - 22.66. Let t = v - 0.44. Is t equal to 1?
False
Let o = -38 + 38. Suppose 4*d + o + 36 = 0. Let z be -11 - (-5 - -1)/2. Do d and z have different values?
False
Let k = -332 - -331. Is k > -0.9?
False
Let r be 6 + 0 - ((-2061)/63 - -5). Which is bigger: r or 33?
r
Suppose 30 = -5*u + 3*p, -p + 24 = -4*u - 2*p. Let g = 18 - 19. Let y = u - g. Which is bigger: -1 or y?
-1
Let o = 9 - 15. Let i be (-10)/(-15)*o/(-4). Let w be (2 - (-4 + i)) + -2. Are w and 3 unequal?
False
Let b be 29/12 - (-41)/(3321/(-54)). Let c = -0.2 - -0.1. Which is smaller: c or b?
c
Let t(r) = -23*r + 261. Let m be t(17). Is m equal to -134?
False
Suppose 3 - 1 = r. Let v be 8/108 - (-1085)/1755. Is r at least v?
True
Let f(a) = 7*a**3 - a**2 - 12*a + 1 + 12*a. Let b be f(-1). Is -9 at most as big as b?
True
Let n be (-3)/((6 - -2) + -5). Let l = -227/6 - -38. Do n and l have the same value?
False
Suppose 21*s + 829 - 199 = 0. Suppose -3*y + 3 = 0, 3*j - y + 92 = 4*y. Is j greater than s?
True
Let f = 7691 - 4360799/567. Let i = f - -8509/1134. Is i at least 7?
True
Let x be (14 - 13)/(132/3). Which is greater: x or 0?
x
Let a(u) be the first derivative of u**3/3 + 7*u**2/2 + 5*u - 17. Let n be a(-2). Let s = 2 + -5. Is s bigger than n?
True
Let o = -569/5 + 115. Let p = -192 - -192. Is p bigger than o?
False
Let u = 0 - -1. Let a(c) = -2*c**3 - 4*c**2 + 5*c. Let d be a(-4). Let f = -44 + d. Which is greater: f or u?
u
Let s be (9 - 6)*83 + 1 + 0. Is s greater than or equal to 250?
True
Let h = 104.7 - 104. Let u be (-5)/(-30) + (-67)/(-30) + -2. Which is smaller: h or u?
u
Suppose k - 10 = -3*v, 2*v = -k + 3 + 4. Let t be -2 + k + 1 + 6. Is t at most as big as 6?
True
Let b = 52.7 - 51.7. Let x = -6 + 5.85. Are x and b unequal?
True
Let i be (-1 + 1 + -7)*139/(-973). Which is greater: i or 3/353?
i
Let z be ((-6)/477)/(4 - 85/15). Does z = 0?
False
Suppose -2 = 7*q + 5. Let v be (4/3 + 2/q)/1. Let x be (2 - (2 - 0))/3. Which is smaller: v or x?
v
Let n(r) = -r**3 - r**2 + 3*r - 2. Let z(s) = -s - 1. Let b(u) = n(u) - z(u). Let a be b(-3). Suppose 0 = a*y - 4*y. Which is smaller: -4/3 or y?
-4/3
Suppose -39*y + 35 = u - 35*y, -3*y = -u + 28. Is 21 greater than or equal to u?
False
Let g = 61 - 59. Suppose 5*j = -2*f + 33, 3*f + 36 - 113 = -g*j. Is 30 greater than or equal to f?
True
Let y = 17 - -31. Let q = 434/9 - y. Which is smaller: q or -23?
-23
Let z = 29 + -50. Let h = -22 - -2. Let j = h - z. Which is smaller: -5 or j?
-5
Let s(a) = a**3 - 8*a**2 + 7*a - 9. Let h be s(7). Suppose 9 - 3 = 3*r. Suppose 16 = -2*z - r. Do z and h have different values?
False
Let o = 4 + -3. Let u be -14 + 27 + (-209)/17. Which is bigger: o or u?
o
Let g be 2 - -3*(-298)/10. Suppose -4*y = 13*y + 1479. Let j = g - y. Which is smaller: -27 or j?
-27
Let g = -183/716 + 1/179. Is 12 at least as big as g?
True
Let k be 2/34*(-1 + 0). Let q(h) = h**2 + 13*h + 30. Let w be 0 + -1 - (6 - (-1 + -2)). Let b be q(w). Which is smaller: b or k?
k
Let u be ((-4)/123)/(280/24 - 11). Let n(g) = g**3 + 7*g**2 + 4*g + 7. Let b(o) = o**2 + 1. Let d(m) = 4*b(m) - n(m). Let w be d(-2). Is u at most as big as w?
True
Let a(f) = -f**3 - 6*f**2 - 3*f. Let w be a(-5). Let x be 24/(-16)*(-2)/w. Is 0 smaller than x?
False
Let i(l) = -l**2 - 6*l + 3. Let w be i(-6). Suppose -q + w*t = -6, -3*q + 2*t = -0*t - 4. Let s = -21/5 - -99/20. Is q less than s?
True
Suppose -3*h + 8 = -0*h + 2*p, -8 = -5*h - 2*p. Let x(d) = -d**3 - 13*d**2 + 14*d + 1. Let y be x(-14). Let q be y/1 + (-36)/32. Which is greater: q or h?
h
Let l be -4*8*(-185)/(-240). Which is greater: l or -24?
-24
Let b = 376 - 396. Which is smaller: b or -6?
b
Let o = 1.567 - 1.467. Is -1359 less than o?
True
Let r = 707 - 521. Which is greater: r or -1?
r
Let p = 637 - 119. Which is bigger: p or 519?
519
Let g = 0.199 + 1.801. Do 0 and g have the same value?
False
Suppose 3*v - v - 4*y - 48 = 0, 5*y = -3*v + 39. Suppose r + 2 - 3 = 0, 2*o = -2*r - v. Suppose -53*m = -57*m - 32. Which is smaller: o or m?
o
Let t be (-4044)/(-22) + 10/55. Let o = t - 1286/7. Let d = -74 - -74. Is o < d?
False
Let i = 67 + -67.018. Let n = 0.048 + i. Which is bigger: -0.2 or n?
n
Let i = 77 - 77.43. Let x = i - 0.97. Which is greater: x or 0?
0
Let d = 214.8 - 215. Is d less than or equal to -0.35?
False
Let h be 57/5 + 9/((-135)/6). Suppose h*f = -5*f - 1360. Is f not equal to -84?
True
Suppose -5*z + 214 = -146. Let m be (-20)/(-15)*53/212. Is z > m?
True
Let z be 1/3 - 55/45*-3. Let b be z + 12/(-4) - 9/15. Which is smaller: b or 15?
b
Let j be ((-6)/15)/((-7)/((-245)/(-14))). Let p = 10421/150 + -139/2. Which is smaller: j or p?
p
Let o be (-46)/14 + (-2)/(-7). Let q = 4 + o. Suppose 0 = -0*y + y. Which is smaller: y or q?
y
Let f = -2 + 2. Suppose -26*b + 2 = -24*b. Let x be (-1 + 2)*-1 + b. Are f and x non-equal?
False
Let h = -177 + 116. Let z be h/9 + (-12)/54. Let s be 7/(-28)*4/z. Is s less than or equal to 2/9?
True
Suppose -5*r - 5*h - 10 = -60, 5*h = 5*r. Let m = r + -5. Let c be m*(-2 - (-28)/12). Which is bigger: c or -2/17?
c
Let u = -0.175 - -21.425. Let j = u - 16.3. Let z = 0.05 + j. Which is greater: z or -0.2?
z
Let g = -136/49517 - 20/293. Let n = g - -1094/10647. Let u = -20 - -19. Is n != u?
True
Let x = -30 + 41. Let p = 0.3 + -0.25. Let s = -0.05 + p. Does x = s?
False
Let t be (-2)/(-9)*(-291)/47. Let k = 1071 - 50335/47. Let z = k + t. Which is smaller: z or 3?
z
Let l = 1426 + -1425. Which is smaller: -2/1163 or l?
-2/1163
Let n = 0.1 - -0.1. Let i = -0.9 + 1.8. Let y = i + 0.1. Which is greater: y or n?
y
Let b be -202 + -281 + (-2)/2 + 3. Which is smaller: -482 or b?
-482
Let m be (702/(-14) - -2)/((-120)/168). Which is smaller: m or 66?
66
Suppose -8*i = -3*i - 60. Let s(l) = l**3 - 11*l**2 - 11*l - 10. Let y be s(i). Which is greater: y or 1?
y
Let j be 4/6*7/(-2). Let n = -23 - -42. Suppose -13 + n = -6*m. Is j bigger than m?
False
Let z be (-5)/25 - (-24)/(-5). Let p be (-3)/((-9)/(-6)) + z. Which is greater: -15/2 or p?
p
Let z(d) = -5 + 4*d**2 + 13*d + d**2 - 10*d**2 + 2*d**2. Let y be z(4). Let v = -2544/7 + 362. Which is smaller: v or y?
v
Let c be 4/(-42) - 8112/(-16380). Which is smaller: -1/11 or c?
-1/11
Let q be (-4158)/385*(-5)/(-2). Let l = 10 - 36. Which is smaller: q or l?
q
Let g = -1.3 - -71.3. Let q = g + -87. Let t = 0.1 + -0.1. Are t and q non-equal?
True
Let j(o) = -5 - 3*o + o + o + 4. Let l be j(-9). Let y = 8 - l. Which is smaller: y or 1/9?
y
Let i = 0.15 - 0.1. Let b = 27 + -33. Let x be b/8*((-12)/18 + 1). Is x greater than i?
False
Suppose 4*f - 18 + 6 = 0. Let v be 21/9 - (-2)/f. Let a(u) = u**2 - 10*u + 26. Let t be a(6). Are v and t non-equal?
True
Let k be ((-347)/98 + (-301)/(-86))*7. Let i = -83 + 50. Which is bigger: k or i?
k
Let w(l) = l**3 - 4*l**2 - 5*l + 3. Let m be w(5). Let g be (-5)/2*(-1304)/815. Which is greater: g or m?
g
Let c be 3*(-2)/(-6) + 2. Let b be (c - 3) + 0 - -1. Is b less than or equal to 8/7?
True
Suppose 2*o - h = 8, -27*o - 4*h + 10 = -28*o. Let p(z) = 2*z**3 + 2*z**2 - 2*z. Let l be p(-2). Let i be o/(-4) + l/(-8). Which is greater: 16 or i?
16
Suppose 3*u - 2*n = 234, -5*u - 5*n + 390 = -3*n. Which is greater: u or 77?
u
Let z = -259 + 260. Which is greater: 67 or z?
67
Let n be 15/10*4/(-18). Let a be (2/(-2))/(1/1). Let z = a + 0. Is n smaller than z?
False
Let y be (-27)/12*48/(-18) + -1. Suppose g - 11 = -3*x, -3*g = -6*g + y*x - 23. Let f = 1 + -2. Is f > g?
False
Let n = 1 - 1.13. Let f = n + -0.07. Which is greater: -11 or f?
f
Let u = 0.2 - 0.3. Let k = -23.2 - -30.2. Which is bigger: k or u?
k
Let q be (6/68)/(25/20). Let u = q + 28/85. Let z be 1*(2 + 2/(-2)). Is z > u?
True
Let n = -2.9 + 1.9. Let p be -1*4/5*(-2)/(-8). Which is bigger: p or n?
p
Let k be 50/(-84) - (-10)/(13 - -7). Suppose 3 = -0*a + a. Suppose -2*p = a*p. Is p equal to k?
False
Let h(z) = -6 - 4 - 8 + 5*z - 5. Let o be h(4). Suppose -r - 12 = 3*r. Is o less than or equal to r?
True
Let m be ((-3)/(-6))/(2/(-556)). Is -1/2 > m?
True
Let i(f) = f**3 - 5*f**2 - 2*f + 12. Let m be i(5). Let n(k) = 11*k**3 - 3*k**2 - k +