t least z?
True
Let f = -11621 - -13082. Do 1463 and f have different values?
True
Let w(d) = -d**3 + 4*d**2 - 6*d. Let o be w(4). Let h be 2/6 - (6 + (-1760)/o). Which is smaller: -80 or h?
-80
Suppose 5*v = -5*g + 15, -18*g = 4*v - 22*g - 52. Let z = 16 - 4. Let y = -5 + z. Is y at most v?
True
Let n = 454.096 - 454. Let s = -0.104 - n. Which is bigger: s or 218?
218
Let q(t) = -17*t**2 + 1792*t - 70. Let k be q(107). Which is smaller: k or -2956?
k
Let w(y) = -3*y**3 + 27*y**2 - 17*y - 58. Let j be w(8). Is j bigger than -1866?
True
Suppose 4*v - 6*v = 2. Let u = 2/117421 - -77028158/1056789. Let h = u - 11140/153. Is v at most h?
True
Let h(n) be the second derivative of -n**3/3 + 13*n**2/2 - 3*n. Suppose 2*g - 11 = m + 6, -g - 4*m = 14. Let v be h(g). Which is bigger: -2/169 or v?
v
Suppose -g = 3*y - 7 - 0, -2*g = -4*y + 6. Let b be -12 + 2 - 0/(-2 - y). Let k be ((-2)/3*-2)/(b/12). Which is greater: k or -3?
k
Let a = 15759 + -1055819/67. Is a less than 0?
False
Let l = 6000 + -3412. Which is smaller: 2589 or l?
l
Let q be 0 - (-9 - (-6 + (-1)/((-5)/(-10)))). Which is smaller: 1/512 or q?
1/512
Let f be 24/(-108) + ((-45582)/(-205362) - 0). Is f bigger than 0?
False
Let r be 23*34/5083 + 1015/247. Which is bigger: 3 or r?
r
Let n = -868 - 38. Let b = 796 + n. Is b equal to -110?
True
Let z = -69 + 73. Suppose 35 = -m + z. Let l = 29 + m. Which is smaller: l or 2/37?
l
Let a = -11 - -16. Suppose 0 = 2*i - t + 5*t, 5*i = -t. Suppose -a*o - o - 66 = i. Which is smaller: o or -7?
o
Suppose -3*l + 2204 = -16*k + 11*k, -4*l + 2920 = -2*k. Which is smaller: l or 724?
724
Let t = -2268 + 13609/6. Let p be (-1 - -5)/(-1) + 9/3. Is t at least as big as p?
True
Let z be (-46 - -1)*((-4012)/170 + 20). Is z != 192?
True
Let m be (-36)/(-30)*2550/(-8). Let o(h) = -2*h**3 - 5*h**2 + 8*h + 5. Let u be o(-7). Let d = u + m. Which is smaller: d or 7?
7
Let x = -341 - -349. Suppose -x*g + 62 = -6*g. Is g greater than or equal to 22?
True
Let s be ((-1)/(-3)*0)/(-1). Suppose 3*c - 3 = -s*c. Let t(h) = -3*h**3 + 5*h**2 + 4*h - 1. Let z be t(-1). Is z at least as big as c?
True
Let m = -0.019 - -9.719. Let z = -734 + 743. Let v = m - z. Which is bigger: v or -0.1?
v
Let i(v) = v**3 - 6*v**2 + 7*v - 5. Let z be i(5). Let a = 1498 - 1494. Suppose -2*p + a*p - 15 = o, -z*p = -o - 30. Is 5 less than p?
False
Let y be -3*((-1)/(-14))/((-21)/1823863110). Let c = -18612777 + y. Let j = -1929 - c. Is j < 1?
True
Let k be 834/(-10)*2925/65. Let x be (-11313)/k - (0 + 3). Which is greater: x or 0?
x
Let h be (-66)/(-24) - 2 - 111/156. Suppose 71 - 146 = -5*b. Suppose 14*n + b - 1 = 0. Is h bigger than n?
True
Let q(w) = 2*w - 12. Let g(r) = -r**3 + 14*r**2 - 14*r + 29. Let b be g(13). Let p be q(b). Let h be p/5 + (-3)/(-1). Is h bigger than 9?
False
Let c = 416/19 - 22. Let y be (2*6/4)/(3 - 2). Let q be -8 - -16 - (7 - 3) - y. Is c <= q?
True
Let i be (17/34)/((-2)/(-40)). Suppose 3*v - 42 = 5*v. Let c = i + v. Which is bigger: -10 or c?
-10
Let g = -0.02 + -8.18. Let u = g - -5.6. Let y = u + 0.6. Is -4/5 greater than or equal to y?
True
Let q(w) = w**3 + 6*w**2 - 14*w - 21. Let y(s) = 2*s**3 + 12*s**2 - 27*s - 41. Let o(t) = -5*q(t) + 3*y(t). Let c be o(-7). Is 10 at most c?
True
Suppose -3*j - 4*b = -588, j + 86 - 282 = 4*b. Which is bigger: 193 or j?
j
Let y = -169845.887 - -169953. Let u = y - 107. Let p = -0.013 + u. Which is bigger: p or -11?
p
Let y = -8753 + 378. Which is smaller: y or -8377?
-8377
Let w = 4774/254241 + -8/369. Is 2/3 bigger than w?
True
Let h = -47702 - -47889. Let j = 593 + -404. Which is smaller: j or h?
h
Let r be (-2)/(-6) + (-721)/273. Suppose -5*g - 23 = h, h - 10 = 5*g + 17. Suppose -4*v + 12 = -2*y - h*v, -2*y - 7 = -v. Is r < y?
True
Let f = -0.19 - 5.81. Let c = -5 + f. Let y = 786 - 5500/7. Which is greater: c or y?
y
Suppose 6*r - 2*t = -73476, 3*t - 16921 = 4*r + 32048. Which is greater: r or -12247?
-12247
Let l = 1321/7 + -189. Let q be 3468/(-14) + (-66750)/15575. Is q smaller than l?
True
Let c = -14564/23 + 633. Let y(l) = -l**3 - 2*l**2 + 9*l + 3. Let n be y(-4). Which is smaller: c or n?
n
Suppose 0 = 2*y + 3 + 5. Let v = 11 + y. Let a be (-1 - (-5)/v) + 4416/3696. Is a >= 1?
False
Suppose 5*u + 93 = -4*y, 0 = -3*y - 4*u - 19 - 51. Suppose -3*r - 15 = -3*g, -25*r - 5 = -20*r. Are y and g non-equal?
True
Let t be 172/732 - (-2)/(-6). Suppose -20 = 4*z - 4*u, 6 + 19 = -3*z + 5*u. Which is smaller: z or t?
t
Let a = 5665 - 15162. Which is greater: -9495 or a?
-9495
Let w(g) = -2*g**2 - 2*g + 1. Let y be w(-2). Let k(n) = 48*n - 416. Let q(t) = -10*t + 83. Let z(o) = 3*k(o) + 14*q(o). Let f be z(21). Is f greater than y?
True
Let g be (-23)/6 + (-23)/138. Let n be g - 11/((-55)/10). Let d be 0 - 1*(-32)/(-10). Which is bigger: n or d?
n
Suppose -3*h = -0*h + 5*t - 623, -4*h = -2*t - 796. Let s be (100/h)/5*18/(-12). Are s and 0 equal?
False
Let x be (-240)/45*(-93)/(-2). Let g = -243 - x. Which is smaller: g or 47/9?
g
Suppose 5*a = 3*k - 46, 2*k - k + 2*a = -3. Suppose -4*v - i + 18 = 0, 3*i - k*i = 4*v - 12. Which is greater: 3 or v?
v
Let n = -0.14304 - -0.04304. Which is smaller: 0.908 or n?
n
Let q be (45/54 - 7/(-6))*1. Suppose -297 = -11*j + 143. Which is smaller: j or q?
q
Let g(j) = j**3 - 8*j**2 - 10*j - 7. Let y be g(9). Let z be 2722/(-235)*8/y. Let x = -2/235 - z. Which is smaller: x or -6?
-6
Let w be ((-12)/(-10))/((-6)/(-20)) - 2. Suppose 5*p = w*p + 24. Let c = p - 9. Which is bigger: 2/5 or c?
2/5
Let s be (-1 + 4/((-120)/(-27)))/(165/(-330)). Which is bigger: s or 1337?
1337
Let q = -15.75 + -0.25. Let c = 27 + q. Let x = 11 - c. Is x smaller than 1/4?
True
Let k(m) = m**2 + 12*m + 16. Let o be k(-2). Let i be (-3 + (-356)/(-112))*o/(-30). Let z(a) = a**2 - 7*a. Let w be z(7). Which is smaller: i or w?
w
Let i = -76 - -38. Let a be i/210 + 25/125. Which is greater: 0 or a?
a
Let o(d) = d**2 - 90*d - 1506. Let r be o(-14). Is r < -54?
False
Let o = -213 + 124. Let c = 17.6 + 73.4. Let m = o + c. Which is smaller: m or 7?
m
Let p(w) = -w**2 - 17*w + 221. Let j be p(-25). Suppose -17739 = j*d + 6*d. Is d not equal to -657?
False
Let g = 725 + -725. Let k = 16 - 32. Let w be ((-1)/4)/((-108)/k). Which is greater: w or g?
g
Let q = -0.28 - -4.28. Let s = -61 + q. Let m = -57 - s. Is 21 > m?
True
Suppose 147*d + 57346 = 25*d - 26834. Is -692 < d?
True
Suppose -153984 = 13*o + o + 50*o. Are -2407 and o nonequal?
True
Let y be (-17)/7*91/624. Let r = y + -691/48. Which is greater: r or -16?
r
Let p be (-122)/(-126) - (8 - (-1)/((-7)/14)). Which is bigger: p or -4?
-4
Let m be (-22624)/1323 + 1*2/7. Let p = m - -824972/49059. Let c = 5495/39974 - p. Which is greater: -1 or c?
c
Suppose 5*t - 16*t + 495 = 0. Let n be (0 - 1098/t)/(12/15). Are -30 and n unequal?
True
Let w(h) = -457*h + 6111. Let r be w(23). Is -4399 greater than r?
True
Let h = 0.76 - -0.319. Let s = h - 0.279. Is s at most as big as -1?
False
Let n(b) = 1383*b + 4473. Let v be n(-3). Is v at least 313?
True
Let s be ((-7)/1)/1 - (-2 + 1). Let r be -1 + s + 5 + 101. Is 100 less than or equal to r?
False
Let q(o) = -o**3 - 3*o**2 + 12*o - 12. Let c be q(-6). Let h = 31 - 36. Which is greater: h or c?
c
Let h = -123/26818 + -6/253. Let s = 20392 - 20392. Which is greater: s or h?
s
Suppose -705 = -10*s - 346 - 349. Is s not equal to -17/192?
True
Let b be (-2)/10 - (-3)/(-35). Let u = -825.33 - -600.33. Is u > b?
False
Let r = -92 - -88. Let z be (-2)/4*-16*(-2)/r. Let t(y) = y**3 + y**2 + 2. Let v be t(0). Which is bigger: v or z?
z
Suppose -73*a + 36936 = -77*a. Let d be 1463/a - 2/(-12). Is d equal to 0?
False
Let n be (-4 + 1209/3)*((-20)/3 + 3). Which is greater: -1459 or n?
-1459
Let a(o) = -4*o**3 + 243*o**2 - 157*o - 117. Let v be a(60). Which is bigger: v or 1258?
v
Let d = -11145 - -11145. Suppose 5*f = 5*l + 1125, 2*f - 221 - 229 = -3*l. Let j be 5/(f/96) - 2. Do d and j have the same value?
False
Let i(c) = -c**3 + 30*c**2 + 62*c - 18. Let x be i(32). Suppose 2*n = 2*m - 6*m - 328, 0 = 3*n + 6. Is m equal to x?
False
Suppose -15*t + 13*t + 8 = 0. Suppose a + 47 = 5*c, 3*c - t*c + 25 = 5*a. Let f be (-1)/(c/96)*(43 + -48). Is f not equal to 49?
True
Suppose 0 = -3*n + n + 8. Suppose n*m - 39 = 3*m. Let q be 2/60*52/m. Which is greater