 38, -5*c = -l + 13. Let w be g(l). Let a = w - -20. Is a bigger than -11?
True
Let f be 6/(-2) - (-4 - -2). Let t be 21/21*(1 - f). Suppose -2*d - 2*d + 2*c = 32, t*c = 5*d + 40. Which is bigger: d or -9?
d
Suppose 0 = t - 3*y + 16, -41*t = -44*t - 5*y + 22. Let n be (-4)/(-216) - 0/(-3). Is t < n?
True
Let h be ((1 - 1)/3)/1. Let q be -3 + (4 - (4 - 5)). Let t be ((-3)/q)/((-4)/(256/84)). Are h and t equal?
False
Let p(h) = 3*h**2 - 2. Let z(c) = 4*c**2 + c - 1. Let o(t) = 5*p(t) - 4*z(t). Let r be o(-4). Let n be 9/(-6)*r/(-9). Which is smaller: 2/17 or n?
n
Let b(w) = -w**2 + 6*w - 3*w**3 + 0*w**2 + 5*w**3 + 6*w**2 + 7. Let x be b(-5). Let i be x/(-16) + 3/4. Which is smaller: 9 or i?
9
Let u(f) = f**2 - 6*f - 1. Let p = 5 + -13. Let z = p - -13. Let g be u(z). Is g smaller than 0.1?
True
Let m = -8 - -7. Let n be 65/15 + 4/6. Let y = n + m. Is y < 4?
False
Let p be 4/(-3) - 86/(-6). Let o = p - 37. Is -23 >= o?
True
Let r be 6/9*(10 - -2). Let l be (-12)/r*4/(-108). Which is smaller: -1 or l?
-1
Let i = -193.1 - -140.2. Which is smaller: -2/9 or i?
i
Let d = 178 - 175. Is -0.041 > d?
False
Let y be (-3)/2*(-1)/9. Let m = -84.97 + 0.97. Let c = 85 + m. Which is smaller: y or c?
y
Suppose -8*j + 16 = 8*j. Let s(l) = l. Let i be s(2). Let h be (0 - j)/(1 - i). Is h less than -3?
False
Let a = 2013 - 1334621/663. Which is bigger: a or 1?
1
Let f be (15 + (-2 - -8))*48/(-98). Let d = f - -1259/119. Which is greater: d or -0.1?
d
Let r be (-14)/(-24) + 171/36 + -5. Is r < -18/11?
False
Let c be (-32)/12 + 2 + 48/(-18). Which is greater: c or -0.1?
-0.1
Let d = 176 + -162. Which is greater: d or 15?
15
Let j = 2 - 0. Let s = j - 1. Let c = -10904 + 10904. Which is greater: s or c?
s
Let y = 178 - 134. Does y = -2?
False
Let s(i) = -100*i**3 + i**2 - i - 2. Let b be s(-1). Let r = 0 - -3. Suppose r*n - 4*h + 0*h = b, -36 = -2*n - 5*h. Is 28 less than n?
False
Suppose u = f + 74, 0*f + 4*u + 264 = -4*f. Let l = -91 - f. Is l < -20?
True
Let u be 952 + -22 - (-2 + -2 + 1). Which is smaller: 934 or u?
u
Let v = 29/1443 - -152371/101010. Let t = -1/14 - v. Is t at most -2/9?
True
Suppose 0 = n - 2*i - 2, -5*n + 63 = -n + 3*i. Suppose n*h = 15*h + 93. Let q = 153/5 + h. Which is greater: 10 or q?
10
Let j = 159 + -157. Suppose 0 = j*r - 5 - 141. Is r equal to 74?
False
Suppose 0 = -2*w + 3*w + 28. Let t be (-1914)/(-44)*(0/1 - 10/15). Which is smaller: t or w?
t
Suppose -4*o + 3*n = 31, 0 = 2*o + 4*n - 7 - 5. Let h = -2 - o. Suppose 6 = -h*q, -2*m + q + 15 = -4*q. Is m smaller than 0?
False
Let q = 619.79 + -620. Is q <= 19?
True
Suppose -42 + 474 = 4*v. Let x be 2 - (-1 - v/(-32)). Which is smaller: -1 or x?
-1
Suppose 0 = -2*u + 9 + 13. Let w = u - 16. Let q be (w - -5) + (5 - 2). Is q >= 3?
True
Let b be (-16*4/(-24))/(21/18). Do 1 and b have different values?
True
Let u(n) = 7*n + 2*n**3 - 8*n**2 + 1 - 2*n**2 - 3*n**3 + 0*n**3. Let p be u(-11). Which is smaller: 44 or p?
44
Let s be -4 - (-3)/((-324)/(-429)). Let m = -13 + 16. Suppose -7*u = -m*u. Is s < u?
True
Let u = 87 - 85. Which is bigger: 20/19 or u?
u
Let v = -51.3 - -56. Let n = v - -1.3. Let b = n + -10. Is 0 >= b?
True
Let q(c) = -12*c**2 - 6*c - 12. Let s be q(7). Is -641 at most s?
False
Suppose -28*r + 47 + 793 = 0. Which is smaller: r or 4/3?
4/3
Suppose -u + 5*u + 2*y - 652 = 0, -y = -5*u + 815. Let p = 808/5 - u. Is -1 greater than p?
True
Suppose -3*b - 169 = -s, -31 + 139 = -2*b - 4*s. Let a be (-96)/b + 2/7. Let n = 14 + -13. Is n <= a?
True
Let k = 25 + -73. Let q be -3 - (k/7 - -4). Is -1 >= q?
False
Suppose 12*l = 353 + 79. Let a = -33 + l. Suppose 4*z = 3*b - 2*b + 4, z - 4*b = -14. Is a smaller than z?
False
Suppose 7*u = 10*u. Suppose 0 = 5*o, -4*g + 3*o + 4 = -u*o. Let b = 10/11 + -49/66. Which is bigger: b or g?
g
Suppose 2*w - 22 = 4*w. Let g(x) = 2*x + 22. Let r(f) = -f - 11. Let l(j) = 3*g(j) + 5*r(j). Let o be l(w). Which is bigger: 7/5 or o?
7/5
Suppose -13*c + 19 = -46. Suppose c*p = 4 + 1. Which is greater: p or -3/29?
p
Let v(l) = -l**3 - 3*l**2 + 5*l + 9. Let n be v(-4). Let h = -36 + 41. Do n and h have the same value?
True
Let n(q) = q**2 + 3*q + 2. Let x be n(-4). Suppose -4*k + x*k = 16. Let o be (0 + -1)*(k + -9). Is o >= -1/29?
True
Let b be (-1)/((-1)/(164/52)). Is b not equal to 3?
True
Let v = -11 + 27. Suppose 17 = h + v. Is h at least -2/5?
True
Suppose 23 + 3 = 4*r - 2*c, 0 = 4*r + 3*c - 51. Suppose 6*m - r = -3*m. Do -1/5 and m have the same value?
False
Let a be (-28)/(-35) - (-7504)/70. Is 105 != a?
True
Let c be ((-21)/64)/((-51)/27268). Let t = 176 - c. Which is smaller: 2 or t?
t
Let s = 562117/373 - 1507. Which is smaller: s or -1?
-1
Suppose -2*i - 222 = -620. Is i greater than -3?
True
Let u(q) = -5*q**2 + 86*q - 17. Let w be u(17). Is -3/73 != w?
True
Let i = 20171/3880 - -1/776. Which is greater: 7 or i?
7
Let d be -3*(-129)/261 - 1/1. Let h = -211/377 + d. Is h bigger than 0?
False
Let c be (-368)/(-102)*-61*6/(-4). Let y = c + -330. Which is greater: 0 or y?
y
Let h = 5964 + -12313/2. Let v = -187 - h. Which is greater: 6 or v?
6
Let t = -41389/3 - -13061. Let q = 37547/51 + t. Which is smaller: 1 or q?
q
Let h(t) = 2*t**3 + 64*t**2 - t - 33. Let q be h(-32). Which is smaller: q or 10/209?
q
Suppose 10*p + 80 = -40. Let i be p/54 - 43/9. Is 0.3 >= i?
True
Let c = 112 - 220. Let i be 1/((-26481)/5306 - -5). Let j = i + c. Which is bigger: 4 or j?
4
Let p be (285/(-38))/(1/2). Let z be 6/(2 - 16/6). Let a be p/10*6/z. Which is smaller: 0.5 or a?
0.5
Let w = -4/45 + 613/315. Does -4 = w?
False
Suppose 24 = -4*z + 8*z. Suppose 7*j + 4 = z*j, -s = 5*j + 51. Let d(p) = 11*p - 349. Let n be d(29). Is n less than s?
False
Let f(a) = 4*a**2 - 61*a - 1. Let s be f(11). Are s and -188 unequal?
False
Suppose -7 = -2*p - 3*i, 0 = -5*p + 3*i + 29 - 1. Suppose p*t = 10, 3*t + 7 - 1 = 3*h. Let k be (1 + 8/(-6))/((-17)/204). Is k != h?
False
Suppose 243*d - 225*d + 324 = 0. Are -23 and d equal?
False
Let l = 2/6819 + 108982/415959. Do l and 0 have the same value?
False
Suppose -3*c - 2*m - 3*m + 5 = 0, 0 = 5*c + 5*m - 15. Suppose -4*f = -c*f - 1. Let p be (6/(-2))/(3*f). Which is bigger: p or 4/15?
p
Suppose -5*q - 2 = -2*n, 6*q - q + n = 1. Let d be -6 + (-1 + q/(-4) - -3). Which is smaller: -1 or d?
d
Let i be 97/(-3) - (3 + (-14)/6). Let l be (-3)/(-1 + i/(-24)). Let u be 87/(-12) + (-1)/(-4). Are l and u nonequal?
True
Let u = -439.2 - -439. Which is smaller: u or -2/73?
u
Let m be (-6)/(-4) - 21/(-6). Suppose 4*h + 4*f = -0*h - 16, -m*h = -f + 20. Let q be (2 + h)*2/(-4). Which is bigger: 1/3 or q?
q
Let p be -2*1*(27/(-24))/(-9). Suppose 4 = m - w + 2, 10 = 5*m - 4*w. Let z be (-8)/(-16) + m/4. Is p >= z?
False
Let u = -442 + 351. Which is smaller: -86 or u?
u
Let a(m) = -m**3 + 2*m**2 + 12*m - 25. Let w be a(4). Which is smaller: w or 3.4?
w
Let b = -336 - -3029/9. Suppose 5*h + 4 = 9. Is h at least as big as b?
True
Let g(w) = w**3 + w**2 - 3*w - 1. Let h = 1 + -3. Let x be g(h). Let o be 4 + 0 + (-8)/4. Which is smaller: x or o?
x
Let w(y) = -4*y - 56. Suppose 51 = -4*r + 5*o, -4*r + o = -0*r + 55. Let h be w(r). Is h < -4/59?
False
Let i be ((-16)/12)/(2/(-6)). Suppose -b - i = -3. Suppose 0 + 4 = -2*w. Which is bigger: b or w?
b
Let z = -306 - -304. Let p be (-2)/(-1) - (-104)/(-40). Is p greater than z?
True
Let t be (-8172)/(-1368) - (-1 + 7). Is t at least 1?
False
Suppose -6*s + 4*s = 5*f + 11, 0 = -f + 4*s + 11. Let p be 1 + ((-32)/(-18) - -2). Let r = p - 5. Which is greater: r or f?
r
Let t = 16 + -11. Let d be (59/6 - 15/(-90))/2. Suppose d - 7 = t*j - 2*b, 0 = -5*j + 3*b - 3. Is j smaller than 4/11?
True
Let l(g) = -5*g - 30. Let f(s) = -4*s - 29. Let o(q) = -4*f(q) + 3*l(q). Let z be o(-20). Is z not equal to 7?
True
Suppose -5*p - 165 = -2*p. Which is greater: -219/4 or p?
-219/4
Let v be (-2126)/530 + 4/1. Let r = 3141/3445 - v. Is r smaller than 0?
False
Let w = -92/3 + 292/9. Is 1/5 > w?
False
Let y be 8 - ((-13)/(-11) - -7). Let h = -6.09 + 0.09. Is y less than or equal to h?
False
Let n(u) = u**3 - 3*u**2 - 3*u - 6. Let t be n(5). Let f = -30 + t. Is -4 greater than f?
False
Suppose x + 3*v + 3 = -1, x + v = 0. Let r(f) = 1 + 4 - 3*f**2 + 2*f**x + 4*f + 5. Let m be r(6). Is m < -5/3?
True
Suppose 4*j + 7 = -u, 4*u = 3*j +