u = -414 - 226. Do 65 and u have the same value?
False
Let v(r) = -r - 1. Let d(b) = -10*b + 8. Let l(j) = -d(j) + 6*v(j). Let z be l(4). Suppose -k = 5*w - 10, 2*w + 5*k = z*k + 4. Are w and -0.1 equal?
False
Let d = -2 - -2.1. Let l = 18882.1 + -18882. Do d and l have different values?
False
Suppose 17*v - 14*v - 60 = 0. Let z = v - 72. Let n = 56 + z. Is n > 3?
True
Let p = 660.04 + -135.05. Let n = 525 - p. Which is smaller: -11/3 or n?
-11/3
Let j be (60/(-63))/((-2)/24*-4). Let i(f) = 2*f + 4. Let u be i(5). Suppose 3*h = 10*h + u. Are h and j equal?
False
Let u(b) = -b**3 - 4*b**2 + 6*b - 30. Let k be (-1 + 0)/(76/24 - 3). Let i be u(k). Suppose -5*p = -i*p + 2. Which is smaller: p or -6?
-6
Let o = -3633421/633 - -5740. Which is bigger: o or -1?
o
Let s = -542.1 + 841. Let w = s - 299. Let q = -10 - 4. Is w greater than or equal to q?
True
Let k = 1284 + -98866/77. Let j be (-8347)/1473 + 14/3. Do j and k have the same value?
False
Let s be ((-3)/(-1) - 0)/((-2)/(-166)). Let h = s - 250. Which is greater: h or 0?
0
Suppose -167*m + 2*w = -172*m, 0 = m + 3*w. Is m bigger than 337?
False
Suppose 3870 = 3*w + 15*w. Let p = w - 192. Which is greater: 20 or p?
p
Let y = -44 - -397. Let h = -353.3 + y. Let m be (-9)/21 - (-2 - -2). Is h >= m?
True
Let z = 858 - 859. Is z less than 1/134?
True
Let x = -1.0495 + 0.1905. Let v = -1.859 - x. Which is smaller: 20 or v?
v
Let w(j) = j**2 + 5*j. Let f(b) = 2*b**3 + 3*b**2 + 3*b + 4. Let c be f(-2). Let k be (-2)/c + (-32)/6. Let y be w(k). Does y = -1/37?
False
Suppose 9*b - 3066 = -8403. Which is smaller: b or -595?
-595
Let p = -50.8 - 89.2. Is p >= -48?
False
Let h be ((0/3)/2)/1. Suppose -4*u = -h*u + 4. Let w = 21015/31 + -678. Which is smaller: w or u?
u
Suppose 3*b = q - 38, 84*q = 81*q + b + 154. Which is bigger: q or -9?
q
Let x(b) = -2*b + 15. Let r be x(6). Suppose 0 = -r*f + 16 - 82. Let w = f - -21. Is w equal to 1/23?
False
Let z(p) = 8*p**2 + 1 + 10 - 9. Let i be z(2). Let u be 355/(-213) - (-104)/3. Which is greater: i or u?
i
Let m = -269 - -271. Let i be m + -4 + -1 + -5 + 1. Which is greater: i or 8?
8
Let t = -168 - 164. Which is smaller: t or -340?
-340
Suppose 170 = 5*d - 130. Suppose -j - 4*j = -d. Suppose 7 = -2*h + 2*l + 33, 5*h - l - 65 = 0. Is h at least j?
True
Let i be (2/12)/(4/120) - 5. Suppose 3*r = -0*r + 15. Suppose -r*s - 285 = -i*s. Is -57 < s?
False
Let w be 96 - -2*(9 - 10). Is 6 greater than w?
False
Let z = 1136742/3185 - 1164/245. Which is bigger: 352 or z?
z
Let w be (1*-1)/(-1 - -62). Let n be (-8)/16 - 2/4. Let x(r) = 2*r**3 - r**2 + r + 3. Let u be x(n). Which is smaller: u or w?
u
Let l = -1107594648 + 4009492682953/3620. Let n = 248027923/3620 - 68516. Let x = n + l. Which is smaller: 16 or x?
x
Let f be (-2 - (-45)/6)*-20. Suppose 102 = -4*l - 330. Is l greater than f?
True
Let y = -578 - -573.08. Is y greater than or equal to 0.2?
False
Suppose -481 = -46*t - 1585. Let a be (-48)/15 + t/30. Which is greater: a or -22/7?
-22/7
Let c be 21/(-3) + 2 - (-6 - (8 + -10)). Does 1/503 = c?
False
Let m = 4 - 1. Let f be (-1 - 3)/(506/55 + -10). Is m at least f?
False
Let y(g) = -2*g**2 - 9*g + 35. Let s be y(-7). Which is smaller: s or 19/198?
s
Suppose 0*h = 4*h + 2736. Let b = -684 - h. Let g = -3901/9 + 433. Which is greater: b or g?
b
Let v(k) = k**3 + 19*k**2 + 71*k - 121. Let u be v(-13). Does -49 = u?
False
Suppose 0 = -12*f + 13*f - 749. Let h = f + -782. Which is smaller: h or -18?
h
Let b = 3306079/366 - 9033. Let p = -2 - -2. Which is bigger: p or b?
b
Let n be -4 + 5 + (-154)/(-7). Which is greater: n or 28?
28
Let a = 74.88 + -78.88. Which is smaller: a or 4.64?
a
Let r = -18660 - -18659. Which is bigger: 24/89 or r?
24/89
Suppose -12 - 36 = -4*c. Let z be 2*15*12/10. Let v be 4 + (8/z - 183/(-27)). Which is smaller: v or c?
v
Let s = 224 + -300. Let d = s - -78. Is -0.048 less than or equal to d?
True
Let z = 169 - 74. Let h = z + -64. Does h = 31?
True
Let p = 120.1 + -119.9. Is p less than -0.58?
False
Let a be ((-5)/((-5)/(-1)))/(4/212). Let i = a - -171. Do i and 118 have different values?
False
Let s = -637 - -821. Are 12 and s nonequal?
True
Suppose 0 = -3*o - b + 73, -5*b + 2*b = 4*o - 94. Does 18 = o?
False
Let w = -134 - -132. Let j be (w - 276/(-74)) + (-22)/11. Is 0 != j?
True
Let v(h) = -1. Let c(s) = 10*s + 2. Let p(x) = -c(x) - 4*v(x). Let j be p(2). Let a = -18187 - -18171. Is j less than or equal to a?
True
Let v = 5690.9 - 6287. Let u = -597 - v. Which is smaller: -1/5 or u?
u
Suppose 90 = 6*k + 78. Suppose 2 + 13 = 5*j, 3*c + j - 333 = 0. Let i = c - 323/3. Which is smaller: i or k?
k
Let j = -18495 + 18546. Is 99 less than or equal to j?
False
Let h = -4594 + 4593. Does h = -19.68?
False
Let k be -2 - 127*(-20)/8. Let j = -301 + k. Let p = j - 14. Is 1/2 at most as big as p?
True
Let r be 14/(-38409)*15/(-10). Let u = r + 464553/23777. Is 19 greater than u?
False
Let k = 2.4 + 4.6. Let r = 18 - k. Let c = r - 10.9. Is 20 greater than c?
True
Let x be 22/(-110)*-5*5 - -3. Suppose 9*j = -x*j + 20*j. Let q = 108 - 3565/33. Which is bigger: j or q?
j
Let p = -2/52181 + -204774/103057475. Which is bigger: 1 or p?
1
Let z = -92 + 94. Suppose -19 + 51 = -z*c. Which is bigger: -15 or c?
-15
Let u = -3458 + 3527. Is 72 greater than or equal to u?
True
Let n(d) = -163*d**2 - 2*d - 34. Let z be n(-4). Which is smaller: -2635 or z?
-2635
Let k be (-13 + 19568/112)/(8/28). Which is smaller: 570 or k?
k
Suppose 3844 = 139*u - 1577. Let l(w) = 4*w**2 - w - 2. Let h be l(2). Which is bigger: u or h?
u
Let u be (-7)/35*15/(-216). Let g = 53/360 - u. Suppose 5*i - 10 = 2*v, -2*v - 3*i + 3 = -3. Is v < g?
True
Let k be -5 + 1 + -84 + -3. Suppose 12*r - 6*r + 528 = 2*z, -4*z = 3*r + 279. Is k less than or equal to r?
True
Let c = 68 + -68. Suppose c = k - 10*k + 2916. Suppose 8*q - 2*q - k = 0. Are q and 53 nonequal?
True
Let i = -14746/9299 + 610/547. Let l(n) = -n + 4. Let c be l(4). Is i greater than c?
False
Let i = 39302/3 - 13100. Is i <= 0.05505?
False
Suppose 0 = 4*k - 3*k + 3. Let t = -46055.5 - -46055. Is k greater than t?
False
Let m = 2832 + -2832.7. Which is greater: 452 or m?
452
Suppose -52*a + 45 = -47*a. Let d(u) = -u**3 + 8*u**2 + 2*u - 30. Let p be d(a). Which is smaller: -92 or p?
p
Suppose 0*y = -2*y + 10, 11 = r + y. Suppose 0 = -r*o + o. Suppose 4*c + 19 = -l - 0*l, -2*c - 4 = o. Which is bigger: -7 or l?
-7
Let h be (-14)/12*1640/15785. Let p = 35 + -35.3. Which is smaller: p or h?
p
Suppose -661 = l - 0*l. Let i = -1398 - l. Let h be i/(-847) - 2/14. Which is bigger: h or 2?
2
Let s(c) = c + 4. Let m be s(-8). Let z = -18137/4 - -4530. Is z at least m?
False
Suppose -2*m + 5*z - 2 + 3 = 0, -4*m = -z - 47. Let n be (m/52)/((-2)/(-32)). Let h be 294/n*14/(-21). Is -48 < h?
False
Let k be (780/416)/(25/(-60)). Let p = 0.9 + -1. Let b = -0.1 - p. Which is bigger: k or b?
b
Let j = -488.3 - -447.11. Is -4 equal to j?
False
Let u(t) = -44*t + 4047. Let l be u(-6). Is l < 4310?
False
Let r be ((-16)/(-288))/((-26585386)/13292756 - -2). Let o = 5861 - r. Is 0 <= o?
False
Let g = 32 - 10. Let i = -21 + g. Which is greater: 205 or i?
205
Let z = 0 - 0. Let m(a) = -a**3 - 20*a**2 - 7*a - 11. Let t be m(-18). Let s = t - -45303/85. Which is bigger: z or s?
z
Let q(i) = i**3 - 11*i**2 + 4*i - 11. Let r be q(4). Let f be 2 + 1 + (-85)/25. Do r and f have different values?
True
Let p(f) = -f**3 - 24*f**2 + 95*f + 12. Let i be p(5). Let m be 132/22 + (i/39 - 0). Is m at least -0.1?
False
Let n be (3/(-12))/((-1)/12). Let d be 7905/(-136) - n/(-24). Is -61 > d?
False
Let o(f) = f**3 - 3*f**2 + 12*f - 49. Let r be o(3). Let p be (-2)/(920/(-104) + 9). Does r = p?
True
Let s = 30 + 34. Let t be (1 + 122/(-116))*s/(-432). Which is bigger: t or -1?
t
Suppose -15*t = -34*t + 9386. Let c = -266 + t. Which is greater: c or 226?
c
Let t be 3/(-8) - (-1155)/(-120). Let k(b) = 4*b + 45. Let i be k(t). Let d(o) = o**2 + 4*o - 6. Let f be d(-6). Is f bigger than i?
True
Let s(i) = 13*i - 10*i + 1 + 10*i**2 - 14 + 56*i - 14*i**2. Let w be s(15). Which is smaller: 0.01 or w?
w
Suppose 0 = -6*y + 3717 - 1738 + 2605. Do y and 13 have different values?
True
Let v be (-26603)/370 + 2/(-20). Let z = -97 - v. Let d = 0.1 - 0.1. Which is greater: z or d?