s smaller: x or 7?
7
Let p be (-1*(-1 - -2))/76. Let c = p + -73/228. Which is greater: -8.9 or c?
c
Let b(m) = 5*m**3 + 110*m**2 + 84*m - 221. Let u(s) = s**3 + 22*s**2 + 17*s - 44. Let f(i) = 2*b(i) - 11*u(i). Let h be f(-21). Is -2/65 smaller than h?
True
Let n be -2 + 2 - (5 - (-16690)/(-3220)). Let q = -5/161 - n. Is q < -1?
False
Let x = -326 + 330.64. Let l = x - 4.385. Which is smaller: l or 1/2?
l
Suppose 5*o - 14 = -2*o. Let h = -522 + 4720/9. Is o at most h?
True
Suppose 1493 + 411 = 34*q. Suppose -n + 67 = 5*s - 0*s, 0 = -3*n + 4*s + 163. Which is smaller: q or n?
q
Let z be 0 + 374122/37408 + (-2 - 8). Which is smaller: z or 1?
z
Suppose 29*r + 13*r - 31 = 11. Let p = 9724700/119847 - -4/17121. Let f = p - 81. Which is smaller: r or f?
f
Let b(s) = 49*s**2 + 4. Let r be b(2). Suppose -6*n = 4*n + r. Which is smaller: -135/7 or n?
n
Let c be (-2)/9 - (-15 - (-22463)/(-1575)). Which is smaller: c or 29?
29
Let k = -114 + 112. Let d(z) = -z**3 + 11*z**2 - 23*z + 66. Let h be d(4). Which is smaller: k or h?
k
Let j(z) = z + 14. Suppose 105*n - 112*n - 98 = 0. Let l be j(n). Let c(k) = -6*k**3. Let t be c(-1). Is t less than l?
False
Let i = 4.58 - 0.28. Let o = -0.2603 + 0.1603. Is o smaller than i?
True
Let b be (-2)/7 - 3396/(-28). Let m be (1 + -2*1)/((-131)/(-1063458)*-66). Which is smaller: b or m?
b
Let i(t) = t**3 + 4*t**2 + 6*t + 2. Let j be i(-1). Which is smaller: j or -1/32?
j
Let z = -67/20 + 18/5. Let h = -0.23125 + -45.76875. Which is bigger: h or z?
z
Let c be (-4)/(-14) + 25/35. Let a = 1284 + -451969/352. Which is greater: c or a?
c
Let h = -177 + 3719/21. Which is greater: h or 42?
42
Let m be (28/4)/70 - 2638*4/(-80). Which is smaller: m or 3?
3
Let h = -988 + 1879. Which is greater: 1/3 or h?
h
Let i(h) = -165*h**3 + h**2 + h - 1. Let b be i(1). Let y be (b/205)/(1*(-2)/30). Let o be y/102 + 22/102. Is o smaller than -0.1?
False
Let q be -55 - (24/(-10) - 16/(-40)). Let r = 0.2 - -0.8. Which is smaller: q or r?
q
Suppose -9*n + 357 = 11*n + 2877. Which is smaller: -128 or n?
-128
Suppose -7*n - o - 7965 = -4*n, n = 4*o - 2668. Which is bigger: n or -2655?
-2655
Let a = -1426.7 - -1433.7. Which is greater: -1/129 or a?
a
Let l = -3 + 2. Let i = -262 - 1316. Let j = i + 1587. Which is smaller: j or l?
l
Let t be 5*1 - ((-2)/(-3) + (-43739)/687). Is 466/7 at most as big as t?
True
Let y(p) = -30*p - 41. Let a be y(-6). Let v = 156 - a. Let k = 11 + 8. Do v and k have different values?
True
Let m(b) = -b**2 - 18*b - 6. Let k be m(-18). Let p be k + (-8)/(-2) - -1. Which is greater: p or 2/179?
2/179
Suppose 5*r - 175 = -5*h, 2*r + h - 23 = 47. Suppose -3*t - 2 + 8 = 0, -b = 2*t - 40. Which is smaller: b or r?
r
Let r(l) = -6*l - 102. Let w be r(-17). Which is bigger: -2/229 or w?
w
Let j = -177 - -127. Which is smaller: j or -1/6?
j
Let u(f) be the first derivative of -52*f**3/3 - 5*f**2/2 + 5*f + 32. Let y be u(2). Let c = 134 + y. Which is greater: -78 or c?
-78
Let h be 2/1722*(0 - -2). Let m = h + 736/861. Let g = 29/42 - m. Which is smaller: -1 or g?
-1
Let i(c) = c**3 + 7*c**2 - 24*c - 162. Let u be i(-7). Suppose 2*o + o - 3 = 0. Let k be o/(u/4) - (-26)/(-30). Which is smaller: 1 or k?
k
Let w(r) = r**2 + 5*r - 171. Let y be w(11). Suppose 0 = -y*b + 5*n + 195, n = 3*b + 4*n - 117. Is b at least 32?
True
Let t = -6516584/249 - -26171. Are t and 2/13 unequal?
True
Let a = 1117.2 + -1117. Which is smaller: a or -2450?
-2450
Let s = 98019674/3243 - 30225. Let u be 794665/(-421590) + 81/(-18) + 5. Let z = u - s. Is -2 bigger than z?
False
Let v = -179.1 + 175.1. Let r = -22 - -23.5. Which is smaller: v or r?
v
Let i = 23530 + -23531. Which is smaller: i or -45/28?
-45/28
Suppose 3*v + 14 = -2*n, 4*n + 18 = v - 2*v. Let u be 1/1 + (-2)/v. Let w(s) = -8*s - 2. Let l be w(0). Is l less than u?
True
Let l = 761 + -761. Suppose l = -4*c - b + 4 - 26, -2*b = 4. Suppose 2*g = 7*g + 10. Which is bigger: c or g?
g
Let m be (160976/(-26828) - -9) + -3. Is 0 != m?
True
Let i = -1549 - -1593. Let u = -5 + 48. Is i smaller than u?
False
Suppose -5*b - 3*x + 7 = -7*x, -b + 5*x = -14. Let i = -1.524 + 0.777. Let m = i + 0.7. Is b < m?
True
Let b be 2/(-6) + (-2)/(-6). Suppose -3*a + 5*a - 3*j - 48 = b, -24 = -a + j. Let f be a/(-9)*27/(-156). Is 1 less than f?
False
Let j be -1*(-4)/(-2) + 0. Suppose -11*w - 79*w = -720. Suppose -7*m - 3*c - 44 = 0, -c = -m - 2*c - w. Is m at most as big as j?
True
Suppose -4*o - 23 = -31. Suppose 41 = o*u + 6*q - 11*q, 4*u = q + 37. Let s be 7/(252/u) + (-337)/18. Is -18 smaller than s?
False
Let q = 226 - 46. Let j = q - 179.9. Which is greater: j or -49?
j
Suppose -16 = 6*p - 4. Let q be 16*(6/4 + p). Which is bigger: q or -10?
q
Let p = -134/141 - -2927/3525. Let m(g) = -g + 9. Let a be m(9). Is a at most p?
False
Let q = 12 - 10. Suppose 0*a - 5 = -q*i + a, 3*i - 40 = -5*a. Is -1 < i?
True
Let a = -32044 - -15668. Is a > -16376?
False
Suppose 26*y + 18 = 20*y, s - 4*y = -2474. Is -2487 at least as big as s?
False
Let s = 845 + -582. Let h = s - 258. Are h and 8 non-equal?
True
Let p = 19 - 18.8. Let i = 397.944 - 398. Which is smaller: p or i?
i
Suppose 5*l + 89 = 9*l - 3*q, 0 = 3*l - 5*q - 53. Suppose 4*b - n = 6, -l*b + 30*b = -2*n. Which is bigger: b or 10/99?
b
Let l be (-188)/(-6) + 44/66. Suppose -h - l = -3*p, -16 = -2*p - h - h. Let o(s) = 3*s**2 + 14*s + 5. Let c be o(-5). Is c < p?
False
Let m(d) = 208*d - 5810. Let a be m(27). Which is smaller: -192 or a?
a
Let z be 0 - 10*1/(-85). Is z < 3.5?
True
Let k = -10.03 - -1576.03. Let d = -1577.33 + k. Let f = 0.33 + d. Which is smaller: f or -2/7?
f
Let l(r) = -35*r + 578. Let p be l(44). Do p and -964 have the same value?
False
Let t = 7 - 10. Let m be -2 - -5 - ((-18)/t + -3). Let q be 1*((1 - m) + 6/(-3)). Which is bigger: -1/15 or q?
-1/15
Let i = 140.196 + -140. Let q = 0.096 - i. Which is greater: q or 197?
197
Let k = -1.691 - -1.471. Is -0.1 bigger than k?
True
Let z be 0 - (0 - (0 + 2)). Suppose 0 = 2*x + j - 10 - 3, z*j + 2 = 0. Is x > 23/4?
True
Let x = 1 + -1. Let u = -44321287 - -306171451551/6908. Let c = -11/157 + u. Is c < x?
False
Suppose 7*r = 13*r - 48. Let m be r/40 + (-305)/25. Is 0 greater than or equal to m?
True
Let o = 5152.4 + -4770. Let h = o + -385. Which is greater: -7/2 or h?
h
Let l = -5/2 + 7/3. Let b = 1.29863 + 0.30137. Is b at least l?
True
Let k = 37.6 - 41. Let f = -2.4 - k. Let t be 6 - (-4 + 2/(-2)). Is t <= f?
False
Let c = 4915 - 9829/2. Suppose -12 = f - 5*f. Suppose -f*a + 2*r - 3 = -0*a, -2*a - 2*r + 8 = 0. Is c < a?
True
Suppose 3*v + 197 - 100 = 103. Let d be (2/1 + -2)/1. Which is smaller: v or d?
d
Let x = 24026.1 + -24027. Which is smaller: x or -94?
-94
Let f = 53219 - 1916057/36. Let g = 79/45 + f. Let m = -11/4 - g. Which is smaller: 1 or m?
m
Suppose 24 + 27 = -3*i + 54. Let u be (-43)/(-70) - 4/8. Let s = 31/140 - u. Which is smaller: s or i?
s
Let q = 1.68 - 3.88. Let v = -1.2 - q. Does -1/18 = v?
False
Let u = -126364 - -375188/3. Which is smaller: -1302 or u?
-1302
Let u be (-1)/(-5) - 1636/(-20). Let t = -83 + u. Are 7/17 and t non-equal?
True
Let v(a) = 25*a + 1054. Let p be v(-44). Is 0.3 smaller than p?
False
Let q be ((-4)/(-6))/(9/81*6). Is -104 at least q?
False
Let t = -0.0882642 + 121.1588642. Let u = t - 0.0706. Which is smaller: u or -2/7?
-2/7
Let u(n) = 130*n - 64. Let i be u(2). Let z be 6/(-24) - -1*i/16. Do z and 12 have different values?
False
Let f = -1.815 + -0.575. Let m = -2.09 - f. Is m <= 2/7?
False
Let h = -1163/3180 - -37/106. Is 17 < h?
False
Let n be (-1)/(-5)*-4 + (-72009)/(-405). Let k = -155 + n. Are k and 25 non-equal?
True
Suppose -2*f - 2*a = 74 + 36, 2*f + 112 = -a. Let b be -1*3 - (3 + f + 6). Let r be (-3)/4 + 561/12. Which is greater: b or r?
r
Let z(y) = -y**2 - 19*y - 29. Let l be z(-17). Suppose -l*a - 55 = 30. Let v be (-8)/(-3)*(7 + a/2). Is -5 not equal to v?
True
Let k = 911 - 1933. Which is smaller: 0 or k?
k
Suppose 4*v + t - 96 = 0, 2*v - 6*t + 10*t - 48 = 0. Let x be v*(9/6)/(-3). Suppose -3*o + 5*i - 1 = 43, i = 4. Is o > x?
True
Let m be (-100)/(-90) + 2036/(-2016). Is m greater than 0?
True
Let o = 221002 - 220988. Suppose -2*x + 2*d + 9 + 7 = 0, -28 = -5*x - d. Which is greater: x or o?
o
Let i be ((-6)/(-15))/(1/(-5)). Let