-18*i + 13*i + 350 = h. Are i and 70 unequal?
False
Let z = -2981 - -2984. Suppose 0 = 3*a - a + 16. Let j = a - -6. Is z at least j?
True
Let k be (22/4)/((-1)/(-4)). Let n be 3036/117 + ((-68367)/1521 - -45). Is n smaller than k?
False
Let u = -1.2 - -1. Let j = 17819 - 17705. Are j and u equal?
False
Suppose -s - 3*s - 30 = 2*a, -3*a - 3*s = 45. Let d be 30/225 - (-467)/a. Let y = 28 + d. Are y and -6 equal?
False
Let s(w) = w - 6. Let m be s(9). Let f(t) = -2*t**2 - 3*t + 6. Let i be f(m). Let p be -25 - (-2)/(-4)*-6. Which is smaller: i or p?
p
Let v be -7*-4*(-2)/(-28). Let o be (-114)/v + (4 - 7 - -5). Is o != -57?
True
Let i = -1909 - -3490. Suppose -162*n = -145*n + i. Are n and -369/4 unequal?
True
Let v = 62463 + -62456. Let y be -36*((-6)/4 + 2). Let f be y/(-3)*1/3. Which is smaller: v or f?
f
Let n = -1158 - -1633. Let q = n + -247. Which is smaller: q or 227?
227
Let c = -1257 + 1545. Which is smaller: c or 1?
1
Suppose -3*g - 2*g = 400 + 20690. Is -4218 greater than g?
False
Let c = -15.61 - -13.61. Let s = -1.01 - -1.1. Let t = s - 0.05. Which is smaller: c or t?
c
Let v = 0.17 + -0.1. Let u = v + -0.07. Let r = 3376/49 + -482/7. Is r smaller than u?
False
Suppose i = 5*q + 840, 5*q - 2*i = -4*i - 840. Let m = q + 169. Which is smaller: 7/3 or m?
m
Let i be (-15)/(-5)*(-6)/(-9). Let r be -201*(-7 - 1155/(-196)). Let l = r - 887/4. Is l smaller than i?
True
Suppose -22*u + 24*u - 442 = 0. Let c be 2 - (-3 + u/28). Let y = c + 29/7. Is 0 <= y?
True
Let q = 15/1322 - 1911717/9254. Let r = q + 207. Suppose -4*f + 0*d = -3*d - 11, -2*f + 3*d + 13 = 0. Are r and f equal?
False
Let u = 2957549/243 + -12171. Is u bigger than 1?
False
Let a be (64/(-144))/(3/(3/1343)). Which is smaller: a or 0?
a
Let x = 112011 - 558822881/4989. Are x and 0 non-equal?
True
Let v = -0.18 + -65.82. Let i = v - -61. Is i at least 3?
False
Let q be 1276/3190 + (36/10 - 1). Which is smaller: -0.421 or q?
-0.421
Let g = -3982 - -3938. Does -480/11 = g?
False
Let n be 4/8 + (-1 - (-4)/20). Let g = -469 + 470. Is g not equal to n?
True
Let i(w) = 35*w + 5. Let n(u) = -65*u - 9. Let s(d) = 11*i(d) + 6*n(d). Let a be s(0). Which is smaller: 12/5 or a?
a
Let k = -12171 + 12155. Is -316/19 not equal to k?
True
Let z be 39/(-30) + 1 + 0. Let v = -103 + 53. Let j = v - -51. Do j and z have the same value?
False
Let y be (-6)/(-20)*-238 - (-10)/10. Let t = y - -85. Which is bigger: 14 or t?
t
Suppose -4*u - 442 = 2*i, i + 5*u + 2031 = 1804. Which is bigger: i or -215?
-215
Let o(t) = 81*t**3 + 2*t**2 + 373*t - 1851. Let j be o(5). Are 10190 and j non-equal?
True
Suppose k + k + 4 = 0. Let t be (5 + 0)*k/965. Let b = -750 - -750. Is t <= b?
True
Let n = 22 + -23. Is n at least 26/521?
False
Suppose -1305 = -4*b + 5*k, 2*k + 330 + 647 = 3*b. Do 329 and b have the same value?
False
Let y be -2 - (135/18)/(-1) - 7. Are -22 and y non-equal?
True
Let b = -32 + 32. Suppose b = -2*k + 4*h - 4, 0 = -2*k + 6*h - 4*h. Suppose 0*g - 3*v = -4*g + 113, -k*g + 63 = 5*v. Which is smaller: 30 or g?
g
Let c = -1/35 - 57/455. Let w = -35 - -34. Which is smaller: w or c?
w
Let s(z) = z - 2 - 46 + 165 - 33 - 30. Let x be (3 + -1)*14/1. Let j be s(x). Is j > 81?
True
Let i = -0.07 + 0.32. Let m = 9.678 + -7.53. Let z = -0.148 + m. Which is smaller: i or z?
i
Suppose -3*l = -3*s + 18, 0 = 5*s + 4*l + 21 - 6. Let t be (-32)/32*(2 - s). Let m = -790/81 - -88/9. Is t greater than or equal to m?
False
Let u be -31*1/1*-1. Let k = -47 + 165. Suppose l + 64 = 2*i, -4*l + l + k = 4*i. Do u and i have the same value?
True
Suppose 2*h + 4*n = 234, -h - h + 5*n = -207. Suppose -129 = 5*v + h. Which is greater: -47 or v?
-47
Let x = -0.09 - -0.19. Let v = 303.7 + 21.3. Let p = -295 + v. Are p and x non-equal?
True
Let h = 4911 - 4910.8664. Which is smaller: h or -2?
-2
Let q = -11.86 + 12. Let y = q - 0.175. Let z = 26988.9 + -26989. Which is greater: y or z?
y
Let p(s) be the second derivative of -s**5/20 + 29*s**4/12 - 55*s**3/6 - 7*s**2/2 + 357*s. Let a be p(27). Suppose 0 = 3*g - 22 + 121. Is a greater than g?
False
Let s = -75 - -77. Suppose 0 = 2*b - 5 + 1, -s*i + 12 = 2*b. Suppose j - i = 0, 6*z + 5*j - 30 = z. Are -1 and z equal?
False
Let c = -4247833/111010 - -1301/34. Let p = c - -7048/845635. Are p and 1 unequal?
True
Let d be (-100)/16*2/(-6). Let i(m) = 711*m - 2842. Let u be i(4). Which is greater: u or d?
d
Let u = 12.38 - 0.38. Let d = -28 + u. Let m be ((-4)/10)/((42/(-15))/2). Which is bigger: m or d?
m
Suppose 217 = 5*u - 168. Let m = u - 245. Let t = -500/3 - m. Are 4 and t nonequal?
True
Let u = -0.03775 + -10.96225. Is u not equal to -134?
True
Let l(o) = 5*o**2 + 8*o - 229. Let v be l(6). Is v not equal to 1/48617?
True
Let o(u) be the first derivative of u**2/2 - u + 18. Let d(h) = h**2 + h - 6. Let a(x) = d(x) - 6*o(x). Let r be a(5). Which is bigger: r or 1/8?
1/8
Let g(p) = 278*p + 774. Let d be g(-1). Which is greater: d or 488?
d
Let x = -1720 - -1213. Is -509 less than or equal to x?
True
Let z = 53123/3 - 17706. Is z < 0.471?
False
Let v = -25405 + 27313. Which is bigger: v or 13360/7?
13360/7
Let a(c) = c**3 + 16*c**2 + 11*c + 30. Let w be a(-15). Let m = 91 - w. Is m at most as big as 4/5?
False
Suppose -81 = -11*m - 92. Which is smaller: m or 2/13849?
m
Suppose 1 = 5*m - 3*m - w, -4*m - 5*w - 5 = 0. Which is bigger: m or -3/3595?
m
Let k = -519.22 + 512. Let a = -66.82 + k. Let r = a - -74. Is -0.2 < r?
True
Let v(w) = -w - 2. Let m be v(-2). Suppose m*x = -x - 18. Let s be 310*12/(-180) + (-22)/(-6). Are x and s equal?
False
Suppose 3*b - 280 - 401 = 0. Suppose 0 = -b*n + 226*n - 5. Which is greater: n or -50/9?
n
Let c be -6 + 2 - 0/3. Let j be (5*(-1)/2)/(c/40). Is j at most 2?
False
Let c = 657 + -565. Let l = c + -92.76. Which is smaller: l or -2/5?
l
Let n(i) = -i**2 - 3*i. Let b be n(-3). Let f = 7200 + -7200.01. Which is smaller: f or b?
f
Let j be (27/72)/((-54)/(-13656)). Which is smaller: 0 or j?
0
Let d = 4600/13 + -38020/117. Which is bigger: d or 30?
30
Let s = -18.4 + 19.2. Suppose 6 = u - 9. Let f be 20/(-50) - (-11)/u. Which is smaller: f or s?
f
Let p = -48 + 33. Suppose 2*y + 1 = -i, -11*i + 16*i = 5*y + 25. Do i and p have the same value?
False
Let s(v) = -17*v**2 + 99*v + 41. Let p(y) = -3*y**2 + 20*y + 8. Let a(n) = 33*p(n) - 6*s(n). Let d be a(-22). Which is bigger: d or 20?
20
Let q = 5231/12 + -437. Suppose -56 = -25*u + 90*u + 9. Is q at most as big as u?
True
Let d(o) = 2*o**2 + 21*o + 37. Let j be d(-5). Let i be j/3 + 5538/104. Is i > 47?
True
Let m = -241455946/15177 + 47728/3. Which is smaller: m or 0?
0
Suppose 937 = -o + 312. Which is greater: -623 or o?
-623
Suppose 160*d + 154 - 1514 = 165*d. Which is smaller: -4 or d?
d
Let f be (0 - 26)/(-3 - -2). Let d = -2348 - -2349. Let n be (d/12)/(f/16). Is -1 bigger than n?
False
Let d(g) = -g**2 - 12*g + 46. Let x be d(-15). Let i be (6 + (-4 - 1))/(x - 2). Which is smaller: -4/19 or i?
i
Let z = 2015 - 2079. Are -2 and z unequal?
True
Let t(g) = 2*g**2 + 5*g - 33. Suppose 4*l + z + 106 = 7, 27 = -l - z. Let q be (112/l)/((-6)/(-9)). Let w be t(q). Which is smaller: 29 or w?
29
Suppose -4*f + 132866 = -5*j, -3*f - 5*j + 166680 - 67013 = 0. Let i be -4 + (2/2769)/(6/f). Which is bigger: i or 0?
0
Suppose -6 = 272*n - 275*n. Let p be ((-3)/9)/(n + 20/(-12)). Is p greater than or equal to -6/31?
False
Let i(m) = 2*m**2 - 2*m + 1. Let k be i(1). Suppose k = 4*w - 15. Suppose -w*f - 5*l = 167, -f - 64 = f - 4*l. Are -0.1 and f equal?
False
Let a(z) = z**2 + 9*z + 19. Let j = 45 + -51. Let l be a(j). Let m be (l - (-14)/(-9))/(3/(-36)). Which is smaller: 6 or m?
6
Let p be ((-4)/(3 - -1))/(31 - (-2412)/(-72)). Suppose 4*w + 3 = w. Let n be 0 + w + (-1)/(-2). Which is greater: n or p?
p
Let a be -725 + 3 - 133/(-19). Which is bigger: a or -708?
-708
Suppose -350 = 3*t + 2*x, -4*x = t - 2*x + 118. Let w = 119 + t. Which is smaller: 19/11 or w?
19/11
Let p be 22 - 3/(15/20). Let b be p/(-6) - (-3 - 1). Let y = -20/7 + 101/28. Which is bigger: y or b?
b
Let s be 3 - ((-18 - -8) + 9 + 3/39). Suppose w + i + 0 = 3, i = 5*w - 27. Does w = s?
False
Let i = -641027/165 - -3885. Which is greater: i or 0?
0
Let f = 628 - 621. Let x = -9 - -17. Which is greater: x or f?
x
Let y = -103778 - -1246996447