 p?
True
Let z = 5 + -13/2. Let w(o) = o**3 + 22*o**2 + 16*o + 29. Let v be w(-21). Let r = v + -135. Which is smaller: z or r?
z
Let y = 40228 - 40229. Is -2/5403 > y?
True
Let x = 96.058 - 96. Let h = 0.098 - x. Let o = 5.1 + -5. Which is greater: o or h?
o
Let d = -1097 - -1077. Let v = 46 - 34. Let u be (-12)/2*v*5/20. Do d and u have different values?
True
Let d be (-66)/3 - 5 - 3. Let p be (-12)/d - 7/10*2. Which is greater: p or -7/8?
-7/8
Suppose -p - 15 = -z, -6*z = -z + 2*p - 47. Let a be 132/(-27) + -7 + z. Is a != 0?
True
Suppose 2*y + 1023 = -3*z, -4*z + 1471 = 5*y + 4011. Let d be (-1092)/(-5) - (y/(-60) - 9). Is d at most 219?
True
Suppose 3*d + 36 = 6*d. Suppose -54 = 7*u - d. Let b be (-5)/u*(-64)/240. Which is smaller: 28 or b?
b
Let l(v) = -43*v - 1048. Let s be l(16). Is -1739 at most as big as s?
True
Suppose 2*v + 3*v - 60 = 0. Let y = 12.09 - 10.4. Let q = y + -6.69. Is q != v?
True
Let y(o) = -o**2 + 73*o + 1455. Let f be y(95). Which is bigger: -633 or f?
-633
Let a = 73196006173/7670 - 9543156. Let r = a - -2/295. Let d = -154.6 + 154.8. Which is greater: r or d?
d
Let f be 3 - (4 + (-185)/(-13)). Let v = f - -2087/143. Let x = v + -1/33. Which is greater: x or 0.2?
0.2
Let z(p) = -19*p**2 + 1 + 12*p**2 - p + 1. Let t be z(1). Let a = 10 + t. Which is smaller: -1 or a?
-1
Let s = 15763 + -15775. Which is bigger: -0.1 or s?
-0.1
Suppose 5*o = -0*o + 10. Suppose 27 = d - 6*u + 2*u, 3*u + 44 = o*d. Suppose -2*s + 43 = n, 38 = 3*s + n - 24. Are d and s unequal?
False
Let i be 107 + -28 - (-1)/(2/(-10)). Suppose 0 = 2*c - 2, 3*p = 4*c - 92 - 50. Let g = p + i. Is g > 28?
False
Let h = 164 - 164.2. Let s = 1.8 - -0.5. Let w = 2.26 - s. Which is bigger: w or h?
w
Let p = -29.55 + 29.24. Is -19/6 >= p?
False
Let z = -0.157 - 89.843. Let o = z - -90.1. Which is greater: 193 or o?
193
Let m = -7573 + 7587. Is m equal to 50?
False
Suppose -3*h + 507 + 39 = 0. Suppose -4*k = -2 + h. Let x be 9/k + (-26)/(-230). Which is bigger: 1 or x?
1
Let i(a) be the third derivative of a**6/120 + a**5/5 + 3*a**4/8 - 3*a**3/2 - 56*a**2. Let x be i(-11). Which is smaller: 11 or x?
11
Let t(n) = n**3 - 4*n**2 - 6. Let c be t(4). Let h = c - -8. Let s(i) = -6*i**2 - 37*i - 7. Let v be s(-6). Are v and h nonequal?
True
Suppose 0 = 2*d - 5*o + 315, 41 = d - 2*o + 200. Let j = d + 1486/9. Which is bigger: j or 0?
j
Let f(o) = 4*o**3 + 3*o + 6. Let h be f(-1). Which is greater: h or 2/2281?
2/2281
Let q be (-276)/540 + (-3)/(-27) - 192/20. Which is bigger: q or -386?
q
Let x(w) = 2*w**2 - 46*w - 1. Let p be x(23). Which is greater: -4/1677 or p?
-4/1677
Let m be 21160/(-299)*((-35)/2)/(-5). Is m less than or equal to -248?
False
Let m = -1.768 - 0.232. Which is bigger: m or -2/1149?
-2/1149
Suppose -z - 4 = 2*d - 3*d, -4*z - 18 = -2*d. Let v be (1 + -4)*(140/(-21) - -6). Suppose -2 + v = 2*g. Is g >= d?
True
Suppose 0*q + 5*q - 182 = -2*u, 3*u = 4*q + 319. Suppose 42 = 2*l - 140. Let x = u - l. Is x at least as big as 4?
True
Let u = -73 - -80.3. Let b = -3.762 + 7.062. Let i = b - u. Is i equal to -1/2?
False
Let j = -75 + 71.43. Let w = -617 + 616.53. Let l = j - w. Which is greater: l or 0?
0
Let r = 8964 - 10376. Which is smaller: 8 or r?
r
Let a = 29225 + -28955. Is a at least -0.11?
True
Let x = -54533/327270 + -2/54545. Which is bigger: x or 0.0214?
0.0214
Suppose 3*h = -0*h. Let u be (0/3 - 26) + h. Suppose -10 = -m - a - 40, 5*m + 105 = 4*a. Is m at most as big as u?
False
Suppose -3*w - 2*f - 2 + 8 = 0, -5*w = f - 17. Suppose 4*g = w*j - 4, 5*j - 6 - 2 = 4*g. Suppose 0 = -10*x + 7*x - g. Which is greater: 2 or x?
2
Let c be 0/(0 + (-3)/1). Let q be (6/(-171))/(-1) - c. Let o be (-26)/12 + (2 - 8/(-16)). Is o equal to q?
False
Let n = 3184821/122 + -52215/2. Let a = -15485/6527 - n. Is a less than 0?
False
Let t be -2 + -1 + (5 - -4). Let u = 12 - t. Let n be (1 - 25) + (-4)/(u/(-6)). Which is greater: n or -2/9?
-2/9
Let o = -43448 + 43421. Are o and 4 nonequal?
True
Let b be (-52)/(-130)*125/80. Suppose -3*x - 7 = -10. Is b less than x?
True
Let v = 0.4506 + -0.4506. Which is greater: v or 1/48?
1/48
Let b = -168006169/46164 + -5/15388. Is b less than -3640?
False
Let f = -55063/5 + 11012. Are f and 2.04 nonequal?
True
Let v(s) = -s**3 + s - 1. Let g be (10 + -8)*1/(-1). Let f be v(g). Let d = f - -48. Which is greater: 52 or d?
d
Let g be 8/(-60)*(-7 - 50)*-65. Suppose 3*l + 605 = -3*o - 895, 3*l + 4*o + 1505 = 0. Is l at least g?
False
Let x = -30 + 30. Let c be ((-5)/(-15))/((-1)/3). Let a = x - c. Which is bigger: -1/7 or a?
a
Let q be 5*(-6)/(-105) - 1808/56. Is -1170/37 at most as big as q?
False
Let g = -31 - -273. Let o = 209 - g. Is o <= -35?
False
Suppose 0 = -2*w - 11 + 25. Let h(j) = 13*j + 2. Let a be h(2). Suppose 0 = 4*t - i - a, -i - 44 = -5*t - 2*i. Which is bigger: w or t?
t
Suppose 2*d - 5 = -3*d. Let q = 78331/854 - 642/7. Which is smaller: d or q?
q
Suppose -35*h - 14916 = 194722 + 68752. Is h equal to -7951?
False
Let f = -345 - -301.9. Let y = -80 + 123. Let i = f + y. Which is greater: i or -0.41?
i
Let a(c) = c**3 + 11*c**2 + 9*c - 22. Let o be (10/(-25))/((-3)/(-75)). Let q be a(o). Let t(r) = r**2 + 14*r - 64. Let n be t(-17). Is n at least as big as q?
False
Suppose -u + 6 = 3. Suppose u = -2*g + 5*g. Let t = -177 - -176.9. Which is smaller: t or g?
t
Let k be -3 + (-29)/(-10) + 60714/(-60). Is k at least as big as -1012?
True
Let d = -7925 - -6537. Is d equal to -1386?
False
Suppose 4*l = 3*u + 2695, 5*l + 4*u + u - 3395 = 0. Let x be 10/(-4) - l/(-208). Is x <= 227?
True
Let b be 12/(-36) - 20104/(-21). Is 958 greater than b?
True
Suppose -2*q - 4*z = -100, -9*z + 46 = q - 5*z. Let x be (-69)/(-2)*10/15. Suppose 2*p - 87 - x = 0. Is q >= p?
False
Let r(b) = -b**2 + 14*b. Let l be r(14). Suppose l = -w + 234 - 253. Which is bigger: -21 or w?
w
Let l be ((36 - 10) + -5)*(-3 - 1). Which is smaller: l or -86?
-86
Let k = 5256249/767 - 6853. Let c = k + 4572/1165073. Do 0 and c have different values?
True
Let j(p) = -7*p**2 + 48*p + 10. Let u be j(6). Which is smaller: u or -0.71?
-0.71
Let a be ((-9)/(405/20) - (-20)/45)/(-1). Which is bigger: a or 25/477?
25/477
Let a = -2469 - -2260. Which is greater: a or -210?
a
Let v = 856.3 - 959.3. Which is smaller: 26 or v?
v
Let z(h) = h**3 - 16*h**2 - 13*h - 66. Let f be z(17). Suppose -w - t - 24 = 0, -f*t = 17*w - 16*w + 26. Is -22 > w?
False
Let v(a) = 2*a**2 + 3*a + 5. Let p be v(-3). Let u = p + -15. Which is smaller: u or -2/53?
u
Let h = 15.001 - 10.601. Are 1.2 and h equal?
False
Let f be 1 + -3 + (-6185)/55 + 7. Which is smaller: -106 or f?
f
Let w(c) be the second derivative of -5*c**3/6 + 17*c**2/2 + 6*c. Let z be w(12). Suppose j = -4*a - 55, 2*a - 166 = 3*j + j. Are z and j non-equal?
False
Let u(g) = 2*g**2 - 106*g + 319. Let b be u(45). Which is smaller: -402 or b?
-402
Let c be (-1767)/532*(-126)/(-36). Let p = 14 - 26. Is p less than c?
True
Let h(j) = -j**2 + 6*j + 1. Let y be h(6). Let q be -1 + (-1440)/(-28) - (-21)/(-49). Let i be 16/28 - q/84. Which is smaller: i or y?
i
Let f(j) = -j**3 + 35*j**2 + 565*j - 10. Let q be f(47). Is 0.6 greater than or equal to q?
False
Let b be (-27)/108 + (-7)/28 + 0. Let z be 1304/(-7) - 4/(-14). Is z equal to b?
False
Let x = 5/38 - -125/133. Let b(f) = f**2 - 15*f. Let g = -64 - -79. Let k be b(g). Which is greater: k or x?
x
Suppose -m - n + 2312 = 924, -m + 1394 = 2*n. Is m less than 0?
False
Let w(t) = -2*t**3 + 3*t + 1. Let r be w(-2). Suppose 4*v + 725 = 3*u, 74 = 3*u + v - 671. Suppose -r*z - u - 116 = 0. Is -32 less than z?
False
Let g be (7 + 2)*(-14)/(-63). Suppose -6*h = g*h + 3*h. Which is bigger: h or 2/41?
2/41
Let n = -10.75541 - 0.24459. Which is bigger: 66/13 or n?
66/13
Let r = -1816 - -1816. Are 369 and r equal?
False
Let u be (561/(-34))/((-6)/(-8)). Let c be (27/u)/((-3)/(-8)). Let k be 8/(-6)*(-9)/(-6). Are c and k unequal?
True
Suppose 0 = -4*t - 20, 13 = -x - t - 0. Let v be 0*(x/6 - -1). Let p be 2/(-1)*1 + 16/5. Which is smaller: v or p?
v
Let c(d) = d**2. Let t be c(-6). Let f be 11 + -14 - (-109)/t. Suppose -2*b = 5*o + 6, b = o - 5*o - 3. Does o = f?
False
Let p(m) = 2*m**3 + 18*m**2 + 31*m - 1. Let r be p(-6). Suppose r*s - 32*s = 1128. Which is smaller: -377 or s?
-377
Suppose 11