ger: d or u?
d
Suppose -190*d = -7*h - 186*d - 1877, -257 = h + 5*d. Which is smaller: -263 or h?
h
Let n(u) = -4*u**2 + 8*u - 5. Let f be n(5). Let p = -361 + 295. Is p less than or equal to f?
True
Let c be (-2)/6 + 7*3052/64386. Is 0 greater than c?
True
Let d be (-10765)/(-3585) + -6 - -3. Let r = d - -2702/59511. Which is smaller: r or 0?
0
Let i(m) = m + 10. Let q be i(7). Suppose 0 = y - 16 - 35. Let g = -34 + y. Is g greater than q?
False
Let q = -12 + -2. Let w = -4.5 + 0.5. Is q at least as big as w?
False
Suppose -12 = -5*m + m. Let z be 0/2 + 2 + m + 3. Let o be 4/z*-1*(4 + -2). Is o <= -1/64?
True
Suppose 141*o + 4069 - 11683 = 0. Do o and 382/7 have different values?
True
Suppose 2*l + 3 - 5 = -4*h, 0 = -4*h - 4*l. Let t = -9313/712738 - -15/2054. Which is smaller: h or t?
t
Let d(n) = -49*n - 1175. Let y be d(-24). Is -3/3379 greater than or equal to y?
False
Let w = 0.02 - 1.02. Let b = 0.10905 + -5.20905. Which is bigger: w or b?
w
Let s be 1 + -2 - -10479*(-2)/(-10). Let p = s + -2081. Do p and 14 have different values?
True
Let c be 36/(-18) + 0 + 0. Let a be (-160)/(-70) - c/(-7). Is 0.051 > a?
False
Suppose 40*y + 179 - 1419 = 0. Which is smaller: y or 44?
y
Let q be (1*4)/((-500)/(-124) + -4). Suppose -36*l = 1100 + q. Do -27 and l have the same value?
False
Let g = -4357/7059 + 1/543. Suppose 10*l + 8032 - 32 = 0. Let n = 800 + l. Which is greater: g or n?
n
Let h = -6 - -56. Let x be 3/(5*15/h). Let n be (-9)/36 + (-9)/(-68). Which is smaller: n or x?
n
Let t = -14.428 + 1189.428. Is t smaller than -1/12?
False
Suppose -589 + 3473 = 14*p. Is p >= 206?
True
Let b = 288 - 281. Suppose -3*h + b*t - 144 = 10*t, -3*h = -t + 148. Which is smaller: h or -48?
h
Suppose 4*c = -t - 35, -5*t + 2*t = 4*c + 113. Let o be (-3)/(-2) + -56 + (-1485)/(-90). Is o < t?
False
Let i be (-11)/((-385)/(-42))*5 + -109. Is -2 <= i?
False
Let a = -4000.11769 - -0.11769. Which is greater: a or 2/3?
2/3
Let q = 3.245 - 0.005. Let x = q + -3.34. Which is greater: -101 or x?
x
Let l = -7699 + 269464/35. Which is smaller: l or 0.053?
l
Let z(c) be the second derivative of -14*c**3/3 + 84*c**2 - 12*c - 3. Let f be z(6). Are 4/119 and f nonequal?
True
Let i(v) = -2*v**3 + 8*v**2 + 9*v + 1. Let s be i(-4). Suppose 22*f - s = 65. Which is smaller: f or -0.1?
-0.1
Let d = -165 - -164.9. Let o = -4022/195 + 103/5. Which is smaller: d or o?
d
Let n = -889787/23478 - 50/1677. Which is smaller: -38 or n?
-38
Let q(s) = -s + 13. Let y be q(10). Suppose y*d - 6*d + 0*d = 0. Let k = -2/65 + 49/3705. Which is smaller: d or k?
k
Let o be (-1)/7 - (520/(-104) - (-12178)/14). Is o equal to -865?
True
Let z = 632 + -119. Let f = 233 - z. Do -279 and f have the same value?
False
Let v = -183 + 915. Let t = -736 + v. Which is bigger: t or -46/9?
t
Let v be (-80 - -88) + 5*-1. Which is smaller: 47/14 or v?
v
Let d = -19253 + 23793. Which is greater: d or 4537?
d
Let g = -134 + 134.272. Let z = 10.272 - g. Is z less than or equal to -4/9?
False
Let y be 270/(-63036)*6/9. Let c = y + -5639/478023. Which is greater: 1 or c?
1
Let a(o) = -o**2 - 6*o + 8. Suppose 0 = -2*r - 3*z - 17, 3*r = -z - 2*z - 24. Let l be a(r). Let g = 0.368 + -0.678. Which is smaller: l or g?
g
Suppose -30 = 4*x - 38. Suppose x*g = -4*j - 54, 7*j - 3*g = 4*j - 36. Which is bigger: -14 or j?
j
Suppose 9 = 208*c - 205*c. Let o(r) = 4*r - 13. Let v be o(c). Is v less than -1/160?
True
Let f = 221095750/543931 - 28860/71. Which is bigger: 0 or f?
0
Let t = -129.4 + 75.4. Let d = -0.157 + -80.843. Let k = t - d. Is k greater than or equal to 1?
True
Let x = 152 + -242. Let o be 2 - (-4336)/x - (-10)/(-45). Which is smaller: o or -45?
o
Let p = 7.334 - 4.334. Which is smaller: p or -46.4?
-46.4
Let q be (-240)/800 + (-1551)/30 + -2. Which is smaller: -19 or q?
q
Let i be 4 + (3 - 745/106). Suppose -228 + 230 = 2*y. Which is greater: y or i?
y
Let w(q) = q - 5. Let h be w(8). Let i = 2571 + -2564. Suppose h*f - 4 = s, i*f + s + 4 = 3*f. Which is smaller: f or -2/21?
-2/21
Let u(p) = p**3 + 14*p**2 - 15*p - 4. Let s be u(-15). Let a be (s/(-12))/(2/72). Suppose -7*r - 2 - a = 0. Is -2 at least r?
True
Let j = 533 + -37842/71. Suppose -6*s = -s. Is j smaller than s?
False
Let s be (-2196818)/266 - 12/42. Are s and -8258 nonequal?
True
Let t(x) = -x + 19. Let y be t(16). Suppose y*u + 23 = -20*u. Is 1/15 at most u?
False
Let a(b) = b**2 + 24*b - 77. Let n be a(-27). Let y be ((-2)/n)/(124/(-16)). Is y < 0.2?
True
Suppose -4*o + 44 = -12. Let k(b) = 1 - o - 13 - 573*b + 575*b. Let j be k(15). Which is greater: j or 12?
12
Let b = 11/1050 - 20143/118650. Let i = b + 1590/1469. Let c = -4513 + 4514. Are i and c nonequal?
True
Let z be (-143)/26 + (-448613)/(-110) - -4. Is z greater than or equal to 4077?
False
Let o = 178 - 163. Let v be (100/o)/4 - 1. Which is smaller: -0.15 or v?
-0.15
Let u = 42.19 + 0.81. Let h = -19 + u. Let a = h - 25.5. Which is bigger: a or -1?
-1
Suppose -10*l + 140 = -250. Suppose 0 = -40*j + l*j - 37. Are j and -36 unequal?
True
Let y = -146 - -151. Suppose -383*a + 378*a + y = 0. Which is smaller: -0.33 or a?
-0.33
Let l = 1120.9 - -7823.1. Which is smaller: -1 or l?
-1
Let u = 915 - 3659/4. Let y = 25.9 + -26. Are u and y unequal?
True
Let x(j) = j**3 + 17*j**2 - 2*j - 33. Let w be x(-17). Let f = w + 74. Let u = f - 77. Which is greater: 0 or u?
0
Let r = -2564 + 12824/5. Let y(m) = 3*m**2 + 2*m - 3. Let h(w) = 2*w**2 + 2*w - 2. Let t(l) = 5*h(l) - 4*y(l). Let x be t(-2). Which is greater: r or x?
r
Let v(b) be the first derivative of 17*b**2/2 + 112*b + 83. Let o be v(-5). Is 27 smaller than o?
False
Let z be (-2*1)/(390/4). Let u be 20/45 + 396/(-891). Is z at most u?
True
Let x be 1*8 + (-48)/16. Suppose i + x - 4 = 0, 4*c + 54 = -2*i. Let g be 2/c - ((-67)/13 + 5). Which is bigger: 5 or g?
5
Let y = 2 - 2. Let x be y + 135/18*(-2)/(-3). Suppose 4*h + 0*h + 1 = j, -4*h = x*j - 5. Which is smaller: j or 1/16?
1/16
Let x(k) = -6*k + 60. Let g be x(22). Let f be 100/g*-2 + (-3)/1. Is f greater than 5/2?
False
Let n(x) = 2*x**2 - 8*x + 10. Let r be n(2). Suppose z = 7*z - r*z. Is z less than or equal to -10?
False
Suppose 0*o - 30 = -6*o. Suppose 5*t + 12 + 3 = -i, 5*t = o*i + 15. Are -78/17 and i nonequal?
True
Let l = 100.362 + 5.638. Is 3/14 <= l?
True
Let h be (48/(-8))/(6/(-4)). Suppose -5*d = h*n - 16, -2*n - d - 4*d = -18. Is -175 >= n?
False
Let y be -25*(7 + (-108)/15). Suppose -185 = 5*c - 5*j, -43 = -y*c - 5*j - 228. Does c = -37?
True
Let x = -0.18246 + 4.18246. Which is greater: -772 or x?
x
Suppose -17*h + 40 = -7*h. Suppose 6*p + 2*y = 4*p + 30, h*p = 4*y + 60. Is 102/7 < p?
True
Let z = 2.0302 - 0.0302. Suppose 2*h + 80 = 3*n, n - 122 = 3*h - 4*n. Let p = h - -203/6. Is p greater than or equal to z?
False
Suppose 13 = 5*r - 17. Suppose -q = -8*q + 14. Suppose 3*p - q = -y, y + 4*p = -0*y. Is r <= y?
True
Suppose 4*g = -3*x - 53 + 18, 4*x - 5 = 5*g. Suppose -5*v = 3*t - 0*v + 33, 0 = -5*v. Let l be ((-6)/9)/((t - -3)/(-72)). Which is greater: l or g?
g
Let a = -0.4 - -0.4. Let z be 4/((-32)/24) + (-807)/(-248). Let i = z + -1/248. Is a less than or equal to i?
True
Let g(w) = w**3 + 5*w**2 + 10*w - 4. Let k be g(-5). Let d be (-5)/(-49)*k/(-675). Is d less than or equal to 2?
True
Let u be (1 - -336)/(-3 - -4). Let w = 392 - u. Does -4 = w?
False
Let x = -5.726 + 5.926. Which is bigger: 340 or x?
340
Let t be -16*1 + 8364/476 - 8/14. Is t equal to 51/479?
False
Let k = 33558 - 31852. Is 11937/7 at most k?
True
Let h(f) = 136*f**2 - 10*f - 9. Let i(y) = -134*y**2 + 12*y + 10. Let n(l) = -4*h(l) - 3*i(l). Let x be n(-1). Which is greater: x or -141?
x
Let d = 534 + -526. Let z be (-20)/40 + 2*6/d. Is z <= 12/25?
False
Let g = -22507 + 21622. Are -4428/5 and g equal?
False
Let u = 270 - 265. Suppose 3*n + 5 = u*s + 12, -n + 1 = -3*s. Which is greater: s or 2/403?
s
Let r = -3/14 + -61/42. Suppose -12*g = 17*g + 29. Let h = g - r. Is 0 at most as big as h?
True
Let h = 4484 + -4516. Suppose -3*z = -2*b - 65, 0 + 13 = -b - 5*z. Which is greater: h or b?
b
Let i be -8 - (-46)/(-10)*(-50)/164*5. Is -2 <= i?
True
Let z = -7.02 + 7. Let k = -0.98 + z. Let c = -1/1839 - -9199/7356. Is k < c?
True
Let i = -0.3 - 0.2. Let g = i - -0.3. Let w be 36 + (-111)/((-5217)/(-2068)).