10 - 4))*(-38)/(-9). Let w = l + v. Is w at least as big as -1?
True
Let s(h) = -4*h - 12. Let o be s(-3). Let k be (-38)/19*(o - (-1)/2). Are k and -2/159 non-equal?
True
Suppose 0 = 5*s - 38 + 13. Let k be (-3)/78*(-2 + s). Which is smaller: 0 or k?
k
Let b = -1223/18 - -389/6. Suppose 21*f - 15*f = 2124. Suppose f*h - 336*h = -54. Which is smaller: b or h?
b
Let g = 5015/3065904 - 3/2416. Do -1 and g have the same value?
False
Let t = 5541 + -10747. Which is greater: t or 1?
1
Let q(j) = 349*j - 56. Let c be q(-1). Which is smaller: c or -404?
c
Let z be 21/(-84) + 4870/24. Let r = z + -204. Which is greater: r or 0?
0
Let n = -7642 - -7641.9. Which is smaller: n or -249/5?
-249/5
Let u = -21780 + 21852. Is -65 >= u?
False
Suppose -b + 9*b - 24 = 0. Suppose 3*w - 2706 = b*q, -5*q - 5*w - 3617 = -q. Let v be q/(-54) + (-4)/18. Do 18 and v have the same value?
False
Let s = 305 - 302. Suppose 54 = -s*a + 120. Suppose -4*d = -10 - 62. Is d >= a?
False
Let j(o) = -o**2 - 10*o - 10. Let h be j(-8). Suppose -k - h = -8. Suppose -k*f - 3*f = -75. Is -1 bigger than f?
False
Let o be 0 - 0 - (0 - (0 + 2)). Let q be 6/4*o/6*-2. Which is greater: 5 or q?
5
Let m be (8/(-14659 + 3))/((-1)/10). Let j = 99829/2748 + m. Which is smaller: j or 36?
36
Suppose 4*y - 17 = 43. Suppose -6*s - 9 + y = 0. Is s > 1/573?
True
Suppose 7*b - 110 - 30 = 0. Suppose b*w + 176 = -224. Is -18 smaller than w?
False
Let q = 184 + -160. Let c be q/84 + (-158)/406. Which is greater: -1 or c?
c
Suppose 174*o = -6*o. Is -1/5537 >= o?
False
Let k be ((-120)/(-1148))/2*(-147)/42. Which is smaller: 0 or k?
k
Let g be (-12901333)/258910 - 2/20*-3. Is -49 smaller than g?
False
Let q = -224823/14 - -16067. Do q and 9 have different values?
True
Let p = 878/11 - 79777/1001. Which is greater: p or 0?
p
Let p = 177392/3893 + 409/229. Which is smaller: 47 or p?
47
Let r(i) = 2*i**2 - 14*i - 816. Let u be r(24). Let q be (-943)/5548 + (-4)/(-16). Let j = -2/73 + q. Which is greater: u or j?
j
Let m be 27 + (-44100)/1743 + -1. Is 2 > m?
True
Let n(w) = -6*w**3 + w**2 + w - 1. Let c be n(-1). Suppose -c*s - 17 = 3*i - 1, 3*s - i = -4. Let z be (-1220)/115 + 7 + 3. Is z at least s?
True
Suppose -2*w - 48 = -4*p - 6*w, 0 = 2*p - w - 12. Suppose -9 = p*h - 11*h, -2*v - 39 = -3*h. Is -0.01 smaller than v?
False
Let q = -1 + 1.1. Let u = 14.74 - -20.42. Let h = u - 35.1. Is q != h?
True
Let q be -17 - 11100/80 - (-2)/(-8). Do -165 and q have different values?
True
Let n be ((369/(-410))/9)/((-2)/(-20)). Which is smaller: n or -2/6529?
n
Let p = 33 - 23.58. Let f = 9 - p. Is f greater than or equal to 2?
False
Let r(g) = -2*g - 13. Let m be r(-3). Let y(c) be the third derivative of c**6/60 + 13*c**5/60 - 7*c**4/24 - 6*c**2. Let i be y(m). Is 2/55 < i?
False
Let n = 5101 - 3024892/593. Let z = 31443/8302 - n. Is 4 < z?
False
Let n = -21790 - -3072397/141. Let w(f) = -f**2 - 5*f. Let p be w(-5). Which is bigger: p or n?
n
Suppose 3*c = 5*c - 3*s + 10, -3*s + 13 = c. Which is bigger: c or -1/10?
c
Suppose -4*d = -4*u + 36, 0 = d - 7*u - 0*u + 45. Do -27/17 and d have different values?
True
Suppose -5*x - 7*x = -12. Let b be -53*((-5)/59)/5 - x. Let j = 241/531 - b. Which is bigger: 1 or j?
1
Let x = -408.9464 - 0.0536. Let l = x - -408. Is l greater than or equal to 31.5?
False
Let c(k) = k. Let u be c(6). Let f(z) = z**3 - 4*z**2 - 13*z + 6. Let t be f(u). Suppose 2*w + 3*d + 9 + 3 = 0, t = 3*d + 12. Is w at least 6/13?
False
Suppose 0 = -69*w - 31*w + 33*w + 17353. Which is smaller: w or 261?
w
Let b be (6 - 7)/(1/8). Let r be 6/9*12/b. Is r equal to 2?
False
Let s(m) = 32*m + 2. Let c(w) = 6*w - 59. Let n be c(10). Let h be s(n). Let r = -38 + h. Which is smaller: r or -0.3?
r
Let k(t) = -25*t**2 - 32*t + 83. Let g be k(3). Let c = g + -47. Is -285 bigger than c?
False
Let r = 18166 + -2634028/145. Is r greater than -1?
True
Let d be (-2305)/(-15) + 3 + (-2)/(-6). Suppose 9*b - 617 - d = 0. Which is bigger: b or 84?
b
Let t = 0.02 - -0.06. Let d = -0.6728 - -0.6628. Which is smaller: d or t?
d
Let q = 300 + -33. Let x be q*(-6)/((-378)/(-7)). Is x not equal to -30?
True
Let d = -352 + 1067/3. Let h = 701147 - 701141. Which is bigger: d or h?
h
Suppose d = -2*q + 12, -5*q = -0*d - 5*d - 15. Is 77/117 <= d?
True
Let v = -5041 - -4299. Which is smaller: -2 or v?
v
Let m = -4/30549 + 13115708/30549. Is 430 at least m?
True
Let h be 45/(-150) - (-351)/(-130). Let w = 4 - 3. Suppose -2*o + 14 = -2*i, 3*i + 6 - w = -5*o. Which is greater: h or i?
h
Suppose 8624 - 1136 = 78*i - 110*i. Is 3/8 > i?
True
Let u = 0.291 + -16.191. Let h = -16.9 - u. Is h greater than -21/11?
True
Suppose -13*i = -1888 + 614. Let h be ((-1*1)/1)/(i/(-17150)). Which is greater: h or 174?
h
Let m be 119079464/(-21495) - ((-224)/(-105))/16. Let q = -5540 - m. Is q < 1?
True
Let g = 26386 - 26414. Which is greater: g or -9.7?
-9.7
Suppose -14*t = -13*t - 3. Suppose -j = -3*g - 127, 0 = 2*g + t*g - 5*j + 225. Let d = -72 - g. Which is smaller: -30 or d?
d
Let o(z) = -4*z - 38. Let a be o(-12). Let b = 1223.1 - 1224. Which is smaller: b or a?
b
Let l = 410 + -476. Let s = l - -68. Which is greater: 1.68 or s?
s
Let t = -17 - -25. Let q be 134/(-2) + -4 + t. Let a be 14/q - (1 - 56/9). Is 2 <= a?
True
Let w be ((-1)/4)/(1/5). Let z = 713 - 691. Let b be z/(-55)*5/(-4). Is w >= b?
False
Let n(u) = -u**3 + 3*u**2 + 39*u + 37. Let o be n(-1). Which is smaller: 196/61 or o?
o
Suppose -4*w + 3 = -7*w + 3*s, 5*s = 3*w + 5. Suppose -4*j - 105 = -y, w*y + 2*y = j + 231. Which is smaller: y or 119?
y
Let r = -6197 + 4250. Is -1948 < r?
True
Suppose 0 = l - 9 + 14. Let r = -154 + 143. Which is bigger: l or r?
l
Suppose 8*q - 13*q - 15 = 0. Let s be (2 - 94/4)*(-9 + 7). Let l = s + -47. Which is bigger: q or l?
q
Let g be (-2)/13 + (-524)/(-364). Let y be (20 - (-34 - -31)) + -22. Is g >= y?
True
Let h = 38/31 + -4757/62. Let n be (-2)/((8/250)/((-24)/(-20))). Is h equal to n?
False
Suppose l - 5 = 0, -3*r + 2*r - 5*l - 83 = 0. Let i be 0 - 11/(11/r). Suppose -4*a = -8*a + i. Which is smaller: 28 or a?
a
Suppose 5*u + 0*u - 45 = 0. Let h(y) = -5*y + 28. Let p be h(u). Which is bigger: p or -47/3?
-47/3
Suppose 0 = d + 2*d + 45. Suppose -4*g = -5*w + 144, -3*w = 5*g - 29 - 50. Let h = 12 - w. Is d equal to h?
False
Suppose 0 = -r - 4*g + 96, -2*r + 5*r - 260 = 2*g. Let y(w) = 15*w - 183. Suppose 0 = -16*m + 91 + 197. Let n be y(m). Is n greater than r?
False
Suppose 4*h = z - 21, -h = 4*h + 4*z. Let s be (-6)/24 - (-3)/h. Let l = -20.65 + 23.35. Which is bigger: s or l?
l
Let r(x) = -5*x + 2. Let l be r(8). Let q be (-14 - -7) + 155/(-15)*3. Is q less than or equal to l?
True
Let s = -94745/1482 - -1212/19. Is s smaller than 0?
True
Suppose -2*u + 20 = -f, -7*f + 64 = -12*f - 2*u. Let j(c) = -c**2 - 25*c - 9. Let p be j(f). Which is greater: 144 or p?
p
Let v = 36327 - 3233012/89. Which is bigger: v or 2?
2
Suppose 2*q - 2*y = -4, -5*y = -3*q - 16 + 2. Let a(u) = -u**3 + 3*u**2 - 5*u + 2. Let g be a(q). Let z be -1*(-4)/g*1. Is -5/7 at most z?
False
Let p be (3*5/5)/((42/128)/(-7)). Suppose 3*t + 152 = -37. Is t greater than p?
True
Suppose 3 = 2*u + 3*b, 4*u = 4*b - 0 - 4. Suppose 15*p - 59 = -14. Suppose 3*h - 3*t = 0, 0 = h - 3*h + p*t + 3. Which is bigger: h or u?
u
Suppose 0 = 7*g - 13*g + 18. Suppose 4*o - 18 = g*o. Let v be (o/(-16))/(-4 - 75/(-20)). Is 6 < v?
False
Let t be -10*((-2)/(-5))/((-24)/(-210)). Let d(l) = l**3 + 37*l**2 + 68*l - 18. Let f be d(t). Is f greater than 51?
True
Suppose -20*r + 1 = 25*r - 44. Which is smaller: r or 1502?
r
Let w = 0.1137 + -0.2037. Is w smaller than 4/3?
True
Suppose -14*j = -1457 - 531. Is 92 less than or equal to j?
True
Suppose 4*o + 66*c = 61*c + 210, -c = 2. Does 54 = o?
False
Let q = -309 - -302. Let l be (-326 + (-6 - q))*6/(-10). Which is smaller: 194 or l?
194
Suppose 4*u - 5*l + 7 = -8, 3*u + 5*l - 15 = 0. Suppose 9*q - 288 = 19*q + 14*q. Let c be (u*3/q - 0)/(-1). Which is greater: c or -1/5?
c
Let v = -279.01 + 272.01. Which is smaller: v or -826?
-826
Suppose 12*b - 5838 = -62238. Are -4700 and b non-equal?
False
Let r(l) = 72*l**3 - l**2 - 2. Let c(j) = -217*j**3 + 2*j**2 + 6. Let s(g) = -4*c(g) - 11*r(g). Let b be s(-1). Is -74 < b?
False
Let s = 22916 - 22769. Which is greater