r) = -4*v(r) + x(r). Let u be i(4). Is 5 greater than u?
True
Let o = -7 + 2. Let k be (-12)/(-2 - (-2 + -1)). Let i be (k/2)/((-6)/(-4)). Which is greater: i or o?
i
Let q = 2.01 - 0.01. Is 0.3 at least as big as q?
False
Let r(b) = b**2 + b - 6. Let p be r(0). Let x = p + 15. Let n = x + 8. Do n and 17 have the same value?
True
Let l = -7 + 10. Let n = -9 + l. Let f be (-11)/33 + 10/n. Do f and -2 have the same value?
True
Let k = -98 + 688/7. Suppose 8*d = 13*d - 45. Suppose -6*z + d*z + 3 = 0. Which is greater: z or k?
k
Let u be (-95)/76 + (-3)/(-12). Let l be 2/2 + -2 + 2. Is l equal to u?
False
Let f = -61 - 87. Let x = f - -148. Let m = 0 + 0.8. Is x >= m?
False
Let s be 2/((2 - 3 - -3)/(-1)). Let i = 2/1087 - -3223/20653. Which is smaller: s or i?
s
Let d(y) = -y**2 + y + 20. Let i be d(-4). Is 12 greater than i?
True
Let v(q) = -q**3 + q**2. Let d(y) = -7*y**3 + 2*y**2 + y - 10. Let f(a) = -d(a) + 6*v(a). Let t be f(-5). Let c = 8 - 17. Which is smaller: c or t?
t
Let l be 1 + 5 - 366/61 - -53. Let f = 76 - 24. Do f and l have the same value?
False
Let q(o) = o**2 - 7*o - 8. Let v be q(8). Let x = -797/35 + 113/5. Are x and v unequal?
True
Let q(n) = -n + 17. Let x be q(13). Let t be (-7 + -1)*x/8. Are t and -13/3 equal?
False
Let t(b) = b**2 + 2*b - 3. Let u be t(-4). Let i = 19 - u. Suppose -l + 7 = s, 3 = 3*s + 4*l - i. Is 10 smaller than s?
True
Suppose -447 = -349*o + 350*o. Is o less than 1?
True
Suppose -11 = 2*y - 6*a + a, 5*a + 21 = -2*y. Let x be y/(-10)*(-10)/(-4). Suppose 0 = -3*g - 5*w + 5, -7*g + x*g - 2*w + 2 = 0. Which is bigger: g or 4/9?
4/9
Let b = 154 + -256. Which is smaller: b or -3?
b
Let q(d) = d**3 + 8*d**2 + 7*d - 3. Let w be q(-7). Let c be (-3 - -5) + w + -7. Is -11 > c?
False
Let y be 3 + 498 + 8/1. Which is smaller: y or 510?
y
Let t(i) = 2*i + 1 + 0 - 2 + 2*i. Let g be t(-1). Let w(v) = -5*v - 1. Let r be w(1). Does r = g?
False
Let x(l) = l - 7. Let b be x(9). Suppose n = -0 + b. Suppose 0*z + 2*z + 8 = 2*c, 4*c = n*z + 8. Which is smaller: 0.07 or c?
c
Let l be (-119)/(-51) - (0 - -2). Let x(q) = -3*q - 29. Let g be x(-10). Which is smaller: g or l?
l
Suppose 3 = g + 27. Suppose -2*o = -27 + 71. Does o = g?
False
Let d = 687 + -706. Is d less than or equal to -21?
False
Let x = -377 + 651. Which is bigger: x or 0.2?
x
Let x(h) = 16*h - 405. Let q be x(54). Is q less than or equal to 460?
True
Let x(g) = 15*g - 33. Let j(i) = -7*i + 16. Let o(d) = 9*j(d) + 4*x(d). Let s be o(7). Do -8 and s have the same value?
False
Let h = -0.8 + 2.2. Let o = h + 0. Let x = o - 0.4. Is 11 greater than or equal to x?
True
Let v = 1/115 - -111/460. Suppose 5*p - 215 = -45. Suppose p*x - 35*x = 23. Which is bigger: v or x?
v
Let n = -25 - -32. Let k = -0.1 + 2.1. Let h = -1 + k. Is n less than h?
False
Suppose 7*l = 3*l + 12. Let h = l - 22. Let t be 1/6 + h/6. Is -1/5 < t?
False
Suppose 5*a + 161 + 132 = -3*h, 4*h - a + 429 = 0. Which is greater: h or -105?
-105
Let b be (0 - -3) + (-1 - -2). Suppose 0 = -z + b - 5. Let s be 30/(-135) - 26/(-36). Is z at most as big as s?
True
Let z be ((-3)/(-6))/((-2)/(-8)). Suppose -3*t + t = -2*b, 0 = -z*b + 5*t + 6. Is -2 < b?
False
Let d = 2297142/331 + -6940. Which is greater: d or 1?
1
Let z(b) = b - 2. Let x be z(7). Suppose 0 = -0*i + 3*i. Suppose -5*h = -i + x. Which is smaller: -2 or h?
-2
Let s be ((-20)/16 + 1)/(-1). Let f = 0.74 + -0.6. Let d = f - -11.86. Which is bigger: s or d?
d
Let x = -85 + 86. Let g = 0.39 + 2.41. Is g greater than or equal to x?
True
Let j = -454/21 - -163/7. Is 0.27 greater than or equal to j?
False
Let i = 292 - 292.2. Let z be 3/(-36) + (-2)/(-8). Do i and z have different values?
True
Let u = -1/440 + 69/110. Let t be 1 + 6/((-144)/5). Let s = u - t. Which is bigger: s or 2/7?
2/7
Let f = 10.8 - 10. Let m = 1.792 - -0.008. Let b = m - f. Does 0.17 = b?
False
Let t = 1599 - 3701/2. Is t > -252?
True
Suppose -38*o - 47*o + 9*o = 0. Which is bigger: o or 2/739?
2/739
Let g(s) = -2*s**2 - 19*s - 8. Let o be g(-9). Let v = 5/38 - 351/2090. Which is smaller: v or o?
v
Let h(s) = -s - 7. Let d = 7 + 23. Suppose 6*l - d = l. Let b be h(l). Is -13 greater than or equal to b?
True
Let l = -69 + 82. Does 13 = l?
True
Let w = -215 - -214. Which is smaller: w or 3/56?
w
Let j(d) = 44*d + 21. Let i be j(-13). Let f = i - -7167/13. Is f < -1?
False
Let h(d) = -3*d**3 - 2*d**2 + d - 2. Let l be h(-2). Let z be 46/l + (-6)/18. Do z and 4 have the same value?
False
Let l be (-26)/5*3135/(-76). Let r = 1810957/10 + -181313. Let j = l + r. Is -3 > j?
False
Let d = -508 - -380. Which is smaller: -1 or d?
d
Let g be (44/(-2))/((-3)/(-3)). Let w(c) = 19*c - 7. Let s be w(5). Suppose -7*f = -11*f - s. Do f and g have the same value?
True
Let j be 42/70 - (14470/(-25))/2. Is 287 greater than j?
False
Let j be (-92)/80 - (-1)/(-4). Let q = 52 - 46. Suppose -3*u = 2*u - q*u. Is u at least as big as j?
True
Let x = -1/1811 - 34406/5433. Suppose -2*s - 20 = -0*z + 2*z, -s + 20 = -5*z. Is s smaller than x?
False
Let m be -4 + (-238)/85*220/2. Which is greater: m or -311?
-311
Let u = -2526 - -2526.27. Which is bigger: -13 or u?
u
Suppose -63*n - 650 = -48*n + 115*n. Let q be (-1 + 8)*(-3 + 2). Which is greater: q or n?
n
Suppose 21*c - 690 + 144 = 0. Is 26 greater than or equal to c?
True
Suppose 0 = 3*r + r. Suppose r = -3*i + 8*i. Let d be 1*-3*6/27. Which is greater: d or i?
i
Suppose 3*l = -13*r + 10*r - 195, 5*l = -4*r - 326. Is -66 > l?
False
Suppose -j = -2*j + 10. Suppose 108*m - 865 + 1 = 0. Is j less than m?
False
Suppose 0 + 5 = -c. Let d(u) = -48*u - 2. Let f be d(2). Let b = f + 688/7. Are b and c nonequal?
True
Suppose -267 = -6*m + 5*m + o, -o = -3*m + 801. Which is bigger: 266 or m?
m
Suppose 7*w = 3*w - 32. Let i = w + 10. Let q be ((-6)/10)/(9/i). Which is greater: q or -1?
q
Let v = 0.049 + 0.051. Let b = 32.9 + v. Is -0.1 < b?
True
Suppose 8*f - 7*f - 8 = 0. Suppose -f + 18 = 2*l. Suppose -z = -l*g - 2, -5*g - 5*z = -7 + 27. Which is greater: g or 16?
16
Let d = 27 + 369. Is 0 at most d?
True
Let p = 3/520 + -307/17160. Suppose -27 - 30 = -47*g - 10. Which is greater: g or p?
g
Let r be (-3)/((-20)/8 - -4). Which is bigger: -22/9 or r?
r
Suppose -16 = 3*k - 1. Let p = k - -14. Is p < 6?
False
Let d = 12 + -9. Suppose d*f - 3 = 3. Suppose 2*m - 2*s = 3*s - 2, 0 = -2*m - 2*s - f. Does 1/4 = m?
False
Suppose -13*b - 41 = -12*b. Is -45 > b?
False
Let y = -0.5 - -2.7. Let d = y + -2.26. Is 1 greater than d?
True
Let q be (2/(-106))/(2 - 1). Suppose 24*x - 20*x = 132. Suppose 24*j = x*j. Is q smaller than j?
True
Let y be 445/(-220) - 2/(-1). Let s(j) = -j**2 + 5*j + 24. Let i be s(8). Which is smaller: y or i?
y
Let z be ((-9)/12)/(9/(-24)). Suppose 0 = 2*u + z*t - 0*t - 22, u = -4*t + 23. Let g = -5 + 11. Is u bigger than g?
True
Let w(b) = 20*b**2 - b - 3. Let y be w(-2). Is 70 bigger than y?
False
Suppose 4*m - t + 111 = -16, 6*m + 3*t = -213. Is -31 less than or equal to m?
False
Let d(k) be the second derivative of -13*k**5/10 - k**4/12 + k**3/6 + 6*k + 6. Let g be (0/(-1) - 3)/(-3). Let p be d(g). Which is smaller: p or -25?
p
Let o = 1114 + -6685/6. Are o and -7 equal?
False
Let s be ((2 - 2)/(-3))/(-2). Let v = 313 + -315. Is v < s?
True
Let l(b) = b - 1. Let z be l(2). Let k be (z/18)/((-9)/12). Suppose 5*w + 0*i = -3*i - 10, -2*w - 5*i - 23 = 0. Which is greater: k or w?
w
Let j = -216 + 218. Which is smaller: j or -19?
-19
Let p be 4*(-2)/24*2/(-206). Which is smaller: p or 1?
p
Let u = 188 + -184. Let g(s) = -s**3 - s + 4. Let f be g(0). Suppose f*i - 6 - 8 = 2*y, -5*y - 7 = u*i. Which is smaller: y or -8/3?
y
Let a = 50 - 44. Let d be (-756)/(-30)*10/a. Which is greater: d or 41?
d
Let h(n) = n**3 - 4*n**2 - 6*n + 5. Let j be h(5). Let v = 729/25 + -29. Are v and j unequal?
True
Let v be 3*-1*(-1)/3. Are v and -2/529 equal?
False
Suppose 94 = 12*b + 298. Is b bigger than -16?
False
Let o be -606*(40/(-15) - -3). Is o >= -202?
True
Let g be 0 - (-2 + 1) - 7. Let q be 8/g - 336/(-9). Let k be 14/q*-2*-3. Is 2 greater than or equal to k?
False
Let o = -0.004 + 25.004. Let n = -0.117 + 0.017. Are o and n equal?
False
Let y(p) = 4*p - 6. Let n be y(2). Let i(h) = 2*h**2. Let g be i(n). Suppose -4*w + g = -4*x, -3*x - 3 = -4*w - 4*x. Is 6/5 at m