7 greater than or equal to p?
True
Let t be (1*-9)/((-40)/(-200)). Let x be (-21)/(-1674)*-10 + (-10)/t. Which is smaller: 1 or x?
x
Let d = 1020 + -1000. Suppose 26 = a - 19. Suppose z - 4*u - a = 0, z = -3*u + 2*u + d. Is z >= 24?
True
Let m = -720.3 + 751. Let w = -30.66 + m. Which is bigger: w or 10?
10
Let c(i) = -i - 2. Let v be c(-4). Suppose 0 = -w - 4*w + 230. Let f = 40 - w. Is v smaller than f?
False
Let q = 0.3 + -0.2. Let k(i) = -19*i - 351. Let y be k(-18). Let b be 13485/(-3074) - y/2. Are b and q non-equal?
True
Suppose 0 = 1422*u - 1427*u + 26015. Is 5203 not equal to u?
False
Let h = -75537921/6212 - -12160. Which is bigger: h or 1?
1
Suppose 0 = 92*m - 87*m - 4*r - 2753, 3*r + 6 = 0. Suppose s - m = -3*n, 6*n + s = 2*n + 732. Which is bigger: 185 or n?
185
Suppose 0 = 4*u + 4*g - 36, -229*g = -3*u - 233*g + 24. Let x = -0.06 + 0.26. Which is greater: x or u?
u
Let o(r) = -35*r**2 + r**3 - 17 - 4 + 2 - 1 - 9*r - 17*r. Let v be o(36). Do v and 0.1 have the same value?
False
Let t = 1247186/5945 + 15/1189. Which is greater: t or 211?
211
Suppose 5*u - 70 + 1134 + 51 = 0. Is -228 greater than u?
False
Let s(q) = q - 14. Let x = -487 - -501. Let d be s(x). Is -3/310 at least as big as d?
False
Let b = -60.37 + -0.63. Let h = -121 - b. Let s = h + 60. Which is smaller: -88 or s?
-88
Let c = -87/13 + 409/65. Which is greater: -765 or c?
c
Let c = 10165 - 6350. Which is smaller: c or 2?
2
Let g = 111.6814 - -0.1186. Let t = g + -112. Which is greater: 1/101 or t?
1/101
Let z be 184/24 + 5/(-3) - (-22982)/(-3830). Which is smaller: 0 or z?
z
Let p(a) = -a**3 + 68*a**2 - 254*a - 156. Let f be p(64). Which is smaller: -629/22 or f?
-629/22
Let b be (4 - 3) + 107 - -2. Suppose 6*k + b = -136. Let i = 39 + k. Is i at most -13/5?
False
Let z be 2/(7/(1274/(-4))). Which is bigger: z or -627/7?
-627/7
Let n = 22 - 22. Let v(x) = 4*x - 65. Let g be v(15). Let p be g/(-3) + 2 + -3. Which is smaller: p or n?
n
Suppose -2*t - 133*o + 130*o = -200, o = -4. Suppose -12*p - 312 = -15*p. Which is greater: p or t?
t
Suppose 2*w - 5914 = -4*k, 5*w - 4116 - 330 = -3*k. Is k equal to 10329/7?
False
Let n be ((-368)/828*(-6)/(-8))/((-1)/(-3)). Let k be 7/45 + (-2)/9. Is n bigger than k?
False
Let a be (5 - (-64)/(-12))/(3/(-27)). Let h be (0 - a/1)*(-5)/15. Are -3/61 and h unequal?
True
Let v = 4084/5 + -821. Suppose 2*w + 223 - 301 = 0. Suppose w*z + 15 = 34*z. Which is smaller: v or z?
v
Let f be (1 + 0)/(-1 - -3). Let k be (15/10)/(24/160 + (-1)/(-10)). Which is bigger: f or k?
k
Let a = 37742/2378313 + 1/264257. Let t(g) = -g**3 - g**2 - g + 1. Let q be t(0). Is q bigger than a?
True
Let u be (-18)/1 + (-122 - -123). Let k(p) = 3*p + 5. Let m be k(-8). Is u < m?
False
Let r = -1816 - -1816.5. Which is smaller: r or -84?
-84
Let t be (-4945)/860 + -1 + -1 + 8. Is t bigger than -1876/9?
True
Let w(f) = 67*f + 4225. Let k be w(0). Is 4225 < k?
False
Let v(f) = 34*f**3 - 9*f**2 + 10*f. Let a be v(2). Let o = -481 + 736. Which is smaller: o or a?
o
Let m be ((0/(-11))/11)/(0 + 1). Suppose m*o + 3*o - 114 = -4*z, -190 = -5*o + z. Suppose 2*r - 7*r = l - 42, -2*l + 75 = r. Which is smaller: o or l?
l
Suppose 9*p - 4*p = -3*x - 2922, -4*x - 3922 = -2*p. Let q = -980 - x. Which is bigger: -5/94 or q?
-5/94
Let k be (-4)/(-7) + 34/14. Suppose k*c + 16 - 28 = 0. Let i be 5/(-20) + 1/c + 51. Which is smaller: i or 52?
i
Let h = 73 - 65. Let g be (-2*(-2)/h)/(-14 - -21). Let k be -1 + (-3 - -3) + 0. Is k < g?
True
Let a = -0.0249 + -205.9751. Let d = a + 57. Which is smaller: 2 or d?
d
Suppose -33*u + 390 = -38*u. Let a = u - -80. Which is smaller: -1/10 or a?
-1/10
Suppose 5*l - 10 = 3*j, -13*l + 6 = 5*j - 10*l. Let t = -825043/2529 - -2936/9. Is j > t?
True
Let w be (1 + 0)/(5/(-5)). Which is smaller: w or -2/37?
w
Suppose -346*k = -52*k - 275 - 19. Does 99/149 = k?
False
Let l = 6 - 8. Let t = -161924 + 161923.992. Which is bigger: t or l?
t
Suppose 5*a = -3*h + 85, 5*a + 5*h - 29 - 66 = 0. Let t be 6/(-93)*(-12 + a). Are -1 and t non-equal?
True
Let a(g) be the third derivative of -g**6/120 + 7*g**5/60 - g**4/24 + g**3 + 19*g**2. Let i be a(7). Let k be 5/10*0*i. Which is smaller: k or -3/44?
-3/44
Let v(y) = 12*y - 48. Let o be v(4). Suppose o = -4*j + d + 7, -4*j + 22 = -4*d + 6. Which is smaller: 5/33 or j?
5/33
Let q be (-9 - (-524)/60)*1105. Are q and -296 nonequal?
True
Let b be (0 + 3)*(5 + -6). Let o be b/(-12) - (-485)/(-20). Suppose -7*k - 198 + 23 = 0. Is o <= k?
False
Suppose 46*m + 34*m = -13*m. Let l be (-1 - -3) + (-26)/22. Which is smaller: l or m?
m
Let f = 56424 - 23336. Let h be f/(-462) + 2/(-3). Let s = h - -72. Do 0.48 and s have the same value?
False
Let i = -0.0576 - 283.9424. Let l = i - -210. Which is smaller: 0 or l?
l
Let y be ((-134)/4)/(4/40). Let o = y - -334. Which is bigger: o or -26/57?
-26/57
Let l = -7940 - -8044. Which is greater: 13/9 or l?
l
Let u be ((-260)/(-78))/(4/(-6)). Let q be 1 - u*(-244)/1240. Is q bigger than 0?
True
Let p = 2 + 0.8. Let k = -3 + p. Let d = -289.64 - -293.64. Which is smaller: k or d?
k
Let w be (-13)/((-1170)/(-188150)) - 4/9. Which is smaller: w or -2089?
w
Suppose -5*p = -k + 7, 0 = -k - 3. Let x be 204/(-396) + 70/30 + -3. Is p != x?
True
Suppose 115*t = 153*t. Is 92/241 greater than or equal to t?
True
Let v(f) = 30*f + 67 - 16*f - 20*f. Let k be v(11). Is 5/64 greater than k?
False
Let p = 1101.1 + -1273. Let l = -167 - p. Is 5 at least as big as l?
True
Let h = 7176026877664532/140223 + -51175819072. Let v = h + 1/3261. Which is greater: 1 or v?
1
Let l be -3 - 2 - -4*(-45)/(-20). Is l at most 193?
True
Let i = -14.117 + 12.117. Is 1679 != i?
True
Let d be (-1*(-2620)/(-8))/(-2 - -23740). Let r = d - -1/572. Let u be ((-2)/3)/(12/18). Is r > u?
True
Let o = -4.313 + 4.683. Is -1/89 at most o?
True
Let m = -3571 + 2791. Is -783 smaller than m?
True
Let z(g) = 72*g**2. Let w = -62 - -61. Let x be z(w). Let n = x - 47. Is n at least 25?
True
Let w be (2/(-6))/(9*(-30)/1215*6). Is w at most -383.4?
False
Let v be (-4)/(-11) - (26 + (-196479)/7722). Is 12 greater than v?
True
Let c = -44702/9 - -304214/63. Let s = -138 - c. Is -0.5 smaller than s?
True
Suppose 10*w - 7*w = 4*m + 502, 4*w - 644 = -m. Is w < 180?
True
Let i = 55.882 + 0.118. Let z = 55 - i. Which is bigger: 64 or z?
64
Let r = 2911.8 - 3043.8. Which is greater: r or 15.5?
15.5
Let d(c) = c**3 + 17*c**2 + 71*c - 1. Let p be d(-7). Let w be (-46)/(-14) - (-6)/(-21). Suppose -6*v = -v - f + 38, -5*f = -w*v - 14. Are p and v unequal?
False
Let b be -8 + (3 - 91/(-21)). Let z = -2.07 - 2.23. Which is bigger: z or b?
b
Suppose 121929*x - 121916*x = 1885. Is 176 <= x?
False
Suppose 2*n = -r - 174, -6*n + 7*n = 4*r - 96. Which is greater: n or -87?
-87
Let o = -503 - 674. Do -1177 and o have different values?
False
Suppose 53*u = 122 + 249. Let g = -6 - -3. Let r be 1/g + (-38)/(-6). Do u and r have the same value?
False
Let w = 741398 - 12597049/17. Let x = -395 + w. Let y = x - 0. Is 1 > y?
True
Let l = 0.804 - 0.93. Let n = 0.129 + l. Is n equal to 2?
False
Suppose 3*i - 2352 = -5*h, 153 = h + 3*i - 315. Which is smaller: 0 or h?
0
Let z(i) = 12*i + 1. Let u be z(-2). Suppose v + 14 - 17 = 0. Suppose -5*x - q - 96 = -x, v*x = q - 65. Are x and u nonequal?
False
Suppose 8561 + 4848 = -0*b + 23*b. Which is smaller: 587 or b?
b
Suppose 66 = -4*u + 86. Let x be (u + 13/(-2))*10/3. Which is smaller: -17/3 or x?
-17/3
Let o = 15.2 + -427.2. Let m = -487 - o. Is m at most as big as 1?
True
Suppose -168 = -3*t + 3*b, -3*b - 3 - 12 = 0. Suppose -28*n = -79*n + t. Is n at most as big as 3/199?
False
Let h be (24/(-6) - 253)*-13. Let z be 2*((-2)/(-10) + h/(-130)). Which is smaller: -53 or z?
-53
Suppose -292*z + 16 = -288*z, 130 = -2*o + 5*z. Does 0.1 = o?
False
Let n = 3637/28 + -130. Suppose -330 = 42*q + 48. Let y be 3/(-3) + q + 10. Is y at least as big as n?
True
Let b = -370 + 715. Let h = -289 + b. Are h and -0.4 nonequal?
True
Let y = 3097.58 + -3146. Let d = y + 0.42. Let b = 48.6 + d. Is b < 5/3?
True
Suppose 2*v = -4*a + 22, -5*a = -18*v + 21*v - 28. Which is smaller: v or 61/36?
v
Let m(y) = y**2 - 2*y - 11. Let l be m(5). Suppose -3 = -3*g, g + 693 = -l*o + 2*g. Is -174 less than o?
True
Let w(x) = 61*x**3 + x**2 + 7*x + 5.