3*p. Which is bigger: 45/4 or p?
45/4
Suppose -i = -2*p - 14, i = 7*p - 4*p + 11. Suppose -2*h + 5*x - i = -0*h, -4*h - 3*x = -12. Let d = 14 - 13.989. Which is smaller: h or d?
h
Let l be 3/3*5 + -2. Let u be ((-186)/4)/(l/6). Let k be u/21 - (-13 - -9). Is k smaller than 0.3?
True
Suppose 204*c - 199*c - 3*z + 10 = 0, -5*c - 5*z = -30. Let p be (-2)/(-4)*2 + -53. Is p smaller than c?
True
Let o = -59/92 - -269/276. Which is smaller: o or 0.13499?
0.13499
Let v be 243/(-5) - 2/5. Suppose -i + w + 8 = 0, -i - 4*w + 1 = 13. Suppose 2*c + 15 = 7*c, -i*b + 2*c - 198 = 0. Is b >= v?
True
Let t = -1/4602051 - -12370824434/32214357. Let w = -384 + t. Suppose 0 = -23*d + 9 + 14. Is d greater than w?
True
Suppose -3*p - 18 = -3*r - 4*p, -4*p + 30 = 5*r. Let q be -426*5/6380 - (-2)/r. Let t = 15337/47850 + q. Is -1 <= t?
True
Let j = -34 - -36. Suppose t - 3*t + 82 = 0. Suppose -2*n = 35 - t. Is n bigger than j?
True
Suppose 36*c - 35*c - 1067 = 0. Let l = c + -18128/17. Is l at least as big as 0?
True
Let r be (-5)/1395*-321 + 5 + -14 + 8. Is -1 != r?
True
Let g be 4 + 1 - (11 + -5). Let c be -50*(14/4)/(-7). Suppose 5*d + c = -5*p - 15, 4*p - 3*d + 11 = 0. Which is smaller: g or p?
p
Let n(k) = k**3 - 12*k**2 + 13*k - 27. Let l be n(11). Let u be l/(-6 - 724)*6. Is u <= 1?
True
Let x be (-2)/4 - (-24)/16. Let q be (-28)/(-11) + (21 - 24). Let r = q + 36/55. Is x less than or equal to r?
False
Suppose 3*i + 2*m - 310 = m, i - 2*m - 108 = 0. Let j = i + -219/2. Let u = -950 - -945. Is j at most as big as u?
True
Let j be (4 + 24)/((-34 + -2)*173/(-4)). Is j smaller than 0?
False
Suppose r - 3 = -h + 22, -5*h = 8*r - 140. Which is greater: 188 or h?
188
Suppose 8 = -3*h - 4. Let f be (-40)/(-60)*3/h. Let b = 5 + -31. Are f and b non-equal?
True
Let o = 10411.1 + -10388. Which is greater: 18 or o?
o
Let d = 2076 + -5319. Is d less than or equal to -3244?
False
Suppose -13259 - 17556 = 4*u - 12063. Which is greater: -4689 or u?
u
Suppose c + 10 = -4*c. Let a = -12.3 - -12.289. Let h = a - -0.021. Which is smaller: h or c?
c
Suppose -42*q - 198093 = -32361. Is -3948 at most as big as q?
True
Suppose 2*o - 46 = -44. Suppose -2*c + 2*g = -0*g - 18, c + 2*g = 9. Let m be c/10 + 2/(-4)*o. Which is greater: 1/7 or m?
m
Let w(u) = -u**3 - 36*u**2 + 3*u + 20. Let i be w(4). Is -609 > i?
False
Let y = 39.1749 - 40.0749. Let h = 0.2 - 0.1. Is h at least y?
True
Let t = -9508 + 9508.07. Which is greater: t or 0.612?
0.612
Let s be -1 - ((2 - 2) + 2). Let v = 69 - -53. Let u = -129 + v. Is s equal to u?
False
Suppose 0 = -11*y - 32*y + 20*y + 15042. Are y and 651 nonequal?
True
Let o = -75 + 62.8. Let a = o + 12. Let i = a - -1.9. Which is greater: 0.1 or i?
i
Let t(l) = -l**3 + 4*l**2 + 7*l + 1. Let s be t(5). Let p(v) = 3*v**2 - 33*v. Let f be p(s). Which is bigger: 110 or f?
110
Let a = 4527 + -4505. Which is smaller: a or 3/8?
3/8
Let s = 16625 + -18523. Is s greater than or equal to -1900?
True
Let z = 20.302 + 2.698. Which is smaller: -8/9 or z?
-8/9
Suppose 29 = 3*z + 26. Let v be (z + (-24)/18)*-33. Is v > 4?
True
Suppose -30654 = 5*x - 8*x. Let m be 2/(-13) - 12/x*-144. Suppose -4*k = 3*k. Which is greater: m or k?
m
Let i be (17/3)/((500/1140)/(-25)). Is i at least as big as -326?
True
Let w = -144320/3569 - -2700/83. Are -7 and w equal?
False
Let t = -29389/77 - -3419/11. Let x be 16/56 - -3*1012/(-42). Which is smaller: t or x?
x
Let y = 11404 - 11404. Let m = -8 - -8.5. Let d = m - 5.5. Is y less than or equal to d?
False
Let f be (-88)/235048*(2 + 1). Which is bigger: -1 or f?
f
Let q be 1/((-1)/(-604))*(-54)/(-90). Let y = q - 366. Let v = -8 + 3. Which is smaller: v or y?
v
Suppose 0 = 3*x + y + 27, -5*y - 39 = x + 2*x. Let k(z) = z**3 + 9*z**2 + 3*z - 34. Let n be k(x). Which is greater: n or -0.05?
n
Let m(l) = -l + 17. Let o be m(-8). Let q be (0 - (-36)/(-10))*o/10. Let p be q/36 - (-34)/8. Which is bigger: 0 or p?
p
Let v(u) = -1172*u + 12. Let h be v(-2). Let d = -44782/19 + h. Is d bigger than 0?
False
Let p be (-216)/12 - 159016/(-110). Is p at most as big as 1427?
False
Let z be (1/422)/(1/4). Let i = -1384 + 1387. Let p(b) = -16*b + 47. Let o be p(i). Which is greater: o or z?
z
Let p = 181 + -195. Let j be (((-15)/(-2))/(-3))/(p/(-140)). Do -25 and j have the same value?
True
Let b = -65.7163 + 0.7163. Is -12 less than b?
False
Suppose 0*d = -5*d - 8390. Let v = -51429751/30515 + -46/6103. Let u = v - d. Is u bigger than -7?
False
Let z = -13 + -34. Let d be 1*(-910)/(-182)*(-98)/10. Are z and d equal?
False
Let a be 1/7 - ((-407)/2590 - 3/(-10)). Which is bigger: a or -43/68?
a
Let i(z) = -136*z - 1539. Let g be i(-11). Is g less than -0.29?
True
Let y be (-6054)/(-36) + 2/(-12). Suppose 26*m + y = 38*m. Which is bigger: 6 or m?
m
Let w = 1323069/29 - 45615. Is w less than 1/4?
False
Let m(z) = z**2 - 5*z + 6. Let j be m(3). Let a(x) = x**2 + 3*x - 23. Let p be a(j). Let s = 27 - 50. Is p not equal to s?
False
Let i be (-40)/(-18) + (-6)/27. Let a be (-47 + i)*2/2. Let s = -17048 + 17004. Are s and a equal?
False
Let w = 4369 + -65536/15. Are w and -2.44 equal?
False
Let z = 43.01 + -43. Let x = z + -39.11. Let q = x - -39. Which is bigger: q or 10?
10
Let y = -0.674 - -0.164. Let t = -44.51 - y. Let b = 1.5 - 1.6. Is b bigger than t?
True
Suppose 5*j + 2*d + d = 20, -4*j - d = -16. Suppose 4*b = 3*b + p + 3, -j*p = 12. Suppose 5*s + 6*n - 5 = 4*n, b = -2*n. Which is greater: 2/9 or s?
s
Let a(v) = 87*v + 3384. Let j be a(-39). Let m be 9/(-30)*(28 - 2). Which is greater: m or j?
m
Let y = -22248 + 242597/11. Which is bigger: -195 or y?
y
Let b(k) = 2*k**3 + 2*k**2 - k + 12. Let t be b(-3). Let h = 104 + -133. Is h greater than or equal to t?
False
Let d be 38 + (1 - -1) + -3. Let h be 1/(1/37) + 11 + -14. Let n be (5 - 3 - -1) + h. Is d > n?
False
Let r = 2480017 - 2480027. Let t = -2 - -2.01. Let c = -0.39 - t. Which is smaller: r or c?
r
Let w(d) = d - 2. Suppose 7 = 3*n - 2. Let b be w(n). Let j(a) = -10*a**2 + a - 1. Let k be j(b). Which is smaller: -9 or k?
k
Suppose 0 = -g - 12 + 44. Suppose -w = -g + 33. Let l = -1161/11 + 105. Which is greater: l or w?
l
Let d be (-185)/2*(27 + (-5662)/209). Which is smaller: 7 or d?
7
Let y = 7 - 1. Let b be 5/2*(-328)/(-164). Which is bigger: y or b?
y
Suppose 29*r - 13*r + 80 = 0. Let j be 3*-8 + r*(-15)/25. Which is smaller: j or -165/8?
j
Suppose -6*y - 7 - 5 = 0. Let a be 5 + (y/6)/(9/81). Let d be (-6)/56 + a/(-8). Which is smaller: d or 1?
d
Let w = 196 + -132. Suppose -4*g = -0*g + w. Suppose -134 = 19*z + 132. Which is greater: z or g?
z
Let l be ((-4)/6)/1 - (-4)/6*421. Are 1964/7 and l equal?
False
Let k(j) = j**3 + 2*j**2 - 8*j - 1. Let i be k(-4). Let o = 1/19415 - -18221/23181510. Which is greater: o or i?
o
Let q = 4677/17 - 276. Let t be ((1 - -6) + -2)*56/(-1540). Which is smaller: q or t?
q
Suppose -68675*l = -68668*l + 9940. Which is greater: l or -6?
-6
Let t = 50.3 + -1.3. Let d = 24 - t. Let i = 24 + d. Which is smaller: i or 0?
i
Let h = 9800858484/32341427 + 2/1406149. Let u = h + -303. Which is smaller: u or 1?
u
Let v be (-12)/18 - 724/234. Let m = 46/13 + v. Let s = 8 - 11. Which is smaller: m or s?
s
Let l = 0.29942 + -0.19942. Is 4982 at least as big as l?
True
Let d = -7736 + 7266. Which is smaller: 4 or d?
d
Let o be 14/(-567) + (-860794)/(-3564). Which is smaller: o or 243?
o
Let m = -45224 - -45224. Is -136/293 > m?
False
Let x(z) = 5*z + 1 - 2 + 5. Suppose 0 = 2*g + 4*g + 12. Let c be x(g). Are 3 and c unequal?
True
Let n = 11.8 + -11.5368. Which is bigger: n or 3/2?
3/2
Let r be -1*(44/16 - 3)*80/(-30). Is -26/81 at most r?
False
Let y(a) = -15*a**3 - 209*a**2 - 25*a + 34. Let i be y(-15). Is i greater than 4011?
False
Let j be (3 - (-28)/(-8))*(3 - 7). Let r(k) = -3*k - 8*k + k**j + 41 - 11*k + 4*k. Let o be r(16). Are 4 and o equal?
False
Let d = 70 + -69. Let q be (8 - (-152)/(-16))/(d - 115). Which is smaller: q or -1?
-1
Let m(g) = g**2 - 57*g - 3486. Let c be m(-34). Which is smaller: c or -1962/5?
-1962/5
Let a(c) = -c**2 - 7 - 6*c + 26*c - 6. Let o be a(19). Let n be 18/o - 96/33. Which is smaller: n or 1?
n
Let u be (-2773)/4465 + (-4)/(-20). Is u at least as big as 1?
False
Suppose 1756 = -95*u + 6146 + 3210. Is 8 less than or equal to u?
True
Let