 -5.49. Let c = d + -29. Which is smaller: c or 0?
c
Let x be (4 - (3 + -4))*2. Let d = 119 - 119. Suppose d = 16*b + 97 - 33. Which is smaller: x or b?
b
Let u = 1759 + -1433.1. Let h = -73.9 + u. Is h greater than -2?
True
Let i = 810.337 + -810. Let l = i + -27.337. Is 7 less than l?
False
Suppose 132*z = 414788 + 176044. Is -3 equal to z?
False
Let p = -39.044 - -39. Let l = -0.164 - p. Let t = -0.08 + l. Which is greater: t or -15?
t
Let u = 160 - 2396/15. Let t be ((-1)/(-3))/(6/414). Let n = 22 - t. Is u at most n?
False
Let f be 3 - 2/2*(-445845)/(-148620). Which is smaller: f or 1?
f
Let y = -20704/29 - -714. Let t = 992/5 + -3301/15. Let i = t - -21. Which is smaller: y or i?
i
Let h = 116.9 + -110. Let t = -44.1 - h. Let r = -49 - t. Which is greater: r or -2/17?
r
Let v = 0.39153 + 2.70847. Let i = -0.7 - -0.2. Let u = i - 1.5. Do v and u have the same value?
False
Let w = -49 - -76. Suppose -12 = -w*y + 21*y. Suppose -3*f + 4*f = 4*m + 22, 3*f = m + 22. Which is smaller: f or y?
y
Let x(o) = 17*o - 65. Let n be x(4). Suppose 2*j + 549 = -n*d, 5*j - 3*d + 774 = -567. Is j less than -2/7?
True
Let o be 5/(-10) + (-1)/(-2). Let t = -8 - o. Let w = 313 + -312.8. Which is greater: t or w?
w
Let z = 1870 - 1871. Is -126/131 greater than or equal to z?
True
Let h be (-21 + (-5364)/(-48))*(-2 + (-10)/(-3)). Is 125 at most h?
False
Let y be (27792/56 - -5) + 4/(-14). Let g = y + -502. Is -27/16 at least as big as g?
False
Suppose 15*k + 168 = 13*k. Let u be k/(-20) + 12/(-3). Which is greater: -15 or u?
u
Let x(h) = 6*h + 10. Let k be x(-3). Let i be (-30)/8 + k/32. Let j be (-150)/12 - 63/(-7). Is j bigger than i?
True
Let m be (-4)/14 - (96/(-720) - (-405542)/(-210)). Do m and 1931 have the same value?
True
Let n = -3583/247 + 192/13. Let w = -3 + 3.2. Is n equal to w?
False
Let q = -6.3 - -6. Let a(s) = -11*s - 63. Let p be a(-6). Suppose 0 = k - 2*f + 12, -6*k + 5*f = -p*k + 33. Is k != q?
True
Let m(t) = -t**2 - 12*t - 18. Let u be m(-3). Let d(r) be the first derivative of -r**2/2 + 6*r - 1. Let n be d(u). Which is greater: n or -18?
n
Let f(m) = -m**2 - 5*m + 7. Let u be f(-6). Let h be 1*(5 + 4*18) + 1. Let v be 105/h - (-60)/(-40). Is u at least as big as v?
True
Let m = -258 - -261.5. Let p = m + -3.3. Is p != 17?
True
Suppose 5 = 5*s - 0*s. Suppose 6*c - 30 = c - i, -2*c = 4*i + 6. Let p be (-417)/118*2 + c. Which is smaller: p or s?
p
Let k(q) = -12 + 2*q + 9 + 14. Let j be k(-15). Which is greater: -20 or j?
j
Let a = -3.288 - 423.612. Let u = a + 429. Is u bigger than 3?
False
Let z = -118 + 64. Let w = 10.364 - 64.594. Let v = w - z. Which is smaller: v or 0?
v
Let k = -1848.0465 - -1848. Are 3 and k unequal?
True
Let l(k) = -10 + 2*k + 1 + 0 - 10. Let q be l(13). Let d be (148/q - 8/56)/13. Is 3 < d?
False
Let x = 1523 + -1509. Suppose -2*d - 3*m = -18, 3*d - 4*m - 49 = -3*m. Which is smaller: x or d?
x
Suppose -979 = -17*x + 1197. Suppose -2*l = 5*h - 3*l - 160, -l = -4*h + x. Which is greater: h or 34?
34
Let r = -0.147 + 0.842. Let z = r + -89.495. Let i = 89 + z. Is i > -6?
True
Let n be (81/35496)/(15/(-10)). Do n and -1 have the same value?
False
Let k(q) = 34 - 31 + q**3 + 3*q**2 + q**2 + 3*q. Let m be k(-3). Suppose -9 = -3*j - m*y, -y + 3*y + 6 = 4*j. Do j and -2 have the same value?
False
Suppose -22*v + 3360 = -226. Suppose -3*q - 5*a = -474, -8*a - 661 = -4*q - 5*a. Is v != q?
False
Let c = -0.079 - -0.179. Let k = -13 - 11. Which is greater: c or k?
c
Let i(y) = -y**2 - 48*y + 455. Let q be i(-35). Is q >= 915?
False
Let r be ((-14)/(-6))/((-6)/(-684)). Let x = r + -269. Which is smaller: -11/3 or x?
-11/3
Let q = 51007 + -357879/7. Are -119 and q unequal?
True
Let r(h) = h**3 + 4*h**2 - 4*h + 7. Let t be r(-5). Let b = 58 - 57. Suppose -t*z = b + 3. Is -22/9 >= z?
False
Let q be ((-6)/(-1))/((-117)/18) - (-10)/(-130). Which is smaller: 2/6543 or q?
q
Let y = -60 - -106. Let i = -16 - y. Let b = 105 + i. Is 0.2 smaller than b?
True
Let l = 71 - 138. Let d = l - -67. Suppose -2*s - 3*h + 4 = -6*h, -2*h - 4 = d. Which is greater: -3/4 or s?
-3/4
Let q(s) = 10*s**2 + 422*s - 88. Let w be q(-43). Do w and 0.14 have the same value?
False
Let b(i) = i**2 + 10*i - 9. Let l be b(7). Let k = -1 + l. Which is bigger: k or 107?
k
Suppose -6*s + 2*s + 10 = 2*h, 5*s + 4*h = 14. Let m be -4 + 5 + 3875/(-1290) + s. Which is bigger: m or 0?
0
Suppose i - 20 = -3*i, -3*i = 3*y + 3. Let o = -18 + y. Let c be ((-50)/(-8))/(199/(-796)). Are o and c equal?
False
Let i = 21 - 13. Let c be i/(-12)*4*(-6)/4. Let p be -3*((-274)/69 + c). Are p and 0 nonequal?
True
Suppose 0*q + 10 = 3*k + 2*q, 12 = 5*k + q. Let j be (11 - (-2 - -5)) + k. Let f be 1/(2/(-10) + (-144)/(-495)). Which is smaller: f or j?
j
Suppose -5*q - 2 = 2*g, 0*q = -3*g - q + 23. Let j(b) = -b**3 + 7*b**2 + 12*b - 12. Let v be j(g). Let y = 137/2 + v. Which is greater: 1/3 or y?
y
Suppose -2*t + 2 = -5*k + t, 2*k + 4 = -2*t. Let h = -119 - -70. Let m = -785/16 - h. Is m at least k?
True
Let k = 31 - 29. Let r be (25/k + -1)/((-1)/(-14)). Let w be 1*-3 + 567/r. Is 1 less than or equal to w?
False
Let y be ((-56)/(-196) + (-17)/(-14))*8. Let j be (10/(-15))/((-8)/y). Which is bigger: j or 3/22?
j
Suppose 2*u = -0 + 8. Let l = -5 + u. Let j = -169 + 169.04. Do j and l have the same value?
False
Suppose 5*y = y - 8. Let w be (-1 - 0) + (-2)/y. Let q be (0 - -2) + 0 - (-357)/(-180). Is q < w?
False
Let s = 10475/3 + -42607/15. Is 652 < s?
False
Let c = 246.2 - 0. Let b = 221 - c. Which is bigger: -1/4 or b?
-1/4
Let f = -20/21 + 394/7. Suppose -217 = 4*k - 3*c, -16*k - 4*c = -11*k + 279. Let z = k + f. Is -0.2 not equal to z?
True
Suppose -36*n - 3*v = -40*n + 8739, 6556 = 3*n - 2*v. Which is greater: -1 or n?
n
Let w be 1 + 7/(-6) + 315/3024. Let h = 2 + -2. Suppose h = x - 4*x. Is x greater than w?
True
Let q = -5354/17 - -315. Let w(b) = 16*b + 1. Let y(o) = o**2 - 47*o - 4. Let h(x) = 7*w(x) + 2*y(x). Let z be h(-9). Is z at most as big as q?
True
Let a(g) = g**3 - 35*g**2 + 97*g + 143. Let s be a(32). Which is greater: 177 or s?
177
Let a(b) = -b**3 + 20*b**2 - 62*b - 19. Let h be a(16). Are 18 and h unequal?
True
Let u = -697 + 697. Let t be (-2 - u)/((-3185)/793 + 4). Which is smaller: t or 120?
120
Let r = 1450.3 + -1483. Let b = 54 + -21. Let k = b + r. Is 1/2 equal to k?
False
Suppose -2*d - d + 120 = 0. Let q be (-1)/2 - d/(-16). Let a = -31333 + 31367. Is a greater than q?
True
Let j be 994/35*(-1 + 21). Let c = -1018 + j. Let i be ((-6)/4)/(c/(-25)). Is -1 > i?
False
Let v be (-63648)/108 + ((-3)/(-9))/1. Do -587 and v have different values?
True
Let t = 47044 + -47044.1. Which is bigger: t or -0.17134?
t
Let f = 64 - 61. Suppose 4*o - 52 = i, 2*o - 44 = -2*o + f*i. Suppose -3*s = -17 + o. Is -1/15 smaller than s?
True
Let p = 58851422/31 - 1898599. Let k = p - -166. Is 1 <= k?
False
Let s be 0 - -7*620/140. Do s and 36 have the same value?
False
Suppose a = -3*b + 19, -b - 1 + 2 = -5*a. Let i be ((-14)/21)/(4/b). Let o = -122 + 1347/11. Is i greater than o?
False
Suppose 0 = 2*t + 3*t + 5*s + 170, 3*t = 3*s - 108. Let a = -21 - t. Suppose 35 = a*j - 15*j. Are j and -36 non-equal?
True
Let u = 74823/17 - 4409. Is -8 < u?
True
Let q be (-120)/25 + 5 + (-98)/(-10). Let v(n) = 2*n - 46. Let w be v(q). Let f = w + 48. Which is smaller: f or 21?
21
Let l = 94345 + -374805/4. Is 2/7 less than l?
True
Suppose d - 5*d + 47 = -b, -d + 38 = 5*b. Let u(c) = 22*c - 263. Let i be u(d). Let g(v) = 5*v**2 - 2*v - 1. Let l be g(-2). Is l greater than i?
False
Let f = 879.99 + -886. Let x = f - 0.29. Let r = x + 6.3. Which is smaller: -0.07 or r?
-0.07
Let r = 23/34 + -757/918. Let u be (-4 + 6)*(-1094)/540. Let v = r + u. Which is smaller: -4 or v?
v
Let w = 2685589/1768 + -1519. Which is bigger: 1 or w?
1
Let s be 10 - -2 - (-1 + 0). Let k(u) = -6*u + 93. Let d(x) = 3*x - 47. Let c(l) = -11*d(l) - 6*k(l). Let b be c(18). Is s equal to b?
True
Suppose 3*d = -i + 5*i + 2, 5*d = -4*i + 46. Let k be ((-4)/d)/(((-624)/1952)/(-13)). Which is smaller: k or -26?
k
Let f = 4656 - 4662. Which is greater: 1/361 or f?
1/361
Let x be 5 + (-4 - -1) + 55. Let y = 330 + -272. Let k = x - y. Is 1/10 bigger than k?
True
Let x(y) = -2*y**3 + 55*y**2 - 15*y + 5. Let r be x(33). Is -12468 > 