rue
Let h = 83 + -51. Let s be h/(-3)*6/(-4). Let f = -1807 + 5468/3. Is f less than s?
True
Let r(k) = -63*k**2 - 4*k + 3. Let a be r(5). Let l be a/14 + (6 - (-220)/(-35)). Let n = l + 76. Is -38 at least n?
True
Let w = 72.5 - 71. Let r = -0.06 - 0.04. Let q = -1.9 + r. Is q <= w?
True
Let i = 68268997 - 11196075183/164. Let w = i - 985/4. Is w smaller than 1?
True
Let p be (((-144)/(-30))/12)/((60/(-25))/(-3)). Which is smaller: p or -576?
-576
Let p = -0.25 + -10.75. Let r = 28 + p. Let k = 9 + -11. Is k equal to r?
False
Let j be (7/28)/((-12)/(-30)*5/18152). Is j equal to 2269?
True
Let x(k) = -42*k**2 + 17*k**2 + 12*k**2 - 22*k + 6 + 16*k**2. Let h be x(9). Is h greater than or equal to 53?
False
Let f = 44632/81 - 551. Suppose 86 = -162*n - 238. Which is smaller: n or f?
n
Let j(w) = 76*w**2 - 5*w - 44. Let o be j(-6). Let d = -503574/185 + o. Which is smaller: d or 0?
d
Suppose -d - 2*k = 64, -212 = 3*d - 5*k + 24. Let b be 1866/(-39) + -2 + d/(-39). Which is smaller: b or -49?
-49
Let v be (4/51)/(34/(-255)). Suppose 2*f + o = 131, 119 = -0*f + 2*f + 5*o. Let a = 67 - f. Is v <= a?
True
Suppose -4*r - 3*b + 26 = -b, 0 = 4*r - 2*b - 22. Suppose q - 238 = -r*q. Let n = -69/2 + q. Which is bigger: n or 11?
11
Suppose -22*i - 78293 = -119433. Is 1870 at least as big as i?
True
Let f = 2214 - -3925. Is 6139 less than f?
False
Suppose 68 = -290*h + 273*h. Let f(x) be the first derivative of x**2/2 - 2*x - 2. Let d be f(-3). Which is bigger: d or h?
h
Let t(r) = 65*r - 2056. Let p be t(7). Is -1602 less than p?
True
Let k be 2 - (1/3 + 2). Let h = 0.091 + -113.091. Let m = h - -116. Is k >= m?
False
Let p = 29343 - 29368. Is p greater than 1.05?
False
Let f = 2 + -4. Let l be 14*(-1 + 0)*2/(-7). Suppose -p + 3*s = p + 7, -2*p - 8 = -l*s. Is p greater than f?
False
Suppose 24 = 12*l - 0*l. Let o(k) = -5*k + 5. Let j(s) = -5*s + 4. Let t(c) = -3*j(c) + 2*o(c). Let x be t(l). Which is smaller: x or 7?
7
Let j(h) = h**3 - 11*h**2 - 13*h - 12. Let v be j(13). Suppose -v = y - 3*q, 2*y + 269 = -3*q - 18. Is y less than or equal to -147?
True
Let t be (20/(-6))/(24/468). Let f be (-6)/1 - (-6 + -3). Let g = f + t. Is -61 at most g?
False
Suppose -815*n + 881*n = 1056. Which is bigger: 868/59 or n?
n
Let x be -1 + (-7)/((-21)/120). Let m = x - 37. Suppose -m*v = -10*v. Do -3/11 and v have the same value?
False
Suppose -u - 44 = q, u + 32*q + 20 = 37*q. Which is greater: u or -35?
-35
Let i = 87453776911 - 8920208555099/102. Let u = -752050 + i. Let h = 189 + u. Is -1 at least h?
False
Let c = 0.096 + 33.104. Let x = -34.4 + c. Are x and 0.08 unequal?
True
Let q(n) = 2*n**3 + 8*n**2 - 21*n - 14. Let s(v) = v**3 - 3*v - 7 - 2*v + 4*v**2 - 7*v + 2*v. Let c(w) = -6*q(w) + 13*s(w). Let o be c(-5). Is o at least -11?
False
Let t = -88 - -18. Let o be 24/(-10) + 28/t. Suppose 8 = -365*n + 361*n. Is o at most as big as n?
True
Suppose 0 = -2*l + 13526 - 740. Which is smaller: 6391 or l?
6391
Let p = -8 - -12. Let r be 5*1 - 424/636. Which is smaller: r or p?
p
Let q = 10245 - 10240. Is q >= 23?
False
Let v be 1925/(-637) + (9 - 6). Which is greater: v or -4?
v
Let c = -7591.7 - -6019.19. Let a = 1565 + c. Let n = a - -0.51. Which is smaller: n or 0.5?
n
Let w = 112 - 116. Which is smaller: 4.9 or w?
w
Suppose -h + 0*h - h = 0. Let l = -339 + 159. Let r be l/(-54) + -1 + -3. Which is greater: h or r?
h
Let l(u) = u**3 + 6*u**2 + 5*u + 3. Let t be l(-5). Let o = 450 + -1008. Let k = o - -6144/11. Which is greater: t or k?
t
Let j(t) = -25*t + 859. Let z be j(-15). Is 1234 bigger than z?
False
Let y be -4 + (-636)/(-184) + 62/124. Let p = -0.2 - -1.2. Let t = -2 + p. Are t and y nonequal?
True
Let v be -1*7/140*(-210)/(-36)*-19. Are 5 and v equal?
False
Suppose -4*d + 3*y = -1580, -33*y + 38*y = 20. Is d less than or equal to 397?
False
Let z = 7/4259225 + -257736778896/97962175. Let m = -2631 - z. Is -1 at least m?
False
Let b = 16/225 + 1/25. Let x(o) = 10*o - 100. Let q be x(10). Suppose -j - 6 + 11 = -5*r, q = 2*r. Is j != b?
True
Let h(y) = 2*y**2 - 166*y + 3546. Let b be h(55). Which is smaller: b or 467?
b
Suppose 4*r - 23 = -k, k - 3*r - 1 = -6. Let z = -27374/7 - -3917. Is z less than k?
True
Suppose 4*w + 606 = 118. Let t = w - -138. Is 19 at least as big as t?
True
Let i be (3 - (231 + -4)) + (3 - 4). Let b be 10/(-8)*(-9)/(i/10). Suppose -r + 5 = -2*z + 3, 4*r = 4*z. Which is bigger: r or b?
b
Let l = 10.46 - 9.66. Let w = -8 + 31/4. Is l at least w?
True
Let h = 74.246 - 20.241. Let w = h - 54. Is -2/5 at most w?
True
Suppose 0 = 53*b - 60*b + 140. Let f be 15/b - (-155)/(-20). Let h be 2/(-1) - (-4 - -3). Which is greater: f or h?
h
Suppose 4*k + 8 = 0, -2*k = -w + 561 + 133. Suppose -3*v - 4*h - 6 = 8, h + 5 = 0. Let p be v/9 - w/(-54). Does 11 = p?
False
Let p be 746/12 - ((-14)/(-12) - 1). Let h = p + -57. Suppose 2*z + 41 = -5*c + 124, 0 = h*z + c - 242. Is z bigger than 49?
False
Let p be (2 + -1 - 2)*(-12 + 8). Suppose -5*t = p*j - 1870, -j - 1496 = -8*t + 4*t. Are t and 374 nonequal?
False
Let m = 5724 + -5725. Is -223 greater than m?
False
Let n(b) = 1 - 3*b**3 + 2*b**3 - 9*b**2 + b**2 - 3*b + 6*b - 54. Let f be n(-9). Is f at most 11/14?
False
Suppose 2*u = -t + 750, 5*u - 1878 = -121*t + 119*t. Is 378 bigger than u?
False
Let l(v) be the third derivative of v**5/60 - v**4/6 + v**3/2 - 10*v**2. Let j be l(0). Let o be 4 - (j - (-5)/4). Which is smaller: 0 or o?
o
Let c = -20417849/1824 + 11194. Does c = -1?
False
Let s = -483 - -486. Let z(y) = -y**3 + 2*y**2 - 9*y + 36. Let c be z(s). Is c at most as big as 1/65?
True
Suppose -894 + 945 = -51*t. Are 11/2324 and t unequal?
True
Let j = 123.208 - 123. Let i = j - 0.178. Which is smaller: -0.2 or i?
-0.2
Let b = 455 + -453. Suppose 5*p + b*a + 1 - 1108 = 0, -2*p = 5*a - 426. Is 223 less than p?
False
Suppose 0 = -2062*u + 2066*u. Let o = 49.97 - 60. Let y = o - -0.03. Are y and u non-equal?
True
Let m be (-2)/(-7) + 16/(-56). Let c be (-264)/(-22) - (1 + m). Let o be (2/6)/(c/99). Which is smaller: -1/3 or o?
-1/3
Let r = 69 - 82. Suppose -4*u - 20 = 12. Let y be ((-2)/(-2))/(u/96). Which is bigger: y or r?
y
Let r be ((-3)/24)/((-9)/18) - 0. Is -0.0008 at most as big as r?
True
Let x = -122117/1276 - 15/319. Which is smaller: -7 or x?
x
Let b = 216 - -73. Let y = 291 - b. Do y and -0.2 have the same value?
False
Suppose q = -4*q. Let o(i) = 13*i**2 + i + 30. Let s be o(8). Let j be (-11)/(-120) - 116/s. Which is smaller: j or q?
j
Let z be (-2)/(-7)*420/(-120). Which is smaller: z or -50/23?
-50/23
Let c(z) = 135*z + 3102. Let b be c(-23). Let u = 52/15 - 23/3. Do u and b have the same value?
False
Let r = -139 - -259. Let v = 226 + -159. Let t = v - r. Is t not equal to -54?
True
Let w = 2/115207 - -69499/2632940778. Which is smaller: -1 or w?
-1
Let y be (-21)/(-35) - 3139/5215. Let v = 27100/9387 - y. Let h = -15 - -19. Which is greater: h or v?
h
Let f(v) = v**3 - 28*v**2 - 26*v - 8. Let g be f(29). Let i(u) = 24*u - 3. Let h be i(5). Let x = g - h. Is x not equal to -38?
False
Let t = -2/4843 - -5561/1738637. Let i = 4327/6821 - t. Which is bigger: 0 or i?
i
Suppose -5*v = 4*f + 32, -4*f - 3 = -3*v - 35. Let y be (0 - (-2)/v)*(-64)/(-680). Let a(l) = 2*l - 7. Let k be a(3). Which is smaller: y or k?
k
Let o(g) = -g**3 + 32*g**2 - 23*g - 1109. Let s be o(30). Let u be (1 - 1) + (-4)/(-526). Are u and s non-equal?
True
Let m = 1515 - 2297. Let v = -777 - m. Which is bigger: v or 2.1?
v
Suppose 2*b - 3*r - 7 = 0, 5*r + 29 = -5*b + 4*b. Let j be b/(-24)*54/15. Let c = 0.2 - 0.18. Is c <= j?
True
Let m = 15.4 - 11. Let s = 73.4 - m. Does s = 0.2?
False
Let d be (-5)/(-2)*(-4)/(-2). Let g be 1120/(-25) - 1/d. Let l be 10/g + 2*15/378. Which is smaller: 3 or l?
l
Let n be 4/(-10) + 12642/(-45). Let o = n + 284. Let f be ((-8)/5)/(4/(-10)). Is f at most as big as o?
False
Let r = 338 - 158. Let w = r + -180.87. Let u = w - -0.07. Is -2/7 < u?
False
Suppose 16*r = 22*r + 19*r. Do 15/38 and r have the same value?
False
Let b(u) = 27*u + 131. Let j be b(-5). Let c be (-10)/(2 - (-7)/j). Let w(x) = x + 5. Let p be w(-6). Which is bigger: c or p?
p
Let w(m) = -24*m + 78. Let x be w(3). Let n be 1*(-3)/x - 195/416. Does 0 = n?
False
Suppose 4*d - 8*d - 183066 = -5*c, -3*d - c = 137309. Let 