(13). Is z bigger than d?
True
Suppose 93 - 109 = -2*g. Suppose -27 = 2*w + 5*p, -3*w + 2*p - 3*p = g. Do w and -1/186 have the same value?
False
Suppose -11 = 3*t - 2. Suppose -w + 1 = -1. Let l be (2 - (w + -1))/(-1). Which is greater: l or t?
l
Let b = -13703 - -13423. Which is smaller: -0.4 or b?
b
Let a = -116 + 132. Suppose a*m + 29 - 29 = 0. Let v be ((-6)/(-9))/((-8)/(-180)). Which is greater: m or v?
v
Let d be -4 + (-6 - (-100)/10). Is d equal to -42/565?
False
Suppose 50*t - 46*t - 16 = 0. Suppose -t*l - 17 = 155. Let q be (-12)/(-54) + (l/9)/(-1). Which is smaller: 3 or q?
3
Suppose 5*x + 384 = 3*a, 5*x + 119 = 4*a - 393. Which is smaller: a or 127?
127
Let u be -2*-3*(-8)/(-16). Suppose u*o - 3*p + 0*p - 9 = 0, 2*o - 4*p - 12 = 0. Which is bigger: -22 or o?
o
Let g = 10.8 - 10.739. Is 12/17 greater than g?
True
Let j be (-52)/(12 + (-780)/66). Which is smaller: -2277/8 or j?
j
Let j be 32/2160*15*(-6 - 0)*1. Suppose -h + 1 = -2. Suppose -6 = -k + h*i, -2*k = -5*i + 5 - 15. Which is smaller: k or j?
j
Let z(k) = 2*k**3 - 2*k**2 - 4*k + 7. Let w be z(2). Let m be w + -3 - (-44)/(-7). Let g be 21/7 - (1 + 3). Is g bigger than m?
True
Let b = 3595 + -3792. Is -195 greater than or equal to b?
True
Let k = -118 - -165. Suppose -q + 44 = k. Let y be (-3)/((-3)/(-192)*q). Is y less than 64?
False
Suppose -5*l - 1294 = 2*t, -t + 1291 = -5*l - 4*t. Let j be (-990)/(-13) - (-40)/l. Is 76 bigger than j?
False
Let s = -93 + 93.99. Let k = -3.003 + -0.007. Let j = k - s. Is -2/3 < j?
False
Let k = -63/100 - -3/100. Let f(b) = -b**3 - 5*b**2 + 66*b. Let l be f(0). Which is smaller: l or k?
k
Suppose 16 = 2*b - 2*v, 0*b - 14 = -3*b + v. Let c be 68*(b/(-12) - -1). Suppose y + 4*o + 1 = 25, -5*y = -3*o - c. Which is bigger: 6 or y?
y
Let l = -0.028 + -3956.972. Is l at least -1/2?
False
Let w = 69 + -102. Let x = -48 + 14. Let i = x - w. Which is smaller: -0.027 or i?
i
Let x(n) be the third derivative of n**5/15 - n**4/2 + 17*n**3/3 + 134*n**2. Let g be x(9). Is 250 smaller than g?
False
Let x(r) be the first derivative of 3*r**2/2 - 58*r - 49. Let f be x(21). Which is greater: 14 or f?
14
Let i = 15731 - 15715. Do i and 25 have different values?
True
Let w = -94/999 + -855391/7992. Which is smaller: -108 or w?
-108
Let p = 2.6 + 28.4. Let t = p + -28. Let k = -3.97 + -0.03. Which is bigger: t or k?
t
Suppose -79*q + 34*q + 6528 = -37*q. Which is smaller: 0.1 or q?
0.1
Let k = -1447 + 1449. Is -0.0701 bigger than k?
False
Suppose -3*v + 7*v = 16. Suppose -3*x + 63 = -5*i - 43, v*i = 16. Let m be -12*(-2 - (-6)/(-4)). Is m > x?
False
Let t(s) = -2*s + 2. Let v(k) = -k. Let j(g) = -t(g) + v(g). Let i be j(1). Let c = 3/88 - 615/2552. Is i equal to c?
False
Let j be (23295/20)/((-75)/100). Is j at least as big as -1554?
True
Let q(y) = -y**3 - 90*y**2 - 252*y + 743. Let s be q(-87). Let u be 4/14 - 592/14. Is s < u?
False
Let a be (-3 - -1)*3*(-3)/6. Suppose x + a*j + 11 = 30, -4*j + 67 = 3*x. Let d be (x/15 - 2) + 6/(-9). Which is bigger: 1/119 or d?
1/119
Let q(i) = -i**3 - 27*i**2 + 24*i + 54. Let h be q(-28). Is h greater than -4?
True
Suppose 0 = -7*k - 4*k + 407. Let h = 233 - k. Which is smaller: 0.1 or h?
0.1
Let j = -17 + 14.73. Let a = 2.072 + j. Which is smaller: -2/9 or a?
-2/9
Suppose 40*f - 43*f - 4*u + 32 = 0, -4*f - 5*u = -41. Let t = 25 - -38. Suppose -t = d - 4*h, 198 = -f*d - h - h. Is d greater than -51?
False
Let u = -4032 - -2122. Let i be ((-2)/3)/(u/30). Is i less than -1?
False
Let m = 2.017 + -1.94. Let v = 79145/24 + -26379/8. Which is smaller: v or m?
m
Let h be 1064/(-9) - (-2)/9. Suppose -691 = 353*c + 6863 + 33747. Do c and h have the same value?
False
Let w(l) = 5*l + 275. Let f be w(-55). Which is smaller: -5/143 or f?
-5/143
Let g be (3/12*81)/((-1)/(-24)). Suppose -3*r + 30*r + g = 0. Is r greater than -19?
True
Suppose -6 = 10*m - 4*m. Let h be (-1 + 7)*5*m. Let b be (h/25)/((-4)/(-10)). Is b equal to -16/9?
False
Let d = -23217 - -23191. Do -1/84 and d have different values?
True
Let j = 5 - 4.957. Let k = -0.007 - j. Let z = k - -0.37. Is 0 greater than z?
False
Let t be 3321/12 + 1/2 + (-6)/24. Is t < 3594/13?
False
Let k(t) = 7*t**2 + 161*t + 54. Let m be k(-24). Which is bigger: m or 211?
m
Suppose -4*q - 8*l + 5438 = -13*l, -6*q - 4*l = -8226. Is q > 1367?
False
Suppose 7146*l - 7130*l + 176 = 0. Let j(o) = o**3 + o - 18. Let n be j(0). Is l at least n?
True
Let r be (3118353/(-261208))/3 - -4. Let m = r - 3/2536. Is -1 at least as big as m?
False
Let x(p) = -8*p - 6*p + 13*p - 40. Let w be x(-15). Which is smaller: -5 or w?
w
Let d be ((2/4)/(16/128))/(-4 + 0). Is 9/758 > d?
True
Let y = -31987 + 31968. Let x(c) = -c**2 + 3*c - 4. Let i be x(4). Let p be i/(1 + 1/(-2)). Is p at least as big as y?
True
Let r be (-6)/8*((-14)/(-35) - (-2754)/(-6435)). Let u = 8 - 7. Are r and u non-equal?
True
Let n(s) = 9*s**2 - s + 1. Let h be n(1). Suppose 5 - h = -v. Suppose 2 - 6 = v*y. Is -14/9 at most as big as y?
True
Let n(t) = -2*t**3 + 13*t**2 - 9*t + 17. Let j be n(7). Let x = j - -60. Suppose 4*o - r = -o - 170, 0 = -3*o + 3*r - 90. Is o at most as big as x?
True
Suppose 92*a - 79 - 101 = 112*a. Suppose 3 = 5*g - 4*f, 4*g - 2*f - 6 = 3*f. Which is smaller: g or a?
a
Suppose 3*j + 3318 = 3*b, -62*b + 64*b = j + 2206. Which is greater: b or 1102?
1102
Let r(i) = i**3 - 7*i**2 + 28. Let j(b) = -b**3 - 16*b**2 + 2*b + 35. Let u be j(-16). Let t be r(u). Is t bigger than -19?
True
Let j = 3469/27 - 402032/621. Let t = -519 - j. Which is bigger: 0 or t?
0
Let k be (-12)/21 + (-179328)/(-224). Is k != 801?
True
Let c be 46 + -26 + -15 + -24. Let p = -34135/11 - -3083. Do c and p have different values?
True
Suppose -2*b - 5*c = -0 + 1, 0 = -4*b + 3*c + 11. Let l be (-3)/(-17)*b + 2/(-6). Is l < 0?
False
Suppose o = t - 72 - 297, -o + 4 = 0. Is t > 1120/3?
False
Let g = 49 + -31. Let p = 105.13 - 2.13. Let w = p - 103. Which is bigger: w or g?
g
Let m be (-4)/14 - (-23)/7. Suppose 7*t - 4*h - 37 = 4*t, m*h = -2*t + 19. Suppose 3*w = 2*y + 26, 6*y = 3*y + 6. Which is greater: t or w?
t
Let v = 91 + -71. Suppose 2*m = 3*m - 7. Suppose -9*a + v + m = 0. Which is bigger: 14/9 or a?
a
Suppose 5*t + o = 599, 2*t - 4*o = 315 - 71. Which is smaller: t or -1/2?
-1/2
Suppose 6 = -2*h, -2*h + 29 = -3*d + 38. Are -9/1544 and d nonequal?
True
Let x = -32239.03 - -32237. Which is bigger: -1/4 or x?
-1/4
Let a = -2822 + 2804.61. Let g = a - -17.4. Which is smaller: 10 or g?
g
Suppose 225*x - 220*x = -5*t + 10, 2*x - 1 = t. Which is smaller: x or 21/941?
21/941
Let g = -132 + 135. Let p be g + (-1185)/245 - (-6)/3. Is -2 less than p?
True
Let h(y) = 7*y**2 - 5*y + 10. Let r be h(7). Let q be ((-23211)/30)/(-2 + 6/(-15)). Let k = r - q. Which is bigger: k or -3?
-3
Suppose 1 = u + m, 4*u - 4*m = 37 + 15. Let o = 7 + 1. Let z = o + -12. Which is bigger: u or z?
u
Suppose 0 = -17*i + 133 - 1289. Let v be 336/13 + i/(-442). Which is smaller: 0.3 or v?
0.3
Suppose 0 = -45*v + 35 - 1791 - 179. Is v at most as big as -56?
False
Let x = 533.6 + -533.031. Is x < -0.3?
False
Let j(x) = -23*x + 18. Let t be j(-99). Is t less than 2295?
False
Let p = 12352102/166695 - 1/66678. Let t = 460141/6210 - p. Let v = t - 1076/51543. Is 0 greater than or equal to v?
True
Let c = -481 + 6. Let q = -594 - c. Which is smaller: q or -117?
q
Let x = -5005/3 + 1668. Which is greater: x or -1101?
x
Suppose -14 - 22 = -2*i. Let h be (-1*2 - -1)*(1944/72 - 46). Is i >= h?
False
Let v be -3 + 2 + 50/44. Let u(i) = -8*i + i - i + 7*i - 3. Let t be u(-3). Which is bigger: t or v?
v
Let a be (1 - 2)/1*9. Let h be -2*((-2)/13 - 368/(-26)). Let g = h - -19. Are g and a equal?
True
Let i be -3 + 0 + (128/(-576) - 40/(-18)). Let v = -866/279595 - 4/995. Which is bigger: i or v?
v
Let y(i) = -3*i**3 + 25*i**2 + 48*i + 30. Let s be y(10). Suppose 2*z + 4 = -2*k, -3*k - 5 = 2*z + 3. Let d be k/s*20/156. Which is greater: 1 or d?
1
Let i be 5 + (-77)/7 - -14. Let p be -3 + 32/i - 278. Is p bigger than -275?
False
Let h = -563/1425 - -9/25. Suppose j = 2*x + 5, j + 0*x - 2 = -x. Suppose 7*v = -3 + j. Are h and v non-equal?
True
Suppose -4374 = -33*i - 47*i + 26*i. Is 479/6 < i?
True
Let y = -415.23 + 414. Let k = 0.23 + y. Is k < 4/33?
True
Suppose 8*h = 16*h. Let z = -64891