t l be v(7). Is z less than l?
False
Suppose 36*u - 38*u + 2 = -c, 0 = -u - 4*c - 17. Which is bigger: -1/38 or u?
-1/38
Let w = -302 - -302.021. Which is smaller: w or 2?
w
Let q = 3 - 1. Suppose -w + 2*a = w + q, -4*w - 3*a - 39 = 0. Let p = w - -7. Which is smaller: 3/13 or p?
3/13
Let c = -32/31 + -365/217. Is c equal to -4?
False
Let f = -3 + 2.97. Let i = -0.02 - f. Let w = 0.26 - 0.26. Is w less than i?
True
Let n(s) = -5*s**2 + 199*s + 9. Let m be n(39). Which is greater: m or 163?
m
Let u = -637/2497 + -4/227. Let o be 5 + 3 + 1 + -5. Suppose o*x + 8 = 4. Which is smaller: x or u?
x
Let k be 26/(-8) - 2/(-8). Let f = -28 - -35. Suppose -15 + 1 = f*q. Is q equal to k?
False
Suppose 0*f + 219 = 3*q + 2*f, -f - 228 = -3*q. Is 10 equal to q?
False
Suppose 0*q - q + 170 = -4*h, 3*q = -3*h - 120. Let b be h/7*2/22. Is -1 bigger than b?
False
Let p be (2 + (-1652)/830)/(182/(-455)). Does 1 = p?
False
Suppose -2*r = -4*n - 7*r - 6, 0 = -4*r - 8. Is 2/935 >= n?
False
Let h(l) = -3*l**2 + 56*l + 4. Let f be h(19). Is -22 smaller than f?
True
Let b = 0.208 + 11.792. Let g = 4 + -3. Let o = -1.1 + g. Is b less than o?
False
Let h be 2/3 - (-32)/(-12). Is -21/22 equal to h?
False
Suppose c = -4*v - 19, -2*c - 26 + 23 = v. Do v and 47 have the same value?
False
Let s = 43 + -2. Let k = -41.6 + s. Let f = -1.7 + 2. Which is smaller: f or k?
k
Let k = -261 + 13312/51. Is k at least 1?
False
Suppose 0 = -3*x - 19 + 4. Let c = -4 + x. Let n be (-135)/(-189)*63/(-6). Which is smaller: n or c?
c
Let k be (12/56)/((-18)/24). Let g = 38.08 - -0.92. Is g <= k?
False
Let x(w) = -176*w + 208. Let k be x(1). Which is greater: k or 20?
k
Suppose n = -2*n + 18. Suppose 0 = 4*u - u + n. Let d = 4 + -5. Which is bigger: d or u?
d
Suppose i = 0, 3*g - 306 = -5*i + 10*i. Which is smaller: 101 or g?
101
Let o(r) = -r**2 - 6*r + 3. Let h be o(-6). Let y = -29 + 27. Let s(t) = -6*t - 7. Let i be s(y). Which is bigger: i or h?
i
Let j be 4/6 - (-8811)/189. Let p = 47 - j. Suppose -4*o - 5 = 5*g, 17 = -5*g + 3*o - 23. Do g and p have different values?
True
Let q be (-1)/((-9)/(-510))*3/(-2). Suppose 5*b + q = 5. Which is greater: b or -15?
-15
Let x be (32/(-1) - 4)*-1. Which is smaller: x or 3/5?
3/5
Suppose -5*v - 2*k = 6, v + 2*v + 3*k = -9. Let x(w) = w**3 + w**2 + 10. Let t be x(0). Suppose -3*o + 6 = -o, -h + 4*o - t = 0. Does v = h?
False
Let t = -1704389/236 - -7222. Is t < 1?
True
Let g(k) = k + 6. Let u be g(-4). Let d be 21/u*16/372. Let w = d - 216/341. Is 1 at least w?
True
Let c = -301 + 6019/20. Let j be 7/9 + (-2)/(-9). Is j at most c?
False
Suppose -4*z = -4*i, 2*i - 6 + 4 = 4*z. Let a = -363 + 1839/5. Let q = a - 23/5. Is q equal to z?
False
Let p(o) = o**2 - 2*o - 4. Let l be p(4). Let b(a) = -a**3 + 5*a**2 + 9*a - 15. Let i be b(6). Are i and l equal?
False
Suppose 0 = 10*r - 6*r - 80. Let h = -9 + r. Is 1 greater than or equal to h?
False
Let x(q) = 5*q - 10. Let d be x(4). Suppose -5*r = -0*r - d. Is r <= -2?
False
Let y(j) = -2*j - 1. Let w be 12/8 + (-14)/4. Let v be y(w). Suppose v*a + 10 = 5*a + 4*u, -3*u = -3*a - 3. Which is greater: a or 4?
4
Suppose 5 - 21 = -4*h. Let u = -5335 + 5329. Is u not equal to h?
True
Let o be 0/2*2/(-4). Let f = -29 + 249/11. Let m = 1039/165 + f. Which is smaller: m or o?
m
Suppose 4*z + 1 = -5*q + 2*q, 4*z = -16. Suppose 5*v - 55 = 3*h, 0*h - 65 = 3*h + 5*v. Let c = h + 24. Which is smaller: q or c?
c
Let n be 5/43*(-17)/(-19). Let s be 6/688*-62 - 9/(-12). Let i = s - n. Do i and -1 have the same value?
False
Let g = -347 - -356. Which is greater: g or 99/13?
g
Let r = 19.25 - 20. Let i = r - 0.25. Is i not equal to -15?
True
Let w be (1/(-2))/(9/36). Let t be ((-108)/15 - -3) + (-6)/(-30). Is t not equal to w?
True
Let j(z) = z**2 - 6*z + 1. Let d be j(6). Let i = 2 + -2. Suppose b + d = -i. Which is smaller: 4/9 or b?
b
Let f = 718 + 622. Do f and 1340 have the same value?
True
Let u(k) = k + 31. Let h = 4 - 19. Let s be u(h). Is 16 != s?
False
Let t = 3 - 7. Let x = t - -1. Let v be ((-5 - (-128)/24)/1)/(15/(-171)). Is x != v?
True
Suppose 152 = -4*n + 40. Let s = -37 - n. Which is bigger: -8 or s?
-8
Let b(l) = -l**2 + 12*l - 50. Let j be b(13). Let o be 32/(-12) - -3 - 141/j. Which is greater: 2 or o?
o
Let u be (-4 - -3) + 3 + 2*8. Suppose -7*f + 52 = -u. Which is smaller: 31/3 or f?
f
Let m be (-2)/(-6) - 100/318. Let w(n) = n**3 - 13*n**2 + 14*n - 23. Let f be w(12). Which is smaller: f or m?
m
Let q(o) = o**3 - 10*o**2 + 9*o + 2. Let h be q(9). Suppose -4*n = h*k + 4 + 6, 0 = -3*n - 6. Let a be 35/300 - (-2)/(-8). Which is smaller: k or a?
k
Let h be -8 + 0 + 3 + 0 + -91. Which is smaller: h or -1?
h
Let j(d) = 3*d - 16. Let b be j(6). Let y(n) = -4*n**2 - n - 1. Let c be y(b). Is -19 < c?
False
Suppose -4*a - 2*s = -s - 336, -5*a + 420 = -3*s. Suppose -6*d = -0*d + a. Is -14 not equal to d?
False
Let u(k) = -k**3 + 8*k**2 + 2. Let s be u(8). Suppose s*h = -h. Suppose h*n + 22 = 3*n + 2*a, 4*n - 30 = -3*a. Are n and 5 equal?
False
Let m = -536 - -278. Is m greater than -258?
False
Suppose 5*c + 155 = -5*r, 0 = -c - 2*r - 13 - 13. Let u be (1 + 35/c)*(4 - 5). Which is bigger: u or 0?
0
Let r be (-15)/10*(-8)/246. Suppose -140*i = -145*i + 3*h - 12, -3*h + 12 = -i. Is i bigger than r?
False
Suppose -3*r + 4 = -r, 4*z = -2*r - 8. Let b be (-1)/(-4)*(-8 - z). Is b greater than -5?
True
Let j = -97 - -62. Which is bigger: -0.4 or j?
-0.4
Suppose 39*i + 16473 = -7122. Which is greater: -604 or i?
-604
Let f = 139.5 + -945.5. Which is smaller: f or 1/4?
f
Let s = -1/296 - 287/2664. Which is bigger: -10 or s?
s
Suppose 190*d - 194*d = w + 320, 2*w = -d - 647. Which is bigger: w or -325?
w
Let g = -2/133 + -107/1729. Let r be -4 - (3 + (1 - 2)/1). Let n be 1/(1/4) + 1 + r. Is g at most n?
False
Let z = -25 + 28. Suppose 8*p - 11 = -z*p. Which is greater: p or -1/13?
p
Let r = -281041/189 - -1487. Which is greater: -1 or r?
r
Suppose 0 = -5*h - 2*q + 133, -4*h + 0*q + 2*q + 92 = 0. Suppose -5*b - k + 2*k - h = 0, 2*b - 3*k - 3 = 0. Let p be b*(-4)/(-6) + 5. Is -5/12 not equal to p?
True
Let q = -33 + 40. Let l be (-33)/q - (-8)/(-28). Let i be -3 + -1 + -2 + 2. Which is greater: i or l?
i
Suppose 5*d = 50 - 55. Suppose 0*l = 3*l. Suppose -4*t - 8 = 4*c + t, 4*t = l. Is c at least d?
False
Let y(g) = -g**2 - 8*g - 7. Let u be y(-7). Let r = u + 3. Let l(q) = -q**2 + 2*q + 1. Let z be l(r). Which is smaller: -3/4 or z?
z
Suppose -12*s + 199 = 43. Are s and 96/7 unequal?
True
Suppose 3*i - 18 = 27. Suppose i*u - 28 = 17*u. Suppose p - 4*r + 0 = 6, 3*p + 4*r = -62. Is u < p?
False
Let f = -6 - -3. Suppose 5*b + 2*u - 2 = 0, 18 = -2*b - 4*u + 6. Let y = -4 - b. Which is bigger: y or f?
f
Suppose 0 = -3*h - 4 - 17. Let t(s) = s + 5. Suppose d - 3*d = 26. Let f be t(d). Which is bigger: f or h?
h
Let w(g) = -2*g + 55. Let u be w(27). Which is bigger: u or 3?
3
Let r be 5 + -4 - 10/14. Let b = 12.78 + -12.837. Is b less than or equal to r?
True
Let w = 0.337 - 2.337. Let i = -9 + 8. Let t be (2/(-15))/(i/10). Is t > w?
True
Let o = -9.08 + 0.08. Suppose -4*b - 3 = -f - 6, -5 = -5*f. Is b < o?
False
Let v = 97 + -98. Let f be (12/(-3) - v) + 3. Is 1/11 not equal to f?
True
Let x = -1152 - -1236.9. Let m = x - 85. Let z be (1/2)/(9/6). Which is smaller: z or m?
m
Let n = -39.7 - -42. Let v = n - 2.2. Are v and -21 equal?
False
Let x = 9 - 26. Let r = -351 - -352. Does r = x?
False
Let o = 0.066 + -0.066. Let v = o + -0.2. Is v bigger than 1.1?
False
Suppose -2*p = -5*z - 1455, -15*p + 10*p = 2*z + 582. Is z < -289?
True
Let m = -1/504 + -3/56. Which is greater: m or 5?
5
Let o be 3 - 2*((-10)/(-2) - 4). Let n be (-4)/(15 + o) + (-122)/(-8). Are 1 and n non-equal?
True
Let a(r) = -27*r + 85. Let s be a(4). Which is bigger: s or -21?
-21
Let i be -7 + 12 + (1 - 1). Let p be (1/(-2))/(i/(-80)). Let t be ((-21)/(-6))/(4/p). Is 6 smaller than t?
True
Suppose 2*y + 158 = 2*q, 0 = q + 3 - 2. Let d = y + 81. Let m = -190/9 + 2054/99. Which is smaller: m or d?
m
Let r(a) = a**2 + 7*a - 8. Let f be r(-8). Which is bigger: f or 4/191?
4/191
Let k be (3/(-6))/(2/(-4)). Is -1/4 greater than or equal to k?
False
Let z be 2 + 9/((-36)/(-80)). Is 19 less than z?
True
Let u be -3*3/(-36) - (-7)/(-68). Let d = -1/34 + u. Which is small