ter than 183?
True
Let n be 25/(-30)*3 + 3. Let d = 5/12 - n. Which is smaller: -1 or d?
-1
Let z = -7 - 0. Let q = 1657 + -1663. Which is smaller: z or q?
z
Suppose 0 = 4*y - 4*f - 164, 2*f - f - 119 = -3*y. Let g = -39 + y. Is 0 less than g?
True
Let j = 4 + -3.87. Let a = j + 0.47. Is 3 less than a?
False
Let f = 0.97 + -0.91. Let v = 17 + -22. Are v and f equal?
False
Let i be 7 + -5 + 2 + 1. Suppose 100 = -0*g + i*g. Let l be g/15*3/(-2). Which is smaller: l or -3?
-3
Let g(b) = b**3 - 11*b**2 - 14*b + 1. Let t be g(12). Suppose -31 - 19 = -2*i. Let y = t + i. Is y <= 2?
True
Let y(r) = r**2 + 7*r + 12. Let g be y(-8). Let z be 92/130 - 8/g. Let n(o) = -o**3 + o**2 + 2*o + 1. Let v be n(2). Is v smaller than z?
False
Let k = -139.96 - -140. Is k != 1?
True
Let c be (-2 + -546 - 154/(-22))*1. Which is bigger: -540 or c?
-540
Let g be (-3710)/42 - 2/3. Let o = g - -106. Which is smaller: 6 or o?
6
Let s = 1851 - 68499/37. Is 1 greater than or equal to s?
True
Let f = 56.67 - 27.67. Is f <= 17?
False
Let c = -5359/21 - -255. Which is bigger: c or 0?
0
Let d = -20 - -19.4. Let v = -13 + 12.2. Let z = v - d. Which is bigger: 0.5 or z?
0.5
Let c = 129 - 129.39. Let z = 1.49 - 1.3. Let y = z + c. Which is greater: 4 or y?
4
Let j(y) = -y + 1. Let n(v) = -3. Let z(f) = -j(f) - n(f). Let h be z(4). Suppose m + l = h*m + 11, 0 = -5*l + 5. Is m greater than -3/4?
False
Let z(w) = 419*w - 17. Let j be z(-4). Let r = j + 11813/7. Is r < -6?
False
Suppose -4*c + 2*j + 16 = 0, -44 = -4*c - 0*c - 5*j. Is c smaller than 25?
True
Let a be (6/488)/(-14 - 432/(-32)). Is -1 equal to a?
False
Let l be (2 - 92/28)*-7. Suppose 2*k - 3*k + l = 0. Is k equal to 7?
False
Let u(n) = n**3 - n**2 - n - 1. Let w be u(2). Suppose 32 = 8*y - 4*y. Suppose 2*j = 6*j + y. Which is smaller: w or j?
j
Let y = -101 - -251. Let j = -25948/173 + y. Are 0 and j equal?
False
Let n = 36 - 32. Suppose -4*d + i + 3 + 8 = 0, -4*d = 3*i + 1. Suppose h - d*h + n = 0. Is 2 >= h?
False
Let l = -32/5 + 278/45. Let c be (-18)/(-27) + 10/(-6). Are c and l equal?
False
Let t(n) be the first derivative of -n**4/4 - n**3/3 + n**2 - n + 82. Suppose -5 = 3*g - 3*z + 1, 0 = 2*g + 2*z - 8. Let y be t(g). Which is bigger: -2/35 or y?
-2/35
Let f = 144 - 143. Are f and 8 nonequal?
True
Let g be ((-4)/(20/247))/((-23)/115). Is g less than 249?
True
Suppose 5*v - 4 = 2*t + 3*v, 4*t + v = 12. Suppose -2*i + 136 = t*i. Which is greater: i or 33?
i
Suppose 0 = -12*t + t - 5643. Are -512 and t equal?
False
Suppose 202 + 50 = -14*r. Suppose 11 = n + 29. Let b = n - r. Is -5/7 equal to b?
False
Let t be 10945/(-1565) + 1/2. Let p = t - 2/313. Let m = p + 6. Does m = -1/17?
False
Let l = -3.75 - -0.15. Let a = l + 3.7. Is -0.08 bigger than a?
False
Let t = 79914/49 + -1631. Are 0 and t unequal?
True
Let d = -64 + 46. Suppose -96 = 5*y - 4*w, 3*w + w = -4. Which is smaller: d or y?
y
Let k be (-3468)/(-7728) - (32/(-28))/(-4). Is 0 at most as big as k?
True
Let o = -9.9 + 10. Let c = -0.05 - o. Let x = -6.2 + 7.2. Are x and c equal?
False
Let v(g) = -g + 12. Let s be v(13). Is s equal to -1/295?
False
Let y(f) = -7*f - 12. Let k be y(-1). Let i be (-63)/(-14) + k - (-11)/14. Which is smaller: i or 19/5?
i
Suppose r - 6 = -0*r. Suppose 22 = -2*a + r*a + o, 0 = a - 2*o - 1. Let j be ((-4)/a)/((-216)/60). Are 0.06 and j equal?
False
Let f be (1 - (-44)/8)*22 - 3. Is 138 < f?
True
Suppose 3*z = i, i - 6*z + 2*z = -4. Suppose -i*b - 3*b = 285. Does -18 = b?
False
Suppose 2*i + 11 + 0 = -5*c, -5*i = -3*c + 12. Let f be ((-1)/c)/((-24)/72). Which is bigger: f or -4?
f
Suppose -2*c + a + 180 = 0, c + 256 = 4*c + 2*a. Let r be 3429/(-39) + 0 - 0. Let x = c + r. Which is smaller: 0 or x?
0
Let m(j) = j + 11. Let s be m(-7). Let k be s + 86/(-16) + 1*2. Which is smaller: k or 1?
k
Let z be ((-2)/(-42))/(11/4). Let g = z - -2720/3003. Which is smaller: g or 1?
g
Suppose -4 - 56 = 3*p. Let h be p/3*9/3. Suppose 2*m + 8 = -g - 2*m, 77 = -4*g - m. Is g equal to h?
True
Let h = 0.79 - 0.59. Let l = -5 + 3. Let o be 8/3*l/8. Which is smaller: h or o?
o
Suppose -4*w + 30 = 3*l, -w - l + 5 = -3. Suppose -49 = 3*x - 4*u, 0 + 14 = -x - u. Let a = x + w. Which is smaller: a or -8?
a
Let h(z) = -z - 12. Let a be h(-10). Let s be -4 + -4*(-3 - a). Suppose 2*n + 3*n - 90 = s. Is n < 17?
False
Let u = 951 - 975. Which is smaller: u or -32?
-32
Let i = -274 - -272. Is -0.079 less than i?
False
Let c = 108/157 + -40340/2041. Which is bigger: -20 or c?
c
Let p = 31470/13 + -2422. Let b = p - -109/78. Suppose 3*a = -4*m - 3, 2*a + 2*a + m + 4 = 0. Is b >= a?
True
Let a(h) = 45*h**2 - h. Let b be a(1). Let k = b + -44. Are k and 2 non-equal?
True
Let g be (-8)/(-6)*(-14)/(-28). Is g smaller than 2.67?
True
Let z(x) = 22*x**2 - x**3 - 4*x - 6*x - 24 - 9*x. Let o be z(21). Let h(j) = 3*j**2 - 4*j + 4. Let f be h(3). Are f and o unequal?
True
Suppose -4*l = 0, w + 5 = -5*l + 1. Let q be (910/175)/((w/10)/2). Is -27 < q?
True
Let c = 116389/103 + -1130. Which is bigger: -1 or c?
c
Let f = 25 - 20. Let t be (4/50)/((-4)/f). Which is smaller: t or 0?
t
Let w be ((-6)/2)/6 + 36/8. Suppose 75 = -w*a - a. Let x be ((-14)/(-3))/(1/(-3)). Is x at most a?
False
Let b = -732 - -728. Is b bigger than -22?
True
Let p = 64 + -104. Which is bigger: 3 or p?
3
Suppose -14*a = -18*a + 24. Suppose 0*t - 162 = -a*t. Is t > 28?
False
Let l be ((-204)/99)/(3/(-432)). Let o = -296 + l. Is 1 less than or equal to o?
False
Let b = 34413/6272 + -270/49. Do 0 and b have different values?
True
Let n be 463/(-2265) + (-11)/(-55). Is 0 < n?
False
Let n = -21894/5 + 4394. Is n at least as big as 16?
False
Let y(u) = 348*u + 90. Let j be y(1). Which is bigger: 437 or j?
j
Let h be (-1500)/140 + 7 + 4. Let k = 4 + -7. Which is bigger: h or k?
h
Let q = 0.382 - -6.618. Is 5.7 != q?
True
Suppose 5*k - 2*h + 120 = 0, -k - 24 = -0*h - 4*h. Which is smaller: -1 or k?
k
Let f = -7069/5 + 1421. Let p be (9/2)/(3/4). Which is bigger: p or f?
f
Let i = -1/39291 - 16698631/1728804. Let s = i + 39/4. Let m be (-2)/(-3) + 4/(-6). Which is smaller: s or m?
m
Let o = 96.1 - 96. Which is bigger: o or -101?
o
Let a(f) = f**2 + 8*f + 14. Let k be a(-6). Suppose -6*q - k*q = 8. Does q = 1/47?
False
Let p(s) = -2*s**2 - 15*s - 7. Let h be p(-7). Are 9 and h equal?
False
Let h = -457/21 - -164/7. Is 6/11 < h?
True
Let g = -2872 + 2037. Let s = g - -29221/35. Which is greater: -1 or s?
s
Let f(i) = i + 1. Let v be f(7). Let d(l) = -l**3 - 5*l**2 - 6*l - 3. Let k be d(-4). Is k less than v?
True
Let u = 33 - -19. Do 50 and u have the same value?
False
Let x be -1*1/(-2)*240/(-1040). Which is greater: 0.2 or x?
0.2
Suppose -353 - 110 = 3*b + m, 2*m + 773 = -5*b. Which is smaller: b or -2?
b
Let z be 4*-3*12/16. Let j = 9 + z. Let l = 169 + -2029/12. Which is bigger: l or j?
j
Let d be (-4 - 95/(-10)) + 15/6. Which is greater: d or -3/10?
d
Let z = -46 + 93. Suppose -1 - z = 4*k. Suppose 32 = -2*w - 5*y, -36*y + 39*y = w + 5. Is w less than k?
False
Let u be 72/27 + (-1)/(-3). Let t = -18 + 50. Suppose 10 + t = -u*d. Which is bigger: d or -13?
-13
Let z = -433792/310761 + 4/7227. Is z at most as big as 0?
True
Let r = 561 + -52172/93. Which is smaller: r or 0?
0
Let k(p) = p**3 + 6*p**2 + 4*p - 2. Let l = -1 + -4. Let x be k(l). Suppose 0*v - v - x = 0. Is -3 greater than or equal to v?
True
Let o = 574 + -584. Is o bigger than 1?
False
Let g(r) = r**2 + 2*r + 1. Let v be g(-1). Suppose 2*s - 6 = 0, 5*s - 4 = -4*y + s. Let t be 1/6 + -3 - y. Which is smaller: v or t?
t
Let l(m) = -m + 15. Let q be l(13). Suppose 0 = q*i - n - 3*n - 2, i - 3*n = 3. Which is bigger: i or -7?
i
Let n(w) = -2 - 1 - 5*w + 3*w**2 - 2 - 4*w**2. Let p be n(-4). Let t be 3*159/(-495) - (-6)/10. Which is greater: t or p?
t
Let j = 3/122 - -153/1220. Suppose 25*d - 21*d = 4. Do d and j have the same value?
False
Let n(u) = -6*u**3 - u**2 - 3. Let s be n(-2). Which is smaller: 40 or s?
40
Suppose 16 = -4*r + 2*h, 4*r = -r + h - 26. Which is smaller: r or -80/17?
r
Let m(h) = -13*h**3 + h**2 - 2*h - 2. Suppose -3*y + 7*y = -4. Let l be m(y). Let x be (-14)/l - (-1 - 1). Which is smaller: 0.2 or x?
0.2
Let j = -63 + 66. Suppose 4*m - 1 + 9 = -j*x, 2*m + x = -6. Is m at most -2?
True
Suppose 958 = 4*u - 3*o, -16*u - 713 = -1