08/10). Which is smaller: t or -524?
-524
Suppose 5*y - a + 2520 = 0, -3*y - 41*a = -38*a + 1512. Which is bigger: -9 or y?
-9
Let o be (-888)/(-18)*(-10170)/(-3 + -12). Is o greater than -1/2?
True
Let u = 277 - 361. Let p = u + 81. Let g be 1/2 - (-6)/(-4). Which is smaller: p or g?
p
Let g be (-4)/(-10) - (-168)/30. Suppose 0 = v - 1, -3*u + 0*v - v = -22. Suppose -4*c = -c + 3*t - 6, 3*c + 2*t = u. Are c and g equal?
False
Let p = 410.39593 - -0.00407. Let i = p + -411. Is 5/4 > i?
True
Suppose v + 3*y + 20 = -3*v, -4*v = -5*y - 12. Let c be ((6 - 9) + 2)*(-82)/v. Is c at least as big as -43?
True
Let n = 588986/229 - 2572. Let p be ((-1)/(-2))/(32/192). Suppose -m + x + 6 = 0, m + 1 + p = -x. Is n less than m?
True
Let d be -5*(-17)/(-6)*(-120)/7200. Is d > -1?
True
Suppose 5*g - 3*v - 19 = 0, 4*g + 8*v = 3*v - 7. Let p be g/(-9)*(-3)/2. Let n = -0.063758 + 0.093758. Which is greater: n or p?
p
Suppose -3*l - 243 = -0*l. Suppose 84*i + 253*i - 35*i + 24764 = 0. Is i at least as big as l?
False
Let g = -240310819/6632310 - -4/221077. Let u = g + 109/3. Which is bigger: u or -9?
u
Let m = -643 - -778. Let p = 96 + m. Which is bigger: 1 or p?
p
Suppose -3*m + 42 = -3*q, -3*q - 2 = m - 0. Let p be (-14899)/423 - 2/(-9). Let x be (0 - 4)*m/p. Which is greater: x or 1?
x
Let g = -44 - -89. Suppose -g*k + 9 = -36*k. Which is bigger: k or 4/105?
k
Suppose -315*q = 3*y - 310*q + 76, -2*y = 3*q + 49. Which is greater: -28 or y?
y
Let o be (-194)/38 - (42/(-84) - 15/(-38)). Is -123/34 at most o?
False
Suppose -23*s - 7714 = 5107 + 6568. Is -855 greater than or equal to s?
False
Let p = -2743/12420 - -21/92. Suppose -73 = 4*z + 39. Let c = z + 27. Is c not equal to p?
True
Let d(q) = 2*q**2 + 23*q - 14. Let l be d(-11). Let a = l + 45. Let j be (-9)/15 - 8/a. Is -12/13 less than j?
False
Suppose 5*z = -2*s + 5, 34 = 4*s + 2*z - 16. Is 11 greater than s?
False
Suppose 10 = -2*j + 2*r, -3*j - r = -j + 1. Let m be j/((-1)/(-1)) + 1 + 2. Let u be 2 - 0 - (-58)/(-24). Which is smaller: m or u?
u
Let m = -16742 + 16741.5. Do 9 and m have the same value?
False
Suppose 5*m - 4*v = 21, -43*m + 49*m + v - 2 = 0. Is m smaller than 3/3365?
False
Let u(k) be the third derivative of 3*k**5/20 + k**4/6 + 8*k**2. Let n be u(-3). Let y = 67 - n. Is y at least -3?
True
Let c be (0 + (1 - (-2)/(-1)))*-10. Suppose 10 + 80 = c*d. Let b(r) = -r**3 + 11*r**2 - 18*r - 1. Let f be b(d). Is f bigger than 5/12?
False
Suppose 3*v + 10*l + 418 = 14*l, -4*v = -5*l + 557. Is v at most as big as -141?
False
Let t = -29.3 - -32. Let u = -2668/15 - -178. Let x = u + -4/5. Is t at most as big as x?
False
Let a(f) = -23*f - 509. Let i be a(-23). Is 22 at most as big as i?
False
Let n = -0.4 - -0.3. Let a = -34.075 - -34.027. Which is greater: a or n?
a
Let l = -22.88 + 25.08. Is l greater than -2/55?
True
Let d = 761 - 761.061. Let s = 1.859 + 0.141. Is s > d?
True
Suppose -2*c + y + 3*y - 4 = 0, -6 = 2*y. Let u = -12 - c. Are u and -35/13 non-equal?
True
Let t(v) = -3*v - 44. Let m be t(-16). Suppose -1426 = -3*a + 52*o - 56*o, -4*o = m*a - 1908. Which is smaller: a or 1?
1
Let z = 219 + -156. Let f be (3 + (-177)/z)/((-2)/3). Is f less than or equal to -3/5?
False
Suppose 5*w = 4*n + 12598, -n - 3155 = -35*w + 31*w. Is -3147 > n?
False
Let j = -459 + 25. Let z = j - -548. Is 116 smaller than z?
False
Let q = 82.185 + -82.3. Which is smaller: q or 35?
q
Suppose -4*w + 21 = 4*w + 677. Are -73 and w nonequal?
True
Let f = 146911 + -734553/5. Let m = -57.28 + 1.28. Let h = m - -40. Is h > f?
False
Suppose 9*w - 29 = 97. Let m be (-1)/(-35)*-74 - (12 - w). Are m and -1 nonequal?
True
Suppose 22*m = 24*m + 366. Let p = m + 116. Which is smaller: -70 or p?
-70
Suppose 3*p - 8 = 58. Let h(f) = -2*f**2 + 25*f + 67. Let l be h(p). Is l less than -351?
False
Let o be (-19)/(-1) + 4237/(-223). Is -19/757 not equal to o?
True
Let q(p) = 2*p - 191. Suppose 16*f - 13*f = 5*r + 76, 0 = 4*f - 3*r - 105. Let c be q(f). Is -137 >= c?
True
Let h = -88/13 - -2503/364. Let a = 145.05 + -145.1. Is h at least a?
True
Let v(m) = 21. Let y(o) = o - 62. Let h(w) = -17*v(w) - 6*y(w). Let f be h(2). Suppose p - 24 = -3*z, f*p = 4*p - 3*z - 48. Is 36 greater than or equal to p?
True
Let r = -2898 + 2897. Which is bigger: r or 359?
359
Let s = -397/834309 + 4/4879. Are s and -1 non-equal?
True
Let c = -21435 - -21430. Does -157/41 = c?
False
Let f = -34327 + 26876. Which is smaller: f or -7449?
f
Suppose -3*q - 38*r - 11 = -40*r, 2*r = -6*q + 20. Is 130/197 at most as big as q?
True
Suppose 191*p = -1079410 + 539666 - 1176964. Is p greater than -8987?
False
Let k(z) = 131*z**2 - 691*z + 12. Let b be k(5). Which is smaller: b or -169?
-169
Suppose 4*d + 16 = 0, -5*d + 14 = -0*j + 2*j. Let r = 10 - 25. Let b be (0 - (-24)/r) + 2. Which is smaller: b or j?
b
Let y be (-161928)/567336 - (2/(-14) + (-15)/105). Is -1 > y?
False
Let z = 0.4 + 1. Let k = 491.3 - 490. Let r = z - k. Which is smaller: -1/5 or r?
-1/5
Suppose 0 = -2*k + 1 + 1. Let t = 2/41137 + 81688/12053141. Is k equal to t?
False
Let t be 119/(-56) + 2 - 1103/8. Let c be ((-8)/108)/((-4)/t). Is -4 at least c?
False
Let j = 6047 - 3011407/498. Let b = j + 539/20418. Are -1 and b unequal?
True
Let n = -2 + 6. Suppose 3*a = -5*r - 0*a + 20, 2*r + 2*a - n = 0. Let c(g) = -g**2 + 7*g. Let p be c(r). Are p and -12/11 equal?
False
Let l = -7567 - -7408. Does l = -159?
True
Let r be 22/30 - 2/6. Let o = 0.931 + -925.931. Let j = 926 + o. Which is smaller: r or j?
r
Let y be ((-4)/2)/((-8)/(-24)). Let r = 7 + y. Is -0.05 greater than r?
False
Let n be 20916/72127 - (-12)/22. Let i = n + -10652/12561. Is 0 >= i?
True
Let y = 19150/7 + -2736. Suppose 3*v - 135 = 2*t, 4*v - 185 = -2*t + 3*t. Which is greater: v or y?
v
Let p(w) = -44*w**3 + 42*w**2 - 96*w + 7. Let i be p(2). Is -371 less than or equal to i?
True
Let s = -168 - -193.7. Let m = s + -24. Which is greater: -0.1 or m?
m
Suppose -63*g - 55 = -8*g. Which is bigger: g or -2/979?
-2/979
Suppose 64 - 10 = -3*a. Suppose -3612 = 480*f - 179*f. Which is greater: a or f?
f
Let v(r) = -6*r**2 - 15*r - 164. Let d be v(-28). Is -4448 <= d?
True
Let d be (-88)/(-28) + -3 + 40/(-2240). Are -421 and d non-equal?
True
Let u = 0.8686 + -0.7786. Does u = -2.54?
False
Let u be 0/(4/(-2)) - 1. Let c be (15/(-4) + 1)/((-41)/492). Let d(b) = -b**3 + 32*b**2 + 32*b + 32. Let s be d(c). Is u less than s?
False
Let s = 848 - 869. Let n be -4*((5 - 7) + 1 + s). Which is greater: n or -5/3?
n
Suppose -145 = -4*v + 23. Let g(s) = -31*s - 116. Let b be g(-4). Suppose -b*n + 132 = -220. Is n < v?
False
Suppose 2*b + 7346 = 4*f, -4*b = 4*f - 5179 - 2137. Do 7335/4 and f have different values?
True
Suppose -2*t + 8*r = 3*r, t = 4*r. Which is greater: -2/913 or t?
t
Let g be 1/((-41916)/1981) + 4/48. Is 0 < g?
True
Let k = 3407 + -3278. Is 140 <= k?
False
Let q be 7018/(-340) - 42/714. Is q equal to -21?
False
Let q(s) = -15*s - 62. Let a be q(-4). Let p be -3 - -57 - (a + 7). Which is smaller: p or 50?
p
Let n be 3/9 - (-4)/6. Let h be (-1)/30*5835/(-36). Let w = 45/8 - h. Which is bigger: n or w?
n
Let y = 3823 - 3823. Let k be ((-64)/66)/((-2)/3). Is y at most k?
True
Let u = 135 - 171. Let r be (5*(3 + -4))/(u/40). Is 0 at most r?
True
Suppose -1372 = 20*g - 34*g. Let u = -97 + g. Which is smaller: 18/11 or u?
u
Let y = -884.5 - -882.7. Let j = 0.98 + 0.02. Which is smaller: y or j?
y
Let y be ((-46215)/(-819))/((-4)/28). Which is smaller: -1981/5 or y?
-1981/5
Let w(c) = c**2 - 5*c - 7. Let b be w(-6). Let z = b - 49. Suppose 9*n - z*n = 0. Is n less than -2.4?
False
Suppose 398*z - 70*z = -303*z. Is -30/259 at least z?
False
Let n be ((-78)/8)/(606/(-4040)). Which is bigger: n or 40?
n
Let l = -117 + 122. Let f be (-2)/l*(-30)/(-24). Suppose 5*h = -n + 126, 3*n - 19 = 2*h - 66. Is f > h?
False
Let r = 6 - 4. Suppose -3*o - 5*n = 3 - 11, r*o - 7 = -5*n. Let j be -7 - (-6*(-4 + 118/28) - 6). Is j > o?
False
Let v be (-167920)/260 + (-2)/13. Let y be (-962)/(-9500) - (-68)/v. Which is smaller: 1 or y?
y
Suppose 745 = -3*a - 5*m, -4*a + 3*a - 259 = -m. Is a smaller than -256?
False
Let k be (18 + -179)/(((-10)/(-18))/5). Which is smaller: -1452 or k?
-1452
Let c = -161.061 - -1.061. Which is bigger: c or -3?
-3
Suppose y - 5*o - 2