?
False
Let w be 800/31 + (104/(72/9) - 13). Which is smaller: w or 27?
w
Let l be ((-36)/16)/((-13)/(-13208)). Let s be 24/l*4/(-8). Is s less than or equal to 1?
True
Suppose 71 = 12*p - 97. Suppose -637 + 203 = p*k. Is -34 less than or equal to k?
True
Let l(o) = 250*o - 1504. Let g be l(6). Is g bigger than -160/41?
False
Suppose 5*z - 2*z + 108 = 0. Let m = z + 28. Let r be m/(-35)*15/(-18). Is 0 < r?
False
Let x be -8 + 6 - (-52)/32. Are x and 1/137 equal?
False
Let m = 9 + -14. Let w = -12.066 + -0.934. Which is smaller: m or w?
w
Let h be (1 - (-18)/(-3))*1. Let p be -4 - h - (-9)/(-3). Let f = -361 - -359.9. Which is bigger: p or f?
f
Let l(z) = z**2 + z + 1. Let o be l(0). Let n be -5*(5*24/20)/(-5). Suppose 10 = 16*h - n*h. Is h greater than or equal to o?
True
Let t = 3.39 - -0.41. Let u = t + -4. Let j = -0.2998 + 15.2998. Which is smaller: u or j?
u
Suppose -2*w + 0 - 2 = 4*x, -3*x = 2*w. Suppose w*p + 2*l = -24, -5*l = p + p + 5. Is p at least as big as -1?
False
Let z(n) = -n**3 + 4*n**2 + 22*n - 58. Let j be z(4). Suppose 2*t - 3*f - 49 = -0*f, -3*f - 29 = -t. Suppose t = -5*u + j. Which is smaller: 1 or u?
1
Suppose 10*g - 31 = -1. Let r be 4/5*g/((-12)/(-50)). Suppose -15*x = -r*x + 45. Is x bigger than -10?
True
Let g be (4345/(-165))/(2/(-6)). Is g != -11?
True
Let v = 38.1412 + -0.0412. Let b = 38.062 - 0.062. Let p = v - b. Is 0.1 not equal to p?
False
Suppose -2*i + 210 = 3*i. Let p = i - 37. Suppose 5*b = 3*j - 27, p*j + 4*b = 10 - 2. Which is smaller: 3 or j?
3
Let d(m) = 2*m + 43. Let q be d(-19). Suppose -620 = -q*v - 45. Let g be 2/(-13) + 756/1365. Are g and v unequal?
True
Let c = -4895/2 - -298585/122. Which is smaller: -0.6 or c?
-0.6
Let h = 6143/36 - 1196/9. Is 38 less than h?
False
Let a be (-73985*13/(-130))/((-3)/6). Are -14798 and a unequal?
True
Let m(u) = 10*u**3 - 5*u**2 - 10*u - 6. Let q be m(-2). Let g be (-184)/20 - -10 - q/(-70). Which is bigger: g or 19?
19
Let f = 271 - 270. Let v be 11/(-9) + (-14)/(-63). Let h be 1155/63 - f*v. Which is bigger: 20 or h?
20
Suppose 5*n + 359 = -r, -5*n + 2*r = 521 - 159. Let l be n/(-684) - 110/(-38). Is 42/13 <= l?
False
Suppose -5*p - v = 472, -p - 4*p - 468 = -v. Which is smaller: p or -82?
p
Let s = -85 - -681/8. Let g = 1771.41 - 1762. Let d = -7.41 + g. Are d and s non-equal?
True
Suppose -167760 + 448128 = -137*q - 7*q. Which is smaller: q or -1944?
q
Let q = 81.574 - -3.036. Let r = -85 + q. Let g = 0.39 + r. Is -10/7 at most g?
True
Let h = 1930 + -1863.46. Let k = -65 + h. Let n = 0.46 + k. Is n equal to -4?
False
Suppose 2*y + 33 = -5*p, 2*p - 268 + 287 = 5*y. Let l = 6545 - 1426807/218. Is y bigger than l?
True
Let h(g) = -g**3 + 8*g**2 - 8*g + 7. Let j be h(7). Let o = 16143 + -952435/59. Are o and j unequal?
True
Let u(d) = -228*d - 1380. Let k be u(13). Which is greater: -4345 or k?
k
Let x = -432 - -857. Is x <= 1/3?
False
Suppose -i = 3*y + 1, -7*i - 3*y = -2*i - 19. Suppose -2*s - 2*l + l + 4 = 0, 0 = -3*s + i*l - 7. Let b be 1/(-5) + (2 - s). Which is bigger: 2 or b?
2
Let t = 19.15 + -20.15. Which is greater: t or -14?
t
Let v(d) = d**2 + 13. Let m be v(0). Let r(n) = 17*n**2 - 817*n + 45. Let q be r(48). Is m bigger than q?
True
Let m = -0.136 + -72.864. Let p = m + 91.1. Let b = p + -18. Does b = 1?
False
Let y = 3903.4 + -3821.459. Let k = y + -82. Let v = -1.059 - k. Which is greater: 68 or v?
68
Let f(t) = t - 1. Let w be f(10). Suppose -5*m = -8*m - w, 272 = 5*u - 4*m. Let v = 263/5 - u. Is -2/9 != v?
True
Suppose 0 = -5*q - 4*b - 26, -3*b + 61 - 73 = 3*q. Which is bigger: q or 17?
17
Let q(b) = -4*b**3 - 2*b**2 - 2*b. Let j be q(-1). Suppose p - 74 = -j*z - 0*z, -2*p - z + 120 = 0. Let m be (2 - p/56) + 2/(-8). Is m equal to 2?
False
Let o = 291 - 272. Suppose 3*j + 10*i = 7*i - 12, 3*i + o = 4*j. Which is smaller: j or 5/153?
5/153
Let k = -6373 + 6371.85. Is 0.24 greater than k?
True
Suppose -2*u + 4*g = -7*u - 85, -5*u + g - 110 = 0. Which is smaller: u or -66?
-66
Let y = 38759 + -201456/5. Which is smaller: y or 0.1?
y
Let b(k) = 2*k**2 + 0*k**2 - 9*k - 4*k + 7 - 3. Let q be b(6). Let i be 1 + q - (4 + -4 + 4). Is -9 smaller than i?
True
Let o be (-2)/(-3) + 1/3. Suppose -16 = -4*j + p, -3*j - 4*p + 7*p + 12 = 0. Suppose -l - 1 = -j*a + o, 0 = -4*l - 4*a + 12. Does l = 12/13?
False
Suppose 336*t - 87*t = -850*t - 53851. Suppose 124 + 121 = -5*a. Is a less than or equal to t?
True
Let x be (10/(-5))/((-1)/((-71)/(-2))). Suppose -x + 539 = -6*j. Which is smaller: j or -77?
j
Suppose -54635 = 133*a + 125979. Which is smaller: -1349 or a?
a
Let z = 49/673 - 1070841/1346. Let c = -796 - z. Let u = 75 + -107. Which is smaller: u or c?
u
Let f = 5835 + -5748. Is -15/8 greater than f?
False
Let d be 3/((-99)/6) - (-706)/11. Let y = -57 + d. Let l = 65 + -61. Is l < y?
True
Let s = 4335951/119 + -260973/7. Is -846 bigger than s?
False
Let m = -15510 - -15507. Are -3056 and m non-equal?
True
Let t be 1603/7990 + -2*(-8)/(-720)*9. Is 0 != t?
True
Let d = -352 + 506. Let q be 2/7 - (-15510)/d. Which is greater: q or 103?
103
Suppose -2*q = o + q - 10, -3*o - 14 = -2*q. Let k be (-11 - -8)*o/6. Let r = 32/33 + -349/462. Is r less than k?
True
Let x = 453 - 451. Let u be 12/1170*-681 + x/(-5). Does -7 = u?
False
Suppose -h + 4*a = -26, -6*h - 1 = -2*h + 5*a. Let k = -116 - -90. Let u be (k/(-91))/(-2 - 115/(-56)). Is h at most as big as u?
False
Suppose 2*x + 31 = 37. Suppose 17 = -h - x*k, -2*h + h = -2*k - 3. Let f = h - -2. Is f < 0.1?
True
Let b = 154 - -122. Let d = 289.6 - b. Which is smaller: -1 or d?
-1
Let v = 507 + -498. Suppose v*o + 1016 = 5*o. Is o at most as big as -253?
True
Let k be (-73)/((-14016)/50368)*((0 - 0) + -5). Do -1313 and k have the same value?
False
Let b = 28 + -68. Suppose -4*u = -o - 33, 49*o - 4*u = 54*o + 189. Which is smaller: o or b?
b
Let t(l) = 15*l - 399. Let r be t(28). Which is bigger: 1 or r?
r
Let q = 9076 - 9098. Suppose -6*f - 95 = -f. Is f at least as big as q?
True
Let c(n) = -6*n**3 + 14*n**2 - 11*n - 6. Let x be c(2). Suppose 5*i + s = 28, s = 2*i - s - 4. Let b = i - 26. Which is greater: x or b?
x
Let c = 71 + -6. Suppose -33 = -2*o + a, 10 = 5*o - 5*a - c. Do o and 170/9 have the same value?
False
Suppose 4*f - 14 = a, 7*a = 4*a + 3*f - 6. Let o = 38 - 28. Suppose -3*y + 10 = 2*w, -5*w + 0*w + o = 0. Is y bigger than a?
False
Suppose 11*f - 7668 = -15*f + 8*f. Which is bigger: f or 3407/8?
f
Let g = 3832 + -3831.7712. Is g at least as big as -0.2?
True
Let z = -370631/6 + 61489. Let c = z + 4304/15. Which is greater: 4 or c?
c
Let n be (261/2)/((-1)/(-2)). Let g be (1 - (11 - 6)) + 264. Which is smaller: n or g?
g
Let v = 2216579/7 - 317228. Which is smaller: -575 or v?
-575
Let d be ((-1320)/(-1188))/(1/9). Suppose 2*y - 6 = -0*y. Suppose f - m = -11, -d*f + y*m - 1 = -9*f. Which is bigger: f or -15?
-15
Let t(u) = u**3 - 21*u**2 - 68*u - 115. Let a be t(24). Which is smaller: a or -136/7?
-136/7
Let n = 10017/200 + -401/8. Let r = -5 + 5.2. Is n at least r?
False
Let d = 51480/23 - 2637946/1173. Let x = 28/3 + d. Let b = x - -1397/68. Is 20 smaller than b?
False
Let b(p) = -4*p**2 - p**2 - 2*p + 4*p - 5 + 6*p**2. Let d be b(7). Which is smaller: 178/3 or d?
d
Let j be (-2 + 148/84)/(30/(-36)). Is j at most -11172?
False
Let r = -3757 + 3756. Which is greater: -5/1121 or r?
-5/1121
Let c be (338/(-676))/((-974)/(-8)). Is 0 at least as big as c?
True
Let h = -21708 - -65123/3. Which is bigger: 10601 or h?
10601
Suppose 4*i - 8*i + 7511 = -2481. Which is greater: 2499 or i?
2499
Let v = 2465 - 2471. Which is smaller: v or -81?
-81
Let f = -219 - -226. Let r be 82 - f*36/42. Is 76 >= r?
True
Let c(z) = z**3 - 13*z**2 - 28*z - 10. Let w be c(15). Suppose w*d = 38*d. Suppose 4 - 7 = y. Which is smaller: d or y?
y
Let l be (270/12 + -11 + -10)*79/(-186). Is l at most as big as 0?
True
Let n be 3/81*29/(-406). Let j = 3019/1890 - n. Suppose u - 1 = 2*m - 4*m, 12 = 3*u - 3*m. Is j >= u?
False
Let g be ((-12)/(-56))/(2/2541) - 3/12. Which is bigger: 271 or g?
g
Let k(a) = a**2 + 51*a + 658. Let z be k(-29). Is -61 > z?
False
Let b(n) = 9*n - 10. Let u be b(-6). Let r = 1440.7 - 1440.8. Is u greater than r?
False
Let n(c) = c + 8. Let w be n(-4). Suppose w*f - 2*z - 4936 = -0*f, z - 2472 = -2*f. L