 - 166. Is -0.178 less than t?
True
Let l(t) = 5*t**2 + 12*t + 5. Let b(u) = -7*u**2 - 13*u - 4. Let y(j) = 2*b(j) + 3*l(j). Let f be y(-14). Which is greater: 62 or f?
f
Let p = -4558 + 4557. Is 9.7 equal to p?
False
Suppose -12*q - 193 = 1019. Is 2 smaller than q?
False
Let x be ((-8)/(23 + -7))/(1/(-10)). Suppose -2*c = -5*q + 6*q + x, -q = 5*c + 20. Is c greater than or equal to -29/8?
False
Let w be ((-2)/4*0/(-6))/(-49 - -47). Let i be (3*2/27)/2. Which is greater: i or w?
i
Let d = -153 + 1605. Suppose 36*j - d = 30*j. Do 243 and j have the same value?
False
Let j be (-307)/15*2/16. Let m be 17440/(-8400) + (-6)/7. Let i = m - j. Which is greater: i or -1?
i
Let f be -1 + 3 + 19/(-7). Let n = 235139/10 + -23514. Is n greater than or equal to f?
True
Suppose 5*o = -4 + 19. Suppose -16 = -n + o. Let z be (-435)/(-24) + (-16)/128. Which is bigger: z or n?
n
Let t(b) = -b**2 + 5*b - 5. Let n be t(4). Let m be n/(4/11) + 2. Suppose 2*y = -2*a + 18, 479*y - 482*y - 53 = -5*a. Which is bigger: y or m?
m
Suppose v - 6 = -2*n - 2*n, 9 = 5*n + 2*v. Let x = 206 - 197. Are x and n nonequal?
True
Let x be (96/(-112))/(-4*(-1)/14). Let o(l) = 77*l**2 - 3*l - 14. Let m be o(x). Is m < 689?
True
Suppose -4 = -0*r + r. Let o be r/(-14) + -2*1101/210. Let g = -158/15 - o. Is -1/8 <= g?
False
Let n be (-16)/(-48) + 16/6. Suppose -8 = -n*a + 64. Which is smaller: a or 26?
a
Let h = 754 - 768. Let t be 76/(-57) - (-35)/(-3). Which is smaller: t or h?
h
Let c = -221129/41329 - -198/37. Are 1 and c nonequal?
True
Suppose -16*w - 41 = -9. Let p = 41 + -74. Let x be p - (w - -7 - 5). Do x and -33 have the same value?
True
Let g(c) = -2*c**2 + 14*c - 9. Let s be g(10). Let j = -2108 - -2037. Which is greater: j or s?
s
Let n(u) = u**2 - 32*u + 153. Let d be n(28). Let x = -43691/6 + 7323. Which is greater: x or d?
x
Let v be -1 + (-831)/(-27) - (-12)/54. Let i be (-95)/v*(-12)/8. Which is greater: 5 or i?
5
Let h be -1*(-1 + 4 + -5). Suppose -3*v - h*t = -4, 6*t - 8 = v + 2*t. Let y be (-1 + v)*2/(-268). Is y not equal to -1?
True
Suppose 113 = -5*r - 182. Let m = 41 - 19. Let f = r + m. Which is smaller: -36 or f?
f
Suppose -29*o - 28 = -31*o. Suppose 4*z - o = -3*h + 9, 4*z + 5*h = 25. Suppose -7*q + z*q = 2. Is q >= 5/11?
False
Let n be (-15)/(-759)*(-1054)/(-155). Is 1 less than n?
False
Let h be ((5/2228)/(-5))/(125/(-20) + 8). Is h greater than or equal to -1?
True
Let u = -15333 - -505979/33. Is 0 < u?
False
Let m = -247 - -5185/21. Which is greater: m or -53?
m
Let d(x) = 141*x + 245. Let o be d(-3). Is o equal to -177?
False
Suppose 0*h - 14593 = -4*l - h, -5*l = -3*h - 18237. Suppose 0 = 5*p - 3*i + 3634, i + 3*i = -5*p - l. Let m = p - -5080/7. Which is bigger: m or -1?
-1
Let a(g) = g**2 + 15*g + 12. Suppose -4*u = -5*u - 14. Let i be a(u). Let o be -8 + (-12)/8*i. Is -4 <= o?
False
Suppose r = -3*r. Let t = 0 + r. Let p = -44167 + 485835/11. Is t not equal to p?
True
Let u be (-1)/6*-18 - 2/((-14)/(-19)). Is 2/973 less than u?
True
Let h = 1388 - 66635/48. Let w = 91/816 + h. Which is bigger: 9 or w?
9
Let n = -714979/6390 + 1007/9. Which is smaller: n or -1?
-1
Let g(u) = -u - 20. Let b be (14/6)/((-9)/27). Let s be g(b). Suppose r - 4*h + 5 + 9 = 0, -5*h = 0. Do s and r have the same value?
False
Let k = -2834 + 2789. Is -74 equal to k?
False
Let l = 1791 - 1758. Which is smaller: 44 or l?
l
Suppose -4 = 8*n - 4*n. Let f = -49/41 - 190/287. Is f less than n?
True
Let s be ((-30)/27)/(-5) + (-446)/(-18). Let l(k) = 12*k**2 + 11*k**2 - 2*k**3 - s*k**2 - 3 + 3*k**3 - 10*k. Let w be l(5). Is 1 at most w?
True
Let a(z) = z**2 + 11*z + 6. Let x be a(-10). Let i be 9 - (-5)/(20/(-16)). Suppose -i*v = -2*q + 17, 5*q + 4*v = 6*v - 10. Is x greater than q?
False
Let r be 9*(-2)/12*2. Let k(s) = -13*s - 11. Let f(c) = 7*c + 6. Let o(q) = -7*f(q) - 4*k(q). Let g be o(-2). Is r >= g?
True
Let i = -276 + 142. Let b = i + 141. Is b not equal to -7?
True
Suppose 8*z + 30*z - 2168 = 910. Is 159/2 at least as big as z?
False
Suppose 8 = -5120*c + 5128*c. Which is smaller: c or 1/1831?
1/1831
Let f be 4/(-24)*(-10)/15. Let l be ((-3 - -3)*-1)/(-1). Suppose 5*o + 17 = -u + o, l = -3*u + 3*o + 9. Does u = f?
False
Let b(q) = -68*q**3 - 3*q**2 - 7*q - 9. Let k be b(4). Is k less than or equal to -4436?
True
Let d = 6161 + -6155. Which is smaller: 232/31 or d?
d
Let l be (1 - 1)*9*(-24)/216. Let n = -0.2 + -0.8. Let v = n + 2. Is l at most as big as v?
True
Let l = 0.988 + -1. Let m = -53.06 - -53.032. Let j = l + m. Are -1/5 and j equal?
False
Suppose 2*v + 552 = d, 3*v + 2*v + 1398 = -2*d. Let p = 278 + v. Are 2/341 and p unequal?
True
Let k(n) = -n**3 + 8*n**2 + 34*n + 125. Let g be k(9). Is 354 at least as big as g?
True
Let t be 11 + -16 + 5828/6 + -8. Are t and 959 equal?
False
Let x be (-2170)/6402 + (42/(-18))/(-7). Does x = -1?
False
Suppose -2*l + 10 = -30. Let i = -16 + l. Suppose -64 = 4*t - z, i*t = 2*z - 30 - 38. Is t at most -14?
True
Let u = -21 - 52. Let b = u + 15. Let g = 58.1 + b. Which is bigger: g or 12?
12
Suppose 180*u + 6315 = 185*u. Which is smaller: u or 1264?
u
Let t(y) = -3482*y + 73117. Let g be t(21). Let x(m) = m**2 - 6*m + 1. Let u be x(4). Does g = u?
False
Suppose 0 = q - 9 + 8, -4*u + 60 = 8*q. Is 178/13 bigger than u?
True
Let o = 657 - 655. Suppose g - 13 + 17 = -o*a, 2*g = -5*a - 10. Is a less than -46/17?
False
Let c(q) = -q. Suppose 4*f + 2*i = 44, 0 = 2*i + 2*i - 16. Let d be c(f). Let x be d/27 - (-32)/(-3). Does x = -9?
False
Suppose 79 = -v - 2*p, 0 = -5*v - 15*p + 18*p - 460. Is -83 <= v?
False
Let z = -11 - -14. Let p be z/6 - 141/(-6). Let t(j) = -j**2 + 14*j + 9. Let x be t(13). Is p greater than x?
True
Let y(t) = -t**3 - t**2 + t + 26. Let x be y(0). Suppose -x*b = -0*b + 988. Is b at most -38?
True
Let u = -11.686 - -12.686. Which is smaller: u or -11317?
-11317
Let l(a) = -46*a + 1348. Let k be l(22). Is 334 greater than or equal to k?
False
Suppose 557*h - 746*h = -5481. Let v be -3*(2 - 0)/(-2). Is v > h?
False
Let a = -88037 + 726921511/8257. Is a less than or equal to -1?
False
Let g = 1.66 - -70.34. Let x = 16 - g. Let i = x - -50. Is i greater than or equal to -1?
False
Let x = 1723.845 + 21.155. Is 2 < x?
True
Let i(o) = -o**2 + 10*o + 8. Let f be i(26). Let k be 224/f - (-6)/(-51). Is 13 >= k?
True
Suppose 4*y + 4*z = 61536, -4*y = -5*z + 40707 - 102225. Let m = y - 353856/23. Is m at least -4?
True
Let b be ((-816850)/(-1530))/((-2)/(-3)). Are b and 800 equal?
False
Let o(b) = -20*b + 1. Let y be o(-2). Let z = 46 - y. Suppose 8*p - z + 13 = 0. Which is smaller: p or 4/99?
p
Suppose 4*t + 4*i + 52 = 24, -9 = -3*t + 3*i. Let y be (-12 - -12)*1 - 1*t. Suppose m = -0 - 1. Are m and y unequal?
True
Let i be (8/12)/(-1)*3 + -34. Let r = i - -30. Let u be 6/(r - -4)*2/3. Is u equal to -8/5?
False
Suppose -9 = 3*y - 6. Let q = 1606949/113264 - 1/7079. Let c = q + -29/2. Does y = c?
False
Let s = -52.5495 + -0.4505. Is s >= -2/31?
False
Let n(f) = -f**2 + 3*f + 11. Let k be n(5). Suppose 0 = 11*s - 339 - 2. Does k = s?
False
Let t be 0 - -4*49/(-28). Let k = -124603/21758 + -1/1978. Which is greater: k or t?
k
Let c be (-1 + 10)*(-1*20 + 2). Let g = -898 - c. Let l = -3694/5 - g. Which is bigger: -3 or l?
l
Suppose -o - y = y - 4030, 5*o + 3*y = 20129. Does o = 4023?
False
Let r = -2375 - -2383. Which is smaller: 107/14 or r?
107/14
Let v be 30794/(-3382) + (-4)/(-38) - -9. Suppose 4*j - 4*l = l - 65, -l - 3 = 0. Let m = -10 - j. Is v < m?
True
Let l(k) = 80*k**2 + k + 1. Let j be l(-1). Suppose 0 = -19*a + 51*a + 192. Let c(z) = -32*z - 113. Let r be c(a). Which is smaller: r or j?
r
Let k(z) be the third derivative of z**6/120 + z**5/10 - 13*z**4/24 - 7*z**3 - 59*z**2 - 1. Let b be k(-7). Is -4/15 >= b?
False
Let o be (14*9)/(300/24 + -13). Let f be ((o/(-160))/7)/(36/30). Suppose 0*y + 5*q = -4*y + 15, -6 = -2*y - 2*q. Is f >= y?
True
Let l be (-356)/(-238) + (-45)/50*(-40)/(-24). Which is bigger: 1/8 or l?
1/8
Let x(n) = 4*n**3 - 4*n**2 + 3*n - 3. Let t be x(3). Suppose 12 + t = -5*f. Which is bigger: -8 or f?
-8
Suppose -44466 = 185*n + 19698 - 5704. Which is smaller: -283 or n?
n
Let x = -11569/15258510 + 8/9115. Which is smaller: x or -1?
-1
Suppose 22*q - 12 = 18*q. Suppose c + g = q, -3*g + 6 = -0. Let 