True
Suppose 2*o + 67*j + 17 = 70*j, o - 9 = -2*j. Is o < -1/36?
True
Suppose -12*v + 15*v = 6. Suppose 116 = -v*i - 68. Let f = i - -1105/12. Are 1 and f nonequal?
True
Suppose 109 = 43*m - 42*m. Which is smaller: 2 or m?
2
Let b(i) = 3*i**3 - 80*i**2 + 54*i + 49. Let z be b(26). Is z at least as big as -1?
True
Let w(v) be the first derivative of -v**4/4 - 11*v**3/3 - 5*v + 13. Let j be w(-11). Are -5 and j non-equal?
False
Let i be (1/3)/(-3 - 30/36). Suppose 2 = 4*y - 6*y + b, 3*y + 4*b - 8 = 0. Is y at most as big as i?
False
Suppose 6 + 28 = 2*i. Suppose 0 = -3*f - 32 + i. Does 4 = f?
False
Let w = -134883/194 - 216/97. Is -697 at most as big as w?
False
Let l = -2690 - -8072/3. Which is smaller: l or -689?
-689
Suppose 0 = 5*n + 20 - 0. Let c be n + 4 + -3 + 3. Which is bigger: -2/51 or c?
c
Let p = 0.101 + -0.001. Is 1.9 bigger than p?
True
Suppose 0 = 3*g - 0*g - 21. Let j be ((-6)/24)/(g/(-12)). Let o = 0 - 1/3. Do j and o have different values?
True
Suppose -5*c + 40 = 5*i, 72 = 3*c + c - 4*i. Let p = c - 16. Let a be p/((-36)/(-4))*-3. Which is smaller: a or -1/17?
-1/17
Let y = 1024/39 + -79/3. Let t(p) = 9*p - 46. Let d be t(5). Is y <= d?
False
Let c = -9.78 + 1.68. Let b = 0 + 8. Let r = c + b. Is 16 greater than r?
True
Let x = 2/325 + -664/2275. Let a = -18.35 + 1.65. Let r = 1.7 + a. Is r at most as big as x?
True
Let l(g) = 20*g**2 + 29*g - 6. Let c(p) = 7*p**2 + 10*p - 2. Let h(b) = 17*c(b) - 6*l(b). Let r be h(0). Which is greater: r or 3?
3
Let u = 0.62 + -2.02. Let n = 0.6 - u. Is n not equal to 4?
True
Let o = 0.28 - 4.53. Let q = -4 - o. Let l = q + -0.05. Which is smaller: -2 or l?
-2
Suppose 0 = -3*m + 103 - 100. Is 3/19 at least m?
False
Let m = 0.096 - -24.904. Which is bigger: m or 0.3?
m
Let m = 769/414 + -35/18. Let n = 5791/5 - 1149. Let z = n + -148/15. Which is bigger: z or m?
m
Let z(t) = -4*t - 10. Let r(c) = c + 3. Let j(p) = 7*r(p) + 2*z(p). Let w be j(2). Which is bigger: -2/163 or w?
-2/163
Let c = -13 - -27. Suppose 4*h + c = -2*w - 3*w, -h = -3*w - 22. Does w = -4?
False
Suppose 2*d - 4*n - 20 = 52, -159 = -5*d + 3*n. Which is smaller: 16 or d?
16
Let u = 5 - 8. Let l(h) = h**2 + 4*h - 5. Let x be l(-5). Suppose x = -7*r + 10*r - 6. Which is greater: u or r?
r
Let i = -0.47 + -0.28. Let r = -0.25 - i. Is 0.4 at least as big as r?
False
Let b(k) = 4*k + 76. Let f be b(-19). Are -4 and f equal?
False
Let d(t) = 4*t**2 + t + 1. Let u be d(-1). Suppose 3*r = 7 - u. Which is smaller: r or 1/2?
1/2
Let i be 35022962/4260 + (-4)/20. Let o = -8221 + i. Let q = -1/71 - o. Which is smaller: -2/7 or q?
-2/7
Let a = -141 - 21. Does a = -645/4?
False
Let x = -278 - -308. Which is smaller: x or 28?
28
Suppose 3*p - 5*u - 5 = 24, -2*u = 8. Let v be ((-3)/90*p)/(-1). Is v bigger than 0?
True
Let v = -46 + 45.8. Is -0.101 at least as big as v?
True
Let o = 0.0942 - -2.8058. Is -5/6 less than o?
True
Suppose -23 = 2*v - 3. Let f be (-50)/27*((-22)/v + -1). Is f >= -1?
False
Suppose -p = 2*j, 5*j - 4*p + 7 + 6 = 0. Let l = j + -5. Which is smaller: 2 or l?
l
Let u = 21 + 7. Suppose -20 = -h + u. Is h >= 49?
False
Let t(b) = 0 - 3*b - 2*b - b**2 - 5 + 4. Let v be t(-2). Suppose v*f = 2*f - 3. Which is smaller: 1/6 or f?
f
Let h = -473 + 486. Which is bigger: 16 or h?
16
Suppose -1184 = -6*u - 884. Is 356/7 less than u?
False
Let x be (-2 - 18)/(8/(-12)). Is 31 <= x?
False
Let x be 49*-1*(-1)/(-1). Let y = 3860 + -3908. Is y greater than or equal to x?
True
Let n be 8/(-48) - (3 - 5245/(-30)). Is -179 smaller than n?
True
Let z = 30.41 + -0.41. Let t = z - 29.9. Which is smaller: 0.4 or t?
t
Let r = -0.257 - 108.743. Which is smaller: -3 or r?
r
Let o be 1/(1/2*2). Let v = -7488 + 7488. Which is bigger: o or v?
o
Let m = -0.18 + 3.9. Let u = -5.61 + m. Let k = -0.11 + u. Is 2/13 greater than k?
True
Let a = -27 - 3. Which is bigger: -6 or a?
-6
Suppose 0 = 3*t + 5*i - 443, -3*t + 2*i + 0*i = -457. Suppose 3*p + 4*v = t, 2*p = -4*v + 134 - 28. Is p > 44?
True
Let q be 20*(-5 - 112/(-20)). Let i(k) = -k**2 - 4*k - 1. Let r be i(-4). Let z be (2 + r)/(1/11). Which is smaller: q or z?
z
Let h = -96.94 + 97. Let p = -0.34 - h. Which is smaller: -0.9 or p?
-0.9
Let v(i) = i**2 - 5*i + 6. Let x be v(5). Let t(g) = g**3 - 6*g**2 + 1. Let f be t(x). Let p be (-4)/9*(-2)/(-8). Which is bigger: f or p?
f
Suppose -12 = 2*d + h - 0*h, -2*d + 5*h = -12. Let p(b) = b**3 + b**2 - 5*b - 6. Let s be p(d). Let m be (-4)/(-10) + s/10. Is m less than or equal to -1?
True
Let a = -38 + 50. Let s be 3/a - (-216)/(-1120). Suppose -3*h = -2*v - 1, 4 = 3*h - 5*v - 3. Which is smaller: s or h?
h
Let s = 33 + -43. Let m = s + 9. Let o = -7.3 - -8. Is o <= m?
False
Let d = -466 + 466. Let j = 1 + -1. Let p = j + d. Which is smaller: p or 6?
p
Let g = -104 + 147. Suppose g = t - 149. Let f be (-2)/1 + t/100. Which is bigger: -1 or f?
f
Let d = -1005 + 1853. Suppose 0 = 3*g - 256 - d. Let i = -2197/6 + g. Do i and 1 have the same value?
False
Let w be -11*(12 - (2 + 5)). Is -45 not equal to w?
True
Let g be (21/(-14))/(-1) + 171/6. Are g and -2/15 nonequal?
True
Suppose 44*f - 35*f = -297. Which is greater: -31 or f?
-31
Suppose -q = 18*q - 494. Let h be -3*1/q*(4 + -8). Is 1 at most h?
False
Suppose -3*x + 8 = 3*d + 2*d, -8 = -5*x - 3*d. Which is bigger: -1/101 or x?
x
Let d(g) = -6 + 2 + 6 + 20*g + 0. Let f be d(1). Let p = -22 + f. Is p not equal to 2/21?
True
Let p be 3/26*(-6)/6. Let c = -3723/9646 - 132/371. Let a = c + p. Which is bigger: 0 or a?
0
Let l = -10.38 - -14.38. Is l less than or equal to -2/5?
False
Let z be 0 + (-6)/(-2) - 3. Let c = -1122999/77 + 14586. Let n = c - 15/7. Is z >= n?
True
Let z be (-495)/(-75)*(10/3)/1. Suppose 3*c = -3*b + 7 - 28, -2*b - z = 4*c. Let q(i) = -i**2 + 4*i + 4. Let k be q(5). Is c less than or equal to k?
True
Suppose -2*v = -5*i - 21, -2*i - 6 = -0*v - 2*v. Let f be 8/(-12)*(-276)/(-115). Which is smaller: v or f?
v
Suppose 3*p - p - x + 25 = 0, 4*p = -4*x - 44. Let n be p/(-66) - (-2)/(-11). Are -4/27 and n non-equal?
True
Let j be 558/(54/9 + -4). Which is bigger: 280 or j?
280
Let i = -531 - -582. Which is smaller: i or -1?
-1
Suppose 70 = m - 17. Suppose m = -12*l - 93. Which is smaller: l or -14?
l
Let a = -3/65 + 139/195. Suppose -5*o = 4*t - 7*t - 274, 4*t + 65 = o. Is o greater than or equal to a?
True
Let s be (247/39)/((-1)/(-3)). Let k = -22 + s. Which is smaller: -12/5 or k?
k
Let d be (-3 - (-56)/20) + 151/5. Suppose -7*u + 5 = -d. Is u greater than 12?
False
Let f(h) = -3*h**2 + 13*h - 1. Let k be f(4). Suppose -3*j - 186 = -k*r, 9*r + 5*j - 138 = 7*r. Which is smaller: r or 65?
r
Suppose -2*z + 2 = 2*g, 1 = -4*g - z + 2*z. Suppose g*b + 5 = -5*b. Is -1 >= b?
True
Let c be 668/(-3) + 47/(-141). Which is greater: -222 or c?
-222
Suppose -o + 25 = 5*z - 3*o, -3*o = z + 12. Let b be z/(-18) - 8/(-48). Are b and 1/4 non-equal?
True
Let z be (-8705)/(-2800) + -3*1. Let r = 751/41360 + 10/517. Let f = r - z. Is f less than 1?
True
Suppose 4*n = -47 - 1. Is n <= -15?
False
Let l = -52.1 + 55. Let w = l - 2. Let a = 0.1 + w. Are -4 and a equal?
False
Let p(w) = -2*w**3 + 2*w**2 - 1. Let y be p(1). Let s = 3 - 3.8. Let g = s - 2.2. Is g < y?
True
Let r = 529 - 503. Is 24 at most as big as r?
True
Let p = -113/2328 - -2/291. Let w be 0/((-9)/(-3) + -1). Let d = 1 + w. Which is greater: p or d?
d
Let h = -418 - -427. Is 23 less than or equal to h?
False
Let y = -21 + -128. Let o = 149.1 + y. Which is bigger: o or 21?
21
Let p(j) = j**2 + 8*j - 12. Let n be p(-9). Let s = 8 + -5. Let o be n + (s - (-9)/(-15)). Is -1 > o?
False
Let f = -384 + 389. Which is bigger: f or 1?
f
Let w be 1419*((-153)/(-135))/(-17). Are w and -96 equal?
False
Let n be (3 + -1)/(-1*2). Let k(r) = 72*r**2 + 4*r + 3. Let m be k(n). Is m bigger than -1?
True
Let b = -6 + 10. Let p be -1 + ((-4)/b - -3). Suppose -p = -m - 0. Does 12 = m?
False
Let w be (((-108040)/(-18004))/2 - 3)*7. Which is bigger: w or 0?
w
Suppose 3*z + 0*z = 12. Suppose z*d - 3 = -5*t, 3*d = -2*t + 7*t + 11. Which is bigger: 8 or d?
8
Let k be (-13)/((-468)/(-20256)) + 4. Which is bigger: 0 or k?
0
Let r(p) = 244*p**3 - 2*p**2 + 5*p - 4. Let o be r(1). Let b = -147 + o. Is 96 >= b?
True
Let g(m) = -m**3 - 10*m**2 + 12*m + 14. Let i be g(-11). Suppose 