79/(-342). Is b < m?
False
Suppose 10*y = -3*r + 85082, -20*y + 23*y = 2*r + 25542. Which is smaller: y or 1?
1
Let c be (16/144*18)/(2/1)*-1. Does 1/311 = c?
False
Let p be (6/(-369))/(8/(-48)). Let t be (-125)/50 - (-2)/(-4). Which is greater: p or t?
p
Let q(s) = -s**2 + 15*s - 18. Let h be q(12). Suppose -50*l + 147 = -47*l. Suppose 19*p = h*p + l. Is p <= 48?
False
Let k = 14 - 9. Let m be ((-15)/9)/((-5)/9). Let f be -2 + k + (-99)/m. Which is smaller: -29 or f?
f
Let z = -2 + 5. Let f(q) = 2*q**3 + 21*q**2 + 7*q + 6. Let k be f(-10). Let o = 192/5 - k. Which is greater: o or z?
z
Let a be 37 - 12454/338 - (-386)/(-2340)*1. Let q be 0 + 2/(-1) - 0. Let y be ((-2)/10)/(q/(-5)). Which is smaller: y or a?
y
Let h = -46 - -409/9. Suppose -13 = -5*j - 4*n + 10, -4*n = 2*j - 14. Suppose 3*t = -5*p + 4*t, -2*t - 13 = j*p. Which is greater: p or h?
h
Let y(p) = 21*p**2 - 8*p + 29. Let k be y(4). Let a = k - 348. Let w be (4/5)/(10/(-175)). Are a and w unequal?
True
Let m be 8 + -1 - 400272/57192. Is 0 equal to m?
False
Let o be -2*(1 - (-1)/(-2)). Let q be (69/115)/((-4)/660). Let s be -5*o/4*(-44)/q. Is 2 <= s?
False
Let a(s) = s**3 - 6*s**2 - 7*s - 1. Suppose 11*y - 6*y = 35. Let r be a(y). Let v(b) = b**3 + 28*b**2 - 127*b - 4. Let x be v(4). Is x not equal to r?
True
Let w = 5590 + -5723. Which is greater: 0 or w?
0
Let m = -4405309/11 + 399944. Which is smaller: m or -540?
-540
Let b = -5637 - -5638.4. Is 1109 bigger than b?
True
Let w be 2/1*6/60*137. Let z = 27 - w. Which is smaller: z or 0.464?
z
Suppose 0 = 3*y - 5*i + 27, 5*y = i + 15 - 16. Which is bigger: 3/3343 or y?
y
Let u = 10556 - 10299. Do 3/5 and u have the same value?
False
Let t(m) = 13*m - 107. Let h be t(9). Suppose -3*o - 32 = h. Which is bigger: -15 or o?
o
Suppose 1 + 19 = 4*j. Suppose -3*w + j*n - 35 = -0*n, 4*n = 5*w + 67. Let u = 37/154 + 1/22. Which is greater: w or u?
u
Suppose -19*f + 23*f - 4*v = 1672, -f + 413 = -2*v. Which is bigger: f or 424?
424
Suppose 4*d = -4*v + 164, -3*d - 954 + 1030 = 2*v. Which is greater: 45 or v?
v
Let u(r) = -r**2 - 3*r - 1. Let a be u(-3). Let p be 3939/4095 - (-6)/(-5). Let q = p + 2/7. Which is smaller: a or q?
a
Let u = 0.025 + -0.003. Let t = u + -1.022. Let f(h) = -h**3 - 8*h**2 + 3*h - 6. Let s be f(-8). Is t greater than s?
True
Let w = -3992 - -4001.2. Which is greater: -0.9 or w?
w
Let i(d) = -152 - 205 - 9*d + 108. Let r be i(10). Which is bigger: -340 or r?
r
Let b = 11 - 8. Suppose 3*d = -2*k - 52, b*d + 18 = 2*k - 14. Suppose 0 = -630*o + 624*o - 90. Which is smaller: d or o?
o
Suppose 112*f - 838148 = -205*f. Which is smaller: f or 5285/2?
5285/2
Let s(h) = 9*h - 29. Let w be (-27)/(-36) - (0 + 34/(-8)). Let n be s(w). Is n greater than 10?
True
Suppose 15 = 48*v - 31 - 2. Which is bigger: v or -2/1689?
v
Let t = -1031 - -1031. Let i be (-60 - -60)/(t - 1). Let z be -2 - ((-413)/30)/7. Is z greater than i?
False
Let z = -4236 + 4227. Let a be 9/(-6)*(-4 + 0). Let r(d) = d**2 - 6*d + 2. Let b be r(a). Is b at most as big as z?
False
Suppose 36*s - 27*s - 72 = 0. Let a(r) = 2*r - 10. Let h be a(10). Let d = -2 + h. Is s at least d?
True
Let j be (39/9)/(34/6834). Let o = 872 - j. Which is bigger: o or 12/47?
o
Let x = 4814 + -6201. Is -1386 smaller than x?
False
Let r = 75 + -73. Suppose -r*i = 2*w + 18, 2*w + i - 3 = 4*w. Let u = 46 + w. Which is smaller: u or 43?
u
Let s(l) = -3*l - 33. Let d be s(-11). Let m = 4024 + -1175009/292. Are m and d nonequal?
True
Let m = 32 - 30. Let c be 9/18*(-420)/(-182). Is c at most as big as m?
True
Let l be (-6)/(-33) - 48/22. Suppose 0 = 277*w - 285*w - 304. Let j = w + 35. Which is greater: j or l?
l
Suppose 0 = 2*l - 6, -1 = -t - 5*l + 10. Let q be (1 + -3 + -1 - t)*9. Suppose 0 = 2*i + i - 5*s - 53, -4*i - 3*s + 32 = 0. Is i less than or equal to q?
False
Suppose -q = -6*q - 4*m + 8, -5*q = 2*m - 14. Let h be (q/6)/(14*8/12432). Let t be 4025/55 - (-4)/(-22). Which is greater: h or t?
h
Let y = -46.44 - 0.56. Let l = 48 + y. Let q = l + -1.1. Is q bigger than -18?
True
Let k be ((-19 - -1) + 0)*76/13680*60. Let w(t) be the second derivative of -t**3 + t**2 + 2*t. Let z be w(2). Is k equal to z?
False
Suppose 12*k - 154 = -82. Is 70 less than k?
False
Let s(n) = 4*n**2 + 16*n - 32. Let i be s(-7). Let w be i + 2/(1 + -2). Is 52 <= w?
False
Let w = -2130 + 2859. Which is smaller: w or 731?
w
Let t = -209 - 155. Let a = 362 + t. Is -5/6 < a?
False
Let d(i) = 2*i**3 + 27*i**2 + 9*i - 1. Let z be d(-11). Suppose 0 = -3*j + 5*r + z, -87 = j - 3*r - 254. Are j and 171 non-equal?
True
Let h(i) = -2*i + 36. Let q be h(17). Suppose 9*k + 8 = 8*k. Let f be (k/12)/(1 + (-148)/108). Is f != q?
True
Let u(s) = 4*s**2 - s - 1. Let q be u(-1). Let m = 3834 + -586. Let f be m/322 - (12/(-23))/(-6). Do q and f have the same value?
False
Let n = -175573 + 877863/5. Let l = 299572/79 + -3792. Is n at least l?
False
Let d(c) = 150*c - 362. Let u be d(-21). Which is greater: u or -3508?
-3508
Let y(u) = 2461*u**3 + u**2 - u + 1. Let p be y(1). Let q be p*1/28*(-2)/2. Let c = q - -88. Which is bigger: 1 or c?
1
Suppose -3*p - 42 = 3*h, 5*p - 5*h + 25 = -h. Let j be ((-351)/(-81))/((-1)/p). Let c = 136 + -95. Which is smaller: c or j?
j
Let x(i) = 14632*i**3 + 7*i**2 + 19*i - 27. Let b be x(1). Is b bigger than 14631?
False
Suppose 0 = -4*t + 3*b + 4987 + 218, -3*t + 3*b + 3909 = 0. Is t less than or equal to 1299?
True
Let d(l) = -l**3 + l**2 - l + 21. Let b be d(0). Let x be (-7)/(b/12) + 2 + 1. Which is smaller: x or 3/74?
x
Let n = 13 + -11. Suppose 0 = 3*k - 3*l + 126, -88 = 3*k - n*l + 40. Is -1 smaller than k?
False
Let t(l) = l**2 - 124*l + 1406. Let g be t(11). Which is greater: g or 138?
g
Let x be 44/28 + -2 + (-540)/14. Let m be 4/(-6)*(x + 18). Suppose 0 = -5*b + 57 + 28. Which is smaller: m or b?
m
Let y = -6028 - -6028. Which is bigger: y or 2/5311?
2/5311
Let l(b) = -b**2 + 3*b + 44. Let f be l(-5). Suppose 5*w = -2*d - 24 - 1, 4*d = -4*w - 56. Is d smaller than f?
True
Let h be (-6)/(-21) + (-30)/(-42). Let x(u) = u - 3. Let q be x(h). Let s be (12/(-15))/((-72)/(-120)). Which is smaller: s or q?
q
Let n = -389 + 764. Let a = n - 133. Is a smaller than 1?
False
Suppose 0 = -w + 35 + 33. Let s be ((-9)/6)/(-3)*16/w. Suppose -5*g = -3*n - 11, 2*g + 10 = -4*n + 4. Which is smaller: s or g?
s
Let m = 1178 - 2646. Is -1470 at least m?
False
Let b be (2 + (-116)/8)*-2. Let l = -4577 - -18403/4. Is b greater than l?
True
Let p(k) be the first derivative of -k**4/2 - 22*k**3/3 - k**2/2 - 11*k + 6. Let x be p(-11). Let g(b) = -b**2 - 5*b + 1. Let f be g(x). Is -5/38 at least f?
False
Let k(r) = -r + 10. Let z be k(6). Suppose 3*y - 5*o - 284 = 0, -2*y + 4*y - 204 = -z*o. Suppose 10*w + 18 = y. Do 11 and w have different values?
True
Let j = 5770 + -6156588/1067. Is 0.1 at most as big as j?
False
Let z(j) be the second derivative of -j**4/6 + 3*j**3/2 - 8*j**2 - 2*j - 9. Let a be z(4). Is -6 not equal to a?
True
Let q = 374/7 - 69183/1295. Let d = 21295 - 21296. Which is bigger: q or d?
q
Let w(y) = 2*y**3 + 45*y**2 + 72*y + 48. Let t be w(-20). Are 610 and t unequal?
True
Let p = -106/21 - -347/42. Let h = -198 - -201. Do p and h have the same value?
False
Suppose -3*t = -6*t - 12. Let g be t/(-10) + 12/20. Let p be 2*1/(-44)*-4. Which is smaller: g or p?
p
Suppose 4*n + 24 = 2*k, 4*k + n = 11 + 28. Suppose -4*a + 13 = -3*t, k = 3*a + t - 3*t. Suppose -a*h + 12 = 4. Which is bigger: h or -2?
h
Let s be ((2 + 6)/96)/((9/(-276))/(-3)). Let z = -12 - -11.7. Is z < s?
True
Suppose -163 = -107*q + 265. Is -2/89 less than or equal to q?
True
Let k = -817.025 - -817. Let t be (-8)/(-2) - (-18 - -22). Which is smaller: t or k?
k
Let m = 17 - 4. Suppose -2*v + m = 3*i, 0*i - 2*i = -v + 3. Let l be (-2 - 4/(-10))/(-3 + v). Which is greater: -2 or l?
l
Let f be 1461685/(-177480) + 4/(2/2). Let r = f - -1/2088. Are -5 and r non-equal?
True
Let w = -51 + 44. Let q = -37 - w. Let l = 56/33 + -1993/66. Which is smaller: l or q?
q
Suppose 144*n - 4 = 142*n. Suppose -160*r + 158*r + n = 0. Is 9/31 < r?
True
Let b = -123 + 71. Let m be (-4)/14 + (-1742)/28 + 7544/656. Which is bigger: b or m?
m
Suppose -32*k - 9936 = 14*k. Which is smaller: -222 or k?
-222
Let g be (-228)/(-44) + 3 - 8/44. Let z be 12/10*(-