t t(d) = -6*d - 195. Let b be t(-32). Which is smaller: b or -11?
-11
Suppose 1618 = -13*n + 11*n. Is n greater than or equal to -809?
True
Let m = 2 + -1. Let s = -413471/21 - -19681. Let a = s + 26/3. Which is bigger: m or a?
m
Let b(q) = -43*q**3 + 2*q**2 - 3*q - 12. Let t be b(-2). Is 345 at least t?
False
Let t = -1 - -3. Let b(j) = j**3 - 23*j**2 + 61*j - 19. Let z be b(20). Suppose z = t*y + 5. Which is smaller: -1 or y?
y
Suppose -2*y + 2 = -4. Suppose 0 = -3*j - c - 9, j - 7*c = -y*c - 3. Let u be j - (1 + 0 + -6). Is 2 greater than u?
False
Let x be (6 + 4/2)*-1. Let h(w) = -4*w - 5. Let r be h(-2). Let q = x + r. Is q not equal to -4?
True
Let r = -0.42 - -0.437. Let g = r - -0.053. Which is greater: g or 1/8?
1/8
Let a = -150 - -85. Let s = a - -61. Does -2/5 = s?
False
Let y = -120.1 - -112. Let t = y + 8. Which is smaller: t or -45?
-45
Let a = -181 - 44. Is a < 1?
True
Let l be (-754)/12 - (-232)/(-1392). Is l at most -50?
True
Let d(w) = w**2 + 15*w - 12. Let l be d(-17). Is l not equal to 20?
True
Suppose 20*z - 3 = 17*z. Which is smaller: z or -6/19?
-6/19
Let u = 1114 + -1084.9. Which is smaller: 0.2 or u?
0.2
Let p = 1379 - 1378.97. Which is bigger: p or 178?
178
Let v = -1.6 + 0.6. Let n = -0.99 - v. Let z = 0.1 + -0.2. Which is greater: n or z?
n
Suppose -54*n = -55*n. Let o be (-2)/(-7) + (-138)/189. Is o not equal to n?
True
Let s be ((-99)/(-96) - 3) + 2. Suppose 0 = -g + 3*q + 9 - 23, 11 = -4*g + 3*q. Which is bigger: s or g?
g
Let f = -278 + 407. Do f and -0.2 have the same value?
False
Suppose -r = 1 - 0, 5*r + 5 = -3*w. Do 3/8 and w have the same value?
False
Let n = -590 - -698. Is n at least 107?
True
Let h = 1415 + -1417. Which is greater: -73/38 or h?
-73/38
Let z be (-16 + 580/6)*(-18)/(-4). Which is smaller: 362 or z?
362
Let h(q) = -q**2 + 13*q - 67. Let t be h(9). Is t equal to -33?
False
Let d = -3.68 + -32.22. Let m = d + 36. Which is smaller: 41 or m?
m
Let s = 1058255/72 + -14698. Let y = -1 - -2. Is y not equal to s?
True
Let z = 0.16 - 18.16. Let i be (-2)/4 - 93/(-6). Let l be 3 + 102/(-40) + (-3)/i. Which is smaller: z or l?
z
Let b = -1256 - -1072. Is -554/3 not equal to b?
True
Let z = 518 + -82. Is 1 less than z?
True
Let j = 3183 + -15866/5. Let k be -4 + -10 + 6 + 19. Are j and k equal?
False
Suppose -19 = -2*p + 17. Let y = p - 37. Let c be 59/y - (-9)/3. Is c > 0?
False
Let x = -38 + 39. Suppose 3*c - 30 = -2*c. Suppose c*g - 2*g = 8. Which is smaller: x or g?
x
Let a = -25 + 30. Suppose -3*l = a*z - 2*l - 7, z - 7 = -3*l. Is z at least as big as -7/26?
True
Let q = -11 - -20. Suppose 0 = 4*m - q*m + 5*g - 10, -5*m + 3*g = 8. Let v be 2*m + 3 + -6. Is -5 < v?
False
Let h be -62*1/11 - (-15)/3. Is h >= -2?
True
Let k = -141 + 140.7. Which is bigger: k or 0.18?
0.18
Let l = -15256/29 - -526. Which is smaller: 0.07 or l?
l
Let f be (-1)/1 - (-6)/(-3). Let d = f - -5. Suppose -3 + 0 = 3*k + 3*v, -2*k - 11 = 5*v. Is k at most d?
True
Let j(k) be the third derivative of 7/6*k**3 + 0 - 1/24*k**4 + 0*k + 4*k**2. Let u be j(10). Which is smaller: u or 2?
u
Let h = -769/33474 + -2/2391. Which is smaller: h or 1/2?
h
Let n(q) = -q**3 + 9*q. Let p be n(3). Which is smaller: 4/235 or p?
p
Let i be (4/(-10))/(546/(-30)). Let a = 149/2639 - i. Is a equal to 0?
False
Suppose -4*w + 7 = l, -3*w + 1 = -3*l + 7. Which is greater: w or -1/134?
w
Suppose -5*f + 10 = -3*d, 2*f = -5*d + 3*f - 2. Let c(g) = -g - 3. Let i be c(-6). Let l be (i + -7)*3/(-150). Is l smaller than d?
False
Suppose -2*n - 40 = -48. Suppose 0 = v + n*v - 5. Is 2 less than v?
False
Suppose 8*c - 6*c = 12. Suppose 0 = -7*y + c*y. Let p(u) = u + 2. Let m be p(4). Which is smaller: y or m?
y
Let z be (-5)/(-4) - (-448)/(-256). Let g = 0.02 - -0.1. Let h = -0.1 + g. Is h not equal to z?
True
Suppose -42*d + 37*d = -5. Is d greater than or equal to 2?
False
Let c be (-7 - -15 - 8)*(-1)/(-2). Which is greater: c or -23/16?
c
Let n(i) = -i**2 + 23*i + 38. Let g be n(22). Let w = 1 - 3. Let o be 33/g - w/10. Which is smaller: 0.3 or o?
0.3
Suppose -15 = 5*l - 25. Let t(r) = 2 + 3 + 6 + 3*r - l. Let g be t(0). Which is smaller: 5 or g?
5
Let t(c) = c**3 - 8*c**2 + 8*c - 4. Let j be t(7). Let f be -17 - -16 - -4*1. Suppose -f*d + 6*d = 9. Do j and d have the same value?
True
Let v(n) = -n**2 - 3*n + 31. Let u be v(-7). Suppose -5*a + u*a - 2 = 0. Let h = -519/8 + 65. Is a less than h?
True
Let n(z) = -z**2 - 6*z + 11. Let f be n(-7). Suppose 0 = -4*a - 2*i - 20, -2*a - 2*i = -f*i + 10. Which is bigger: -3 or a?
-3
Let i = 1009 + -1010. Which is bigger: i or 15?
15
Let h be (-1 + -2)/(6/8). Let w be (-36)/28 - h/14. Let g = -163/1014 + -1/169. Which is smaller: g or w?
w
Suppose 2*x = 5*b - 19 + 6, 77 = -3*x - 4*b. Let l = x - -18. Let a = 17.8 + -18. Which is smaller: a or l?
l
Let n = -8971 + 53707/6. Are -21 and n unequal?
True
Suppose 9*f - 20 = -2. Let x be 0/(((-4)/(-7))/(f/7)). Which is bigger: 1/18 or x?
1/18
Let d = -537 + 537.1. Is -641 > d?
False
Let o be (-35 - -11)/(-12) - (-48)/(-21). Is -82 bigger than o?
False
Let c = -1.8915 - 0.1085. Which is bigger: c or 9?
9
Suppose -17*i + 7 = 7. Are i and 11/76 equal?
False
Let m = 22.3 - 22.5. Which is greater: -101 or m?
m
Suppose -j + 72 = -4*j. Suppose 4*w - 3*f = 588, -4*w + 546 = -5*f - 34. Let x be (-5)/(5/(w/6)). Is x greater than j?
False
Let j = 0.131 + -0.065. Let o = 0.066 - j. Do 1/17 and o have the same value?
False
Let w be ((-31)/(-248))/(2/8). Do w and 291 have different values?
True
Let r(f) = 25*f + 10. Let y be r(-8). Let o be y/8 + (-1)/(-4). Let j = o - -23. Is 0.2 greater than or equal to j?
True
Let v be (3 - 6)/(-3) - 1. Suppose 0 = -g - v*g + 2*r + 8, -r - 4 = 0. Let u be (-9 - -10)*(0 + g). Which is smaller: 2 or u?
u
Let u = -326 + 303. Which is bigger: u or -22?
-22
Let o = -1 + 3. Let l = 7992/143 + -710/13. Which is smaller: o or l?
l
Suppose 0 = 6*m - 0 - 66. Let g(f) = -f + 10. Let p be g(m). Let u be 2 - (3 + 2/p). Which is smaller: u or -1/33?
-1/33
Let v = -1.1 - -1. Let j = -104 + -13. Let c = j + 111. Which is smaller: c or v?
c
Suppose -246 = -o + 2*f + 17, -2*f + 283 = o. Is o > 274?
False
Let i be -6 - (-3 - 0) - -8. Suppose -2*k = -m - 3, 0*k - 9 = i*k + 3*m. Suppose k = 6*o - 11*o. Which is smaller: 1/27 or o?
o
Let a = -43 - -37. Let u be (-95)/14 + 4/14. Is a less than or equal to u?
False
Let s be 3/(-4) - 3069/(-5500). Let j = s - -6197/375. Is j > 15?
True
Suppose -2*n + 263 = 277. Which is smaller: -8 or n?
-8
Suppose 0 = -3*g + 4*d - 150 + 18, -5*g - 246 = 2*d. Let c = g - -46. Do -20/13 and c have the same value?
False
Suppose -k + 0*v = 5*v - 24, v - 4 = -k. Let l = 1/602 + -1/14. Which is greater: k or l?
l
Let d be 1*(-10*8/(-20) + -8). Suppose 12 = 6*z - 3*z. Suppose -z*h - 2 - 10 = 0. Is d less than h?
True
Let h = 422.8 - 422. Which is greater: h or -5/6?
h
Let g be 7/((-140)/(-8)) - (-60)/(-25). Which is bigger: -115 or g?
g
Suppose 2*z = -7*z + 756. Which is greater: z or 83?
z
Let k be ((-900)/(-3750))/(6/(-20)). Let v(m) = -2*m**2 - 2*m + 2. Let n be -4 + (3 - 0 - 1). Let o be v(n). Which is smaller: k or o?
o
Let x = -13/264 - -14/33. Let a = 0 - -1. Let m = 1 - a. Which is smaller: m or x?
m
Suppose 239 = v + 3*m, -3*v + 5*m - 8*m = -723. Is 243 > v?
True
Suppose -7*a + 4915 - 64 = 0. Which is smaller: a or 691?
691
Let p = 151 + -148. Let a be 2/p*13/26. Which is smaller: a or -1?
-1
Suppose 3*h + 3 - 12 = 0, 4*j - 4*h + 4 = 0. Let m = -4 - 50. Let p = m + 111/2. Is p greater than or equal to j?
False
Let o be 1405/8*(-9)/((-2520)/(-944)). Let r = o + 592. Which is smaller: r or 1?
r
Let c = -68.4 + -14.6. Let t = -74 - c. Which is smaller: t or -3?
-3
Suppose 2*l - 12 = 4*i, 2*l - 2*i = 4*l. Suppose -8*n + 6 = -l*n. Which is bigger: 1/24 or n?
n
Let s(y) = 25*y + 1. Let m be s(-1). Let o be (-6)/(-4)*(-80)/m. Suppose -4 = -4*f, 2*f - 5*f - 47 = -o*w. Is w at most as big as 10?
True
Let r be (2/6)/(7/6). Let a = -0.207 - 86.793. Let t = a - -86.7. Which is smaller: t or r?
t
Let j = -0.48 + 0.28. Which is smaller: j or -0.28?
-0.28
Suppose -2*s = -4*f - 138 + 28, 0 = -s - 5. Let g = f - -29. Do -1/76 and g have the same value?
False
Suppose -3*v + 2*v - 35 = 3*j, 2*j = -5*v - 45. Let h(m) = 6*m - 41. Let f be h(5). Is f equal to