7/15. Let t = 134/5 + p. Let s be 16/12 - 5/(-3). Is s bigger than t?
True
Suppose -5*n = -4*l - 7*n + 30, 0 = 2*l + 4*n - 24. Suppose -45*x + l*x = 585. Which is bigger: -1 or x?
-1
Let r = 14.51 - 13.81. Let v = -0.3 - 1.1. Let n = v - 0.6. Which is smaller: r or n?
n
Let d(b) = -5*b**2 - 28*b + 14. Suppose 3 = -0*l + l. Suppose -l*o - 16 = -w, -5*w + 14 = -o - 9*w. Let z be d(o). Which is greater: 5/2 or z?
5/2
Let t = 269231/158 - 1704. Let z be (11/(-121)*0)/(-2). Which is smaller: z or t?
t
Suppose -167 = -213*n + 380*n. Which is smaller: n or 9/169?
n
Suppose -339528 = -50*h + 37*h - 159*h. Which is greater: -0.2 or h?
h
Suppose -2*r - 108 = -3*a, -2*a - 2*r + 30 = -52. Let d(j) = 3*j**2 - 58*j - 48. Let v be d(20). Let s(t) = -12*t - 57. Let q be s(v). Which is greater: q or a?
q
Let j be (8/4 - 1)/(-5 + 20/5). Which is smaller: j or 6/9521?
j
Let j be ((-4)/(-40) + 0)*(-42)/12. Let f = 17/20 + j. Is 23/4 at most f?
False
Let u = 2 - 2.2. Let w = -0.1 - u. Let g be ((-44)/(-374))/((-672)/272). Which is smaller: g or w?
g
Suppose 12*h - 21*h - 16 = -331. Which is bigger: 16 or h?
h
Let r = 21894 - 65726/3. Which is bigger: -16 or r?
r
Let n = 9325/861 + -446/41. Let h = -7 + 6. Let k = 0 - h. Is n > k?
False
Let u be (75/30)/((-3)/(-5484)). Which is smaller: u or 2/5?
2/5
Suppose 36*y - 198 + 54 = 0. Let d = 31 - 32. Which is smaller: d or y?
d
Let j be (-187)/(-77) + 4/7. Suppose p + 15 = -5*i, -p + 0*i + j = -i. Suppose 2*w + 3*w - 2*z + 59 = p, 3*z - 43 = 4*w. Are w and -13 nonequal?
False
Let y be (-152)/((3/(-2))/3). Let p = 11246 + -10936. Suppose p = 5*j + 5*n, 3*j + 2*j - y = n. Is j less than 62?
True
Let t be 320/(-50)*20/((-2)/1). Let r(w) be the third derivative of 5*w**4/24 + 6*w**2. Let y be r(13). Is t bigger than y?
False
Suppose -18*u - 42 = -25*u. Suppose -1365 = -27*z + u*z. Is z at least as big as 69?
False
Suppose -3*d + 6*z - 36 = 0, -558*d + 561*d + 4*z = 24. Let v be (-1)/(-2)*16/(-8820). Which is smaller: v or d?
v
Let b be (-15)/18 + (6/(-14) - (-999)/518). Let z = 2 - 3. Is b >= z?
True
Let i = 6923 - 13963/3. Is 2268 at most as big as i?
True
Let v = -550 + 1274. Which is smaller: 726 or v?
v
Let q = 4543/19 + -192797/38. Is q less than -4836?
False
Let t = 23475/4681 - 153/31. Which is smaller: t or 0?
0
Let k be (5/30)/(3 - (-83847)/(-27948)). Let w = k - -1484. Which is smaller: -68 or w?
w
Let v be (20/8)/((-9)/(-6)). Let d(q) = -2*q + 32. Let s(h) = -3*h + 48. Let t(l) = -8*d(l) + 5*s(l). Let o be t(18). Is v bigger than o?
False
Let c = 43 - 41. Suppose -4*q + 9 + 75 = -c*p, p - 3*q + 47 = 0. Which is greater: -34 or p?
p
Let a = -4/615 + -242/615. Which is smaller: -657 or a?
-657
Suppose y - 22*y + 14654 = 248. Which is smaller: 683 or y?
683
Suppose -q = 2*m + 8, -4*m - 5*q = m + 35. Which is smaller: -2/1567 or m?
m
Let x(h) = -h - 39. Let a be (-24)/(2/(-6) + 33/18). Let d be x(a). Let b = 1 + -26. Is b >= d?
False
Suppose -2*k = 160 - 112. Let t be 625/360 + (-9)/k. Do t and 3 have the same value?
False
Let l(d) = -d**2 + 6*d - 3. Let g be l(2). Let w = 292 + -274. Suppose 0 = 5*b - 5*f, 4*b + g*f + w = -0*b. Is -3 >= b?
False
Let j be ((-2)/30)/((-22)/(-6)). Let g be (-1)/(-57) - (-65912)/67089. Is g greater than j?
True
Let o(u) = 4*u - 35. Let c be o(10). Suppose -c*m + 27 = -2*z, -23 = 3*z - 4*m - 0*m. Is z smaller than -2/57?
True
Suppose 0 = 9*f - 0 - 9. Let q be ((-18)/6 - -5)*1*1636. Let z be (-1)/(-3) + q/1956 + -2. Is f > z?
True
Let b = 3 - -2. Suppose 5*i + 5 = -b. Let l = -7/24 + -3/8. Is i >= l?
False
Let t be (-2)/24*9 + 3241/(-4). Which is greater: -4056/5 or t?
t
Let v = -49799.096 - -49999. Let j = -0.096 - v. Which is smaller: j or -2?
j
Let l be (2 - 1) + (-3)/4. Let s = 3594.5 + -3443.37. Let r = s - 151. Is r greater than l?
False
Let r(g) = -45*g**3 - g**2 - 2*g + 2. Let d be r(1). Let s = d - -54. Let n be (-4 - -2) + s/5. Which is bigger: 4 or n?
4
Let x be (-13733)/(-6) + 10/60. Let m = x + -4729/2. Is m smaller than -76?
False
Let y be 3*(2 + -3)*(198214/(-8303) + 24). Does y = -1?
False
Let u be ((-5057)/14 + 20/(-70))*(16 - 12). Is -1448 smaller than u?
True
Let h be (7 - (-540)/(-75))/(2/(-10)). Is h < -5/51?
False
Let q = 29 + -175/6. Suppose 3*u - 237 = 5*s, 0 = -0*s - 2*s + 2*u - 98. Let f be -2 - 100/s - (-46)/36. Which is bigger: q or f?
f
Let l = 79 - 80.51. Let d = -89.49 + l. Is d at most -1?
True
Let s = -337849/41294 + -1/3754. Let g = s + 3723/451. Which is bigger: g or -1?
g
Suppose 5*u - 4*u + 1033 = -4*a, -2*a + 2*u = 504. Is a != -254?
True
Suppose 5*s = -0*s + 25. Suppose 5 = s*d + 15. Let f = -256 - -1786/7. Which is smaller: d or f?
d
Let c be 14 - -117*(1500/108 - 14). Let g = -223627/161 - -1389. Is c at least as big as g?
True
Let y(i) = -i**3 - 7*i**2 - 3*i - 10. Let k be y(-7). Let v = -6 + k. Suppose 4*g - z = 6*g - 5, v*z = -4*g + 7. Are g and 0 non-equal?
True
Suppose 15*w + 4 = 14*w, -17029 = 5*k + w. Let j = k - -10307/3. Is 32 greater than or equal to j?
True
Let i(k) = 256*k + 147. Let b be i(5). Are 1428 and b equal?
False
Suppose -10 = -4*k + 2. Suppose -k*t - 2*t = -25. Suppose -t = -5*s, 0 = -y + 4*s - 2*s - 2. Are -1 and y equal?
False
Let k = 73 - 46. Let v = k - 23. Suppose v*l + 22 = 2*l. Is 0.1 at most l?
False
Suppose 25650 = 216*u - 8246 + 7112. Is u greater than 73?
True
Let u be (3/(-6))/(3/(3000/85)). Let z(s) = -3*s + 31. Let m be z(12). Is m < u?
False
Let i be (2 - 3)/(-2 - -1). Let t be 188 + ((-99)/(-36) - 18/24). Let l be (-4)/(-54) - (4 + t/(-45)). Which is smaller: i or l?
l
Let x = 129 + 361. Let i be (-30)/x*-7 + 190/(-378). Let f be (-2)/(-4) + (-2)/4. Are f and i equal?
False
Let h be (-6)/(-9)*(-6)/22. Let s(g) = 2*g - 40. Let k be s(22). Suppose 6*x = k*x. Is x at least h?
True
Let w = 573/2288 - 1/2288. Is 72 equal to w?
False
Suppose 108 = 4*s - 60. Suppose 2*u - 10 = -o, s = 4*o + 58. Do u and 13/2 have different values?
True
Suppose 5*a = -30*g + 33*g + 41, 2*a + 2*g = 26. Which is smaller: -4/5 or a?
-4/5
Suppose 45*c - 49*c - 8 = 0. Let k = 5176/11 - 472. Which is greater: c or k?
k
Let a be -4 + 2 + (1 - 1). Let w be (13 - (-1825)/(-146))/((-2)/13). Is a > w?
True
Let a = 219 - 215. Suppose -2*l = 2*x - l - 2, -4*x = l - a. Which is bigger: x or 2/133?
x
Let q = 409 - 409.03. Which is greater: 169 or q?
169
Let b = -530.0174 - -0.0174. Let k = b - -531. Let a = 0.23 - 0.1. Is k less than a?
False
Let m be 5/35 + (-9)/(567/30). Let x = -341 - -360. Is x at most m?
False
Let y(g) = -117*g**2 - 105*g + 130. Let b be y(-8). Which is smaller: b or -6517?
b
Suppose 2*r + 3*y = 11 - 1, y = 4*r - 48. Suppose -r*n = -56*n - 10125. Which is smaller: n or -447/2?
n
Let g be 5*(3/5 + 0). Let p be g + -4 - (-7)/11. Let f = -2458 - -2459. Which is smaller: p or f?
p
Let j be (20/(-15)*(-15)/42)/(1/11). Which is greater: j or 4?
j
Suppose -732 = -16*i + 84. Let k = -49 + i. Suppose 4*j + 12 = 0, -5*r = -k*j + 7*j - 20. Is 0.01 equal to r?
False
Let o be 15 - (-5 + 12) - -69. Is o at least as big as 3?
True
Let x(t) = -t**2 - 6. Let p be x(-2). Let i(g) = g**3 - 3*g**2 + 2. Let d be i(3). Suppose n = d*n + 11. Which is greater: p or n?
p
Let g = 73 + -141. Let x = 70 + g. Is 48 bigger than x?
True
Suppose 151 - 47 = -112*m - 120. Is m bigger than -4134?
True
Let n = -0.16 - 1.04. Let l = -0.8 + n. Let i = l - -1. Which is greater: 15 or i?
15
Let v(c) = c**3 + 7*c**2 - 10*c - 18. Let a be v(-8). Let b = 2 + a. Suppose 4*l + 2*x + 2 = b, -5*l - 1 = x + 3*x. Which is bigger: -3/19 or l?
-3/19
Let i = 175 + -180. Let q be (i - -7) + (-670)/334. Which is smaller: 0.1 or q?
q
Suppose 0*b - b - 543 = 0. Let p be (-5 - 7608/(-1518))*b/(-9). Let k = p - 6/23. Is k less than -1?
False
Suppose 41*p = 44*p - 672. Let h be ((-232)/p + (-6)/(-21))*4. Which is bigger: -19/8 or h?
-19/8
Let x(z) = z**2 + 2*z - 4. Suppose -d = 2*r - 0*d + 9, -5*r - 18 = -2*d. Let o be x(r). Let g be 8/21 + 1 + o/(-6). Is g > 0?
True
Suppose 29 = -j + 5*o + 61, 4*o - 15 = -5*j. Which is bigger: j or -111?
j
Let q(z) = -2*z**3 + 30*z**2 + 172*z + 7. Let b be q(19). Are 390 and b equal?
False
Suppose -4*z - 3*q + 6 = 0, -3*z + 8*z + 6 = 3*q. Let u be -1 - (z + (-2 - -1)). Which is greater: -1/108 or u?
u
Let j be (-9 + 3)/(-60) - (-8841)/(-88585). Wh