alse
Let w(u) = u - 11. Let r be w(12). Let j be (11 + (-175)/14)*(r - 95). Is 141 > j?
False
Let t = 75 - -96. Let g = 176 - t. Which is greater: g or 8?
8
Let k(r) = 16*r**3 + 10*r**3 - 43*r**3 + 4 + 18*r**3. Let l be k(-2). Let z be 10/(-16) + -7 + 5. Which is smaller: z or l?
l
Let a(d) = 114*d + 1057. Let g be a(-35). Which is bigger: -0.2 or g?
-0.2
Let b(g) = -g**2 - 2*g + 18. Let d be b(-6). Let m be (26/(-8346))/((-4)/d). Which is greater: m or 1?
1
Let n = -200429/7 - -28587. Which is bigger: n or -5/4?
-5/4
Let p be 19*(-184)/(-18) - 10/45. Let s be ((-6)/(-4))/(-1 - p/(-188)). Let d = -275 + 322. Is s not equal to d?
False
Let c(h) = 137*h - 1242. Let z be c(9). Is z >= 714?
False
Let t be (-1025)/(-7)*-1 - (3 - 0). Let v = t - -5664/35. Is 13 bigger than v?
True
Let z = -496.4 - -496. Is -574 less than z?
True
Suppose 0 = -620*m + 616*m + 2*q - 14, 4*q - 28 = 5*m. Is -13/223 bigger than m?
False
Suppose 6*y - 11*y - 55 = -5*o, -4*o - 5*y + 89 = 0. Let p be (o/(-6) - -2)*(-9)/(-33). Let t be ((-26)/12 + 2)*2. Which is smaller: p or t?
t
Let m = 0.6126 - 0.67. Let x = m + -0.0226. Is 14 greater than x?
True
Suppose 27*m + 206*m = 37*m + 392. Is 153/82 <= m?
True
Suppose 69 = -381*o + 404*o. Which is bigger: o or 433?
433
Suppose -3*b - 5*s + 3005 = 0, -1634 - 1362 = -3*b + 4*s. Suppose 2*l - 2*k = 0, 2*l - 28 = -2*l - 3*k. Suppose b = 12*i - l*i. Which is bigger: i or 124?
i
Let h be (-1 - (-45)/(-18))*4/(-7). Suppose -5*x - 192 + 62 = 5*j, h*x = 3*j - 42. Let a be (-9)/(-3) + 5/(-2). Which is bigger: a or x?
a
Let g = -3328 - -3328. Which is greater: -65.5 or g?
g
Let p = -225.17 - -4.17. Let q = 305 + p. Is q less than 0?
False
Let q = -83 - -141. Let b(f) = 6*f**3 - 12*f**2 + 4*f - 7. Suppose -4*j + 15 = 3*u, -7 = 45*j - 46*j - 4*u. Let p be b(j). Which is smaller: q or p?
q
Let g(c) = c**3 + 16*c**2 + 28*c + 4. Let i be g(-14). Let w be (4 - (-270)/4) + i/(-1). Is 69 <= w?
False
Suppose -h = -4*y + 3*h + 32, 22 = -y - 5*h. Let s be 9/4 - ((-119)/(-28) - y). Is s at least as big as -128?
True
Let h = 239 - 239. Suppose h = 13*j - 15*j - 58. Is j less than -29?
False
Let g be (7 - (-3 + 8))*(-48)/(-2336). Is -0.8 bigger than g?
False
Let l be ((-1060)/(-6))/1*(-66)/(-44). Suppose -224*f + 229*f = -l. Is f < -213/4?
False
Let f(s) = s**3 + s**2 + s + 4. Let p be f(0). Suppose p*a - 6 = -2*a. Suppose -a = -4*i - 9, 2*k + 3*i = -4. Is k > 7/5?
False
Let n(d) = 6*d + 40. Let i(s) = -4*s - 19. Let b(c) = 5*i(c) + 3*n(c). Let j be b(13). Which is greater: -1/122 or j?
-1/122
Let b = -15 + 4. Suppose -3*z - 74 = -233*g + 232*g, -33*g = 4*z + 30. Which is greater: z or b?
b
Let x(d) = 194*d + 4532. Let r be x(-36). Are r and -14707/6 nonequal?
True
Let v(s) = -11*s + 46. Suppose -6*k + 9*k = 15. Let w be v(k). Is w greater than 12?
False
Let j = -18 + 28. Let l be (-1 + 0)*(-37 + 14). Let u = l + -14. Is j less than u?
False
Let f(m) be the third derivative of m**6/40 - m**5/60 + m**4/24 - 7*m**3/6 - 156*m**2. Let s be f(0). Is s bigger than 2/23?
False
Suppose 4*y = -2*w + 5*w + 1687, -1269 = -3*y + w. Let s be -1 + (-7)/(-4) + y/32. Is s equal to 13?
False
Let b = 1146 - 1693. Is b at most as big as -548?
False
Suppose 45*a - 12 = 42*a. Suppose -4*z - 2*q = -84, a*z - 6*q = -2*q + 60. Let h(v) = v**2 - 2*v - 5. Let m be h(6). Is z equal to m?
True
Let q = -270922/35 - -50886/7. Is -471 at least q?
True
Suppose 34*p = 60*p + 52. Is p at most -1191?
False
Let c = 130 + -124.3. Let u = -2296 - -2296.2. Is c greater than u?
True
Let d = 3997 + -3998. Are d and -387 non-equal?
True
Let a be -1*(7 + -4)*3. Let b be (5 + 88/(-2))/(a/24). Is 106 not equal to b?
True
Let q(c) = -15*c - 12. Let x(h) = 13*h + 11. Let b(k) = 6*q(k) + 5*x(k). Let p be b(3). Are p and -92 unequal?
False
Let u = 19036.11 + -19117. Let d = 80 + u. Let l = -0.79 - d. Is -0.06 >= l?
False
Let m = 12/15295 + -16427394/718865. Which is smaller: m or -23?
-23
Suppose 12*s = 11*s - 4, 5*n + s - 36 = 0. Let l be (n - 7) + (4 - -14). Which is smaller: l or 7?
7
Suppose -204 = -2*i - 4*m, 296 = 5*i + 2*m - 174. Let r = -21524 - -21617. Is r less than i?
False
Let s be 18*(-15)/(-90) + 2*3. Which is smaller: 15 or s?
s
Suppose -22*z + 17*z + 25 = 0. Suppose 3*a - 3 - 7 = -z*q, q = 5*a - 26. Which is bigger: q or -2/153?
-2/153
Let n(z) = -z**3 - 59*z**2 - 220*z - 1. Let f be n(-55). Let r be -1 + (3 + -2)*-2. Let x be (6/8)/(r - -1). Is f greater than or equal to x?
False
Let k be (2/(-3))/1 - (-4368)/936. Is k equal to 107/28?
False
Suppose 5*u - 2*u = 0. Suppose u = -0*d + 4*d - 4. Let k = 688 - 7566/11. Are d and k nonequal?
True
Suppose -36 = 2*n + 12. Let q(x) = x**2 + 7*x + 19. Let l be q(-4). Suppose -264 = -l*c + 18*c. Is n > c?
False
Let a be (4 + 14332/20)*(-5 - 0 - -4). Which is smaller: a or -721?
-721
Let j = -1.1463 + 1.04565. Is j at least as big as -0.2?
True
Let y(x) = x**3 - 9*x**2 - 7*x - 15. Let p be y(6). Let u = -189 - p. Which is bigger: u or -23?
-23
Let x = 0.05522 + -1.75522. Is -0.082 <= x?
False
Let v = -501 - -606. Let g = 66.8 - 172. Let d = g + v. Which is greater: 15 or d?
15
Let h = 212 - 211.953. Let d = h - 1.747. Which is smaller: 0.03 or d?
d
Suppose 0 = -240*n - 269 + 29. Which is greater: n or 2/26615?
2/26615
Let t(j) = -6*j**3 - 7*j**2 - 5*j + 9. Let v be (-21)/14 + 11/(-22). Let k be t(v). Which is smaller: k or 34?
34
Let k(n) = n + 10. Let a be k(-9). Let h be 2 + (-4 - 22/2). Let w be 6/8 + h/(-52). Does w = a?
True
Suppose 3*t = -6, 2*m + 3 = 2*t + 11. Suppose -s - 5*w + 29 = 0, 5*w - 9 - 39 = -m*s. Is s greater than or equal to 18?
True
Suppose -2*y - 4*o + 6*o = 0, -3*y + 2 = -2*o. Suppose 3*t = -5*l + 8*l - 3, 8 = y*t + 3*l. Which is smaller: t or 5/22?
5/22
Let t(l) = 0*l + 37 - 5*l + 4*l - 46. Let c(b) = -2*b - 17. Let i(w) = -3*c(w) + 5*t(w). Let z be i(-1). Is z smaller than 1?
False
Let r be (-7 - 1448/(-200))*5. Which is smaller: r or 3/2?
r
Suppose 858 - 844 = -14*t. Are -15/203 and t equal?
False
Let x be 112/28*(-6)/8. Is -157 at most x?
True
Let h be 1/3 - 53/(-3). Let f = -582 - -610. Suppose -4*b = 5*g - 93, -g - b - 9 = -f. Which is bigger: h or g?
h
Let q(o) = -7021*o**3 - o**2 + 6*o - 2. Let a be q(1). Is -7018 equal to a?
True
Let v(u) = u**3 - 33*u**2 + 61*u + 25. Let n be v(31). Let o be 1 - (-24)/n - -5. Which is smaller: o or 1?
1
Let f = -11 - -15. Let p(u) = 26*u - 34. Let w be p(1). Let d be w/(-4) + (-36)/15. Is f less than d?
False
Suppose 5*n = -4*r + 23, 5*n - 4*r + 4 = 11. Suppose 4*g - 5*z + 12 = 0, 6*z = n*z. Is g smaller than -17/8?
True
Let k = -2/453 + 8983/85164. Is k bigger than 0?
True
Let q(k) = -1288*k + 1. Let s be q(0). Which is smaller: s or 2/25779?
2/25779
Suppose 2*i - 26 = -2*q, 0 = -3*i - q - 0*q + 29. Let n(m) = 16*m + m**2 - 7*m - 13 + i*m. Let d be n(-18). Which is smaller: d or 4?
4
Let h(v) = -v**2 + 42*v + 41. Let u be h(46). Let m(n) = -16*n**2 + 1. Let g be m(-3). Is u <= g?
True
Suppose 2*z - 3*p - 39 = 0, 187*z + 42 = 189*z - 2*p. Are 56 and z non-equal?
True
Let x = 6.801 + -105.801. Is 0.24 greater than x?
True
Suppose -5*l + 5*v + 322 = 3*v, 4*v - 316 = -5*l. Suppose -9*c - 244 = -l. Which is greater: -1/3 or c?
-1/3
Let g(t) be the second derivative of -1/20*t**5 + 0 + 9/2*t**2 - 8*t - 1/4*t**4 + 5/3*t**3. Let w be g(-5). Is w smaller than 8?
False
Let x be ((-98)/68 + 1)*(-1024)/(-8960). Are -1 and x equal?
False
Let y = -46 + 44.2. Let t = y + -2.6. Let b = t - -4.61. Is -1 less than or equal to b?
True
Let r be ((-996)/(-1494))/(28/(-30) + 6/(-15)). Suppose -g = -k + 81, 3*k + 2*g - 440 = -2*k. Is k less than r?
False
Let j(d) = 12*d + 107. Let n(k) = -28*k - 215. Let x(c) = 9*j(c) + 4*n(c). Let a be x(28). Which is smaller: a or 6?
a
Let x(j) = -5*j**3 + 8*j**3 - 1 - 6*j + 2 - 2*j**3 + j**2. Let q be x(3). Let w = -19 + 38. Is q bigger than w?
False
Suppose -2*j - 3630 = 2*l + 3768, -3 = 3*j. Which is greater: l or -3699?
l
Let c be ((-1 - -1) + (-465)/(-30) + -16)/28. Let z be (4*2/4)/(-2). Do z and c have different values?
True
Let d = 3447 + -3553. Are -1.3 and d nonequal?
True
Let y be (-1)/(((-693)/22)/(-21))*6/(-16). Is -86/87 at least y?
False
Let d = -193/68 + 82135/476. Let p = 170 - d. Let v be (-2)/(-6) - (46/(-24) + 2). Is p not equal to v?
True
Let b