 -7281/38. Is u <= 1?
True
Let c = -162 - -631. Let y = c + -422. Is 0.2 bigger than y?
False
Suppose 85061 = 21*j + 33086. Does 2474 = j?
False
Let x be (2 - 0)*(-2)/((-32)/(-3448)). Let y = x + 885/2. Let d be (-1)/((-2)/11)*2. Which is greater: y or d?
y
Suppose -2*g = 3*l - 0*g - 664, 0 = 5*l - g - 1098. Let h = l + -219. Is h > 65?
False
Suppose 9*o = 5 + 40. Let w(i) = -i - 1. Let a be w(-4). Suppose a*c - 3*b = 105, 8*b - 5*b - 151 = -o*c. Is c < 31?
False
Suppose 283 - 133 = -10*x. Let c be (((-24)/(-20))/3)/((-3)/x). Is c bigger than 7?
False
Let b be 69/(-92) + (-25244)/(-16) + -4. Is 1571 not equal to b?
True
Let x = -387 + 386. Are 2/139 and x unequal?
True
Let l = -2399829 - -84002134/35. Let s = 232 - l. Suppose -6*i + 4*i = 0. Is s <= i?
False
Let h = -1283 - -857. Let r = -425.7 - h. Which is greater: -40 or r?
r
Suppose 0 = 9*z - 35 - 1. Suppose z*h - 56 = w + 36, -115 = -5*h + 3*w. Which is greater: h or 24?
24
Let s = -543 + 386. Let o = s - -156.815. Is o smaller than -0.1?
True
Let y(k) = k**3 - 35*k**2 - 158*k + 73. Let j be y(39). Let p be j - (16/(-1) + 7). Is p not equal to 47?
True
Let u = 222.687 + -222. Let a = 20.413 + u. Which is smaller: a or 1?
1
Let f = 599.1405 + -599. Do f and 2 have the same value?
False
Suppose -4*u - 2 + 14 = 0. Let f be 174*(u - 7)/(-32). Let n = f - 21. Which is smaller: 3 or n?
n
Let f be (18 + -19 + 2*-26)*1. Suppose -2*j = -3*w + 112, 4*j + 220 = -0*w + 4*w. Does f = j?
True
Suppose -4*v + 207 = -4*g - 353, -3*v + 5*g + 430 = 0. Suppose -331 = 2*b - v. Is -97 at least b?
True
Let z = 68 - 160. Let p = z - -192. Suppose 102*r = p*r - 42. Which is smaller: r or -19?
r
Let g = 44 - 59. Let a = 3 - g. Let s = a - 18.06. Are s and 1 equal?
False
Suppose 2*b + 396 = -1142. Let g(f) = -8502*f - 51781. Let v be g(-6). Do v and b have the same value?
True
Let i be (-2)/(-8) - 33/(-12) - -1. Let a be (-2 + i/6)*24/(-80). Which is bigger: a or 3/19?
a
Let d(r) be the second derivative of r**5/2 - r**4/6 + r**2/2 + 4*r. Let g be d(1). Let s be 7 - (-3)/(g/12). Which is smaller: 12 or s?
s
Let v = 4225/102 + -124/3. Which is smaller: v or -0.073?
-0.073
Let x be -4 + (18 + -7)/((-3)/(-3)). Let i(m) = -m**3 + 8*m**2 - 2*m - 22. Let y be i(x). Is 14 greater than y?
True
Suppose -4 = -4*f, f + 6 = -2*r - 5. Let i = -38 - -44. Suppose -8*n = -i*n. Is r at least n?
False
Let s be 202/(-504) - 24/336. Which is bigger: 1 or s?
1
Let q = -257/46 - -1947/437. Which is greater: -0.2 or q?
-0.2
Suppose 182 = 7*n + 42. Let v be (-2)/(-9) + (-4)/18. Suppose -n*c + 16*c - 8 = v. Which is smaller: c or -15/8?
c
Let q(s) be the second derivative of s**3/6 + 53*s**2/2 + 12*s - 2. Let g be q(-14). Is 36 not equal to g?
True
Suppose c = -3*v + 3585, -c - 22*v + 3590 = -20*v. Is c greater than 3600?
False
Suppose 9*c - 357 = 6*c. Suppose 0 = -118*t + c*t + 79. Do t and -78 have the same value?
False
Let t be 2/(-14)*-7*0. Is t at most as big as -27/116?
False
Let u be ((-910)/6 - 1)*72/(-20). Let x = 558 - u. Suppose 2*f - 10 = 8. Is f equal to x?
False
Let w = 0.59633 + 69.40467. Let u = w - 70. Which is smaller: 0 or u?
0
Let c = 52.945 + -53. Let i = c - -13.055. Let z = i - 12.71. Is z smaller than -0.1?
False
Let n = -9 + 15. Let o = -2393 + 2418. Suppose -5*d = -o, 2*d - n*d = -3*b - 197. Is b greater than -60?
True
Suppose -3*r - 15 + 54 = 0. Let n(x) = 3*x**2 - 5*x - 39. Let v be n(5). Which is smaller: r or v?
v
Let q(y) = -5*y**2 + 76*y - 7. Let j be q(15). Let x(h) = -h + 3. Let m be x(j). Which is smaller: m or -35/6?
-35/6
Suppose 4*l - 4*l - l = 0. Suppose p = 3*p - 10. Let y be (p/105)/(3/(-9)). Is l smaller than y?
False
Let c = -84 + 83. Let x = 1/314 + 593/10990. Let i = 114/455 + x. Which is smaller: i or c?
c
Let h = -2755.9 + 2756. Which is smaller: 4667 or h?
h
Suppose 64*r + 30*r = 94. Which is greater: r or -209?
r
Suppose -a + 23*a - 10912 = 0. Is 503 greater than or equal to a?
True
Let j be 224/(-896)*8/10. Is -986 greater than or equal to j?
False
Suppose -2*j + 3*t - 3 + 1 = 0, -4*j - 2*t = -12. Let s be (1/(-2))/(1/(-2)). Let w be (6/16)/(s/j). Are w and 2/7 non-equal?
True
Let q be (2 + 0)/(1*19). Let h = 25938 - 25938. Which is bigger: h or q?
q
Suppose -6*q + 8*q = 0. Suppose 10*k + 21 + 9 = q. Let c be k/12*-1 + 15/100. Is 17 > c?
True
Let y = -321.37 + -3.63. Let v = -325.6 - y. Does 0.11 = v?
False
Let p = -48955/3 + 16598. Let m = p - 4243/15. Is m bigger than 0.3?
False
Let w(v) = v**2 - 252*v - 2610. Let z be w(-10). Let c = 2 + -2. Suppose -3*n - 2*n - 3*j = -55, 5*j - 25 = c. Which is smaller: z or n?
n
Let r be ((-2)/(-14)*-6)/((-111)/21). Let t = 113/925 - r. Which is smaller: 0 or t?
t
Suppose 0 = -4*y - 4*p - 276, -49*p + 45*p + 174 = -2*y. Which is smaller: -25 or y?
y
Suppose 15*x = -3*x - 756. Let g be (-3 + x/(-12))*0. Which is smaller: g or 2/555?
g
Suppose -2168*j + 2036*j = -1584. Are -5.65 and j nonequal?
True
Let h(i) = -i**3 + 7*i**2 - 8*i - 2. Let p be h(6). Let b = p - -26. Let z = 117 - 105. Do b and z have the same value?
True
Let o(s) = s**3 - 29*s**2 - 55*s + 1477. Let k be o(29). Is 19 <= k?
False
Let h = 5169 + -9562649/1850. Which is greater: h or -1?
h
Suppose 630 = -18*f + 594. Let t = -115/9 + 1040/99. Is f != t?
True
Let f = -2647 - -2421. Is f at most -223?
True
Let l be 5 - (-2)/((-8)/20). Suppose 5 = -3*j - 4*x - l*x, 5*x - 11 = 2*j. Which is smaller: -21/13 or j?
j
Let v = 117/31 - 81807/21700. Which is smaller: v or 1?
v
Let s(n) = -217*n + 4990. Let v be s(23). Is v greater than or equal to -9/4162?
False
Let s = -153 - -796/5. Let x = -146594 - -8063021/55. Let l = s - x. Which is smaller: l or -6?
-6
Let q be ((-27)/18)/((-3)/2). Let n(w) = -w**3 + 6*w**2 + 3*w + 32. Let o be n(7). Suppose 4*f = -5*b - 1, 9 - 8 = -3*f - o*b. Is f > q?
False
Let m be 13 + 396244/(-14674) + (-6)/22. Which is bigger: m or -14?
-14
Let n(h) = 1437*h - 4893. Let k be n(-4). Which is bigger: -10642 or k?
k
Let l be 126 - ((-5)/10 - -2)/((-4)/16). Which is greater: l or 131?
l
Let j = 189.6 + -171. Let f = -17.6 + j. Which is smaller: f or -50?
-50
Let c be 634/1*(-5)/10. Let z = 488 + c. Let w = -859/5 + z. Is w greater than 0?
False
Let j = 58347633/49577 + -12946/11. Is 0 greater than or equal to j?
False
Let m = -2596 - -2638. Is m < 42?
False
Let a = -3.3137 - -0.3137. Which is smaller: a or -0.04?
a
Let v = -11 + 15. Let l = 807 + -1372. Let x be l/(-190) + 1 - v. Is -1 > x?
False
Let t = 211.542 + 0.458. Let y = t - 212.73. Which is bigger: 1 or y?
1
Suppose -4*r + 12 = 4*a, -3*r - 2*a + 2 = -5. Is 54/79 < r?
True
Let j(o) = -o**2 + 10*o + 49. Let s be j(13). Let b = -8 + 14. Let z be 4*(-15)/s*(-1)/b. Are z and -22 equal?
False
Let r(a) = -8*a - 48. Let b be r(-6). Suppose b = 25*w - 38*w + 2028. Do w and 157 have different values?
True
Let j be -3 + 4*15/10. Suppose -4*x + 5*n = 2*n + 67, -3*x + j*n - 54 = 0. Which is greater: -1 or x?
-1
Suppose 48*t - 2 = 46*t. Suppose 3*h = 4*a + 4, -h + t = -3. Which is smaller: -6 or a?
-6
Let l(z) = 59*z + 150. Let k be l(-12). Let h = 584 + k. Which is greater: -2 or h?
h
Suppose 0 = -6*q + 16 + 74. Let w be (-1078)/q + 6/(-45). Let d be (-12)/(-5) - (3 - w/(-20)). Is 4 <= d?
False
Suppose 3*i + 3*c - 6658 = i, 4*c = 4*i - 13356. Which is smaller: 3336 or i?
i
Let p = -15824489/288 + 54946. Let v = -1/32 - p. Which is smaller: v or -0.04?
-0.04
Let o(f) = -3*f**3 - 3*f**2 - 45*f + 62. Let w be o(-15). Do w and -0.1 have the same value?
False
Let k be (3 - 66/11)/(42840/(-14275) - -3). Which is bigger: k or 8564/3?
k
Let p = -30 - -13. Let r = -2.425 - -2.4. Let o = r + 2.025. Which is smaller: p or o?
p
Let p = -57 - -13. Suppose 18*h - 12*h - 60 = 0. Let z be (1/h - (-26)/65)*-92. Which is smaller: p or z?
z
Suppose -81*b + 190*b = -1635. Let v be 33/11*(-5)/3. Let p = v - -6. Which is greater: b or p?
p
Let u = 1175 + -2685. Is u at least -1507?
False
Let h = 13027 - 12932.53. Let d = h - 96. Are d and 1/4 equal?
False
Let o = 639 - 1073. Is 4 less than or equal to o?
False
Suppose -3*b - 1984 = -2338. Which is smaller: 111 or b?
111
Let f(x) = x**3 + 7*x**2 + x - 29. Let i be f(-6). Is i >= 3/2732?
True
Let g = 88 - 89.6. Let v = 100 - 100.061. Let u = v + -0.939. Which is smaller: g or u?
g
Let v = -3 + -1. 