98. Which is smaller: -253/17 or d?
d
Suppose -3*q + 988 = 3*r + 1471, -21 = 3*r. Let g = -65335/426 - 28/213. Is q < g?
True
Let a be (2265/50)/(39/65). Which is smaller: 76 or a?
a
Let k = 4 + -2. Let t(s) = -6*s**2 + 22*s + 7. Let o be t(4). Let j be k/(-10) + 176/130 + o. Which is smaller: j or 1?
j
Let v = 46.9 + 19. Let z = -179 - -113. Let p = z + v. Which is smaller: -0.45 or p?
-0.45
Let k be 1/(0 + 2/(-94)). Let g = 294 + -247. Let x = k + g. Do x and 0 have the same value?
True
Let l(i) = i**2 - 3*i - 284. Let c be l(0). Let r be (-4)/((-836)/c - 3). Is r at least as big as 71?
True
Let b = 2 - 5. Let r = 151 - 139. Suppose -r*h + 14*h + 4 = 0. Which is bigger: b or h?
h
Suppose t = 5, -4166*p + 25 = -4162*p + 5*t. Is -2754 > p?
False
Suppose 7*j + 105 = 4*j. Suppose 0 = -15*l + 10*l - 150. Let i = j - l. Is -3 > i?
True
Let o = -115.6 - -312.8. Let u = o + -197. Which is smaller: 7.1 or u?
u
Let g = -7900 - -434502/55. Suppose 0 = 2*l - 7*l - 5. Which is greater: l or g?
g
Suppose -x + 10212 = 2*x. Let b be x/850 + (-16 - -12). Is b greater than -1?
True
Suppose -2047*i + 2026*i = 33999. Is -1616 at most as big as i?
False
Suppose 62*c = 61*c + 16988. Which is greater: 16987 or c?
c
Let d = -3297778/5 - -659556. Let m = 77 - 47. Is m less than or equal to d?
False
Let v be -1 + (-3601)/(-4488) - (-1)/3. Let r = v + -2/187. Suppose 15*c = 12*c - 3. Which is smaller: r or c?
c
Let k = -17858 + 17858. Is k < 14714/5?
True
Suppose 3*u - 2 = -g, 5*g = 32*u - 29*u + 82. Suppose -g*h + 15428 = -42*h. Which is smaller: -550 or h?
h
Let x = 1256 + -1099.7. Let v = x + -165. Let d = -8.6 - v. Which is bigger: -1.1 or d?
d
Suppose 80*n + 256 = 88*n. Suppose 0 = n*l + 1655 + 265. Suppose -8*o + 3*o = 300. Is o at least as big as l?
True
Let z be 0 - -8 - (8 - (-42)/3936). Is z at most -1?
False
Let h be 4/10 + (-12)/(-20). Let x be (-66)/6 - 3*h. Let s(u) = -967*u + 3850. Let k be s(4). Is x at least k?
True
Let i be 2/(-8) - 2/(-4). Let l = -893 + 422. Let k = 469 + l. Do k and i have different values?
True
Let o be (117 + -135)*(-1)/((-11)/4 + 2). Is 12 at least o?
True
Let y = -7 + -384. Let l = 391 + y. Is l less than 134?
True
Let q be 9/(-6)*(-1)/((-3)/10184). Let x = -972574/191 - q. Is x less than -1?
False
Let z = 455 - -612. Let k = z + -1082. Let i = -34 - -21. Is k smaller than i?
True
Let l be (46/4 - -5)*4. Suppose 0 = 12*s - l + 18. Suppose 0 = -2*i - 4*m - 28, s*m - 3*m + 5 = 0. Which is smaller: i or -7?
-7
Let a = -1004/7 - -10960/77. Suppose 0 = 4*c - 19 + 23. Is c != a?
True
Let k be (-155 - -209) + (1 - 0)*6. Let b = -106 - -70. Let f be k/b + (-242)/6. Are f and -41 equal?
False
Let y be 7/24*(66 + -62). Which is bigger: y or 12.6?
12.6
Suppose 105 = -156*j - 97 + 202. Is -4/3029 smaller than j?
True
Let v(i) = 3*i - 2. Let k = 10 - 8. Let d be v(k). Suppose 0 = b - d*s - 3, 10*b = 5*b + s - 4. Is b greater than or equal to 3/2?
False
Let i = -74 - -76. Suppose -7 = -i*l - k, -2*l + k - 3*k = -10. Suppose j + 3*t = 4, -2*t = -5*j + t + l. Are j and -1/19 non-equal?
True
Let q = -74 - -152. Suppose -55 = -3*m - 2*c + 9, -4*m + c + q = 0. Suppose w - 4*r = -0*w + m, w + 2*r = -10. Is w greater than -74?
True
Let y = -41 - -44. Let q be (-2 - -31)*24/y. Is q smaller than 232?
False
Suppose 93 = 2*t - q, t - q - 11 = 37. Let a(h) = 156*h**2 - 1087*h + 9. Let m be a(7). Which is smaller: t or m?
m
Let a(l) = -121*l**2 + 451*l. Let b be a(5). Is b < -773?
False
Let z = 374 - 99. Which is bigger: z or 271?
z
Let b = 289 + -287. Let h = -8 + 12. Suppose h*r - 40 - 4 = 0. Which is greater: r or b?
r
Let m(u) = 16*u + 64. Suppose 5*x = -f - 25, 7 + 5 = -4*f + 2*x. Let j be m(f). Which is smaller: j or -13?
j
Let k = 300.4 + -520.4. Which is smaller: -4 or k?
k
Let o = 31.031 - 0.031. Let h = -45.1 + 0.1. Let n = 44 + h. Are o and n nonequal?
True
Suppose 8*s = -146*s - 188*s - 1230516. Which is bigger: -3599 or s?
s
Let q = 4865 - 4865. Are q and 18/115 nonequal?
True
Let v = -19 - 15. Let w(x) = x**2 + 3*x + 2. Let j be w(-3). Which is smaller: v or j?
v
Suppose 17585 = 4*m + 3*y, -9*m + 19*y - 18*y + 39543 = 0. Is m greater than 4394?
False
Let q(a) = -6*a + 8. Let p(z) = -25*z + 31. Let g(o) = 2*p(o) - 9*q(o). Let u be g(21). Let c be 6/((-3)/(-1))*(-2)/u. Is -1 greater than c?
False
Let t(v) be the second derivative of -v**5/20 - v**4/3 - v**3/6 - 2*v**2 - 96*v. Let a be t(-4). Let s be (4/(-4))/(2/90). Which is bigger: s or a?
a
Let v = 604 + -604. Suppose v*c - 2*q - 1169 = 5*c, 0 = 4*c + 3*q + 938. Which is greater: -235 or c?
c
Let o(y) = -y**2 - y + 56. Let a be o(-8). Let f be (24/8)/(a - (60 - 2)). Are 1 and f nonequal?
True
Let r be (21/6342)/(36/(-600)). Which is smaller: -1 or r?
-1
Let y(j) = 21*j - 266. Let z be y(12). Let d be 0*(z/120 - 14/105). Is -2/33 < d?
True
Let b(w) = -22*w - 175. Let o be b(-28). Suppose -479 - o = -8*s. Do s and 115 have the same value?
True
Let f be (-15 + -13573)*((-18)/8 - -2)*-1. Are f and 2 equal?
False
Suppose 0 = 5*k - 10, 0 = -5*z - 5*k + 3*k + 2424. Let o = z - 106966/221. Which is bigger: 0 or o?
0
Let d(n) = -13*n - 262*n**2 - 32 + 135*n**2 + 129*n**2. Let l be d(-3). Which is smaller: l or 165/7?
165/7
Let f(h) = -73*h**2 - 32*h - 35. Let x be f(-1). Are x and -38 non-equal?
True
Let d = -0.8 + 3.8. Let r = 9 - d. Let n = -4930 - -4931. Is n at most as big as r?
True
Let w = -20.07 - -20.848. Which is smaller: w or 2/7?
2/7
Suppose 3*u + 24*u - 540 = 0. Suppose r = -u*r - 1638. Which is bigger: r or 2?
2
Let d = -22.4 + -33.6. Let v = d - -53. Is 20/13 at most v?
False
Let l = -9637 - -20384. Which is bigger: l or 10748?
10748
Let y be (-90)/(-1883)*(-6552)/1404. Is y at most as big as 1?
True
Let o = -3.12 - -2.01. Let t = o - 1.89. Is -23 at least t?
False
Let l = 0 + -146. Let s = l - -145.59. Let a = -21 + 43/2. Is s >= a?
False
Let n = 53.2211 - 0.0211. Let p = 28 - -25. Let h = n - p. Is h at least as big as -2?
True
Let x = -101 - -105. Let a be -1 - (-1)/(x*2/8). Is -5/14 < a?
True
Let t(k) = 5*k**3 - k**2 - 3*k + 4. Let o be t(1). Suppose 65 = -o*v - 0. Which is greater: -8 or v?
-8
Let j = -2.26 - -162.26. Let u = 139 - j. Let v be (2 + 0)*(-1)/2. Which is smaller: u or v?
u
Let l = 3 - 2. Let z be -14 - (-15 - 1172/(-1170)). Is z bigger than l?
False
Let b(j) = 17*j - 20. Let w be b(-2). Let r be (-675)/w*16/5. Which is smaller: 46 or r?
r
Suppose -12*i + 16146 = -246*i. Is -40 greater than i?
True
Suppose -d = -0 - 3. Let l(g) = -5*g + 17. Let a be l(d). Suppose -3*f = 5*t - 18, 4*f - t - a = -f. Which is bigger: -2/123 or f?
f
Let s(a) = 2*a**2 + 3*a - 105. Let u be s(9). Let y = u + -84. Which is bigger: y or 10/9?
10/9
Let y be 0/((-6)/(-5) + (-1197)/285). Is 29/46 bigger than y?
True
Let a = 195 - 257. Let t be (1/1)/(31/a). Is -3/5 bigger than t?
True
Let j be 4 + 12/426 - 4. Let c = 4994 + -4994. Which is greater: c or j?
j
Let m = 11 - 9. Let f = -4 - m. Let u = -4134/161 + 446/23. Which is bigger: u or f?
f
Let c(h) = 4*h**2 + h + 4. Suppose -2 = 3*r + 10. Let k be c(r). Let a = k - 64. Which is smaller: 2 or a?
a
Let y = -0.056 + 0.19. Let k = -1.866 - y. Are k and -0.2 nonequal?
True
Suppose -z + 4 = -r, 0 = -2*z - 55*r + 53*r - 16. Is z != -22?
True
Suppose -114 = -35*v - 110*v + 321. Does v = 111/26?
False
Let c be 6 - ((-4635)/(-63) + 13)*21/201. Which is bigger: -3 or c?
-3
Let t(b) = 6*b**3 + b**2 + 4*b + 8. Let v(q) = q**3 + q. Let i(z) = -t(z) + 5*v(z). Let l be i(0). Suppose -989 + 975 = 2*o. Which is smaller: l or o?
l
Suppose 43*f = -0*f + 129. Suppose 0 = f*z - 5*s - 731, 3*z - 41 = s + 674. Is z less than 238?
True
Suppose -16 = -2*r + 14*t, 3*r - 47*t = -46*t + 4. Let w be (23/(-3))/(2/750). Let j = w - -330623/115. Which is smaller: j or r?
j
Let a = 2 + -1. Let z be (-96)/(-32)*((-1186)/114 + 11). Which is smaller: a or z?
a
Let q = 15977 + -15891. Is q equal to -29?
False
Suppose 0 = 72*v - 38604 + 170004. Which is greater: v or -1824?
-1824
Suppose r - 2 + 3 = -2*y, 0 = 4*y - 2*r - 10. Suppose 0*s = 13*s. Let o be s + 3 + (-32 - -26). Which is smaller: o or y?
o
Let z = 71503.03 + -71503. Let p be 2 - ((-264)/46)/(-3). Which is bigger: p or z?
p
Suppose -73*v = -95*v + 40*v + 8226. Which is smaller: -486 or v?
-486
Let v = -512002/13