(1/(-26) + 0)/(n/29962). Which is greater: j or -4?
-4
Let b(a) = -7*a + 1. Let t be b(3). Let d = -63 - -100. Suppose 9*l + d = -152. Which is greater: l or t?
t
Suppose z - 11 = 6*v, 6 = -v + 123*z - 122*z. Which is smaller: -30/41 or v?
v
Let z be ((-42)/79604)/((-3)/4). Is z > 0?
True
Let o = 5/1026 - 1229/199557. Which is greater: -1 or o?
o
Let m = -22 - 4. Suppose 20*y = 17*y + 75. Let t = y + m. Is t less than 2/193?
True
Let w = 3131 - 3138. Which is smaller: w or 0.274?
w
Let y = 239 + -237. Suppose 4*b - z - 8 = 0, -y*z - 19 = -3*b - 8. Are b and 2/259 unequal?
True
Let a be (26/(-4) + 6)*(91 - 3). Are a and -134/3 equal?
False
Suppose 3*n + 4*s = 8, 8*n - 3*n - s = 21. Let r(a) = 4 + 12*a - 4 - n*a**2 - 3*a - 17. Let f be r(4). Which is greater: f or -46?
f
Let c = 231 + -375. Let x = c - -144. Is x equal to 15?
False
Suppose -4*l - 673 = -w - 2*l, -2*l = 5*w - 3425. Suppose w = -4*o + 259. Which is smaller: o or -105?
o
Suppose -1334 + 177 = -10*q + 1183. Is 235 <= q?
False
Suppose 34*f = 33*f - 15. Let z be 549/f - 2/(-25)*-5. Are -39 and z equal?
False
Let d = 12 - 12. Suppose -2*a + 16 = -0*q - q, -2*a - 3*q = d. Suppose -4 = 10*u + a. Is 2/61 smaller than u?
False
Let i = -560173/4471 - -2130/17. Let f(m) = -m**2 - 6*m + 7. Let q be f(-7). Which is bigger: q or i?
i
Let x(c) = -4*c**2 - 30*c - 16. Let z be x(-7). Let b be (-6040)/55 - (-3)/33*z. Let n = -111 - b. Is -1/41 greater than or equal to n?
True
Suppose -3*p + 2*j = 12, -5*j = -28*p + 33*p + 45. Is 367 less than or equal to p?
False
Let q be 16737/54*(-40)/(-70). Is q not equal to 177?
True
Let v be (-54)/(-36)*(-4)/927. Let m = v - 301/1236. Is m at least as big as 1/2?
False
Suppose 3*k - 6*r + r + 23 = 0, 0 = 2*r - 8. Is 7/888 less than k?
False
Let c = -0.12143 - 0.37857. Which is smaller: 2527 or c?
c
Suppose -82*b = -73*b + 55 - 10. Which is greater: b or -15?
b
Suppose -28*h = 18*h - 7*h. Which is greater: 7/559 or h?
7/559
Let v = -2 - -4. Let w be 90/500*(-30155)/(-2934). Which is smaller: w or v?
w
Let t = -3 - -2. Let s(m) = -11*m**2 + m. Let d be s(t). Suppose 0 = 127*l - 17*l + 1000 - 120. Which is bigger: d or l?
l
Let f = 42535/12 - 3547. Let o(n) = n**3 - 8*n - 3. Let u be o(0). Which is smaller: f or u?
u
Let x be 22/187 + 158/(-476). Let h(m) = -m + 16. Let q be h(15). Is x at least q?
False
Let s(x) = x + 3. Let j(f) = -2. Let l(u) = 3*j(u) + 2*s(u). Let d(h) = h**3 + 2*h**2 - 34*h - 3. Let g be d(-7). Let o be l(g). Which is bigger: -2 or o?
-2
Let y = -127 - -141. Suppose -4*l - y + 3 = k, 5*k + 5*l = -10. Which is greater: -1/263 or k?
k
Let x(a) = -a**2 - 5*a + 259. Let n be x(12). Are n and 1 non-equal?
True
Let v = 1/8055 + 15749/2907855. Which is smaller: 1.8 or v?
v
Let a = 3271 - 5568. Let l = 44751875161/19476764 - -3/1145692. Let d = a + l. Which is smaller: d or 0?
0
Suppose -12 + 4 = -4*h, r - 3*h = 14. Let l be r/(-4)*34/(-10). Suppose 4*u - 67 = -w, -u + 3*u = -3*w + 21. Which is greater: u or l?
u
Suppose 55*o = 43*o + 216. Suppose 0*s - 16 = 4*s, 26 = 2*p - 4*s. Let r = 13 + p. Are o and r unequal?
False
Let j be 5/(5/(-4)) - 258848/(-83688). Let x = -2/951 + j. Which is smaller: 0 or x?
x
Let m = 5499 - 3913. Let n be 7 + (-356)/52 + (-322)/m. Is n less than -1?
False
Let j be 192/8*3/(-4). Let a(l) = -l**2 + 3*l - 4. Let r be a(12). Let h = r + 94. Is h > j?
False
Suppose t + 352 = -3*x, -51 = 3*x + 4*t + 304. Let l = 118 + x. Is -8/27 less than or equal to l?
True
Suppose 2*u - 4 = 0, 5*u - 3*u + 5 = 3*p. Suppose -2*i - p = 3*k, -k + 3*k + 5*i + 13 = 0. Which is smaller: k or 7/12?
7/12
Let q be ((-39)/(-65))/(2 - 0). Suppose -2*h + 3*h + 9*h = 0. Is q less than h?
False
Let s be 38/57*174/4. Suppose -m = -30 + s. Which is greater: -2/401 or m?
m
Suppose 2*y = -3*y + 2*k - 15, 4*k - 20 = 0. Let l be y + (-2 - 6/(-2))/1. Suppose -4*z + 6*p - 3*p = -43, 2*z - 2*p - 22 = l. Which is bigger: z or -2?
z
Let s = 126 - 116. Let b be (-6)/s - 312/(-195). Is -3/104 >= b?
False
Let q be (-1)/(-1)*(1 - (-587 - 4)). Let n be (-2 - q/28)*-7. Suppose 2*o + n = 11*o. Is 18 at most o?
True
Let f(c) = -c**3 + 10*c**2 - 10*c + 9. Let g be f(9). Suppose -1 = -i - g. Suppose 2*a - 2 = 0, 5*n = -4*a - 30 - 81. Which is greater: n or i?
i
Let f be 24 - 11 - 1311/105. Is f less than or equal to 0?
False
Let d = 0 + 0. Let m be 1/(3*232494/116226 - 6). Let q = m + -923. Which is greater: d or q?
d
Let v = -7663.6 - -7675. Which is smaller: v or 2?
2
Let g(s) = -s**2 - 13*s - 7. Let v be g(-12). Suppose m - 3*k = 151, -5*m = v*k - 275 - 580. Are m and 166 non-equal?
False
Let v = 1387 + -1388. Which is bigger: -8165 or v?
v
Let d be (60/(-10) - (-1 - (-4 - -6)))/(-9). Which is smaller: -4603 or d?
-4603
Suppose -620 - 557 = -2*q + 3*q. Which is greater: 2 or q?
2
Suppose 3*k + 262 + 152 = 0. Let v = k - -73. Let i = v + 64. Is i >= -4?
True
Let i(x) = -x**2 - 7*x - 5. Let g be i(-5). Suppose 2*z = g*z - 735. Let k be 2/(-5) + 308/z. Which is bigger: 2 or k?
2
Let n be (((-12432)/(-15))/(-37))/(2/(-180)). Is 2013 > n?
False
Let y = 7 - -47. Suppose 0 = -4*a + d + y, -43 = -0*a - 3*a + 2*d. Suppose 3*b - 9 + 0 = -3*k, -k + 3*b - a = 0. Which is bigger: k or -2/67?
-2/67
Let q be (-316)/154 - 456/532. Suppose -8 = 5*d + 2. Which is smaller: d or q?
q
Let u = 2285 - 1627. Which is smaller: u or 2?
2
Let m = -45 + 67. Let u be (5/(-6))/((-46)/1380). Which is greater: m or u?
u
Let t = -1338.97 + 1339. Is t < 28?
True
Let v = -403 - -406. Let u be ((-88)/4 - -6)*v/68. Which is smaller: -1 or u?
-1
Let u = 4902.0854 - 4902. Is -1 >= u?
False
Suppose 0 = 5*c - 245 + 1165. Let n = -3 - -2. Is c at most as big as n?
True
Let f(k) = 5*k**3 + 5*k**2 + 136*k + 98. Let h be f(-16). Is h less than -21278?
False
Let t = 175.252 - -0.548. Let l = 166 - t. Which is smaller: l or 1?
l
Let w(i) = 2*i**2 - 38*i + 2. Let o be w(19). Suppose 0*n + 5*n = 5*s - 15, 0 = -2*s - o. Which is greater: -36 or n?
n
Let x be ((-4)/(-7))/2 + (-768680)/(-2464). Which is bigger: 313 or x?
313
Let g be 15/(-20) - 45/4 - 2060/(-412). Let u = 14 + -10. Which is bigger: g or u?
u
Let o(j) = -162*j**2 + 21*j + 7. Let g be o(-1). Is -179 >= g?
False
Let i = -23.27 - -63.27. Is -87 greater than i?
False
Suppose -4*w + 2*w = -i - 5, -5*i = -2*w + 1. Suppose 3*o - 4 = -1. Let r be (6/243)/(-1 - o). Which is smaller: i or r?
r
Suppose -7 = -q + 2*u + 56, -u = 0. Suppose -4*r - 232 = -0*r. Let t = r + q. Is t equal to 5?
True
Let y be 6322/10 + (-1)/5. Let s be (y/(-939) - 0) + 694/1041. Which is smaller: s or 0?
s
Let f(g) = -5*g + 115. Let o be f(23). Let q(h) = 5*h - 2. Let z be q(-1). Is o greater than z?
True
Let f be 0*(0 - (6 + -7)). Suppose y + 16 - 29 = f. Which is smaller: y or 11?
11
Let s(k) be the first derivative of k**2/2 - k + 7. Let x be s(-9). Suppose 651 = 14*n + 791. Is x != n?
False
Let x = 6865.6 - 6871. Which is smaller: x or 0.041?
x
Let q = 117 - 116.33. Let t = 29.67 - q. Let w = t + -28.88. Which is smaller: 0 or w?
0
Let r = 0.05431 + 0.04569. Which is smaller: r or -606?
-606
Suppose 2*q + l - 7 - 7 = 0, -l - 26 = -6*q. Let m be 10 + (4 - 2) + 1. Let w = 14 - m. Which is greater: w or q?
q
Let j be ((-35)/(-5) + -6)*(-54)/(-2). Let a be (-18)/j*3/(-12). Is -7.8 at most as big as a?
True
Let y be (5 - -1) + 134 + -825. Is -686 not equal to y?
True
Let i(v) = 2*v + 1. Let w(r) = -22*r + 32. Let h(z) = -5*i(z) - w(z). Let f be h(5). Suppose -f*o = -18*o - 355. Is o bigger than 71?
False
Let g be 5*((-3)/(-12))/(5/(-12)). Let t be 2/12*(-99)/6. Is t at least as big as g?
True
Let j(z) be the third derivative of -z**5/60 + 7*z**4/12 - 5*z**3/3 + 5*z**2. Let o be j(13). Let y be (-6)/4*36/o. Which is greater: y or -19?
y
Suppose 0 = 5*g + 71*c - 73*c - 126, 4*c - 28 = 0. Suppose y = 2*y + 2*v - 55, 5*y = -5*v + 260. Suppose 4*q = y + 59. Is g >= q?
True
Let u = 12 + -27. Let o be (-10)/6 - (-5)/u. Let r be 0/(-10) - (-3)/o. Are r and -5 non-equal?
True
Let l be (17/11526)/(2/18). Let w = l + 395/4294. Is w smaller than 0.2?
True
Suppose 300*j = -5*n + 301*j, 22 = -2*n - 4*j. Is 482/7 greater than or equal to n?
True
Suppose 6*k + 6 + 18 = 0. Let x be -1*(-2)/k*1/11. Does x = -4?
False
Let j be 432/(-90) + 4/5. Let v be 10/j*(-228)/95. Let n = 49/8 - v. Is n at least -1?
Tr