oes g = 1338?
False
Let i = -525482/765 + 6182/9. Let z = 73/1785 + i. Are -1 and z unequal?
True
Suppose -52 = -4*u - 16. Let k be 1/u - 1940/45. Which is smaller: -41 or k?
k
Let g = -128 + 121. Let y be (-4 + 1)*(2 + -10 - g). Suppose y*l = -l. Which is smaller: -4/63 or l?
-4/63
Let w be 54/4*(-96)/36. Let r = w - -35. Let k(u) = u**2 + u. Let j be k(r). Which is bigger: 2/81 or j?
2/81
Let f be (-9098)/(-33 - -35)*(-5)/((-10)/(-6)). Which is bigger: f or 13646?
f
Let p be (-44)/(-9) - 5 - -155*(-10)/(-5850). Which is smaller: -6.31 or p?
-6.31
Let x be (2/4)/((-17)/(-6)). Let w = -72/119 + x. Let l = -0.06 - 1.94. Which is smaller: l or w?
l
Let k = -158.2 - -23.2. Let p = 116.3 - 326.3. Let j = k - p. Which is smaller: j or -1?
-1
Suppose -2*c - 156 = -4*c. Let d = c + -13. Let b = -1492/23 + d. Which is smaller: b or 0?
0
Let a(r) = r**3 - 12*r**2 + r + 14. Let p be a(12). Let i = 45 - p. Let m = -22 - i. Is m bigger than -40?
False
Let t be 6 + 10/25*-5. Suppose t*k = i, 0 = -i - 2*i. Which is smaller: 5/7 or k?
k
Let l(b) = -14*b**2 + 30*b + 578. Let y be l(31). Which is smaller: y or -11945?
y
Let c(l) = -l**3 + 26*l**2 - 25*l + 7. Let o be c(25). Suppose -87 + o = -5*t. Does t = 16?
True
Suppose -7*n + 18 = -17. Suppose -n*p + 4*b - 26 = 0, -9*p + 4*b = -5*p + 20. Let r be -1 - (p/(-28)*8 + -3). Is 17 not equal to r?
True
Let s be 50/18*8/5. Let c = 5542472/45 - 123160. Let b = c - s. Are 1 and b non-equal?
True
Suppose -p - 3 = 3. Let r be 2 - (0 + (p - 47)). Do r and 55 have the same value?
True
Suppose 5*n = 0, 0 = -5*k - n + 4*n + 20. Suppose -k*v - 2 - 22 = 0. Let r(t) = 2*t + 5. Let z be r(v). Is -9 bigger than z?
False
Let b = 0.07667 + -0.17667. Is 10647 > b?
True
Let n = 0.2549 - -91.7451. Which is greater: n or 0.6?
n
Suppose 5*b - 4 = 3*j - 39, -2*b = 2*j + 14. Let y be ((-25)/3 - b)*12/2. Which is greater: -24 or y?
y
Let r = -37335/4 - -9821. Let c = -487 + r. Is c equal to -6?
False
Let n = 5134/7 - 5167/7. Does 35 = n?
False
Let k(o) = o**2 - 25*o + 176. Suppose 3*w + 376 - 430 = 0. Let c be k(w). Which is greater: c or 51?
51
Suppose 20117 = 5*b + 3*u, -326*u = -4*b - 324*u + 16076. Which is bigger: b or 4020?
b
Let v(y) = -y - 1. Let h be v(4). Let m(d) = 192*d + 98. Let j be m(-6). Let a = -5296/5 - j. Are h and a nonequal?
True
Let o = 38.2 + -38.23. Which is bigger: o or 18.9?
18.9
Let l be 17 - ((-8750)/20)/(-25). Which is smaller: l or -3/821?
l
Let g be 30/(-36) - (-27)/(-162). Does -16/37 = g?
False
Suppose -4*t = -2*b + 375 - 367, -4*b + t = -2. Which is smaller: 4/3989 or b?
b
Let h be (-1)/((-3)/93 + 0). Suppose -5*r + h + 19 = 0. Let x be (r/(-40))/((-1)/4). Which is greater: -2/23 or x?
x
Let o = 2267 + -2198. Is 69 less than or equal to o?
True
Let s be ((-18)/(-9) + 24)*(-1)/(-2). Suppose -s*u + 260 - 65 = 0. Suppose -2*n - 58 = -4*r, -15 - 36 = -4*r - 5*n. Which is smaller: r or u?
r
Let d = 7527 + -188151/25. Which is smaller: d or 1?
d
Let m = 2 - 1. Let r = 336.811 - 333.9. Let j = r - -0.789. Is j at most m?
False
Let x be (43328/21660 + -2)/(5/(-25)). Let q be ((-1)/(-114))/((-1938)/(-52392)). Let r = x + q. Which is smaller: r or 0?
0
Suppose -10818 + 1773 = 9*p. Which is bigger: -1007 or p?
p
Let y(o) = -o**2 - 16*o + 65. Let s = -337 + 326. Let w be y(s). Which is smaller: 121 or w?
w
Let r be (-7 - 40 - -8)/((-3096)/(-32)). Which is smaller: -1 or r?
-1
Let s(t) = -3*t**2 + 18*t + 56. Let h(l) = -2*l**2 + 19*l + 56. Let f(b) = -4*h(b) + 3*s(b). Let j be f(-22). Which is bigger: j or -169/3?
j
Suppose 36789 = -10*i + 3079. Which is smaller: i or -3370?
i
Let h = -1595/7 + 84486/371. Let u(n) = n**2 - 6*n + 1. Let t be u(6). Which is greater: h or t?
t
Suppose -22*z - 144 = -10*z. Which is smaller: z or -7?
z
Let f be (-1 - -2) + (-4)/(-12)*-21. Let n be 2*21*f/(-18). Let t be 188/n + 4/7. Is t at least 10?
True
Let d = -10370 + 10370. Let o be (-3*(-4)/(-30))/((-956)/10). Is o bigger than d?
True
Let g = 85/212 - 8/53. Which is smaller: 1/1411 or g?
1/1411
Let j = 121 + -178. Let q be ((-3)/(-6))/1 - 54/(-12). Let v be q + -4 + j/51. Which is bigger: -1 or v?
v
Suppose 2*y + 760 = -4*q, y - 5 + 377 = -4*q. Do -382 and y have the same value?
False
Let w = 0.0336 + 287.9664. Let x = w - 272.9. Let d = x + -15. Which is greater: d or 0.4?
0.4
Let t = -14637 - -132017/9. Is t >= 32?
False
Suppose 0 = 10*m - m + 54000. Let n = 281990/47 + m. Do 1 and n have the same value?
False
Let s = 1475 + -1818.08. Let r = s - -344. Which is smaller: r or -2?
-2
Let f = 1000.1 + -1000. Let c = -19 - -9. Let t = c - -10.01. Which is greater: f or t?
f
Let u be (1682/(-87))/(3 - 1322/442). Which is smaller: u or -2135?
u
Let z be (3/(-2))/(-3) - 454/908. Is z smaller than -2/583?
False
Let o be (26/5)/((-1826)/1958737). Let s = o + 5578. Which is smaller: 1 or s?
s
Let i(v) = -v**3 + 2*v**2 - 2*v - 9. Let l be i(-3). Let j(y) = -y - 45. Let h be j(0). Let d = h + l. Is -17/4 bigger than d?
False
Let q = -2329.69 + 2330. Let t = -158309/33 + 4798. Let p = -1/11 + t. Which is smaller: p or q?
q
Suppose 4*p - 6 = 3*s, -5*p + s = 2*s + 2. Let d be (-1 + (16/4 - 4))*p. Which is smaller: d or 6/31?
d
Let s(q) be the first derivative of -4*q**2 - 14 - 1 + 4*q**2 - q**2 + 20*q. Let k be s(10). Is 2/17 bigger than k?
True
Let t(r) = -r**3 + 13*r**2 - 71*r - 1579. Let x be t(-15). Do 5783 and x have the same value?
False
Let r = -43 - -43. Suppose 8*x + 16 = 4*x, r = -4*a + 5*x + 120. Let z = -17 + a. Is 10 <= z?
False
Suppose -3*n + 542 = -133. Let u(o) = 1211*o - 14307. Let a be u(12). Is a greater than n?
False
Let w = -8 + -29. Let v = w - -103/3. Which is smaller: -3 or v?
-3
Let r(o) = 6*o - 85. Let d be (-21)/((-36)/(-8) - 6). Let l be r(d). Is 235 >= l?
True
Let s(p) = -2*p**2 + 5. Let f be (-1)/3 - 2/(-6 - 0). Let b be s(f). Suppose -5*i = b*z + 25, -3*i + 3 = -0*i - 3*z. Is -10/17 at most as big as i?
False
Let j = 30030 - 47033. Is j < -17002?
True
Let m be (21/(-28) - 3/12) + 221. Suppose -213*x + 203 = -m*x. Is 1 greater than x?
True
Suppose 0 = 74*t - 27*t - 98 + 239. Which is bigger: t or 163?
163
Let r = -4 - -1. Let y(n) = -2*n**2 - 6*n + 1. Let p be y(r). Which is smaller: -0.34 or p?
-0.34
Let m = -337801/6 - -56504. Does m = 204?
False
Let m(h) = -3*h - 19. Let j be (3 + -4 + -3)*(-63)/(-28). Let n be m(j). Suppose -3*q + n = -5*q, -12 = 3*u - 3*q. Is -7 != u?
True
Let y = 2662 + -8172. Let w be y/(-1836) + 1 + (-8)/2. Is 0 at most w?
True
Let v = 0.02789 + 0.27211. Let w = -0.08 - -0.68. Let k = w - 0.8. Do k and v have different values?
True
Let k = -92 - -143. Let d = k - 103. Is d smaller than -49?
True
Let g = -1736 + 728. Let m be 1/(-3) - g/(-54). Which is smaller: m or -17?
m
Let m be (28/35)/(-4) - 302/(-10). Let r be (m/25)/(6/(-15)) + 31. Is r < 26?
False
Let v be 4 - 7/((-357)/(-28964)). Let a = 564 + v. Which is greater: 0 or a?
a
Let s be 1504/8 - (-3)/((-3)/(-4)). Let b = 282 - s. Let n be (8/20)/(6/b). Which is smaller: 14 or n?
n
Let z be (-2511)/2*(-34)/51. Which is greater: 836 or z?
z
Suppose 25*v - 3672 = 7*v. Let b be 16/v*(-30)/(-40). Does b = 2?
False
Suppose 3*d - 5 = 34. Let m = 214 + -212. Suppose 0 = m*p - t - 28, -13 + 62 = 3*p + 2*t. Is d greater than or equal to p?
False
Suppose 3*r + 290 = 4*x - 722, 0 = 2*r. Suppose -x = -8*q + 227. Which is bigger: q or 178/3?
q
Let d = 617 + -617. Suppose d = o + 31*o - 2592. Which is greater: o or 80?
o
Suppose -2*p + 4*b + 115 = -197, -2*p + 340 = 3*b. Suppose -538 = 6*i + p. Is -117 at most i?
True
Let i(h) = 14*h - 108. Let c be i(8). Suppose -c*k + 189 = 177. Is k at least as big as 1?
True
Suppose 3*l = -4*f + 4048, -3*f + 3047 = -189*l + 194*l. Which is smaller: f or 1011?
f
Let t be 14/1490*(-388)/1358. Is 1 != t?
True
Let c(g) = -g**3 - 9*g**2 + 31*g - 1. Let q = -3 + -11. Let w be c(q). Let p = 27796/51 - w. Is 1 not equal to p?
True
Let c = 1 + -2. Let x = -74768 - -74793. Is x greater than c?
True
Let y = 25 - 67. Let l = 54 + y. Let m = l + -11. Which is bigger: m or 0.28?
m
Let q be (3 - 0)*(-2)/3. Suppose -2*g - 93 = -3*m + 52, 3*g - 12 = 0. Suppose -13*k - m = 4*k. Which is bigger: q or k?
q
Let j be (-30)/(-4)*((-3)/60)/(-1). Suppose 7*x - 3*x = -z - 7, 5*x - 3*z - 4 = 0. Is j >= x?
True
Suppose 0 = -5*n + s + 4 