7, 3*o = 4*o - 5. Which is smaller: -17 or m?
m
Let m(b) = b + 1. Let f be (-12)/(-6)*2/(-4). Let i(j) = 4*j - 4. Let o(n) = f*i(n) + 3*m(n). Let v be o(7). Do -1/116 and v have different values?
True
Let k be 2/(-7) + ((-27)/(-4))/(56/(-400)). Let x be ((-2)/4 - -4)*-14. Is x > k?
False
Let o = -10.8 - 23.2. Let s = -0.83 + 33.83. Let m = o + s. Is 1/3 at least m?
True
Let y be 148/93*(-72)/64. Which is bigger: y or -2?
y
Let p(b) = -1854*b - 5014. Let w be p(-9). Which is smaller: w or 11671?
11671
Let d = -0.0654 + -6.9346. Let o = 3.7 - -1.3. Let w = o + -6. Which is smaller: d or w?
d
Let k = -5300 + 5297.28. Are -1/2 and k unequal?
True
Suppose 2*y + f = 10, -y + 6*y + 5*f - 15 = 0. Suppose 2*c = y*c - 6990. Let u = c - 18164/13. Is 2 at most u?
False
Let v = -25 + 10. Let t be -6 + (-4)/4*2 - 2. Let i be (-4)/t*v/(-18). Which is bigger: i or 4?
4
Let i(j) = -3*j - 40. Let f be i(-18). Suppose f - 84 = -5*w. Suppose 48 = 4*v + 2*b - 6, -v + w = b. Is v greater than or equal to 14?
False
Let d = 7667 - 13535. Is d greater than -5869?
True
Let a be -2 + 1 - 88/2. Let g = -313514/3 - -104461. Are a and g equal?
False
Let n be ((-36)/(-620))/(7*6/945). Is n at most as big as 1?
False
Let y = -7391 + 7347.928. Which is smaller: 0 or y?
y
Let x be ((-47974)/(-415))/(2/(-5))*-36. Which is smaller: 10403 or x?
10403
Let d be 2 + -1 + -2 + -8. Let c = -123948 - -123936. Which is bigger: d or c?
d
Let c be (-30)/(-50)*10*(-6)/(-36). Do -1/5325 and c have the same value?
False
Suppose -163*n + 158*n - 1563 = -3*h, -15 = 5*n. Is h at least 516?
True
Let k = -48 - -50. Suppose -1 + 13 = 4*q. Suppose -q*o + 11 = -1. Is k at most as big as o?
True
Suppose 8*o - 347 + 51 = 0. Suppose 0 = -2*z - 2*z + 3*r + o, -r = -z + 8. Suppose 50 = 8*t - z*t. Which is smaller: -5 or t?
t
Let q be (((-12)/(-4))/11238)/((-6)/(-1080)*-3). Which is greater: q or 1?
1
Let i be (-8)/66*582/(-1940). Which is smaller: 23/11 or i?
i
Let y = 17067 + -15150. Is 17240/9 <= y?
True
Let z(s) = 543*s. Let d be z(0). Is d < 3/1241?
True
Let n = -95 + 27. Let p be 6 - (2020/n)/(-5). Is p equal to 1?
False
Let k be 5 - 4/(20/15). Let r(u) = -u**2 + 10 - 20*u - 6 + 13 - u**k. Let o be r(-12). Is o less than or equal to -31?
True
Let n = 46 + -187. Let q = 145 + n. Which is smaller: q or 13/4?
13/4
Let r be -5*(-55)/(-300)*12. Is -86/7 < r?
True
Suppose -13*s - 1215 = -1072. Which is bigger: s or 47?
47
Let l = 24127 + -24019. Which is smaller: l or -16?
-16
Suppose 10 = -f - 3*a, 2*a - 5*a = -2*f + 7. Suppose 5*o + 25 = 12*u - 17*u, -2*u = 4*o + 6. Which is bigger: o or f?
o
Let b(p) be the first derivative of 2*p**3/3 + 8*p**2 + 12*p - 37. Let t be b(-6). Let h(x) = -x - 5. Let g be h(4). Are g and t equal?
False
Let t be ((-103803)/(-86515) - 1) + 10/(-2050)*41. Are t and 1 nonequal?
True
Suppose -125*o + 50*o = -9525. Which is greater: 121 or o?
o
Let q = -16071 - -17688. Is -0.5 smaller than q?
True
Let c(j) = -263*j**3 + 3*j**2 + 13*j - 5. Let r be c(-3). Which is bigger: 7083 or r?
r
Suppose -135 = -5*l - 2*q, -5*l + 3*q - q = -115. Suppose -5*i = l, -3*c - 3*i - 53 = -2*i. Let o be -5 + (-116)/c - (-2)/(-8). Which is bigger: 11 or o?
11
Let g be 10 - 5 - ((-780)/(-76) - 6). Let m(u) = 3*u + 38. Let q be m(-12). Which is smaller: g or q?
g
Let t = -33.33756 + 0.26356. Let s = t + 0.074. Let h = s - -49. Which is smaller: h or -2?
-2
Let s = -255528/101 - -2530. Suppose 5*m - 3 + 11 = -2*j, -6*j - 2*m + 2 = 0. Is s at most j?
True
Let c be ((-140)/1211)/(-10 + (-84)/(-8)). Which is smaller: -2 or c?
-2
Suppose -2*r + 378*w = 376*w + 12, 3*w - 12 = -3*r. Which is smaller: 5/108 or r?
r
Let q = -849 + 1316. Let w = 832 - q. Suppose -4*z - 3*k = -w, 0 = -2*z - 4*k + 64 + 126. Is 1 less than or equal to z?
True
Let r(f) = f**2 - 8*f + 12. Let l be r(3). Let i be (-1 - -2) + l/(-1). Let v be (4 - i)/(3/1). Is v > -1/30?
True
Let v be -668*(6 + (-77)/14). Let r = -250 - v. Is 84 smaller than r?
False
Let j = -170 - -172. Let a be j*(1 + 956/(-955)). Do a and 1 have the same value?
False
Suppose 3*d - 250 = -2*k, d - 361 = -0*k - 3*k. Let y be ((-6)/2)/((-51)/k). Which is smaller: y or -1/2?
-1/2
Suppose 0 = 350*n - 355*n + 2360. Let x = 1415/3 - n. Which is greater: x or -45?
x
Let a = -1.2 - -1.3. Let r = 263 + -263.162. Let l = -0.262 - r. Which is smaller: l or a?
l
Suppose o = 4*m + 16, 4*m = -5*o - 11 - 5. Let h be (m - -1)*(1 + 0). Let g be -2 - h - (21 - 1). Which is bigger: g or -20?
g
Let z(c) = c**2 - 7*c - 22. Suppose -5 = 3*v - 35. Let n be z(v). Let p be n/6*(-3)/(-132). Which is greater: p or 0?
p
Let v(n) = -n**2 + 49*n - 1931. Let w be v(26). Is w >= -1337?
True
Let t = -0.9951 + -0.2849. Is -4 at least t?
False
Let u = -11.6 + -17.4. Let p = u - -144. Let b = 112 - p. Is b greater than or equal to 8?
False
Let g(l) = -6*l - 1. Let t be g(2). Let f be ((-5)/(-20))/((-3)/(-36)). Suppose 0 = v + 2*i + 10, 0 = -v + f*i - 15 - 5. Is t greater than or equal to v?
True
Let x = 1580.69 - 1589. Let t = x - -8.3. Which is bigger: t or 1/2?
1/2
Let u(a) = -90*a - 8482. Let c be u(-17). Which is greater: c or -6950?
-6950
Let i = 139/30 - 24/5. Let s = -5 + 7. Suppose 5*w + 3 = -2*v, -10 = -2*w - 0*v + s*v. Which is greater: i or w?
w
Let k = 702.7 - 703. Suppose -4*f + 4*p - 3 - 17 = 0, 4*f - 5*p = -24. Are k and f unequal?
True
Let y(q) = 9*q**2 - 5*q. Let b be y(-4). Let r be 16/(-40) + b/310. Let x = 2603 - 2604. Is r less than or equal to x?
False
Suppose -18*g = -19*g + 2, -3*g = -3*s + 1914. Suppose -17*h - s = -27*h. Which is greater: h or 62?
h
Let b be (-6780)/(-432) + -6 + -9. Which is bigger: 2 or b?
2
Let v(n) = n**3 - 3*n**2 - 41*n + 126. Let q be v(3). Let s be 3*(-2)/(2 - 4). Let w be (-11 + s)/((-18)/8). Which is smaller: q or w?
q
Let r be ((483/(-6))/7)/(9/(-18)). Suppose 0 = -14*b + 9*b + 120. Which is smaller: b or r?
r
Let t be ((-52)/(-12) + -3)*9/24. Let x(k) = 3*k - 7 + 11 + 3. Let d be x(-7). Do d and t have the same value?
False
Let m = 38913/5 + -7752. Suppose 4*c - 130 = 2*h, 3*c - 57 = -h + 33. Which is greater: c or m?
c
Let b be (-4)/(-2 + (279/281 - -1)). Let i = b - 398. Is 163 != i?
True
Let a = 1338 - 80299/60. Let j = a - 1/60. Let x = 8.04 + -8. Which is smaller: j or x?
j
Let n = -65625 + 693196874/10563. Which is smaller: 0 or n?
n
Suppose 4*b - 4*p + 507 = 91, -520 = 5*b - p. Let t be b/6*(-9)/(-6). Is t <= -26?
True
Let q(s) = -s**2 + 46*s + 409. Let j be q(48). Which is smaller: j or 1563/5?
1563/5
Let v(o) = -4*o + 24. Let w be v(6). Let x be -1 + w + (-1)/((-30)/(-3354)). Let s = x + 112. Which is smaller: s or 0.2?
s
Let i = -1629/7 + 233. Which is bigger: i or -6/659?
i
Let b = -35 + 40. Suppose -7 - 3 = -b*h + 5*q, 28 = 5*h + q. Let g = 47144/10101 - 2/3367. Is g greater than or equal to h?
False
Let q be (-1870)/51*12/10. Let b = 52 + q. Let p be (-9)/b*(-52)/(-195). Is 1 greater than p?
True
Let q = 384 - 208. Suppose q - 144 = -4*n. Let z be 3 + n - -2*2. Is z less than 2/45?
True
Suppose -4*p + 2*c - 1190 = 0, -2*p = -369*c + 365*c + 586. Which is bigger: -320 or p?
p
Let p = -76239 + 490902923/6439. Which is greater: 1 or p?
1
Let t be (34/(-10) - -4)*5. Suppose t*l - 5*k + 120 = 0, 2*l - k - k = -76. Let d = l + 34. Is d bigger than -2/21?
False
Let a be (-1)/((-3398)/4 - 84/(-21)). Which is bigger: 1 or a?
1
Let i be 6/(-30)*(-7 + 2). Let r be 114/285 - (i - 181284/115). Let c = 1575 - r. Is c at most -1?
False
Let m be (19 + 1110/(-60))/(-1 + 0). Do m and 61/4 have the same value?
False
Suppose 2*w + w = -32*w. Which is bigger: w or -1/1303?
w
Let x = 744 + -741. Let d(l) = l + 5. Let w be d(-5). Suppose -5*k + 3*k + 115 = -5*c, x*k - 3*c - 177 = w. Which is smaller: 59 or k?
59
Let c = -2882.412 - -2882. Which is smaller: c or 2/3?
c
Let n = -37364/7 - -5343. Which is bigger: 5 or n?
n
Let g = 10036 + -10087. Which is smaller: g or 0.038?
g
Let k = -21 - 10. Suppose 3*d = -119*i + 121*i + 843, -5*d = -5*i - 1410. Suppose 36*l - 27*l = -d. Is k > l?
False
Let z = -4.3664 - 60.6306. Let k = z + 65. Let i = k + -0.403. Which is smaller: i or 4?
i
Let l = -1847 + 1708. Which is smaller: -5/6 or l?
l
Let y(b) = -1880*b + 9401. Let u be y(5). Let c(v) = -6*v - 1. Let x be c(1). Is x greater than or equal to u?
False
Suppose 19