92)*(4 - 1). Which is smaller: k or 132?
k
Let t = -567838/9 - -63007. Let c = t + 86. Is 1 less than or equal to c?
False
Let w = 806 + -2417/3. Let c = 89 + -533/6. Which is greater: c or w?
w
Let c(i) = i - 18. Let y be c(18). Let d(j) = -3*j + 347. Let m be d(y). Let r = 2423/7 - m. Which is greater: -1/3 or r?
-1/3
Let g = 20 + -16. Let h be (g + 34/(-9))/(-2). Is 1 < h?
False
Let v = -21.72 - -22. Let j = v + -0.28. Which is smaller: -1.3 or j?
-1.3
Suppose 5*l + q - 20 = 0, -5*l + 3*l + 5 = q. Suppose -64 = l*p - 9*p. Is p <= -1?
False
Let d(t) = 2*t**3 - 4*t**2 - 16*t + 8. Let a be d(4). Is a smaller than -62?
False
Suppose o - 10 = -3. Let s be 2/8 + (-12)/(-16). Is s equal to o?
False
Let m = -110189 + 710829241/6451. Do 0 and m have the same value?
False
Let s(q) = -11*q**2 + 1. Let v = 3 + -4. Let n be s(v). Let o = -118 - -108. Is o <= n?
True
Let k be 33/4 - (-41 - -44). Is k bigger than 5?
True
Suppose 0 = -0*j - 4*j + 60. Suppose -15*q = -10*q - j. Suppose -q*u + 33 = 6. Is 9 at most as big as u?
True
Let o(y) = -y**3 - 5*y**2 + 2*y. Let k be o(-5). Let n(j) = j**3 - 4*j**2 + 3*j - 5. Let t be n(3). Is k smaller than t?
True
Let o = -901 + 902. Which is greater: o or -2/3551?
o
Let o be (108808/(-4320))/29 - 6/(-8). Is -1 smaller than o?
True
Suppose 9 = -3*i + 3*r, 3*i - 2*r = 8*i + 8. Is 2/3 < i?
False
Suppose 2*t = 3*t + 2*o - 9, 5*o = -4*t + 39. Let l(d) = d - 2. Let a be l(6). Suppose -3*z - a*v = -36, 2*z + z - 36 = -2*v. Which is bigger: t or z?
z
Suppose 0 = 2*v - 5*p - 2082, -v + 0*p - 4*p = -1028. Is 1036 greater than or equal to v?
True
Let f be 1/(-2)*0/2. Suppose 0 = -11*t + 8*t + 6, -5*t = n - 12. Which is greater: f or n?
n
Let m be (-1678)/(-2275) + 2/13. Let w = -8/25 + m. Let z be ((-1)/(-3))/(4/12). Which is smaller: w or z?
w
Suppose -4*s + 5*s - 6 = 0. Suppose -3*d + 90 = -s*d. Which is smaller: -29 or d?
d
Let w be 0/2 + 3/4. Suppose -5*n = -2*m + 57 + 6, -4*m = -n - 81. Let h = -19 + m. Is h less than w?
True
Suppose -c + 5*c + 16 = 0, 0 = 3*v - 5*c - 47. Let p be (2 - 5)/(6/4). Let r be p - -1 - v/(-18). Which is bigger: r or -4?
r
Let p be 15/(-18) - (-3)/(-6). Let z = -14/15 - p. Let i = 0.3 + -0.31. Are z and i unequal?
True
Let q = -3266/7 - -468. Let t(r) = -r**2 + 8*r - 13. Let j be t(6). Do q and j have different values?
True
Let o = -12541267/5295 - 4032/353. Let k = 2379 + o. Which is bigger: -1 or k?
k
Let v(n) be the second derivative of -13*n**3/6 - 21*n**2 + 13*n. Let j be v(-4). Are j and 8 nonequal?
True
Let u be (-63)/66 - (-30)/(-55). Are u and -2 unequal?
True
Suppose 2*c + 2*c = 4. Let y be -2 + c - -10 - 0. Suppose -y = 3*g - 24. Is g at most 5?
True
Let s be (66/(-117))/(0 - 5/15). Which is smaller: 2 or s?
s
Let d = -476 - -9042/19. Let g = 5361 - 5360.98. Which is bigger: g or d?
g
Let v be (-5)/7 - (-4)/(-14). Let y be (3*-1)/(6075/(-30)). Is v > y?
False
Suppose 3*q - 58 - 94 = -5*v, q + 3*v - 56 = 0. Are 44 and q equal?
True
Let u be (-5 + -1)*(-40)/12. Suppose 8*o - u = 3*o. Suppose -8 = 4*g - 20. Which is bigger: g or o?
o
Let r = 72 + -69. Let j be r*(-1 + (-3865)/(-3855)). Which is smaller: -1/2 or j?
-1/2
Let j be 48/(-10)*70/21*1. Which is smaller: j or -137/9?
j
Let s = 1.5 - 1.5. Which is greater: 1.06 or s?
1.06
Suppose 390 = 2*x + 3*x. Suppose 97 = 7*a - x. Which is smaller: 26 or a?
a
Let s be (304036/7134)/(-3*(-2)/387). Let j = s - 2749. Is 0 equal to j?
False
Let s be (-7)/(-2) - (42/(-12))/(-7). Suppose 5*b + 20 = 5*o, -s*b + 3*o = -5*b + 17. Let g be 2 + 0 + (-20)/18. Is b at most g?
False
Let o = 1454/24871 - -237/323. Let t = o - 3/7. Is t smaller than 0?
False
Let l be 10/115 + (-697176)/(-529). Is l bigger than 1318?
False
Let q = 8900 + -4227494/475. Is q greater than -1?
True
Let z(a) = a**2 + 5*a - 5. Let d be z(-6). Let c be (d/(-2))/((-5)/(-4)). Let n = -861 - -860. Which is smaller: c or n?
n
Let x be 1 + (-7)/(105/3940). Let f = x + 264. Is f greater than 2?
True
Let d be (-32)/24*45/(-2). Is 27 > d?
False
Let m be ((18/14)/(-8 - -9))/(-4). Is 1 greater than m?
True
Let c = -563 + 1318. Is 753 bigger than c?
False
Let x(z) be the first derivative of z**4/4 + 2*z**3 - z**2/2 + 2*z + 3. Let d be x(-6). Suppose -w = -n, n - w = 2*w + d. Do -4 and n have different values?
False
Let q = 24 - 51/2. Let z(p) = p**3 + 5*p**2 - p - 3. Let u be z(-5). Suppose -f = -n + 5, u*f + 2*n - 2 = n. Is q smaller than f?
True
Suppose 0 = -2*y + 2*l + 6, 4*l = y - 6*y + 6. Let d be y/(-6)*3/23. Suppose 0 = 7*u - 126 + 133. Is d > u?
True
Suppose 3*a = -3*l - 18, 0 = 6*a - 2*a + 4. Let w = 0.03 + 1.67. Let d = 1.6 - w. Which is smaller: l or d?
l
Suppose 3*o - l - 2*l - 1572 = 0, 4*l = 5*o - 2622. Is 527 less than or equal to o?
False
Suppose 8*v - 76 = 2*u + 4*v, 5*u - 5*v = -170. Is u greater than -185/6?
True
Suppose -513*n + 4030 = -526*n. Which is greater: -311 or n?
n
Let u = 1/201 + 49/3618. Let z be (-14)/(-10) - (-2)/(-5). Is u less than z?
True
Let y = -2398 - -74325/31. Is 1 at least y?
True
Let o = -24/161 - 14281/322. Let b = 50 + o. Let w = -4/45 + -14/45. Is b not equal to w?
True
Suppose -21 = -6*n + 27. Let p be 4 - (-1 + -4 + n). Suppose -2*z + 7 = 5*b - 3, -4*b + p = 3*z. Does 4 = b?
True
Let u = -0.28 + 0.19. Let c = -0.29 - u. Let h = 1.2 - 4.2. Is c <= h?
False
Let n = -112 + 77. Let f be 10/n - 2/(-28)*-10. Is f at most as big as -1/53?
True
Let d be 2972/63 + (-9)/(-81). Let f = 47 - d. Which is smaller: 26/7 or f?
f
Suppose -16 - 143 = 3*q. Let s = q + 45. Is -11 less than or equal to s?
True
Let o = -3041 - -3040.96. Suppose -2*y + 1 - 11 = 0. Is o > y?
True
Suppose 0 = -5*r + 4*t + 4479, 0 = -3*r + 5*t + 2837 - 160. Let g be 34/221 - r/13. Is g at least as big as -68?
False
Let r be (9/6)/((-1)/6). Let i = r - -2. Let h be 1/(((-28)/(-8))/i). Is -4 <= h?
True
Let p be (12/7)/((-12)/(-42)). Let c be 42/35*50/p. Do 7 and c have different values?
True
Let d = -51 + 30. Is -3 smaller than d?
False
Let f(n) = -n + 15. Let y be f(8). Let q be (2/4)/(2/32). Suppose -2*g = -8 - q. Which is smaller: y or g?
y
Let z(c) = 2*c - 14. Let i be z(6). Let t be i*(0 + (-21)/66). Is 0 <= t?
True
Let y = -479.7 + 531. Let g = 49 - y. Let i = g - 0.7. Which is smaller: i or 0.1?
i
Let h be (-18)/15 + 12/30. Which is smaller: 0 or h?
h
Let p be (40/(-50))/((-4)/10). Let k be (p/4)/((-63)/45). Which is bigger: -1 or k?
k
Let w = -5 + 5.1. Let k be ((-110)/165)/((-4)/26). Is w >= k?
False
Let b = 22 + -30. Let c = -9 - b. Let p = 1 - 0. Which is bigger: p or c?
p
Let t = -54.47 + 55. Let z = t - 4.53. Is z <= 3/4?
True
Let m(p) = 8*p**2 - 6*p + 1. Let f be m(3). Let x = 55 - f. Which is smaller: 2 or x?
x
Let q(v) = -9*v**2 - 2*v + 12*v**2 + 7*v + 0*v + 4. Let o be q(-1). Which is smaller: o or 1/2?
1/2
Let y be (23/(1495/(-182)))/(11/(-10)). Which is bigger: 2 or y?
y
Let k be (-5)/3 + 1/(-3). Suppose 11*w = 62 - 7. Suppose 0 = -z + w*a - 11, 9*a - 10*a = -3. Which is smaller: k or z?
k
Let s = 382/5 - 76. Suppose 31*o = 33*o - 2. Which is smaller: o or s?
s
Let b be 24/(-6) + (-90)/(-4). Is b greater than 20?
False
Let r = -1.1 - -0.1. Let y = -48.942 - 0.058. Let f = -52 - y. Which is smaller: f or r?
f
Let h(m) = -10*m + 2. Let d be h(-3). Suppose 4*s - d = 4*a, 5*a + 58 = -0*s - 4*s. Is a >= -10?
True
Let k = -1/343 - -2414/4459. Suppose -503*r + 55 = -472*r - 7. Is k > r?
False
Let h = -168 + 836/5. Let b be 16/(-6)*3/36. Which is greater: h or b?
b
Suppose 9*k = -59 - 40. Is k >= -6?
False
Let w = -7057 + 359896/51. Which is smaller: -1 or w?
-1
Let v(x) = 8*x**2 - x + 31. Let n be v(-6). Is 325 < n?
False
Let r be ((-50)/125)/(4/10). Is 183 smaller than r?
False
Suppose -6*t + 100 = -t. Let a = 66 - 69. Let l be 45/t*(-8)/a. Which is smaller: 4 or l?
4
Let m(v) = 17*v - 1. Let q be m(-1). Let z = -23 + 27. Let r be ((-4)/q)/(z/6). Are 0.2 and r unequal?
True
Let q be (1005/(-180))/(1/9). Which is smaller: -51 or q?
-51
Suppose -4*m + 8*m = -0*m. Let o be (m/(-1))/(0 + (4 - 7)). Is o equal to -6/17?
False
Let y(p) = -5*p - 2. Let q be y(-1). Let l be q - (-12 - 2)*1. Suppose 0 = -3*h - 4 - l. Do h and -9 have the same value?
False
Suppose -2*d - 862 = 7*t - 3*t, 3*t + 2162 = -5*d. Which is greater: -0.1 or d?
-0.1
Let v be (11/(-33))/((-2)/(-15))*24. Which i