q) = -3905*q + 226. Let k be v(2). Is -7585 equal to k?
False
Let x = 1376 - 1930.1. Let h = 555 + x. Is h greater than or equal to 4?
False
Let f be 27/(-45) - 13704/(-1905). Let s = 4632/654685 - 4/5155. Let y = s + f. Which is bigger: 7 or y?
7
Let s = 510852510341811/4571955447311 - 24/838429387. Let q = -17/779 + s. Let d = q + -112. Is 1 greater than d?
True
Suppose -r + 12 = -0*r. Let x be ((-9072)/(-392) - 24)*(-406)/30. Which is smaller: r or x?
x
Let i(w) = 679*w + 31. Let r be i(-4). Let f be (r/75)/(2/(-10)). Which is greater: f or 180?
180
Let p be (-14)/(10/45 + 0). Let z = p - -63. Let v be (-2)/6 + 76/(-204). Is z >= v?
True
Let p = -52 + 33. Let t be (66300/11475)/((-2)/9). Which is smaller: p or t?
t
Let i = 1/134556 - -215738119/134556. Let q = -1581 + i. Which is smaller: q or 23?
q
Let p = 100 + -220. Let z = -60 - p. Is z at most 1?
False
Let r = 6.03 - 6. Suppose 31*k + 8*k + 1605 = 1566. Which is smaller: r or k?
k
Let v = 2/2437 + -46315/14622. Which is smaller: v or 8?
v
Suppose 2*y - 5*k + 360 = -9*k, 0 = 4*y - 2*k + 780. Which is smaller: y or -191?
y
Suppose 10026 = 11*y - 19*y + 10*y. Is 5013 less than or equal to y?
True
Let n be (-6)/(3/(3/2)). Suppose 4*h + 3*f - 5*f = 10, 5*f - 15 = 0. Suppose -2*g = -2*b - 12, -6 - h = -5*b - 5*g. Is n >= b?
False
Let r be 40/(-24)*-1*3. Suppose 5*m + 37 = 3*q, 4*q + r*m - 29 = 32. Is q equal to 15?
False
Let d be (-1 - -1)/((-14)/(-14)*4). Is 3/610 < d?
False
Let q = -11186 + 11347. Is 16 > q?
False
Let w be (-48)/(-14)*(-13)/((-338)/1547). Is w at most 203?
False
Suppose -286 = 26*w - 37*w. Suppose 81*x + 32 = 73*x. Is w at most x?
False
Let c = 9319 + -9307. Which is greater: 97 or c?
97
Let g be -1 + (52/(-18))/(-2). Suppose 6*y + 528 = 552. Suppose -6 = -u + 56*q - 53*q, u - y = 2*q. Do g and u have the same value?
False
Let r = 15243 + -15243. Which is smaller: 341 or r?
r
Let j be -470*8/32*(-4)/(-5). Let c = j - -93. Let k = 2467/148 - 67/4. Do c and k have the same value?
False
Let z = 15035 - 16115. Is z at most as big as 0.5?
True
Let n = 84.674 - -0.326. Let l = n + -83. Is -1/13 != l?
True
Suppose 58 = 8*p + 98. Let k(d) = 7*d**2 + 37*d + 9. Let t be k(p). Which is bigger: -3/164 or t?
-3/164
Suppose -1 = 4*t + 3*d, -492 + 485 = 3*t - 4*d. Is -1/6682 at least as big as t?
True
Let g = -4074 - -4074.184. Which is greater: 0.33 or g?
0.33
Let a = 1424431/26 - 54778. Is 7 > a?
False
Let w = -0.526 + -1.274. Let x = 119.8 + w. Which is smaller: x or 1?
1
Let d be (-4)/(-14) + (-1290)/105. Let x(v) = v**2 + 7*v - 5. Let n be x(-8). Suppose 8*l + 55 = n*l. Which is smaller: d or l?
d
Let g be 13/(-20) - 66/(-88). Which is greater: 0 or g?
g
Suppose -710 = l + w, 4*l + 3548 = 2*w + 678. Is -714 greater than or equal to l?
True
Let k be (42/35)/(2/5). Suppose k*f + 4*f + 812 = 0. Let a = 115 + f. Which is greater: -10/9 or a?
a
Suppose -16622 = -146*r + 2650. Which is bigger: r or 131?
r
Let o = 2178398/1341 - 14620/9. Which is smaller: o or 19/4?
o
Let w(l) = -l**3 - 6*l**2 + 2*l - 80. Let x be w(-8). Let g = 16 - x. Are g and -59/4 equal?
False
Suppose 42211 = -111*i + 70347 + 70987. Is i less than 891?
False
Suppose 2*p - 2 = -6. Let o = 2444/17 + -17295/119. Which is greater: p or o?
o
Let v(z) = -128*z + 567. Let j be v(5). Let c be 426/3*(-2)/4. Which is smaller: j or c?
j
Suppose 2*l + 14 = 13*d - 9*d, 4*l - 24 = -5*d. Let i(a) = 31*a - 18. Let r be i(l). Are 21 and r unequal?
True
Let p be 34/2*(-208 + 210). Let c = 0.05 + -0.15. Are p and c unequal?
True
Let d = -141660 - -141010.93. Let b = -649 - d. Which is smaller: b or -1/44?
-1/44
Let s(f) = 0*f - f - 11 + 3. Suppose -z = 5*v + 44 - 21, -27 = 5*v - z. Let k be s(v). Which is smaller: k or -7?
-7
Let r = 355619/750 - 2845/6. Is -0.1 equal to r?
False
Suppose 8129 = 6*j + 1397. Suppose 0*q = -6*q + j. Suppose 3*o - o - 154 = 3*z, -o - q = 4*z. Is -47 >= z?
True
Let x = 4771 + -4742.1. Let f = -5.4 + -23.6. Let o = x + f. Which is greater: o or -18/11?
o
Suppose -261*h = -157*h - 72800. Which is greater: -8 or h?
h
Let m(q) = q**3 - 7*q**2 - 3*q + 13. Let s be m(7). Let h be (s/3 + 0)*3. Let x be h/12*-3 - -2. Is x bigger than 1?
True
Suppose 3*m + 576 = 156. Let u = m + 139. Is u bigger than -1/15?
False
Let y = 2/248747 + -176610404/4228699. Which is smaller: y or -41?
y
Let x = -31 + 279. Suppose 19*r - 341 - x = 0. Which is smaller: 32 or r?
r
Let s = 20 - 23. Let u be ((-20)/(-6) + s)*(-9)/12. Which is smaller: -26 or u?
-26
Let u(r) = 856*r - 576. Let k be u(-7). Do k and -6567 have different values?
True
Suppose 0 = 2*b - 4*u + 100, -3*b - 3*u - 60 = 81. Let o be (-18)/(-4*10/(-12))*9. Which is smaller: b or o?
o
Let n = 56.2 - 55.842. Let t = 98.642 + n. Are t and 1/4 nonequal?
True
Suppose 0 = 12*k + 17732 + 94864. Let v = k + 3649985/389. Which is bigger: v or 0?
0
Let h = 48 - 215. Let f = 177 + h. Suppose 0*c - 4*c - 12 = 0, 12 = -2*o - 4*c. Which is greater: f or o?
f
Let g be (22/5)/((-3)/(-2400)*4). Let b be (66/55)/(0 + 6/g). Suppose b = -3*a + 32. Are -49 and a equal?
False
Let y(z) = -z**3 - 15*z**2 + 14*z - 29. Let d be y(-16). Suppose -2*l = -d*g + 47 - 16, -4*g - 5*l = -26. Is 25/3 at most as big as g?
True
Suppose 3*f = -8*h - 3259, -4*f - 732 = 2*h + 60. Which is smaller: -406 or h?
h
Let i = -30.161 - -29.961. Which is bigger: i or -2/5695?
-2/5695
Let f = 6 + -3. Let q(g) = -2*g**2 + 14*g + 17. Let k be q(8). Suppose 0*h + h - b = -k, -20 = -5*b. Is h < f?
False
Suppose 83 = -12*h - 157. Is -1.9 at most h?
False
Let o = -2421340/39 + 62089. Which is bigger: o or 3?
o
Let w = 10.1566 - 10.0566. Let i be (0 - -2)/((-62)/7). Which is greater: i or w?
w
Let j be (-4)/(256/(-378)) - 6/(-7)*-7. Suppose -8 = -2*y, 2*u - 3*y + 12 = -3*u. Does j = u?
False
Let t = 680116/19295 - -52/1135. Do 34 and t have different values?
True
Let y be 1/((-1530)/(-35) + 4). Let g = y + -3397/178022. Which is smaller: 0 or g?
0
Let i(f) = 2*f**2 + 3*f - 3. Let j be i(1). Suppose 4*c - j*c = 5*b, 2*b = 2*c. Let n be (12/(-15) + c)*5. Is 0 smaller than n?
False
Let t be 0/((0 - -4) + -5). Let b(p) = -p**3 - p**2 - p + 10. Let k be b(t). Let h be (k + 2)*14/(-15). Is h smaller than -11?
True
Suppose 0 = 2*d - 4*u - 60, 2*d + 3*d = 3*u + 115. Suppose 5*c - 20 = -d. Let g = -14 + 12. Which is smaller: g or c?
g
Let o(n) = -n**2 - n + 29. Let g(k) = -k**3 - 4*k**2 + 6*k - 41. Let x be g(-6). Let d be o(x). Is d at most as big as 8?
False
Let y(p) = 38*p**2 - 3*p + 2. Let s = 75 + -74. Let k be y(s). Let n be 3/k*(-1 - 0). Which is smaller: n or 1?
n
Let a be (-178)/276 - (-4)/6. Suppose -53*g + 58*g = -15. Let b be g/6 + 1 - (-7)/(-14). Which is smaller: a or b?
b
Suppose 0 = 40*k - 38*k. Which is greater: k or -1/3116?
k
Let l = -0.03787 + 5.92787. Are l and 2 unequal?
True
Let i = -519 - -425. Let m = i - -107. Does -7 = m?
False
Let i be (-16)/(-24) - 113/156. Let y = -24.5 - 147.5. Let d = y + 173. Which is greater: i or d?
d
Let l = 41.8733 + -0.1133. Let s = -0.24 - l. Let j = 20 + s. Which is smaller: -1 or j?
j
Let k be (-441)/4 - 18/(-72). Which is greater: 0 or k?
0
Let r = 3068053/19 + -161545. Which is bigger: -69 or r?
r
Let y be (-72)/154 - (-4)/22. Let s be (-3)/(-34)*((-2)/(-7))/(219/(-1022)). Is y bigger than s?
False
Let p be (1 - -2)*4/(-6). Let l(i) = i**3 - i**2 - 2*i + 1. Let z be l(p). Let a = 21877 + -21881. Which is greater: a or z?
a
Let g(r) = 14*r + 16. Let w be g(8). Let z be w - (-2 + -4)/3. Suppose -5*i + o = z, 20 = 8*o - 4*o. Which is smaller: -24 or i?
i
Let m = 289 - 323.4. Let o = 68.7 - m. Let b = o - 103. Is b >= -3?
True
Suppose -9 = 6*w - 5*w - 5*i, 2*w = -i + 37. Let h(y) = -2*y**2 - y. Let x be h(-4). Let f = -14 - x. Which is bigger: w or f?
w
Let x = 56198 - 396296/7. Let s = x - -416. Which is greater: 128 or s?
128
Let c = 238 + -236. Suppose -4*p = -c*o - 64, -2*p - 18 + 54 = o. Which is smaller: p or 128/7?
p
Let u(k) = 8*k**2 + 56*k + 46. Let b be u(-10). Is 2584/9 < b?
False
Let q(f) = 4*f**2 + 63*f - 16. Let d be q(-16). Suppose d = -12*h - 291 - 33. Which is smaller: -13 or h?
h
Let q = -126 - -131. Let k(n) = 3*n + 2. Let s(i) = i**2 - 2*i + 2. Let g be s(1). Let u be k(g). Is q at most as big as u?
True
Let b = -2950 + 2954. Which is smaller: -84 or b?
-84
