18. Does -35 = f?
False
Let v = -213 + 1509/7. Which is bigger: 3 or v?
3
Let x = 117 - 115. Let w = 174/65 - 1/13. Which is smaller: x or w?
x
Let b = 9 + -26. Is b < -16?
True
Let l = 98 - 98.2. Which is smaller: -3.9 or l?
-3.9
Let r = 0.0264 - -1.9736. Are -150/11 and r unequal?
True
Let p be 1859/(-2886) - (-1)/(6/4). Are 1 and p non-equal?
True
Let a = -671/12 + 221/4. Do a and 58 have the same value?
False
Suppose 4*a + 3*r = a + 318, 5*r = -4*a + 424. Are 105 and a equal?
False
Suppose -3*o = 2*u + 2*u + 10, 14 = -3*o - 2*u. Which is smaller: o or 1?
o
Let n be 2/(-2 - -4)*1. Let z be 100/(-66) + 56/42. Which is smaller: n or z?
z
Let u = 12 + -5. Let x = 5 - 12. Let z = x + u. Which is smaller: z or 2/9?
z
Let g be ((-20)/4 + 5)/(2*1). Suppose n = 3*v + 4, g = -4*n + 5*v - v + 32. Suppose 4*r = -5*m + 44, 3*m = r + 8 + 15. Which is smaller: n or m?
m
Let q(k) = 6*k**3 - k**2 - k. Let o be q(-1). Let u be 24/o - 30/(-9). Which is bigger: u or -13?
u
Let p = 8 - -5. Suppose p*c = 14*c. Is c not equal to 3/8?
True
Let d be 130/(-14) + (-2)/(-7). Let f(h) = h**2 - 11*h + 32. Let a be f(5). Suppose -17 = a*s + 3. Which is smaller: s or d?
s
Let r = -41 - -47. Suppose w = r*w - 40. Is 14 greater than w?
True
Let o be -2 + -119 + (-3 - -1). Let w be 3480/(-28) - 6/(-21)*1. Is o greater than w?
True
Let d be (3 - 42/15)*5. Let i(u) = 9*u**3 - 2*u**2 + 3*u - 1. Let h be i(d). Is h greater than or equal to 7?
True
Let p = 33.5 - 33.628. Which is smaller: p or -2?
-2
Let j(p) = -5 + p**2 + 0*p + 4*p + 6. Let f be j(-4). Let a be ((-21)/6)/(-1) + -2. Is a at most as big as f?
False
Suppose 0 = 67*u - 3115 - 6198. Is u != 139?
False
Let s be -3*((-17)/(-3) - 3). Let c = 42 + -52. Is s bigger than c?
True
Let m be (2/(-4))/(8/(-128)). Suppose 35*j - 96 = 11*j. Is m at most as big as j?
False
Let p = -8.09 - -2.09. Is 21 <= p?
False
Let y(c) = c**2 - c + 5. Let r be y(-4). Suppose -3*t - r = 20. Let w = 16 + t. Are w and 2 nonequal?
True
Suppose -4 = -4*o + 3*o. Let l be (-522)/(-24) + 1/o. Suppose 3*v - l = 5*v. Is v at most -12?
False
Suppose 5*a + 1330 = -1015. Let l = 14537/31 + a. Suppose 0 = 2*r + 5*z + 20, 4*r + 5*z - 1 + 21 = 0. Is l equal to r?
False
Let f = 3367 - 5798. Is -2431 bigger than f?
False
Let l = 30.986 - -0.014. Let t = -30.8 + l. Which is smaller: t or 0.1?
0.1
Let m(i) = -i**3 + 12*i**2 + 4*i - 5. Let o(a) = -a**3 + 12*a**2 + 3*a - 4. Let w(j) = 3*m(j) - 4*o(j). Let y be w(12). Which is smaller: y or 3/20?
3/20
Let j = -1.9 - 128.1. Let k = 129.7 + j. Let v = -11.7 + 11. Is k bigger than v?
True
Let s be (3/((-54)/(-2151)))/((-1)/2). Is s >= -239?
True
Let l be (-9)/(72/16) + -5. Is l at least as big as 49?
False
Let s(x) = -2*x - 80. Let k be s(3). Is k at most as big as -84?
True
Let s = 3312.95 - 3221. Let w = -92 + s. Which is bigger: 0.1 or w?
0.1
Suppose 0 = -q + 4*i - 23, 0*q = 2*q + i + 64. Let x = -26 - q. Is 5 bigger than x?
False
Let n(p) = -6*p**2 - 34*p + 16. Let k be n(-7). Is -52 not equal to k?
True
Suppose -g + 1 = 4*u - 1, 3*g - 6 = u. Let r = 4/41 + -223/1025. Which is smaller: u or r?
r
Let d be (3/12)/(2/24) - 0. Suppose 2*o - 5*o - d*b - 30 = 0, 3*b = 4*o + 54. Do 2/9 and o have the same value?
False
Let r = -1271 - -5083/4. Which is bigger: -3.98 or r?
r
Let d = -12239/2615010 + 7/2602. Which is smaller: d or -1?
-1
Let q be 6/(1/((-6)/9)). Let t be 1*(3 + 78/(-9) - -2). Are q and t unequal?
True
Let j = 2.47 + -0.07. Let p = -5 + j. Let l = p + 3.5. Which is greater: l or 0?
l
Suppose z - 3*w = -0*z - 10, -5*z - 10 = -5*w. Let p(u) = 2*u**3 - u**2 + 3*u - 1. Let y be p(z). Suppose 4*g - g + y = -4*q, g + q + 4 = 0. Is g >= 1/16?
True
Let m = -4266/7 + 2559593/4200. Is 1 < m?
False
Suppose 14 = 24*h + 38. Is -3/50 smaller than h?
False
Let h = -324049/273 - -1187. Which is smaller: h or 1?
h
Let j be ((-4)/16)/((-10)/48). Suppose -b - 4*h + 22 = 0, 4*b + 0*b - h = 20. Suppose 10 = 4*a + b. Is a less than or equal to j?
True
Let z = -477 + 837. Let l be 3/(-6) + 164/z. Which is smaller: 0 or l?
l
Let p = -142 - -116. Is -2/5 greater than or equal to p?
True
Let u = 2483/18 + -271/2. Let l = 28/9 - u. Which is smaller: l or 4?
l
Suppose 2*q + 8 = 4*q, -5*q = 3*m - 68. Which is bigger: m or 33/2?
33/2
Let n = -42 - -66. Let c be (n/(-130))/((-16)/(-280)). Let t = c + 155/52. Is 1 bigger than t?
True
Suppose 39 = -757*q + 754*q. Which is smaller: q or -66/5?
-66/5
Let k = -2 + 15. Let d = k + -11. Let z be (-4)/(2 + d)*0. Which is greater: -1 or z?
z
Suppose -4*q + 23 = -3*l, -l + 1 = -2*l. Let d be (4/q)/((-8)/(-100)). Let k be d*(-2)/6 + 4. Which is smaller: k or -5?
-5
Suppose 178*i = 184*i + 84. Suppose 0 = 3*q + q + 2*u + 66, 78 = -5*q + 2*u. Are i and q nonequal?
True
Let a be ((-3)/2 + 1)/((-57)/(-114)). Is a equal to 7/27?
False
Let x = 126 - 127. Is -9/10 greater than x?
True
Let w(v) = 2*v**2 - 5*v + 5. Let q be w(4). Let f be 51724/2895 + ((-2)/15)/(-1). Which is greater: q or f?
f
Let w = 755 - 751. Suppose 3 = -5*z - 2. Which is greater: w or z?
w
Let s = -2899 + 2894. Is -6/47 greater than s?
True
Suppose o + 3*m = -4*o - 17, 3*o + 14 = 2*m. Let r be 2/3 + 2/o. Let u = -7 - -7. Which is smaller: r or u?
u
Let z = 162 - 165.04. Let i = z + 0.14. Let a = i - -3. Which is bigger: a or -1.2?
a
Suppose -5*o = -l - 2*o - 43, -2*l + o - 91 = 0. Which is smaller: -41 or l?
l
Let v(n) = 4*n**2 + n**2 + 0*n**2 - 6*n - 4*n**2 + 7. Let p be v(6). Let m = 16 + -10. Which is bigger: m or p?
p
Let p be 5/(-10)*15/((-15)/2). Which is greater: -3/155 or p?
p
Let f = 1.4 - 1.3. Let b be (-3)/(-4) + (-10)/((-39960)/(-3069)). Is f less than b?
False
Suppose 4*n + n + 481 = -3*r, 2*n = r + 175. Which is smaller: -168 or r?
-168
Let p(a) = -5*a + 10. Let r be p(5). Let t be 8/r - (-7)/35. Which is smaller: 1/5 or t?
t
Let c be (-1 - 16) + 3/6. Let o = c - -67/4. Let p = 0.05 - 2.05. Is p <= o?
True
Let s(u) = -11*u - 32. Let n be s(-11). Let z = 97 - n. Is z > 4?
True
Let t(n) = -14*n + 9*n**2 - n**3 - 111 - 2*n + 110. Let c be t(7). Do -15 and c have the same value?
True
Let m = 78.089 - 78. Let p = 0.011 + m. Is -0.09 greater than p?
False
Let m(o) = -o + 1. Let w(r) = 7*r - 10. Suppose 3*t + 12 + 6 = 0. Let k(z) = t*m(z) - w(z). Let p be k(7). Which is smaller: -2 or p?
p
Let k = -1953191 - -111348041/57. Let u = 850/3 - k. Let i = -158/627 - u. Which is smaller: i or 1?
i
Suppose 4*v + y + 19 = -2*y, 4*y = -5*v - 24. Let p be (v/(-208))/(9/(-48)*6). Are 0 and p unequal?
True
Let r = -19.3 - -19.349. Does 3 = r?
False
Let d = 0.0044 - -7.9956. Which is greater: d or -2/7?
d
Let c = 686 + -559. Which is greater: -2 or c?
c
Let v(h) = 8*h - 10. Let c = 30 - 17. Let x be v(c). Does 94 = x?
True
Suppose 4*t - 21*t = -34. Suppose 0 + 2 = -t*s. Is s at most -22/9?
False
Let w = -2 - -4. Let y be (-75)/(-69) - 2/w. Let n = -30 + 30. Which is bigger: y or n?
y
Suppose -3*l = -3*n, -n + 20 + 0 = 4*l. Suppose 3*h = -l*f - 28, 2*f + h - 6*h - 12 = 0. Do -4 and f have different values?
False
Let k = 5.8 + -5.71. Which is smaller: 2 or k?
k
Suppose -11*h = 94 + 687. Is h less than or equal to -70?
True
Let q = -11.9 - -12.43. Let h = -0.57 + q. Is 4 != h?
True
Suppose -166*b + 4470 = -160*b. Is b greater than or equal to 745?
True
Let h(i) = i**3 + 4*i**2 + 3. Let l be h(-3). Suppose -6*a + 2*a + 4*u = l, -2*u + 6 = 0. Let s = -29012/475 + 1162/19. Which is smaller: s or a?
a
Suppose -2 = 4*f - 6*f. Let u be (f/(-2) - -1) + (-39)/(-26). Does 3/4 = u?
False
Let g = 59 + -9. Suppose -4*c + 38 = -g. Let v be 3*c*(-4)/(-24). Is v at least 11?
True
Let n = 22 + -57. Let w = 26 + n. Which is greater: 0.3 or w?
0.3
Let j(r) = -r + 6. Let i be j(5). Suppose 5*b + 52 = -4*l, 38 + 46 = -4*l + 3*b. Let u = l - i. Is u at least -19?
True
Let r be (74/3*-2)/(70/30). Which is bigger: -20 or r?
-20
Suppose -3*t + 8 = -4. Suppose 3*o - 18 = t*s, -3*s + 0 - 7 = o. Let h be 10/(-20) + (o - 1). Which is bigger: 0 or h?
h
Let f be (-208)/(-520)*155/(-2). Let s(m) = 24*m - 3. Let p be s(2). Let h = p - 76. Is h at least f?
True
Let x(o) = -o**3 - 2*o**2 - o - 2. Let r be x(-2). Suppose 0 = -4*l + 4*k - k - 24, -4*k = r. Is l greater than 2?
False
Let l(j) = j**2 + 5*j + 4. Let c(p) = -p - 1. Let h(y) = -5*c(y) - l(y). Let o be h(-1). Is o b