0.137. Let u be -12 - ((-2)/(-6))/(2/(-6)). Which is smaller: u or c?
u
Let x = -1639.2 + 1698.6. Is 5 at most x?
True
Let a(q) = q + 47. Let j(n) = n**2 - 5*n - 26. Let r be j(-4). Let b be a(r). Which is bigger: b or 53?
b
Let k be 290/(-18) - (-4)/(2 + 34). Which is greater: -47 or k?
k
Let c(g) = -g + 19. Let l(x) = 20. Let u(k) = 3*c(k) - 4*l(k). Let a be u(-9). Suppose a - 1 = b - 3*d, d = 5*b - 1. Which is bigger: -1 or b?
b
Let d(n) = 2*n**2 + 2*n**2 - 3 + 2 + 2*n + 2. Let l be d(-1). Suppose 0 = -5*b - l*m - 42, -m = -2*b - 0*m - 19. Is b at most as big as -1?
True
Let c be (-8)/(-28)*(-13300)/(-10). Which is bigger: 379 or c?
c
Suppose -3*l + 141 = 3*m, 3*l = 2*l + 4*m + 52. Let o = 32814/455 + -1512/65. Are l and o unequal?
True
Let a = -2527 + 2535. Is 8 less than a?
False
Let l be 34/(-17) + 4 + (122 + 1 - 0). Which is bigger: l or 2145/17?
2145/17
Suppose -45474 = -25*x - x. Let s be (5/3)/(-9 - (-15719)/x). Which is greater: s or -133?
s
Suppose -18*a + a - 82 = 24*a. Is a at least as big as -343?
True
Let f = -64/2149737 - 268820198/4561025335. Let n = 8/335 + f. Let s(d) = -2*d**2 + 14*d. Let k be s(7). Is n not equal to k?
True
Suppose 634*m + 5 = 629*m. Is -6/493 less than m?
False
Let x(o) = -o**2 - 6*o + 3. Let p be x(-6). Let g = 33 + -55. Let t = -20 - g. Is t smaller than p?
True
Suppose -472 - 288 = -z. Let f = z - 760. Which is greater: 3/208 or f?
3/208
Suppose -c - 1 = 0, 23*i - 4*c + 802 = 25*i. Which is smaller: 394 or i?
394
Suppose 3*m = -4*b - 181, -3*m = -2*m - 5*b + 35. Let a be (-21)/14*1060/m. Which is bigger: a or 29?
29
Let i = 193 - 153. Suppose -80 = -5*o - 315. Let v = o + i. Is v at most 2?
True
Suppose 2*z - 3*z = 478. Let a be z/(-4) + (-10)/(-20). Suppose -8*v - a = -0*v. Which is smaller: 1/4 or v?
v
Let c(v) = 2*v**3 - 3*v**2 + 2*v - 1. Let z be c(2). Suppose z*k = -29 + 127. Suppose 5*o + k = 4*x, -x + 4 = -5*o - 7. Is 2 < o?
False
Let x(o) = -7*o + 6*o - 66 - 2*o. Let s be x(-14). Let n = 23 + s. Which is smaller: -3/2 or n?
-3/2
Let m = -319 - -275. Let u be m/(-8) - (6 + -1). Are 227 and u nonequal?
True
Let s = -36 + 41. Let h be -2*(111/21 - s). Let o = 0.2 + -0.2. Which is bigger: o or h?
o
Let c be 555/(-666) - ((-7125)/(-36) + 4/(-8)). Is c at most -198?
True
Let q = -51 + 87. Suppose 4*y - 19 = w, q - 15 = -4*w + 5*y. Which is greater: w or -9/107?
w
Let t be 6 - -2*(-3)/6. Suppose 9 = t*v - 146. Let s = -5151 + 5181. Which is smaller: v or s?
s
Let s = 60 - 59.9062. Let y = s - 0.2238. Which is bigger: y or -1.2?
y
Suppose 316*l = 319*l + 21. Is -178/31 > l?
True
Suppose 5*y - 15 = 5. Suppose -47 = -8*m - 23. Which is greater: y or m?
y
Let y be (-7)/(-4) + (-4805)/3100. Which is greater: -41/53 or y?
y
Let c be 3 + -14 + (-8)/(256/(-72)). Let i be (18/4)/((-1)/2). Is i smaller than c?
True
Let f be (4 + 614)*5/30. Suppose -f*s + 96*s - 147 = 0. Let o(c) = -c**3 + 5*c**2 + 3*c - 2. Let m be o(6). Which is bigger: s or m?
m
Let a = 620515633/40038 + -92989/6. Is 0 greater than or equal to a?
False
Let o be 0*(-3)/9 + (-92)/(-1). Suppose -4*i - o = -3*m - 2*m, 2*i - 3*m + 48 = 0. Which is bigger: i or -94/5?
i
Suppose 0 = -8*w - 2*w + 730. Suppose 0 = -c + w - 25. Suppose 2*g + 3*x - 36 = 4*x, 2*g - c = -2*x. Which is smaller: g or 0.1?
0.1
Let p = -11.656 + 11.586. Are -545 and p equal?
False
Let i = -52 - -107. Suppose 2*z + t + 24 = -i, -3*z + 2*t = 101. Which is bigger: 3 or z?
3
Let z(a) = a + 3. Let r be z(2). Let q(x) = -x + 2. Let t be q(r). Let l = 5 + t. Does l = 3?
False
Let r = -500.89944 + -0.00056. Let t = -501 - r. Let n = 17.3 + -3.3. Is n less than or equal to t?
False
Let v = 55.9115 + -4728.8415. Let f = v - -4760. Let y = -87 + f. Which is bigger: -1 or y?
y
Let o = 19966/7 + -2839. Is 0.07 at least as big as o?
False
Let c = -2253522/7 - -321932. Let l = 4.11 - 0.11. Let g = 3.7 - l. Is g smaller than c?
True
Let z be (42/8)/((9/14)/(78522/161)). Do z and 3984 have the same value?
False
Suppose -5*b + 13 = 3*c - 0*c, -2*b - 32 = -5*c. Let y be ((-1953)/(-105))/(c/(-4)) - 0. Is -12 less than or equal to y?
False
Let h(f) = -4*f + 5. Let b be h(0). Suppose 0 = -3*l - 4*q - 2 - 0, b*l = 3*q - 42. Is l less than 7?
True
Let p = 15 - -78. Suppose -94*q + 170 = -p*q. Which is smaller: 169 or q?
169
Suppose -5*n - 5 = 5*q, -4*n + 57*q - 53*q - 12 = 0. Which is greater: -0.04 or n?
-0.04
Let t(y) = -2*y**2 + 2*y - 9. Let k be t(-4). Let v = k - -48. Let m be -2 - 4 - 294/(-48). Is v < m?
True
Let p be (-4)/10 + (-57880)/175. Let n = 21100/63 + p. Let i be -1*-2*(-10)/(-4). Do i and n have different values?
True
Let y = -2.3508 + 0.3508. Let n = -1.2 + 1.232. Which is smaller: n or y?
y
Let q = 6016 - 6015.9. Which is bigger: q or 21/50?
21/50
Let x be (3/(-6)*2)/(2/(-34)). Suppose 5*l = -3*f + x, 12 = 4*l - 3*f + 7*f. Suppose 30 = -2*j - 2*s, -2*j + l*s = j + 80. Which is smaller: j or -21?
-21
Let p(c) = -4*c - 4. Let f be p(-4). Suppose 6 = 2*b + 5*u, -b - 53*u + 29 = -57*u. Let q = b - f. Do q and -2 have different values?
True
Let o(l) = l**3 - 17*l**2 + 12*l - 32. Let n be o(16). Let v = n + 77. Are 0.1 and v equal?
False
Suppose 52*f + 31890 = 82*f. Do 1064 and f have different values?
True
Let x = 1431470 + -21471896/15. Suppose 2*y = 4*y - 20. Is x at most as big as y?
False
Suppose -s + 27 = 11. Let k = s + -17. Let t = -3207/95 + 168/5. Is k less than t?
True
Let y = 1686037/17 - 99207. Let m = -3163/51 - y. Is -33 <= m?
False
Let t be 1 + (8*(-2)/16*-2 - 2). Which is smaller: 1/1199 or t?
1/1199
Let j = -115 + 159. Let z be j/77 + -8 - (-1 - 5). Is z > -1/10?
False
Suppose -4*b + 3*u = 133451, 2*u + 26638 - 160084 = 4*b. Which is smaller: b or -33360?
-33360
Let o(f) = f + 5. Let t be o(-3). Suppose t*n - 2 - 2 = 0. Let q = 707 + -704. Are n and q non-equal?
True
Let m = 0.04 - -0.25. Let o = 0.94983 - -0.05017. Is o >= m?
True
Let b(m) = -m**2 + 3*m - 38. Let r be b(6). Let p = 57 + r. Let h = -339/8800 + 2/275. Which is smaller: h or p?
h
Let g be ((-5)/((-30)/9))/((-2)/4). Let l be (g - -1) + 6 + 0/(-23). Suppose -2*q = 3*q + 4*y - 4, 0 = l*q - 5*y + 5. Do q and 1/24 have the same value?
False
Let b = 31 - 32.5. Let m = 1.91 + b. Let k = 0.32 - m. Which is smaller: k or -2?
-2
Let f(h) = -39*h + 239. Let o be f(6). Suppose -3 = 2*k - 5*i, -6*k - o*i = -5*k - 6. Which is smaller: 1/106 or k?
1/106
Suppose 0 = 3*q + 4*d + 4786, 0 = 26*q - 24*q + 2*d + 3194. Are q and -1 equal?
False
Suppose 2*f + 0*f + 4*x = 2890, -4*f = -5*x - 5780. Let l = -2197278 - -24154147/11. Let k = l + f. Is 0 at least k?
True
Let b be ((-1)/(-2)*2)/(-25 + 24). Let g be (5 + 2*b)*10/(-165). Suppose -26*u + 15 + 89 = 0. Which is smaller: g or u?
g
Let c = 8758 - 7805. Which is smaller: -0.03 or c?
-0.03
Let g = 3991270073/977414 - 2/488707. Is 0 > g?
False
Let f = 10424 - 10457. Are 18 and f equal?
False
Let p = 276 - 502. Let q be -4 - p/46 - (-1)/(-1). Let x = 141 + -141. Which is bigger: x or q?
x
Let h(i) = i**2 + 2*i + 1. Let d be h(-3). Let k be 2 - 1 - (-5)/d. Let o = -281.1 + 281. Are o and k non-equal?
True
Let p(h) = -51*h - 67. Let b be p(11). Let g = b - -628. Which is smaller: 2 or g?
g
Suppose -4*s = -11*s - 343. Let g = s - -108. Let l = g + -415/7. Which is greater: l or 2/17?
2/17
Suppose 43*d - 181 = 249. Let c be (-6)/6 + (-6)/(-1). Which is greater: c or d?
d
Let k = -15958 - -31718. Is -1/2 not equal to k?
True
Let b = -27 + 45. Let d(j) = -j**3 - j**2 - 1. Let p(x) = 4*x**3 - 14*x**2 - 20*x + 43. Let z(l) = 3*d(l) + p(l). Let s be z(b). Which is smaller: s or 3?
3
Let x be -37 + (-1712367)/(-47565) + 1 + (0 - 0). Are x and -1 nonequal?
True
Suppose 0*k = -10*k - 4*b - 380, k = -4*b - 56. Let r = -69 + 30. Is r greater than or equal to k?
False
Suppose -6*x + 3*d = -8*x, -7*x = 3*d. Is x at least 40/27?
False
Let g = -11843 - -9190. Is g at most as big as -2653?
True
Let b = 841/8169 + -3/389. Let m = -1586 + 853. Let x = m - -734. Are b and x non-equal?
True
Let m(w) = -1904*w - 11266. Let a be m(-6). Let z = 312 + -153. Which is bigger: a or z?
z
Let r = -27.1 + 23. Let q = 11 - 5.9. Let a = q + r. Which is greater: a or -1/3?
a
Let p be ((-75)/15 - (-4)/(-2))*-1. Let u = -4 + 35. Let m = u - 22. Are p and m nonequal?
True
Let s = -880 - -863. Let t be (5 + -4)