(14/21)/(1/s). Are z and o nonequal?
True
Let h = -6294/13 + 484. Is h smaller than -9?
False
Let g = -31 + 45. Suppose -20 = 6*h - g. Is h equal to -0.045?
False
Let d = 0.4 - 0.2. Let s = -20 + 4. Let y be 2 + s*4/28. Is y smaller than d?
True
Let t be 12/9*(-84)/(-8). Let r = 17 - t. Let s be r/4 - (-4)/16. Which is bigger: s or -1?
s
Let g = 498 - 712. Do 1 and g have different values?
True
Let t be (4/6)/(12/54). Let b be (t + -6)/((-3)/(-2)). Is -2 not equal to b?
False
Let l be -2 + 22 + 0/1. Let i = l - 18. Suppose -i*y = 2*y. Which is greater: 4/13 or y?
4/13
Let m(l) = -l**3 - 10*l**2 + 1. Let j be m(-10). Is 1/335 != j?
True
Let t(s) = -3*s + 4. Let y be t(-2). Suppose 0 = 3*r + 4*w + y, 2*w = 3*w - 5. Is r less than or equal to -10?
True
Let b = 67 - 109. Let a = 44 + b. Is -1 < a?
True
Let b = -1.13 + -86.87. Let n = -93 - b. Is -0.2 less than or equal to n?
False
Let k = 16 + -13. Let r be (-18)/15*(-1)/k. Let u = 0.04 - -3.96. Which is greater: r or u?
u
Let q = 85 + -82. Let j = -4.94 - -5. Which is bigger: j or q?
q
Suppose 2*r - 8 + 14 = 0. Let u be ((-69)/(-27) + r)/(-1 + -13). Do -1 and u have the same value?
False
Let r = -14 - -15.3. Let u = 5.15 + -3.15. Let d = u - r. Is d >= -0.2?
True
Let h(t) = t**2 - 6*t + 3. Let y be h(6). Suppose -3*o = -5*l + 36, 0 = -0*l + y*l. Let g be o/51*(-2)/4. Which is smaller: -1 or g?
-1
Suppose 5*p - 91 = -31. Suppose -3 = z + p. Which is bigger: -17 or z?
z
Let g = 0.82 - 0.4. Let i = 1.92 - g. Which is bigger: i or -0.2?
i
Let j = -7.703 + 7.703. Let z = 1 - 2. Is z >= j?
False
Let x(r) be the first derivative of -r**4/4 + 10*r**3/3 - 4*r**2 - 7*r - 17. Let c be x(9). Let p be (8/7 - -1) + -1. Which is bigger: c or p?
c
Let y be 2/(46/(-2)*1). Suppose 17 - 7 = 5*v. Let f be (-1)/v*(-11 + 9). Which is smaller: f or y?
y
Let o = 78 - 111. Let a = 33 + o. Let u = 0.1 + -0.11. Which is smaller: a or u?
u
Let a = 363 - 313. Which is smaller: 53 or a?
a
Let z = -35.21 + 35. Is z < -0.2?
True
Let w(g) = -14*g + 184. Let u be w(13). Are -1 and u nonequal?
True
Let r be ((-46)/10 - -3) + (-4)/(-6). Is r greater than -2?
True
Let f(i) = 92*i**2 - 53*i + 101. Let d be f(2). Is d less than 362?
False
Let k = -90 - -69. Let u be (-6)/4*14/k. Are 4/55 and u equal?
False
Let u(m) = -m - 1. Let y be u(-4). Suppose -y*h + 39 = -0*h. Suppose -3*r + 31 = 2*x - 9, -3*r + 3*x + 30 = 0. Is h at least r?
True
Let i = -174 - -180. Let c = -13 + 0. Let u = c + i. Are -8 and u equal?
False
Let k(v) = -v**2 + 12*v + 134. Let i be k(-7). Are i and 66/29 unequal?
True
Let p = 2368/285 + -130/19. Let f = 178 - 177. Which is smaller: f or p?
f
Let f = -50 - -57. Suppose 90 = 2*u - f*u. Are 2 and u unequal?
True
Let u = 16 + -7. Let n be (21/u + -1)*3. Suppose -n*y = 3*y. Which is bigger: y or -1?
y
Suppose o + 1 = 5. Suppose -5 = -o*x - 9. Let y = -0.3 + -0.1. Is x bigger than y?
False
Let u = 37.2 - -7.8. Let d = u - 45. Which is smaller: d or -58?
-58
Let m(q) be the third derivative of q**5/60 - 5*q**4/24 - q**3 + 13*q**2. Let d be m(6). Do 2 and d have the same value?
False
Let j be 16/56 + (-424)/14. Let v be j/105 + (-2)/(-7). Suppose v = -m + 2*m - 4. Is 5 at most m?
False
Let k(x) be the third derivative of x**6/60 - 13*x**5/60 + 3*x**4/8 - 7*x**3/6 + 14*x**2. Let t be k(6). Is 11 smaller than t?
False
Let k = 1.0211 + -0.0211. Which is smaller: k or -1/20?
-1/20
Let v = -1486 + 4459/3. Which is greater: v or 718?
718
Let w = 58 + -30. Suppose -8 = 2*o - w. Let r be ((-3)/(-45))/(18/o). Which is smaller: r or -1?
-1
Let d(v) = -6*v + 54. Let k be d(9). Let h be k + (-1)/2 + 1365/98. Which is greater: h or 14?
14
Suppose 2*g - 27 = 5*g. Suppose 5*h = t + 10, 5*t - 7 = -4*h + 1. Suppose c = h*i + 14, 2*i - 5*c + 3 = -11. Which is smaller: g or i?
g
Let y(r) = -r**2 - 3*r + 5. Let v be y(-4). Let c be 5/(v*(-1)/1). Let o be (10/2)/(-10 - -9). Is o >= c?
True
Suppose -132 = -9*a + 12. Which is smaller: 22 or a?
a
Let w(x) = 3*x. Let k be w(-2). Let a(t) = -t - 4. Let h be a(k). Suppose -4*n + 2*i - 6 = 0, -6 = n + h*i - 4*i. Do -2/39 and n have the same value?
False
Let c = -0.03 + -0.37. Let b = 45259 - 317822/7. Let j = 144 + b. Which is smaller: c or j?
c
Let v = 679/15 - 134/3. Are -38 and v equal?
False
Let c = 5.04 + -0.04. Let w be 9/(-21) + 4/14. Is w at most c?
True
Let x be 1 + 38/2 + -6. Does x = 14?
True
Let n = -425 - -548. Does 123 = n?
True
Suppose 0 = -n - 3, -5*n + 12 = -3*r - 36. Is r at least -15?
False
Suppose 2*v - 175 + 55 = 2*t, 5*t = -3*v - 332. Let f = t + 65. Which is smaller: 2/45 or f?
2/45
Let i = 1 + -0.7. Let g = -0.7 + i. Let s = 12.8 - 12.9. Do s and g have the same value?
False
Let b(y) = y**2 + 9*y - 2. Let j be b(-9). Let z be 3/(-9)*-21 + j. Suppose 4 = -5*x - 3*q - 93, 0 = 5*q - z. Which is smaller: x or 0?
x
Let r(u) = -4*u**2 - 4*u - 2. Let v be r(-1). Let t be v/7 + 100/(-140). Is 2/13 smaller than t?
False
Let q(y) = -y**2 + 10*y - 1. Let d = 53 + -32. Let n = -11 + d. Let s be q(n). Which is greater: 2/13 or s?
2/13
Let j = 5 - 5. Let m = -0.1 + j. Suppose 3*w = 2*s + 11, 4*s = 2*w + 3 - 13. Is w at most m?
False
Let m be (-7992)/47 - (-2 + 4). Let x = m + 172. Let p be 0 + -1*(-2 - -4) + 3. Is p > x?
True
Let r = -1.225 + 21.225. Which is bigger: -17 or r?
r
Suppose -x + 3*l = 7, 0 = -5*x + 4*l - l - 35. Let c = -7 - x. Do c and 0 have different values?
False
Let t be (-6)/(-1314)*((-102)/(-12) - 7). Which is bigger: t or 0?
t
Let w be (-1 + 4 + -4)*-119. Is 120 smaller than w?
False
Let k be 1/(-3) + (-28)/(-3). Let v = 368/43 + 205/172. Which is bigger: v or k?
v
Let f = -0.9 - 0.1. Let d = 1471 + -1501.88. Let x = 31 + d. Is x < f?
False
Let g = 439 + -439. Do g and 1/29 have different values?
True
Let a = 8502 + -8433. Let p be 1/3 + 418/6. Which is smaller: p or a?
a
Let c = 26.8 - 29. Let t = 16.8 - 23. Let n = c - t. Which is bigger: 2 or n?
n
Let z = 2330.64 + -2210. Let h = -120 + z. Which is bigger: h or 0?
h
Let z(x) = x**2 + 18*x + 2. Let y(m) = -m**2 - 5*m + 6. Let d be y(-8). Let c be z(d). Is -14 bigger than c?
False
Let c = -4 + -2. Let o = 2 + c. Let z be 2/7 + 36/21. Which is greater: z or o?
z
Let d(h) = 45*h + 65. Let a be d(-9). Which is bigger: -1365/4 or a?
a
Let b(k) = -k**2 - 4*k + 24. Let u be b(4). Suppose 2*y + 29 = -q, 0 = -3*q - q + 3*y - 72. Let f = q + 14. Is f less than u?
False
Let y = -5 - -20. Suppose -3*z - y = -4*z. Suppose 3*x - 2*x + 18 = -4*i, 4*x - 3*i = -z. Do x and -4 have the same value?
False
Let n = -456 + -263. Which is greater: -0.1 or n?
-0.1
Let o be 70/140 - (-13)/(-34). Suppose 4*w - 12 = -0*w. Let z = 3 - w. Is o < z?
False
Let t be 5 + (3 - 32/4). Let n = 6 - 10. Let q(f) = -2*f - 6. Let z be q(n). Which is smaller: z or t?
t
Let r = 12.3 - 12.17. Let p = 149.13 - 147. Let d = p - r. Is 0.2 at most d?
True
Let t = -1118 + 1397. Which is greater: 0 or t?
t
Let g = -36 - -22. Let s = 13 - -1. Let w = s + g. Which is smaller: w or -3?
-3
Suppose -4*v = v + 40. Let h be ((-12)/10)/(v/8). Let b = 1 + 0. Which is smaller: b or h?
b
Let m = -3 - -2. Let w be (72/(-27))/((-2)/(-6)). Is m >= w?
True
Let k(f) = f + 1. Let g be k(0). Suppose -3*a = -l - 10, a - 5 = 3*l + 9. Let y be a + (-4)/(-6)*-1 - 1. Which is bigger: y or g?
g
Suppose 44*z + 210 = 14*z. Is -25/3 greater than or equal to z?
False
Let z be ((-10)/25)/((-901)/(-5)). Is 0 less than or equal to z?
False
Let x(s) = -16*s + 101. Let n be x(20). Are n and -219 unequal?
False
Suppose -a + 2*m = 25, -2*m - 34 = a - 7*m. Which is smaller: a or 2/3?
a
Suppose 0 = f - 5, f - 10 = -2*x - 3*x. Let n be (-10)/82*16/(-40). Which is smaller: n or x?
n
Let g(j) = -j + 5. Let s be (-171)/(-33) + (12/22)/(-3). Let t be g(s). Let v be (-3)/4 + -2 + 2. Are v and t non-equal?
True
Let a be 6/(-15) + (-12)/(-5). Suppose -4*v = a*u - 412, -5*u - 3*v + 1159 = 115. Let g = 1892/9 - u. Is -4 equal to g?
False
Suppose 24 = -y - 3*y. Let s be (8/12)/((-4)/y). Suppose -7*w = -3*w. Is w > s?
False
Suppose -p = 4*u - u - 10, 3*p - 8 = 2*u. Suppose r + r - 10 = -p*t, -5 = 5*r. Suppose -2*v = t*v + 20. Do v and -5 have different values?
True
Let g = 3 + 2. Let h = g + -8. Let z = -259 - -255. Is h equal to z?
False
Let f = 0 - -0.08. Let m = 5.2 - -1.8. Let u = m + -9. Do f and u have