2207/4?
s
Suppose 4*m + 4*d - 2500 + 8660 = 0, -2*m - 4*d - 3084 = 0. Let w = -10792/7 - m. Is w at least -3?
False
Let y = -52/147 + -1063/735. Are 67/3 and y equal?
False
Suppose -t - 5*n = -807, -460 + 4627 = 5*t + 3*n. Which is smaller: t or 839?
t
Suppose 0 = 5*s - 11 - 14. Let k = 0.00978 + 3.99622. Let p = k + -0.006. Which is greater: p or s?
s
Suppose 0 = l - 2*c - 268, l = -2*l - 2*c + 820. Do 273 and l have the same value?
False
Suppose 464*s - 484*s = 0. Which is greater: s or -168/247?
s
Suppose -87*v - 1336 = -95*v. Let l(h) = h**2 - 6*h + 7. Let f be l(6). Suppose 0 = -f*p + 958 - v. Is p != 114?
True
Let q = -445/53 - -3507/424. Let n(u) = u - 1. Let k be n(3). Suppose 0 = -3*a + 8 - k. Which is greater: a or q?
a
Let o be ((-28489)/35 + (-30)/70)*(-20)/(-8). Which is smaller: o or -14244/7?
o
Let v = 183493/98262 + -99/53. Which is smaller: 0 or v?
v
Let w = 35.1 + -35.882. Let a = -0.622 - w. Which is bigger: a or 4?
4
Let z = -0.25 - -44.25. Let u = -44.09 + z. Is 0 < u?
False
Let i(a) = -25*a - 122. Let v be i(-4). Let j = 21 - 43. Is j at most v?
True
Suppose -4*f = -2*f - 15*f. Suppose -9*c + 175 - 31 = f. Suppose 0 = 4*t - 2*n - 72, 3*t = -n + 27 + 27. Is c at least as big as t?
False
Let f = -1479 + 1587. Which is smaller: f or 30?
30
Let y be (-1 - -79)*2/4. Let r be (-24)/(-114) - (39024/57)/(-16). Is y smaller than r?
True
Let p = -6 - -15. Let u = p + -8.1. Let r = -1537 - -1537.4. Is u >= r?
True
Suppose 61*k - 52*k = 1782. Suppose 5*b + k = -432. Do b and -127 have the same value?
False
Suppose -2183 = 7*u - 664. Let n = u - -216. Which is smaller: n or 2/357?
n
Let g be ((-6)/(-4))/(32268/8). Which is smaller: -1 or g?
-1
Let v = 8221 - 1893. Do 6327 and v have the same value?
False
Let t = -18423 + 1123889/61. Is 0 greater than t?
False
Suppose -4*t + 7*t = -2*z + 5298, t - 13271 = -5*z. Let j be (-3570)/z + 8/6. Let x be 4/(-14) - (-6)/21. Is j < x?
True
Let m be (2 + 4668/(-2310))/(4/(-60)). Is 1 > m?
True
Let s(q) = -q - 24. Let j be s(14). Let r = 39 + j. Let c be (-6 + 5)*(-1 - -1)*r. Is c > 2/105?
False
Suppose -4 = 2*d - z, -20 = -5*d - 5*z - 0*z. Let h be ((-98)/10 - -9) + d/2. Which is greater: -0.26 or h?
-0.26
Let b(r) = -10*r**2 + 176*r - 4846. Let x be b(39). Which is greater: x or -13191?
-13191
Let l be (-4)/(0 - 2/(-3)). Suppose 3*x - 6*k = -228, x + 4*k = 4*x + 230. Let d be l/5 - (6 - x/(-15)). Is d > -21/10?
True
Let o = -6 - 1. Let d be ((-19 - 5445/(-285)) + -4*(-40)/(-76))/(-1). Is d at most as big as o?
False
Suppose 2*k = 18 + 2. Suppose k*f - 16 = 6*f. Let d = 1288 - 1277. Is f < d?
True
Let v(h) = h**2 - h - 14. Let o be v(-5). Suppose -o = -3*g - 19. Let b be g/13*1*6/3. Are 0 and b nonequal?
True
Let f = -345.0926 + 0.0926. Let k = f - -40. Are 0.1 and k equal?
False
Suppose 5*k - 4*j = 14, 4*j + 2 = -k + 6*j. Let x be (21/k)/(-3 - 21/(-6)). Let v = 17/6 + 53/12. Is v >= x?
True
Let w be 0 + 578795/(-63) + (-6)/(-27). Is -9187 equal to w?
True
Suppose 4699*n + 211778 = 4685*n. Which is smaller: n or -15126?
n
Let p = 8.172 + -12.172. Is p equal to -1/154?
False
Let j = 603 - 602. Let p = -2/655 - -11153/5895. Do p and j have the same value?
False
Let d = 136 + -401. Let z = -224 - d. Which is smaller: z or 42?
z
Let b = -365 + 385. Suppose 2*u = -4*l - 36, 4*u - 8*u - b = -5*l. Which is smaller: -5 or u?
u
Suppose 0 = -30*x - 1004 - 16. Which is smaller: x or -26?
x
Let v be 6/16 + (-232)/448 - 306/(-2730). Which is bigger: v or 134?
134
Let h = -111.4 - 842.6. Is h at least as big as 1/3?
False
Suppose 0 = 5*t - 4*w - 32, 0*t - 2*w = -3*t + 20. Suppose -x + 5376 = t*v - 3*v, -3*v = 2*x - 3227. Let i be -2 + (-3 - (-5365)/v). Which is smaller: i or -1?
-1
Let r = -737 + 714. Let s(g) = -21*g - 6 + 3 + 2. Let a be s(1). Is r equal to a?
False
Let s = 2 + -3. Suppose 12*n - 122 = -15*n + 28*n. Which is bigger: s or n?
s
Suppose 5*u - 2*w = 2*w - 37, -u - 3*w + 4 = 0. Let j = 9 - u. Suppose 52 + 13 = 5*o. Is o not equal to j?
True
Let a = 702 + -695. Let o(w) = w**2 - 7*w + 8. Let n be o(7). Which is smaller: a or n?
a
Let z = 27 - 38. Let y be (z - -16) + 1868/(-374). Suppose -19*x = -18*x + 1. Do y and x have different values?
True
Let x(d) = 42*d**2 - 574*d + 11. Let l be x(13). Which is smaller: -344 or l?
l
Suppose 0 = -d - 3*q + 41 + 48, 0 = -2*q - 6. Let v be 98 + (-3 - (2 + -3)). Which is bigger: v or d?
d
Let q be 3 - -9 - (-1253)/(-189) - 5. Which is smaller: 1 or q?
q
Let m = 554 + -542. Let v be (m - (-11 + 21)) + (-8)/(-18). Suppose -3*k + 2*k - 4*o + 7 = 0, -17 = -5*k - 2*o. Which is bigger: v or k?
k
Let b(q) = q**2 - 15*q + 67. Let f be b(-10). Is f not equal to 317?
False
Let f(b) = 33*b**2 - 21*b - 31. Let z be f(-6). Let p = -546 + z. Which is smaller: p or 736?
736
Let u be 3 - ((-1)/(-2))/((-3)/(-6)). Let p(o) = 4*o**2 - 7*o**2 - 1 + 4*o**2 - 19*o - u*o**2. Let m be p(-19). Which is greater: -3/26 or m?
-3/26
Let f(h) = 2*h - 20. Let j be f(10). Suppose j*b + 14 = 4*b + 3*n, b = 4*n - 6. Let o be 0/(0 + b) - 1. Which is smaller: 0.2 or o?
o
Let k be (132/(-8))/(-11) + 94497/78. Which is smaller: k or 1212?
1212
Let a be (198/9 - 41)/(1 - 2). Let x be 270/(-6)*1/(-3). Do x and a have different values?
True
Let f = -7292 - -7304.974. Let p = f + 0.026. Which is smaller: p or 1?
1
Let n = 30 + -30.05. Let r be 14/441 - 0/17. Is n < r?
True
Let g = 2110 - 2106. Let q be (3 + 0)*(-9370)/(-105). Let t = q - 265. Which is smaller: g or t?
t
Let i(s) = 18*s - 102. Let l be i(6). Let n be (0 + l/105)*5. Which is smaller: n or -12/19?
-12/19
Suppose -o + 15 = 46. Let l(v) = -v**3 - 21*v**2 - 99*v - 46. Let r be l(-14). Is r less than o?
True
Suppose 32*t + 8550 = 62*t. Which is bigger: 1428/5 or t?
1428/5
Let u = -0.0037 + -514.9963. Let a = 466.2 + u. Let g = a + 49. Which is smaller: 1/11 or g?
1/11
Let p = -218 - -372. Let i = p - 152. Which is greater: 8 or i?
8
Suppose 924*b - 912*b = -1752. Which is greater: -579/4 or b?
-579/4
Let l = -6075 + 6076. Are l and 2/5787 nonequal?
True
Let f = 19951/14 + -1425. Which is bigger: -40 or f?
f
Suppose -2*t = -3*h + 10, -h - 62 + 47 = 3*t. Which is smaller: h or -4/1467?
-4/1467
Let c(t) = t - 2. Let l be c(2). Suppose l = -a - 2*i + 8, 3*a - 3*i = 10 - 31. Which is smaller: a or 0.35?
a
Let r = 154.1 - 156.7. Which is bigger: 127 or r?
127
Suppose 3*p + 2 - 37 = -o, p = 2*o. Suppose -p*h + 4 = -11*h. Let z be (-28)/308*h/(-6). Which is greater: z or 0?
0
Suppose -248 = -2*d + 1162. Let k = 374 - d. Is -331 < k?
False
Suppose 4*x + 3149 = -3*n - 474, 15 = -3*n. Let j = 9954/11 + x. Which is smaller: 4 or j?
j
Let o(m) = -4*m**2 + 2*m - 1. Let t be o(-5). Let l = 7736 + -7848. Which is greater: l or t?
t
Let i = 19460/11 - 33665701/19030. Is i at least as big as -1?
True
Suppose z - 31*c + 33*c = 1279, 3*z + 2*c - 3829 = 0. Which is smaller: z or 1276?
z
Let r be 0 + (16/(-4))/4. Let y be (r/(-2))/((-36)/(-306)). Let k be 20/4 + (4 - 5). Which is smaller: y or k?
k
Let z = -13730 - -13729. Which is bigger: z or 9035/4?
9035/4
Let t = 616 - 613. Are t and -479 nonequal?
True
Let m = 5157/2233 + -138/77. Is 0 >= m?
False
Let o be (-12)/20 - (-4667)/20. Let y = o + -235. Do -1 and y have different values?
True
Let l = -1364/7 + 198. Let j = l - 124/35. Are j and 98 unequal?
True
Let y(h) = 11*h**3 + 505*h**2 - 39*h - 10. Let z be y(-46). Is -331 greater than z?
True
Let i be 68/340 - 10568994/(-2780). Let s = i + -3802. Is 0 at most s?
False
Suppose -8*b = -1162 - 310. Suppose 8*o - 2*m + b = 3*o, -4*m = -3*o - 116. Let l(h) = h**3 + 8*h**2 - 4*h + 10. Let w be l(-9). Which is smaller: o or w?
o
Let i = 115337/2859 - 8/953. Suppose -1312 = 324*x - 356*x. Which is smaller: x or i?
i
Let g be 3283/(-1869) - (24/64 - 4/96). Do g and -1 have the same value?
False
Let a = 1389/8 + -5215/24. Let w be ((117/(-45))/13)/(27/6735). Let m = a - w. Is 5 bigger than m?
False
Let n(u) = 68*u - 1702. Let x be n(25). Let h(r) be the third derivative of r**5/15 + r**4/12 + r**3/6 + 2*r**2. Let k be h(x). Is 14 at least as big as k?
True
Let y be 1/3*(197 - 5). Suppose 3*k + 3*d = 414, -2*k = -5*d - 191 - y. Is k greater than or equal to 136?
False
Suppose 0 = -5*x + 10, 0*o - 2*o + 232 = -x. Let m = o - -51. Which is greater: m or 169?
169
Let f 