. Is p greater than 10168/3?
True
Let t be (-291)/(-15)*(-180)/(-216). Which is greater: t or 16?
t
Let a be 3770/7060 - 24/48. Do -1 and a have different values?
True
Let r = -1974 + 1533.3. Let v = r - -448. Which is smaller: v or 0?
0
Suppose 0 = 99*d - 104*d, 3*r - d = 5157. Which is smaller: r or 1721?
r
Let o = -38 - 7. Let s = o + 45. Is -201 > s?
False
Suppose 5*k = a + 5, 6 = -3*a + 4*k + 13. Let o be 7/((-42)/48)*a. Which is greater: o or -43?
o
Let n be ((-1)/3)/(1/1 + (-32)/(-96)). Which is bigger: 53/9 or n?
53/9
Let c be 78/936*(-5)/(15/6). Suppose 4*b = -5*z + 8 + 4, -4*z = 0. Suppose w + b*w - 4 = 0. Which is bigger: w or c?
w
Suppose u - 685 + 3533 = 0. Which is smaller: -11389/4 or u?
u
Let j = -26403 - -26420. Which is smaller: -418 or j?
-418
Let o be (72/45)/((-4)/10). Let a be (-2 + 1)*o*(-1)/51. Which is smaller: 1 or a?
a
Suppose 8*g - 463 = 561. Let n be (g/(-6))/(-1)*(-45)/(-20). Is 47 not equal to n?
True
Let h(l) = 1416*l**2 - 228*l - 705. Let q be h(-3). Is q smaller than 12725?
True
Suppose 4*u + 62 = 2*n - 22, -5*u + 4*n = 114. Is -185 at most as big as u?
True
Suppose 104*k - 4*t - 25 = 109*k, 4*t + 24 = -4*k. Is k less than 13/47?
True
Suppose 10*j + 1058 = -2*c, 1013 = -2*c - 22*j + 27*j. Which is bigger: c or -515?
c
Let y = -6984.3 - -6984. Which is bigger: y or 200/7?
200/7
Let n = -612 - -24. Is n at most as big as -589?
False
Let q = 958 - 5731/6. Suppose 8 = 4*z - 0. Is q greater than z?
True
Let s(x) be the first derivative of -23*x**3/3 - 7*x**2 + 8*x + 52. Let h be s(2). Which is bigger: -111 or h?
-111
Let l = 393 - 397. Let f be (-6)/l*156/234. Is f bigger than 15/34?
True
Let r = -13 - -39. Suppose 2*c - 4*l + 22 = 0, 0*c + r = -4*c + 2*l. Let m(w) = w**2 + 7*w + 13. Let i be m(c). Is i equal to 4?
False
Suppose 0 = -9*y - 64 + 226. Let c = -14 + y. Let t = c + -3. Is -1/26 at least as big as t?
False
Let m = 73 + -66. Suppose -m*p + 12 = -44. Suppose 2*v - v + r = 7, -4*v - 2*r = -28. Is v smaller than p?
True
Let r = 5.25 - 4.3. Let i = -8.95 + r. Let b = 2 + 2. Is i not equal to b?
True
Let i(f) = -2*f - 2. Let k be i(-5). Let y = k - 1. Let s = y - 3. Is s at most as big as 2?
False
Suppose 13*a = -27 + 599. Suppose -2*k + 10 = 0, k - a = -4*o + o. Are o and -0.5 equal?
False
Suppose 6*r + 30 = -0. Are -104 and r nonequal?
True
Suppose -5*d - 45 = -5*o, 3*d - 15*o + 43 = -20*o. Let n be (-1466)/30 - d/55. Do -50 and n have the same value?
False
Let l = 1836417/119 + -106648/7. Let x = l + -197. Is -15 <= x?
True
Let b be (341/(-66))/((-4)/6). Let z = 15/2 - b. Is 4.5 greater than z?
True
Let n = -38896 - -1244473/32. Is n bigger than -7?
True
Let i = -16114 + 27181. Are i and 11066 equal?
False
Let d(n) = -3*n**3 + 5*n**2 + 25*n + 55. Let i be d(10). Which is greater: i or -2194?
-2194
Let r be 60/8085*63*(-18)/(-4). Which is bigger: 2 or r?
r
Suppose -25 = w + 5*b, -4*w - w = 4*b + 20. Let n = 218 - w. Which is greater: n or 217?
n
Let r = -1967 + 1968. Which is greater: r or -3/149?
r
Let p = 32 + -5. Let z = -0.24 - 0.193. Let x = 0.233 + z. Is x at least p?
False
Let j be 2/(-21)*20531/(-838). Is -25/33 less than or equal to j?
True
Let p = 7927 - 7443. Let q(x) = -x**3 + 16*x**2 - 11*x - 1. Let b be q(11). Is b not equal to p?
True
Let h = 13889/32 - 434. Let o = -47/32 - h. Let x = -8.2 + 7.2. Is x smaller than o?
False
Let w(s) = -9*s**2 + 24*s. Let t be w(0). Which is bigger: t or 9/76?
9/76
Let h(t) = -106*t**2 + t - 3. Let w be h(1). Let b = w + 116. Suppose -3 = b*u - 11*u. Do u and -1/74 have different values?
True
Suppose -42*s + 6601 - 46361 = 14*s. Is -708 >= s?
True
Let p = 138104/17 + -1102838/85. Is p <= -4850?
True
Let a = -1/22885 + -44917/19520905. Suppose 7 = -4*f - u, -408*f + 28 = -410*f - 4*u. Is a bigger than f?
False
Suppose -4*j = 3*o + 4573, -j - o + 2*o - 1152 = 0. Let z = j + 45883/40. Suppose 4*k - 8 = -4. Which is smaller: k or z?
z
Let q = 879 - 1507. Let g = -629 - q. Is g > 14/3?
False
Suppose 3*z = -3*q + 8 + 10, -z + 5*q = 6. Let k be 7344/264 - z/(-22). Suppose -3*h = 5*v - 48 - 23, -k = -v + 4*h. Which is smaller: 14 or v?
14
Let x = 2811 - 2836.3. Which is smaller: x or -0.09?
x
Let x = 3927 + -3751. Is x bigger than 0.01?
True
Let v(w) = 126 - 123 + 133*w**2 - 38*w**2. Let j be v(-3). Let h = j + -76364/89. Is 0 less than h?
False
Let p = 11129 + -2147882/193. Is p at least 0?
True
Let l(z) = 3*z**3 - 5*z**2 - 12*z - 8. Let b be l(-4). Let r = -236 - b. Which is greater: -2/5 or r?
-2/5
Let h = 5 - 2. Let v = 573 - 354. Let b = -222 + v. Which is smaller: b or h?
b
Let u(i) = -8*i - 1. Let y be u(-9). Suppose y = -10*b - 9. Let j = b + -5. Is j equal to -3?
False
Suppose -10 = f + 3*i, 3*f = -18*i + 14*i - 15. Is -2/3575 != f?
True
Let t = 55.8 - 56. Let n = t - 14.8. Is n smaller than 2?
True
Suppose q - 30 = 3*n, -3*q = q - 2*n - 100. Suppose -o + 0*o - 2*s = 29, -s - q = o. Is -16 <= o?
False
Let f(x) = -x**2 + 25*x - 114. Let l be f(19). Let r be 3/((-24)/20)*(-6)/(-34). Is r smaller than l?
True
Let i be (-41)/(-72) + (-16)/128. Let z = i - 1/9. Which is smaller: -7 or z?
-7
Suppose -104 = 735*y - 731*y. Let t = y + 27. Do -95 and t have the same value?
False
Suppose 3*u - 29 = -5*j, 4*j + 4*u - 28 = -0*j. Suppose n + q = j, 16 = 5*q - q. Which is greater: n or 1/126?
1/126
Let s(u) = -782*u + 1. Let f be s(3). Let v = f + 44538/19. Let x = -531/551 - v. Which is smaller: 1 or x?
x
Let w be (-56264)/897 + 15/(-9) - 13. Is -77 at most w?
False
Suppose -3*v = -5*h - 27, -250*v = -247*v + h + 9. Which is smaller: 3/80 or v?
v
Let w be 1/(-3) - 6/(-18*3/(-78)). Are -68/7 and w nonequal?
True
Let x be 86/(-8)*(-27 + 23). Suppose -p + x + 68 = 0. Are p and 111 unequal?
False
Let g(i) = i**3 + 92*i**2 + 176*i - 357. Let f be g(-90). Is -163 greater than or equal to f?
False
Let r = -108798170 - -13164268937/121. Let a = r - -2559. Which is smaller: 1 or a?
a
Let s be (-1 + (-14)/(-2))/((-18)/(-279)). Suppose -30*a + s = -31*a. Which is bigger: a or -92?
-92
Let z = 1646 + -1310. Does z = 338?
False
Let z = -435/49 + 1960447/220843. Which is greater: z or -1?
z
Suppose 5*d = 2*a + 122, -3*d + 7*a + 96 = 2*a. Which is greater: -6 or d?
d
Suppose -4*o - 242 = 8*o - o. Let b be 4/(1/10*2). Let l = b + o. Do -4 and l have different values?
True
Let t be (6/(-30))/((-15)/(-2715)). Is -0.3 greater than or equal to t?
True
Let p = -143 + 140. Let z = 2.962 + p. Which is smaller: 0.4 or z?
z
Suppose -109*k + 180*k - 144*k - 1004553 = 0. Which is greater: -13760 or k?
-13760
Let y = 441 - 439. Let o = -155 + 771/5. Which is greater: y or o?
y
Suppose -y + 5 = 7, 17 = 3*h - 4*y. Suppose -7 = -h*z - 4*z. Is 8/7 bigger than z?
True
Let l(b) be the second derivative of b**4/12 + 13*b**3/2 + 59*b**2 + b - 90. Let g be l(-36). Which is bigger: 9 or g?
g
Let r(q) = -q + 1. Let n be r(0). Let i(p) = 112*p**2 - 8*p - 7. Let y be i(-1). Suppose -y*d = -121*d + 400. Is n greater than or equal to d?
False
Let y = -2342 - -2364. Which is smaller: y or -36?
-36
Suppose u = -u. Suppose 0 = -3*z + 2*n + 10, -3*z + n - 5*n - 2 = u. Suppose -z*m + 0*m = 18. Which is greater: -8 or m?
-8
Suppose 4*m - 111 = 115*m. Which is bigger: -7/149 or m?
-7/149
Suppose 0 = -4*i - 0*i - 260. Let u = i - -7. Suppose 4*z = 10*z + 342. Are u and z nonequal?
True
Let m(n) be the first derivative of -n**4/4 + 7*n**3 - 3*n**2/2 + 38*n - 62. Let y be m(21). Are y and -47/2 equal?
False
Let j = -5350909/1821048 + 811/276. Is j < -1?
False
Let a = 15.5 - 15.88. Let i = 6.98 - 7. Let r = i + a. Is r at most 0?
True
Let k be (2 + -3)/((-2)/(-10)). Let r = k + 5. Let g be ((-58)/(-1305))/((-8)/(-10)). Which is smaller: g or r?
r
Let j = 107 - 63. Let a(c) = -c**3 + 2*c**2 - c - 5. Let d be a(-5). Suppose 12*s = d + 341. Is s at least as big as j?
False
Let d = 5/184 - 229/1656. Suppose y = -6*y + y. Which is greater: d or y?
y
Suppose -11*l + 1209 = 2*l. Suppose 79 = f + 3*o + l, -4*f + 14 = -2*o. Let i be 2/(-6) - (-41)/24. Which is smaller: f or i?
f
Let b be (28/6 - 2)*11/19316. Let s = b - 8786/3951. Is -3 bigger than s?
False
Let n = 1157/18 + -3653/18. Which is greater: -1/2 or n?
-1/2
Let c = -0.3 - -0.4. Let t = 38634 + -38594.949. Let h = 0.051 - t. Is h less than c?
True
Let o = -15 + -30. Le