is smaller: k or s?
s
Suppose -h + 16 = 3*g - 55, 25 = g + h. Are g and -49 unequal?
True
Let v = 28510 - 27400. Which is greater: v or -1?
v
Suppose -j - 1187*w + 1183*w = 1633, 0 = -w - 3. Which is smaller: j or -1622?
-1622
Suppose 29*l - 3 = 26*l. Let q = 3327944/99 + -33615. Let u = 9/11 - q. Which is smaller: l or u?
u
Suppose -3*z = 2*q - 5770, -40*q + 42*q + 5774 = 3*z. Which is smaller: 1920 or z?
1920
Let z be (-16797)/(-748) + -17 - 5. Is 0 < z?
True
Let u = -27.89 - 18.73. Let s = -0.38 + u. Let b = s + 57. Which is greater: b or 3?
b
Suppose -4*x = -d - 1, 3*d + d = -3*x + 91. Suppose 5*i + 4*o = 504, -295 = -3*i + o + 4*o. Suppose -w + i = 4*w. Which is bigger: w or d?
w
Suppose 5*s = -j - 1275, -2*j - 4*s - 2957 = -419. Is -1265 bigger than j?
False
Let y be (-3)/((-3)/((-12)/(-22)) - -4). Suppose -y*d = 3*a - 7, 0 = 5*a - a + 2*d - 6. Which is greater: a or -10?
a
Let q = -586 + 486. Let h(g) = -7*g**2 + 4*g - 5. Let r be h(4). Which is greater: q or r?
q
Let l be ((-12)/(-56))/((-10)/(-1380)). Is 30 >= l?
True
Let s be 4/(-2) + (75 - 2) - -2. Let x = -83 + s. Let t be (-2 - x - 76) + 3/(-1). Which is bigger: t or -72?
t
Let y(q) be the second derivative of -q**3/6 - 3*q**2 + 11*q. Let k be y(-8). Let u(g) = -g**3 + 3*g**2 - g. Let a be u(k). Are a and 1 unequal?
True
Let x = 538.9 + -452.9. Let v = -840 + 754.1. Let f = v + x. Which is smaller: 30 or f?
f
Let o = -15.79 + 15.5. Let g = o - -0.29. Which is bigger: g or 80?
80
Suppose 0 = -6*h + 7*h - 2*m - 6, -2*h + 10 = -3*m. Let r be (6 - 3)/1 + (0 - h). Which is greater: r or 6/17?
r
Suppose 13*s = 2*s. Let q be s*6/(-90)*5. Which is smaller: -8/95 or q?
-8/95
Let n = 16 + -24. Let y be (-144)/n*3/6. Let r be y/15 + (-756)/35. Is -21 at least r?
True
Let l be (-38)/24 - (0 + -2). Let w = -39 - -39. Which is smaller: l or w?
w
Suppose 2935*d = 3884*d - 91104. Let w = -7 - -106. Is w less than d?
False
Suppose 138*c - 205 = -67*c. Is 35/32 equal to c?
False
Let n be 2/(-11) + (10237/1595 - 6). Is 1 less than n?
False
Let c(u) = 9*u**2 - 282*u + 27. Let g be c(28). Is -813 not equal to g?
False
Suppose 6*o = 43 - 163. Let g = 0.039 + -0.003. Let h = g + 0.164. Which is greater: h or o?
h
Let f = -338 - -480. Let a = -134 + f. Which is bigger: a or 13?
13
Let x = -205/38 + 18011/190. Let s = -124271/1390 + x. Which is smaller: 1 or s?
s
Let m be (2 - 15/6)/(2/(-40)). Suppose -m*s = -26 + 96. Do -1/13 and s have the same value?
False
Suppose 0 = 4*k - 2*c - 932, 4*c + 159 + 1009 = 5*k. Let q = 368 - k. Which is greater: 137 or q?
137
Let d = -28/51 + -2/17. Let y = 13.5 - 14. Let l = 10.5 + y. Which is greater: l or d?
l
Let b = -250 + 456. Let c = 298 - b. Which is smaller: 90 or c?
90
Suppose -2*z = 31 + 87. Let d = 1521 + -1377. Suppose 0 = -145*a + d*a - 4, -4*t = 3*a + 248. Are t and z nonequal?
False
Let x(m) = 41*m**3 + 2*m**2 - 6. Let h be x(2). Suppose w - 20 + 15 = 0, 5*w = -5*t + h. Is 60 less than or equal to t?
True
Suppose -4*o + 24 + 16 = 0. Let z = 4 + o. Suppose 6*p - z - 70 = 0. Is 14 smaller than p?
False
Suppose 3796 + 464 = 15*c. Let u = -268 + c. Suppose j + j = 34. Is u <= j?
True
Suppose -146 = 466*x - 612*x. Which is bigger: x or 5/1594?
x
Let y(u) = -3*u + 47. Let m be y(13). Suppose 0 = -4*x - 4*c + m, -8*x = -7*x - 2*c - 8. Which is smaller: 6 or x?
x
Let k(l) = l**3 + 6*l**2 + 5*l - 1. Let b = 31 + -27. Let g be b*4/12*-3. Let o be k(g). Is 11 bigger than o?
False
Suppose -8 = -5*q - 3*g + 2*g, 5*q + 3*g - 4 = 0. Let z(y) = -4*y + 1. Let r be z(q). Let v(l) = -339*l - 1016. Let s be v(-3). Is s < r?
False
Let z(w) = 1. Let v(t) = 8*t - 38. Let d(h) = -2*v(h) + 2*z(h). Let q be d(5). Which is bigger: q or -16?
q
Let h = -1048 - 169. Is h > -1217?
False
Let s be 732/(-610) + (-2006)/20. Which is smaller: -101 or s?
s
Suppose -48 = -3*j - j. Suppose 93 = 21*f - j. Suppose -32 = -s - s - 5*p, -f*p - 34 = -4*s. Which is smaller: s or 12?
s
Let n be ((-70985)/2955)/(39/9). Let i = n + 72/13. Suppose -11*m - 19*m = 2*m - 32. Is m less than i?
False
Let g = 2 - -16. Let x be (-27)/g*(-1 + -5). Suppose 0 = -x*a + 4*a + 25. Do a and 3 have the same value?
False
Suppose -16*g - 13604 = -54*g. Let m = g + -231. Which is smaller: m or 126?
126
Let y = 273 + -255. Let a = -5 + y. Let v = 0.3 + -0.5. Is a equal to v?
False
Let b be 5/(6*2/3) - (-1317344)/(-896). Is -2/9 at most b?
False
Suppose 458 - 88 = 5*n. Let b be (-3010)/130 - (n/26 + -3). Does -23 = b?
True
Let x = 1287418592/9791 - 131490. Which is smaller: 1 or x?
x
Let i be 138/4*(-135454)/1551. Which is smaller: i or -3018?
-3018
Let w(d) = 2*d**2 - 101*d - 148. Let v be w(51). Let c = v - -159. Is c at least as big as 58?
True
Suppose 51 = -4*p - 9. Let d = p + 15. Let u be ((-10)/17)/(d + -1). Which is greater: 1 or u?
1
Let y(l) = 31*l + 1066. Let s be y(-18). Which is greater: 510 or s?
510
Let c = 161 + -193. Let p = 15 - -9. Let w = p + -57. Which is smaller: c or w?
w
Let h = 4.1 + -3.1. Let x = h + -0.9. Let n = 0.51 - 0.01. Is x less than n?
True
Let m(r) = r**3 + 8*r**2 + 5*r - 10. Let s be m(-7). Suppose 2*d + 7 + 1 = -4*b, 3*d = -s*b - 4. Let i be b/(-3*3/45). Is i > 20?
False
Suppose -42*n + 95 = 53. Which is bigger: 3/661 or n?
n
Let s = 25 + -17. Suppose -23 = 5*x - m, -2*x - 3*m = -5*x - 9. Let k be (-136)/(-12) + 3 + x. Which is smaller: s or k?
s
Let z be (51/(-954975))/(5/(-7)). Which is bigger: z or 1?
1
Let s(v) = -8*v + 1. Let i be s(1). Let y = -398 - -412. Suppose 5*n - 4*r + y = 0, -r - 4*r - 2 = -3*n. Is n smaller than i?
False
Let i = 25 - 48. Let m be (8/(-6))/((200/4875)/((-4)/(-5))). Is i <= m?
False
Let g = -3004.4 - -3006. Is 106 greater than g?
True
Suppose 17*b - 2400 - 1986 = 0. Which is greater: 3350/13 or b?
b
Let y be 1335/10591 + (-3)/21. Are y and 9 equal?
False
Let k(t) = -t**2 - 16*t - 5. Let f be k(-2). Suppose -6*n = -f + 1373. Which is greater: -224 or n?
-224
Let j = -4 + 6. Let s be 0/2*j/(-4). Let p = -42.274 + -0.726. Which is greater: s or p?
s
Let m = -1364 - -2155. Let j = m - 790.87. Let l = -1.98 + -0.02. Do j and l have the same value?
False
Let k be 7 + -3 - (2 + (-45)/(-27)). Is 215 at least as big as k?
True
Suppose -5*x - 104 = -4*b, -x - 12 = -4*b + 12. Let g(u) = 2*u. Let d(q) = 7*q + 35. Let w(o) = -d(o) + 3*g(o). Let a be w(x). Which is greater: -16 or a?
a
Let z = 228/5 + -229/5. Let v be (-10)/6 - -1*2. Let q = z + v. Is q less than or equal to -1?
False
Suppose 0 = 98*l - 54*l - 352. Let z(n) = -4*n + 16. Let m be z(4). Which is greater: m or l?
l
Let t(b) = 2*b**2 - 17*b - 12. Let z be t(9). Let o be (z + 5 - 0) + -1. Is 41 at least o?
True
Let i be (-2675)/(-1284) - (-6)/(-8). Let j = 105 + -125. Which is greater: j or i?
i
Let p(w) = 51*w + 4. Let h(n) = -52*n - 5. Let a(s) = 4*h(s) + 3*p(s). Let d be a(8). Let r = 20162/45 + d. Which is greater: 0 or r?
r
Suppose -a = -0*a. Let b = 1691 - 15667/9. Let l = b + 4381/90. Is l smaller than a?
True
Let r = 630 + -590. Let q = -844.1 + 884. Let w = r - q. Which is bigger: -0.47 or w?
w
Let n(p) = -32*p + 6*p**2 + 30*p + p**3 - 5 + 5 - 12. Let x be n(-6). Which is bigger: -4/25 or x?
x
Let o be ((-10800)/(-1296))/(8/74*-1). Which is smaller: -76 or o?
o
Suppose 14*q + 22230 = -8024. Are -2161 and q nonequal?
False
Let m be -1651*1/(-5) - (-31)/(-155). Suppose -18*p + 7*p = -m. Which is bigger: 27 or p?
p
Suppose -10 + 1 = z - 3*p, 2*z - 5*p = -19. Let i be (-1 + 3)*z/(-8). Let g = -483 + 485. Is g equal to i?
False
Let k = -8634/29 - -34275/116. Let v(y) = y + 7. Let x be v(0). Suppose 0 = -t + 4*l + 11, -3*l - 5 - x = 3*t. Which is greater: t or k?
t
Let z = -26310 + 28381. Is z at most 2073?
True
Let k be (-3)/6 - (-155)/10. Suppose 16*x = k*x + 22. Suppose -88 + x = -11*i. Which is smaller: i or 5?
5
Let f = -95 - -88.7. Let j = f + 38.3. Let s = j + -31.89. Is s greater than -1?
True
Suppose 26*d = 11699 - 409 - 85676. Is -2862 equal to d?
False
Let s(o) = -11*o - 489. Let k be s(-23). Which is bigger: k or -234?
-234
Let c(a) = -10*a - 68. Let b be c(-10). Suppose 5*x = -47 + b. Is 39 at most as big as x?
False
Let h be -2*((-105)/(-10) - (9 + -5)). Let a = -351/4 - -90. Which is bigger: a or h?
a
Let i be (-1)/(-5)*(2100/(-1071) + 2). Is 1 >= i?
True
Suppose -5*h + s = -17, -3*h + 1