2/3?
202/3
Let x = -10376 + 10287. Which is greater: -5 or x?
-5
Let b = 2562 + -2941. Is b bigger than -376?
False
Let p be (-4*4/16 - 60/52)*-2. Do p and 3 have different values?
True
Suppose 16 = -4*d + 4*w, -5*d - 10 = -8*w + 5*w. Let m(t) = -38*t + 345. Let g be m(9). Let k be (-2)/(-10) + (-16)/90*g. Which is greater: d or k?
d
Suppose -12*d + 10*d + 3440 = -0*d. Is 12030/7 > d?
False
Let w = 17/13 + -50/39. Let v(g) = -14*g + 145. Let d(j) = -14*j + 144. Let i(f) = -4*d(f) + 3*v(f). Let x be i(10). Which is greater: x or w?
w
Suppose 0 = -7*o + 12*o + 5. Let g = -75896/29827435 - -2/37145. Which is smaller: g or o?
o
Let j(c) = -2*c + 8. Let v be j(4). Suppose v = 8*g + 30 + 2. Let q be 0 + g + 92/22. Is -1 greater than or equal to q?
False
Let t = 646.877 - 645. Let k = t + -0.077. Are 4 and k equal?
False
Let j(f) = f**3 - 29*f**2 - 60*f - 62. Let o be j(31). Let v(l) = 4*l - 6. Let b be v(-15). Let m = b - -333/5. Is m at most o?
False
Let v = 41528/9 + -4614. Is -5/208 smaller than v?
True
Let u be (-8260684)/23640 + 4 + 2/(-12). Let h = -1728/5 - u. Is 0 at most h?
True
Suppose -2*m + c = -180, -4*m - 4*c + 190 = -2*m. Let a = -38 + m. Let g = -54 + a. Which is smaller: -4/3 or g?
-4/3
Suppose -2*c = -d - 241 - 24, -783 = 3*d - 8*c. Let l(w) = -12*w**2 + 6*w - 6. Let a be l(5). Is a > d?
True
Let c = -40 - -41.2. Let i = -4.8 - c. Let d = i - -7. Which is smaller: d or -1/21?
-1/21
Let o be (-3 - -3)*82/246. Is -1/10405 greater than or equal to o?
False
Let h = -141 + 285/2. Which is smaller: -1/4 or h?
-1/4
Let n(u) be the first derivative of -2*u**3/3 - 3*u**2 + 3*u - 1. Let h be n(-3). Suppose 0 = h*g - 8*g - 50. Are g and -10 non-equal?
False
Let j = 3466.91 + -3465.91. Let n be 1*22/(-4)*4. Which is smaller: n or j?
n
Let x be (-3)/(-6)*(0 - -10). Suppose x*v - 43 = 7. Let u be ((-88)/16)/((-2)/4). Is u less than or equal to v?
False
Let y = -8567 - -8771. Which is bigger: y or 207?
207
Let z(i) = 19*i + 136. Let n be z(-7). Suppose 2*y + 6*y - n*y = 0. Let q be -2*(-1 - (-74)/76). Are q and y non-equal?
True
Let z(k) = -40*k**3 + 13*k**2 - 29*k. Let l be z(2). Which is greater: l or -323?
-323
Let f be 1*(-4 - -1) + (-40)/(-8). Suppose -w - r - 2 = 0, -f*r = 5*w - 4*r + 17. Let o(u) = 6*u**2 - 2*u + 6. Let k be o(w). Is 66 not equal to k?
False
Suppose -b - 4*t - 9 = 0, -b - 18 = -3*b + 4*t. Let a be 579/(-6) + b + (-10)/(-4). Are a and -91 unequal?
False
Let z(m) = -m + 37. Let q be z(34). Suppose -2*x + 429 = 5*o, -5*o - q*x + 5*x = -441. Is o at most 86?
False
Let i be (-5)/((-45)/(-188)) + -2. Let r = 49749 - 49772. Is i at most r?
False
Let k be (-18122)/(-82) + (-36)/4. Do k and -1/17 have the same value?
False
Let d be (-2)/(-9) + (-58)/99. Let b(y) = -17 + y**2 - 26 - 3 + 7*y + 1. Let a be b(4). Which is smaller: d or a?
a
Let k be (-4)/6*-3 - -5. Let d be (-1253)/(-49) - 11 - (26 - 19). Are k and d non-equal?
True
Let g be (-21)/14*4 + (50 - 8)/6. Is -5/567 at least g?
False
Let z(k) = -k**3 - 18*k**2 - 17*k - 8. Let d be 6/(((-15)/5)/(-1)). Suppose 0 = -d*y + 4*j - 50, 3*j + 69 = -5*y - j. Let t be z(y). Which is smaller: t or -1?
t
Let v(x) = 75*x**2 + 87 - 82 - 7*x + 37*x**2. Let r be v(1). Do r and -2 have the same value?
False
Let h = 2126275085145/10127 - 209961004. Let g = 2/779 + h. Which is greater: 2 or g?
2
Suppose -4*n + 2 = 562*v - 559*v, -2*n = -2*v - 22. Which is bigger: 343/5 or n?
343/5
Suppose -d = k - 9, -2*d - 118 = -7*k - 37. Suppose -q = -3 + 4. Let p be q/(4/(-156)*3). Which is greater: p or k?
p
Let h be (-134)/(2*3/(-45)). Which is greater: h or 1007?
1007
Suppose -4*y - 5*s = -16 - 23, 2*y - 6 = 2*s. Let x be (46/(-8) + y)/((-3)/(-12)). Is 1/87 <= x?
True
Let d(f) be the third derivative of -f**6/120 - f**5/6 - 7*f**4/24 + 10*f**3/3 + f**2. Let g = 166 - 175. Let m be d(g). Which is bigger: -1 or m?
m
Let o = -30507 - -30430. Which is bigger: o or -56?
-56
Let n be 58/6 + (-8)/(-6). Suppose -n = 18*y + 25. Which is smaller: y or -1?
y
Let i = 2 - -1. Let v be (-2)/(1*-18)*i. Let q = 302.7 + -303. Is v > q?
True
Let z(r) = -2*r + 1. Let f be z(1). Let w = -20434 + 20388. Which is smaller: f or w?
w
Let i(w) = -w**3 - 3*w**2 + 6*w + 22. Let g be i(-3). Suppose -g*h - 3*t - t - 416 = 0, -h + 5*t = 134. Do -110 and h have different values?
True
Let s be 2/(7 - 15)*154/2739. Which is smaller: -1 or s?
-1
Let h(t) = t**2 - 154*t + 4620. Let o be h(104). Which is smaller: -575 or o?
o
Let b = 565992/23 + -24612. Which is bigger: b or -3?
-3
Let c be ((-2)/(-9))/((-19)/(-171)) - 201. Let l = 200 + c. Which is greater: -7/20 or l?
l
Let k = 7.62 - 3.8. Let r = 3.82 - k. Is -20/9 equal to r?
False
Let x = -2384.26 + 2405. Let z = x - 21. Let s = -53.5 + 53.5. Which is bigger: s or z?
s
Let w be 41/2 - (-34)/(-68). Suppose b + b + 2*s = -10, -3*s = 4*b + w. Which is bigger: 22 or b?
22
Suppose 5*g - 21 = 8*g, -13*s + 2*g = 35801. Is s less than -2754?
True
Let a = -150.7 - -143. Let u = a - -3.7. Let k = -3.84 - u. Which is smaller: k or 2?
k
Suppose 0 = -6*d + d - 55. Let b = -17 - d. Let x be 74/777*7 + 28/(-6). Do b and x have the same value?
False
Let s = -14404 + 14440. Is 38 bigger than s?
True
Let j be (-4)/((-25)/(-15) - 3). Suppose 5*u = -j*u + 16. Suppose u*b = 2*h - 5*h + 21, -4*b = h - 17. Is -0.2 smaller than h?
True
Let v = 4138/47117 - 33/371. Which is smaller: 1 or v?
v
Let o be (5/9)/(28/3136*4). Let a = 41 + -25. Are a and o nonequal?
True
Suppose 4*o - 2 = -h, 5*h - 4*o = -0*h + 34. Let n be h/(-9)*2/4. Let w = -14787 + 14766. Which is bigger: n or w?
n
Let o(d) = 2*d**3 - 10*d - 32. Let c be o(0). Let k be 27/(-2) - 1/2. Let u be 8/k - 412/14. Is u < c?
False
Let u = 278 + -259. Suppose 23*g = u*g + 272. Is g less than 68?
False
Let u = -19.953 - -16.953. Let q = -4.8 + 2.2. Are q and u unequal?
True
Let o be (-42840)/11956 + 52/14. Let m be ((-4)/6)/(4/(-6)). Which is bigger: o or m?
m
Let q = 6973 - 20459/3. Let z = q + -149. Which is greater: 5 or z?
5
Let q = 189 + -184. Let k be -6 + q/((-105)/(-749)). Is 30 less than or equal to k?
False
Let l(m) = -2*m**2 + 4*m + 28. Let w be l(0). Let v = w - 34. Let k(i) = -i**2 - i + 24. Let o be k(v). Which is greater: o or 0?
0
Let i be 1/4 + (-11)/44. Let v(j) = 3*j**3 - 5*j**2 + 4*j - 4. Let d(f) = -2*f**2 + 12*f + 17. Let c be d(7). Let w be v(c). Which is greater: i or w?
w
Let k(p) be the second derivative of -p**5/10 - 5*p**4/2 - 43*p**3/6 + 19*p**2/2 + 207*p. Let j be k(-13). Is j equal to -98?
True
Let q(l) = 287*l - 1635. Let w be q(5). Which is bigger: w or -191?
-191
Let m be 254/920 - 4/16. Let z = 4822 - 4823. Which is bigger: z or m?
m
Let s = 1060 - 705. Let z be (-2)/(-8) + s*5/100. Is z less than or equal to 10?
False
Let j(u) = -2*u**2 + 5*u + 13. Let b(m) = -m - 2. Let w(v) = -6*b(v) - j(v). Let o be w(0). Which is smaller: -9 or o?
-9
Let q = -46 + 58. Let m = q - 29. Is m < -18?
False
Let u be 0*(-8 + 3)/(-20). Let l be 6/(-9)*3 + u. Let k be 1/(0 - (-1 - l)). Is k > -3/77?
False
Let h(n) = n**2 - n - 3. Let x be h(4). Suppose 0 = -2*d - 7*d + x. Is 14/27 less than or equal to d?
True
Let v = -1523 + 1540. Is 31 >= v?
True
Let d = 1712/255 + -322/51. Is d not equal to 5647?
True
Let z be ((-33)/(-165))/(4/30). Is 549 less than z?
False
Suppose 46 + 4 = 3*u - 5*s, -5*u + 5*s + 70 = 0. Let b be 28/(-126) + 178/18. Are b and u equal?
False
Let f = 0.076 + -1.696. Let y = f - -3.62. Is y less than 1.1?
False
Let k = 2.67 + 6.53. Let g = k - 10.4. Let h = -26 + 25. Is h less than or equal to g?
False
Let i = -197 + 1002/5. Let f = -7/58 + -73/116. Which is smaller: f or i?
f
Suppose 80 = d + 7*d. Let a(y) = -y**3 + 6*y**2 + 24*y + 3. Let h be a(d). Let z = 113 + h. Do -87/2 and z have the same value?
False
Let q be 16 + -20 + 4717/4. Which is smaller: q or 1174?
1174
Let a = -96.3 - -105.2. Is a equal to 2?
False
Let j(n) = -3*n**2 + 20*n - 12. Let w be j(6). Is -567 greater than w?
False
Let r(m) = -4*m**2 - 11*m - 2. Let u(c) = -3*c**2 - 7*c - 1. Let k(t) = -5*r(t) + 7*u(t). Let b = -1327 + 1332. Let o be k(b). Is o greater than 8?
False
Let q = -1748.96 + 1749. Let n = -143/2 + 995/14. Is q not equal to n?
True
Let a = 392 - 392. Is a != -0.6465?
True
Let h(k) = -432*k + 8640. Let o be h(20). Which is greater: o o