 6*w - 3*w - 6. Does w = -1/112?
False
Let s be 4*((-7)/(-2))/7. Suppose -2*z + 27 - 4 = -h, 0 = s*z + 2*h - 20. Let w(g) = -g**2 + 12*g - 7. Let u be w(z). Which is bigger: u or 42/13?
u
Let w = 1.07 + -0.9. Let x = 123773/5 - 24755. Does w = x?
False
Let l(r) = 2*r**3 + 192*r**2 + 6*r + 165. Let p be l(-96). Is p > -414?
True
Let t = 121 - 120. Let m be (-50 + 52)*t/2. Which is greater: -6/169 or m?
m
Let q = -448.627 + -0.373. Let s = q + 448.971. Which is smaller: s or 0.1?
s
Let j = 85475/13817 + -254/41. Which is bigger: j or -1?
j
Suppose -3*p = 459 - 567. Let m be p/(-28)*((-12)/(-4))/(-18). Which is smaller: m or -1?
-1
Let j(w) = -4*w**3 + w**2 - 1. Let q be j(1). Is -17 greater than q?
False
Let l be (-39)/26*20/(-6). Suppose w - l*t = 2*w - 9, -w = -3*t + 23. Is 0 greater than w?
True
Let t be (-36)/20*-2 + -3. Let z(q) = -47*q + 2150. Let c be z(46). Which is bigger: t or c?
t
Let d = -7/3582 + 3442337/17910. Which is bigger: d or 191?
d
Let k be (175/64050)/(42/(-8)). Is 1 > k?
True
Let d(x) = -12*x + 9. Suppose 0 = 20*w - 92 + 112. Let f be d(w). Which is smaller: -3/10 or f?
-3/10
Let f be 30/9*9/6. Let c be f/20 - (-1)/2. Suppose -q - 2 = q. Which is bigger: q or c?
c
Let j be -7 - (-10124 - 29)/(-2 + -1 + 2). Do j and -10160 have the same value?
True
Let u = 9.963 + -7.016. Let r = u + 0.053. Let k = -0.3 - -0.4. Which is smaller: r or k?
k
Suppose -686 = 10*x - 2366. Let y be 1*3/(-6)*x/2. Let m = -44 - y. Which is smaller: -17 or m?
-17
Let c = -1417/1090857593 - 249067122534571/2261306337700466. Let m = 1/19018 + c. Which is greater: 1 or m?
1
Let h(q) = 6*q - 36. Let l be 7*2/(-4)*(-9 - -7). Let v be h(l). Suppose 7 = -3*s + w, -4*s - 3*w - v + 1 = 0. Is s != -9/8?
True
Let p = -39/70 + 6/7. Let n = 22255 + -22254. Is p smaller than n?
True
Let i = 193193 - 772767/4. Let a(g) = 3*g**2 + 2*g + 11. Let d(k) = -k**2 - k - 4. Let h(p) = -4*a(p) - 11*d(p). Let m be h(3). Is m less than or equal to i?
True
Let c(d) = 8. Let p(o) = -o - 10. Let k(m) = 2*c(m) + 3*p(m). Let a(n) = 4*n + 15. Let x(w) = -3*a(w) - 2*k(w). Let b be x(-3). Are -1 and b unequal?
True
Let r = -367 - -353. Let h = 0.65 + -14.81. Let t = h - r. Is 0.1 at least as big as t?
True
Let x be (-6 - 78/(-18))*1*-1. Let b(v) = -13*v + 34. Let z be b(16). Let f be 2/(-9) + (-4)/(216/z). Which is bigger: x or f?
f
Let a = -30.1117 - -0.1367. Let y = a + 29. Let k = y - 0.025. Which is bigger: 3/13 or k?
3/13
Let z(n) = 3*n**2 - 13*n + 22. Let r be z(13). Let p be ((-20)/(-6))/((-16)/r). Let x be (-132)/p*(1 + -6). Do -10 and x have the same value?
False
Let m(v) = 292*v**2 - 294*v**2 + 1 + 0 - 416*v**3. Let d be m(-1). Let h = -1683/4 + d. Is -5 != h?
True
Suppose 0 = 280*o - 243*o - 37. Which is bigger: 5/1719 or o?
o
Let d = -178 - -56. Let q = d + 77. Let y = q + 45. Which is smaller: y or -7/6?
-7/6
Let f = 60 + -69. Let h = f - -7. Let a = -5/37 + -187/259. Which is smaller: h or a?
h
Let f(h) = h**2 - 16*h + 33. Let u be f(14). Suppose -u*x + 6*x - 337 = -3*y, -3*y + 331 = 4*x. Is 113 <= y?
True
Let h = -0.8 - -2.8. Let k = -58.17 + -3.23. Let q = 65 + k. Is h bigger than q?
False
Let q(j) = j**3 + 27*j**2 - 27*j + 30. Let s be q(-28). Suppose 3*t = 4*u - 33, 3*u - 17 - 7 = s*t. Is -5 less than or equal to u?
True
Suppose 11 = -g + 7. Let j be (-400)/(-1344) - (-1)/g. Is 0.2 at least as big as j?
True
Let h(m) = 6*m**3 + 58*m**2 - m - 4. Let j be h(-11). Are j and -959 nonequal?
True
Let o be 16 + -17 + 12/13. Let b(x) = x**2 - 6*x + 6. Let z be b(5). Suppose s - 11 = 3*l - 8*l, z = -5*s + 3*l. Which is smaller: s or o?
o
Let d = -315.331 + 315.31. Do d and 5/9 have the same value?
False
Let o be (71 + 13)/(-6) + -11. Which is greater: -21 or o?
-21
Let m be 2 + (-1 - -2) + 102/17. Suppose -12*l + 17*l = 25. Suppose -18 = -8*a + l*a. Which is smaller: a or m?
a
Let v be -1*4/16*-9. Suppose 0 = -4*u - 0 + 16. Let m be -4 + -9 + u + 10. Is m != v?
True
Suppose 14*v + 20501 - 20305 = 0. Which is greater: v or -123/8?
v
Let v(f) = -3*f**2 - 5. Let y(p) = p**2. Let l(s) = v(s) - 2*y(s). Let m be l(-2). Let w be 4/(-6) - m/24. Which is greater: w or 1?
1
Suppose -3 = -5*d - 3*p, 4 - 5 = -p. Suppose d*u = -4*u + j - 53, 3*u + 51 = 3*j. Which is bigger: u or -13?
u
Suppose 30*q + 9*q + 328 = 289. Is 2/50453 > q?
True
Let v = -339 + 235. Let y = v - -112. Suppose -y*g + 7 = 7. Which is smaller: g or 1/14?
g
Suppose 8*s = 4*p + 3*s + 20, -s + 4 = -p. Suppose p = -5*l - 5*g - 90, 0 = 5*g + 8 + 2. Let t = 6635 - 6650. Which is bigger: l or t?
t
Let u(z) = z - 1. Let p be u(7). Let j = -6/433 - -1762/2165. Is p at most as big as j?
False
Let d be 50 - ((-18)/42 - 48/(-14)). Let b = -40 + d. Let y = b + -37/5. Is -0.27 > y?
True
Suppose 2*q + 12*x = 7*x + 13, -q + 8 = 3*x. Let a be (q - 2)/((-1)/25). Let g be (-242)/(-434) + a/(-175). Which is smaller: 0 or g?
0
Let s = 0.08896 + 0.21104. Which is smaller: s or -4/191?
-4/191
Let a = -746 + 778.9. Let b = 7595 - 7562. Let c = a - b. Is -11 at least as big as c?
False
Let r = 251 - 269. Let a be 934/6 - (-13)/(351/r). Is a > 155?
False
Let s(h) = 4*h**2 + 66*h - 30. Let m be s(6). Is m bigger than 513?
False
Let j = -8747 + 8847. Which is bigger: j or 143?
143
Let q = -11 - -14. Suppose 4*g + 3*x + 8 = 5*g, -4 = q*g + 5*x. Suppose -50 = g*k - 26. Is -12 at least k?
True
Let l(s) = 40*s - 102. Let x be l(4). Is 341/6 at most as big as x?
True
Let w = -44 - -8. Let t be (w/4)/((-7)/(-14)). Is t less than or equal to -19?
False
Let u = 895.77 - 790. Let z = u + -106. Which is bigger: -2 or z?
z
Let h(b) = b**3 + 6*b**2 - 5*b + 8. Let p be h(4). Let v be 2 - -78*(-4)/p. Let l be -4 + -12*5/(-15). Is l at most v?
False
Let h(i) = 2*i**2 - 22*i + 19. Let r(d) = 7*d**2 - 18 + 21*d - 19*d**2 + 10*d**2. Let u(q) = -5*h(q) - 6*r(q). Let g be u(7). Which is smaller: g or 7/13?
g
Suppose -3*t - 16 = -2*u + 5, -5*t + 2*u = 31. Let k be (t + (-256)/(-24))/(1/3). Suppose -4*r + r = -p + 30, 5*p - 74 = -4*r. Is p at most k?
False
Let z = -2707 + 2436. Let o(l) = 51*l - 17. Let n be o(-5). Which is bigger: n or z?
z
Let u = -1173 + 1183. Is u at most as big as 8?
False
Suppose 11*z - 222 = -211. Which is smaller: z or -211?
-211
Suppose -15*s + 11*s + 3*h - 7 = 0, -4*s = 3*h + 1. Let d be ((-2)/4)/(2/(-8)). Let l be ((-27)/(-342))/(s/d). Which is smaller: l or -1?
-1
Let c be (832/182)/(4/42). Let x = c + -13. Which is bigger: 5 or x?
x
Suppose 4*a = -62 - 66. Let o = -34 - a. Let g(b) = b + 9. Let l be g(-8). Do o and l have the same value?
False
Let q = -12307 - -307681/25. Which is greater: 18 or q?
18
Suppose 28*s + 14283 = -2405. Let n = s + 6553/11. Suppose -3*h - 3*v = 9, -7*h + 4*h + 2*v = -6. Is n greater than h?
False
Let t = -1489/5540 - -26/1385. Which is greater: 6/1451 or t?
6/1451
Let v = 2993.98122 - -0.01878. Do v and -1 have different values?
True
Let g(c) = -c**2 + 22*c - 959. Let t be g(59). Which is smaller: t or -3141?
t
Let z(y) = y**2 + 35*y. Let v be z(-5). Let k be (-10)/v + 2/(-5). Which is greater: k or 213?
213
Let f be ((-56)/6)/((-10)/(-6)). Let n = -206/35 - f. Let r(a) = 136*a + 409. Let z be r(-3). Is n >= z?
False
Let v = 0.1 - 2.1. Let k = 19.05 + -13.14. Let r = k + -7.61. Which is smaller: v or r?
v
Suppose -34689 = 119*c - 14498 + 78222. Which is greater: c or -4137/5?
c
Let g be (-30 - -29)/((-54 + -1)*253). Let h = -1182791/222640 + g. Which is greater: h or -6?
h
Let b(a) = -20*a - 2 + 32*a**2 - 14*a**2 + 23*a. Let n be b(-2). Suppose 0 = w + 2*t - 58, 4*w + 5*t - 174 = n. Is 62 greater than w?
False
Suppose 27 = -15*s + 6*s. Let l be (-20)/(-3) + (-1)/s. Suppose 0 = l*b + 125 - 34. Is b at most -12?
True
Let b(l) = -5*l**3 + l**2 - 6*l + 1. Let i be b(3). Let k = i - -141. Is -8/15 at least as big as k?
True
Let j = 8342 - 8347. Which is smaller: j or -774?
-774
Suppose 2*q + 4*d - 498 = q, -q = 5*d - 495. Suppose -524 = -s + 5*v, -4*v + 2891 = 4*s + 867. Which is bigger: s or q?
q
Suppose -9*p - 1188 = -738. Let u(n) = 5*n + 13. Let f be u(-12). Which is smaller: f or p?
p
Suppose -24*x + 47*x - 6*x - 187 = 0. Which is bigger: x or -72/13?
x
Let h be 2/56*(-1 + -5). Let k = 6.871 - 4.871. Which is bigger: k or h?
k
Let l be (4066/8)/(54/(-48) + 2). Is 580 < l?
True
Let s = -26.8 - -0.8. Let p 