1/36*6). Which is smaller: p or 6.5?
p
Let o be 72/(-21)*(-1365)/(-130). Which is bigger: o or -848/23?
o
Suppose x - 26*a = -21*a + 296, -x + 284 = -2*a. Which is bigger: x or 283?
283
Suppose 5*y + 46 = -2*x, -55 - 37 = 4*x + 5*y. Let i(t) = -t**2 - 25*t - 45. Let r be i(x). Are 1/85 and r nonequal?
True
Suppose -3*s - 2*f = 7, 2*s - f - 19 = -12. Is 4/2177 < s?
True
Let r(l) = -l**3 - 3*l**2 - 6*l - 16. Let k be r(-3). Suppose 4*j + 27 + 1 = -3*d, -2 = j + k*d. Which is bigger: j or -124/11?
j
Let b be 1 + 174 + (48/216 - 296/36). Is 37 less than or equal to b?
True
Let i = -199.12 - 5.88. Which is smaller: i or -4/5?
i
Let s = 61 - 59. Let w(l) = 81*l**3 + 17*l**s + 0*l - 80*l**3 + 17 + 17*l. Let z be w(-16). Which is bigger: 0.2 or z?
z
Suppose -5*k + 10 + 10 = 0. Suppose k*h + 0*h - o = 7, -5*o - 15 = 0. Suppose 40 = -0*w - 5*w. Which is smaller: w or h?
w
Let v(u) be the first derivative of 1/2*u**2 + 6*u + 18. Let q be v(-5). Are q and -1/10 equal?
False
Suppose -665 = -5*g - 2*g. Suppose -6*c = -3*c - v + g, 0 = -4*v - 4. Are -34 and c nonequal?
True
Let j be (3/348)/((-3)/(-30)). Let l = j - 343/3306. Let p be 5 - 5/(0 + 5) - 4. Which is greater: l or p?
p
Suppose 75*m - 6100 = 77*m + n, 0 = -5*m + 5*n - 15295. Is m equal to -18325/6?
False
Suppose -5*m = 13*m. Suppose -5*k = -h - 9, 4 = -h - m. Let f = -59/3 - -20. Is f > k?
False
Let w be (-14)/(-21)*21/4550*2. Which is bigger: w or -5/4?
w
Let t = -24 + 25. Let x be 168/128 + 2 + -5 + t. Which is bigger: -1 or x?
x
Let z be ((-39)/(-6))/((-1)/8). Let m(y) = -22*y + 146. Let a = -84 - -93. Let u be m(a). Is u greater than z?
False
Let i = 0.2493 - 0.3693. Let j = 203 - 199.12. Let w = i - j. Is w at least as big as 1/4?
False
Let x = 1027 - 981. Let y = 91/2 - x. Which is bigger: -5 or y?
y
Let n(u) = u**2 - 73*u - 149. Let j be n(-2). Let b = 12636 - 4005608/317. Which is smaller: j or b?
b
Let i = -2282.94 - -2263. Is i at most -0.2?
True
Let c be (10/(360/17361))/(21/(-56)). Is c <= -1285?
True
Let b = -24241 - -10268. Is -13974 at most b?
True
Let a(i) = 2*i**2 - 13*i - 34. Let p be a(17). Which is bigger: p or -0.28?
p
Suppose 22*m - 390 = 4*m + 168. Let t = 5.7 - 6. Which is smaller: t or m?
t
Let c = -257 + 307. Suppose 51*b - c = 5*y + 46*b, -36 = 5*y + 2*b. Is y > -3?
False
Suppose m = -2*b + 6, 10 = 2*b + 3*m - 0*m. Suppose w = 5*f - 3888, b*f + w + 4*w = 1539. Let z = 2413/3 - f. Which is smaller: 26 or z?
26
Suppose 5*k + 918 = 303. Let w be (25/2)/(3/(-30)). Which is greater: w or k?
k
Suppose 0 = f + l - 200, -19*f = 2*l - 3293 - 354. Suppose c + 960 = 6*c. Which is greater: c or f?
c
Let z = -3574 - -17782/5. Suppose -46*y - 58*y + 46*y - 1102 = 0. Is y < z?
True
Suppose 3*v + f + 18815 - 2608 = 0, 2*v + 10814 = 4*f. Let g = 394411/73 + v. Which is smaller: g or 1?
g
Let q(n) = -23*n**3 - n**2 - n - 1. Let k be q(-1). Let c = k - 4. Let w be (-7)/4 - (-711)/36. Are w and c equal?
True
Let p(g) = -g**3 + 10*g**2 + 13*g - 23. Suppose -3*s + 42 = -10*s. Let a be (-340)/(-30) - (-2)/s. Let y be p(a). Which is bigger: -0.1 or y?
-0.1
Let y = 41 - -25. Suppose 21*j + 5586 = 6972. Is j bigger than y?
False
Let q(o) = 16*o**3 + 8*o**2 + 11*o - 78. Let f be q(5). Is f at most as big as 2176?
False
Suppose 2*o = -5*c + 1042, -14 = -2*c - 3*o + 405. Suppose 0 = 2*l - 4*k - c, -k + 2 = -2*k. Suppose -6*h - l = -2*h. Which is bigger: -27 or h?
h
Let s be 1/(-2)*(152 - 152). Is -38/33 equal to s?
False
Suppose 6*f - f = 45. Suppose 10*b + 25 = f*b. Let k(x) = -x**3 - 5*x**2 + 3*x + 4. Let g be k(-4). Does g = b?
False
Let b be 0 + -3*5/(-30). Let p = -74.9123 - 0.0877. Which is bigger: p or b?
b
Let o = 42 + -119. Let q = 76.998 + o. Let n = -25.998 + q. Which is greater: n or 0?
0
Suppose -d - 125 = -2*t - 3*t, -75 = -3*t - 2*d. Suppose -29*k = -34*k + t. Suppose -4*i + 0*i + k = p, -13 = -5*i + p. Is i >= 0?
True
Suppose z + 4*z = 5. Let f be (-4 - 15/(-2))*2. Suppose 0*r + 3*r = -w + z, 2*w = -r + f. Which is smaller: 3 or w?
3
Let v = 311.89603 + 0.08397. Let y = v - 312. Is 2/5 bigger than y?
True
Let s = -31/5200600 + -6436191911/11852167400. Let m = 4/265 - s. Which is greater: m or 0?
m
Let d = -16 + 19. Suppose -5*h - 20 = 0, 0 = -0*i + 2*i - d*h + 344. Let z = 2310/13 + i. Which is smaller: z or -1?
-1
Let w be (1/(-2))/((-2)/4). Let d = -281 - -71. Let z be 1*4 - d/(-65). Is z smaller than w?
True
Suppose 0 = -3*i + 5*m + 48, -4*i + 45 = 5*m - 19. Suppose -2*p = 3*s - 26, i + 36 = 3*p - 2*s. Let v be 4/(-12) + p/(-12). Is -1 not equal to v?
True
Suppose -3*a = -367 + 1987. Let g = 501 + a. Is g less than or equal to -36?
True
Suppose -m = -2*m - 26. Suppose -498 = 47*f - 53*f. Suppose s - f + 109 = 0. Is m bigger than s?
False
Let i be ((-24)/(-10))/((-39)/(-260)). Suppose 3*s - 3*d = 36, 0*s - s + i = d. Which is smaller: 16 or s?
s
Let q be (-483)/(-69) - 7/1. Is q <= 23/104?
True
Let l = 28507707/32125 - -18/32125. Let w = 172793/195 - l. Are w and -2 equal?
False
Suppose 13*k + 126 = -35*k + 78. Let x = 1534 + -799. Let l be 7/(x/(-108)) - -1. Which is greater: l or k?
l
Let k be 2/(-14) - (2024/(-56) + -7). Suppose -3*g + 22 = k. Are g and 0 equal?
False
Let v = -124327/48 - -2590. Let o = -17/48 + v. Which is bigger: o or 57?
57
Let y = -2/455825 + 251706569/911650. Let u = y - 276. Which is bigger: 0.25 or u?
0.25
Let h = 87 + 36. Suppose -3*c + 5*f + 70 = -53, 4*f = -3*c + h. Is 44 less than or equal to c?
False
Let z = -2.48 + -20.32. Let n = -4.2 + z. Let t = n - -22. Are t and -2/11 unequal?
True
Let k = -8.942 - -9. Let g = k + -0.678. Let f = -4.38 + g. Are -1 and f nonequal?
True
Suppose 0 = -5*y + 2*s + 42, -2*s = -2*y - 4*s + 28. Let l = -163 - -184. Let i(t) = 2*t**2 - 40*t - 28. Let x be i(l). Which is bigger: x or y?
x
Suppose 4*p + 40 = 2*g, 3*g - 5*p - 2 - 53 = 0. Let c = g - 9. Is 6/95 bigger than c?
False
Let c = -75868/3 - -25289. Is c > -0.19234?
False
Let v be (-12)/12*(-1)/(-14). Let r be 4/(-7)*18/24. Let t = v + r. Which is smaller: 5 or t?
t
Let a(p) = p**3 - 35*p**2 + 12*p + 748. Let z be a(34). Is 3/9383 bigger than z?
True
Let q(c) = -c**2 - 13*c + 49. Let l = -411 + 395. Let n be q(l). Which is greater: n or 129?
129
Let d = -38745/16 - -711939/304. Let o = d - -159/2. Which is bigger: 0.2 or o?
0.2
Let o = 7346.08029103 + 0.04570897. Let r = o + -7328. Let y = r + -0.126. Which is bigger: y or -1?
y
Let c be (7 - 3)*(15/(-6) - -1). Does -70/13 = c?
False
Let t = 37832 - 37835. Which is smaller: 1446 or t?
t
Let l be (-2 - (12/(-8) + -1))*(-24)/(-948). Let f(g) = g**3 - 10*g**2 - g + 10. Let k be f(10). Is l smaller than k?
False
Let z = 787 + -748. Suppose -z*v + 16*v = 3059. Which is greater: -130 or v?
-130
Suppose 0 = -116*l - 194 + 78. Which is greater: l or -2/9177?
-2/9177
Suppose 5*z = -4*x - 573, -6*x + 3*z - 670 = -x. Let g = 413/3 + x. Which is bigger: 3 or g?
3
Let z(w) = 43*w**2 + w. Let g be z(0). Let l = -2576437576257/31612 + 326007535/4. Let a = l - -2/1129. Is a smaller than g?
True
Let n(c) = c**3 + 244. Suppose z = -v + 5*z - 4, 5 = 3*v + 5*z. Let q be n(v). Let f be (-496)/q - (1 + -3). Which is bigger: f or -1?
f
Let f = 1110 + -665. Let x = 448.94 - f. Let v = -0.06 - x. Do -1/2 and v have different values?
True
Let l(q) = 575*q - 8050. Let x be l(14). Is x greater than -2/9923?
True
Suppose -9 = -g - 5*u, 3*u = -5*g - u + 24. Suppose -60 - 36 = -g*d. Suppose -l + d = l. Which is smaller: 10 or l?
10
Let x(t) = -4*t + 74. Let a be x(17). Suppose 12*g - 14*g = a. Suppose 2*f + n = -3*n - 20, 0 = 4*f - 5*n + 14. Is g > f?
True
Suppose 4*j + 4*v - 2 = 2, -2*j = -2*v + 2. Suppose j = -4*f + 4, 2*m - 6*m + 3*f = 23. Suppose -5*r - 12 = 8. Which is smaller: m or r?
m
Let o(q) = 1499*q - 13491. Let y be o(9). Let n = -13.986 + 14. Which is smaller: y or n?
y
Let t(m) = 1316*m + 9211. Let j be t(-7). Which is smaller: j or 8189?
j
Let x = 384 + -427. Let o = x - 11. Which is bigger: o or -163/3?
o
Let q = -213/13 + 4587/299. Let p = -57/253 - q. Is 0 <= p?
True
Suppose 69*d + 111*d = 51*d - 3225. Let x(n) = n**2 - 26. Let k be x(0). Is k at least as big as d?
False
Let g = 35.652 + 0.348. Which is smaller: g or -5/2?
-5/2
Let a = 3374 - 3783.2. Let m = 408 + a. Is m greater than 0?
False
Let k = -1180.9337 + 1181. Le