06. Does p = 239?
True
Let k = -115.9 - -117. Let o = 0.99 + -0.09. Let t = k + o. Is -10 greater than t?
False
Let w be (-4374)/1460 - (-6)/2. Let y = -14573/6570 - w. Let m = y + 17/9. Is 3 greater than or equal to m?
True
Suppose 0 = -2*r - 0*r. Let m = -5 - r. Suppose -13*i + 0*i = -0*i. Is m not equal to i?
True
Suppose 5*s + d - 37 = 0, s + d - 17 = -4*d. Let y(v) = v**2 + 3*v + 6. Let r = 13 + -16. Let p be y(r). Which is bigger: p or s?
s
Let o(j) = -5*j + 35. Let x be o(7). Which is bigger: x or -11/13?
x
Suppose 0 = -2*u + 17 + 5. Let q be (9 - u) + (-1 - 3). Which is smaller: q or -5/6?
q
Let u be (-4)/(-14) - 88/210. Which is smaller: u or 1?
u
Let k = 7384/765 + -48/5. Let d = 1/17 + k. Which is bigger: 1 or d?
1
Let j = 3 - -4. Let f(r) = -r**3 + 8*r**2 - 4*r - 6. Let v be f(j). Suppose -v = q - 4*c, 0*c - 3*c + 15 = 0. Which is bigger: 4 or q?
q
Let d(c) = 4*c**2 - 2*c + 1. Let h be ((-4)/10)/(14/70). Let u be d(h). Let x = 16 - u. Does x = -5?
True
Let l = -1 - -16. Suppose 11*b - l*b + 20 = 0. Suppose 2*v = -b*t + 70, 2*t - 2*v - 7 - 7 = 0. Is t at least as big as 13?
False
Let w be (37/(-2))/(2 - 0/1). Let z = w - -107/12. Let k = -0.8 - -1.5. Is k < z?
False
Let s = -2.8 + 3. Let o = 17.2 - s. Let w = o - 17. Is w at least -1.2?
True
Let r(n) = -n - 8. Let u be r(-4). Let t be (-1)/u - (-99)/36. Let d = -3 + 2. Is t smaller than d?
False
Suppose 8*d + 22 = 70. Suppose d*c + 260 = c. Is c at most as big as -53?
False
Let a = -350 + -169. Which is greater: -520 or a?
a
Suppose 20*s = 6 - 26. Which is greater: s or 6/17?
6/17
Suppose -3*a - 26 = -4*x, -2*x - 3*x + 2*a + 29 = 0. Suppose -x*z = -z. Suppose z = -r + 3*r. Which is bigger: -2/9 or r?
r
Let a = -327 + 327. Let r = 14.1 - -0.9. Let m = r + -13. Is a at least m?
False
Let l be 21 - 18 - 18/(-11). Let a = 50/11 - l. Let s(g) = g**3 + g + 1. Let w be s(-1). Is a less than w?
False
Let n = -5 + 8. Let o = 47876/13 - 3680. Which is smaller: o or n?
o
Let b = 908745/113 + -8042. Let c(w) = -w + 3. Let q be c(2). Is b less than or equal to q?
True
Let x = 318 - 319. Is -4/871 > x?
True
Suppose -17*s - 112 + 95 = 0. Let w = -289/1407 - -1/67. Which is bigger: w or s?
w
Let b be (30/(-72)*-2)/(0 + 5). Do b and 0 have the same value?
False
Let q = 2621 + -2598.976. Let a = q + -0.024. Let g = -23 + a. Which is smaller: g or 1.1?
g
Let q = -406 - -3650/9. Let a be (-2)/11 - (-46)/11. Suppose 5*r - 3*g = r + 2, -5*r + 3 = -a*g. Is r smaller than q?
True
Let w(c) = 2*c - 3. Let v be w(4). Let f = -933 - -935. Which is smaller: f or v?
f
Let v = -45 + 25. Let i = 21 + v. Which is bigger: i or 2/13?
i
Let p = 63 - 66.3. Let z = 3.3 + p. Is z less than 0?
False
Let d(z) = -z + 7. Let c be d(8). Suppose -56 = 7*h - 3*h. Let s = c + h. Is s < -15?
False
Let a be (-4 - 88/(-28))*-7. Let s be (-13)/(-5) + a/(-10). Suppose 5*c - 6*c + 2 = -n, -4 = 3*c + s*n. Is c less than 1/13?
True
Let i(l) = -l**2 + 10*l + 29. Suppose 0 = -d + 4 + 8. Let u be i(d). Are u and 4 nonequal?
True
Suppose -58*l + 16*l = -42. Suppose -5*j - 4 = -14. Is j greater than l?
True
Let t = 31.1 - 29.3. Which is smaller: t or 1.1?
1.1
Let p be 1 + (1 + (-1 - -130) - -4). Let j = p - 135. Which is greater: j or -1/27?
j
Suppose -v + 39 = -3*q, -2*v + 26 = 2*q - 4*q. Let z = q - -22. Let u = -10 + z. Is u < -4?
False
Let o(d) = d**2 + d - 1. Let i be o(0). Suppose -1 = -3*x + 2. Is x less than i?
False
Let o = 229 - 173. Is o at most as big as 53?
False
Let i be ((-3032)/14)/(2/(-7)). Suppose 4*o + 3*c = -3005, 3*c + i = -o - 0*o. Let n = o + 45687/61. Which is smaller: n or 1?
n
Let c = 345 - 344. Are c and -2/139 equal?
False
Let u(d) = 3*d**2 - 8*d + 5. Let q be u(4). Let l = q + -15. Which is greater: 16/3 or l?
l
Let k = -14971/7 + 2143. Which is bigger: k or 5?
5
Suppose -3*i = -15, s - 5*i + 46 = -2*s. Do -36 and s have different values?
True
Let r = 166 + -165. Is 434 < r?
False
Let x = 19 + -19. Let c be (-2 - (3 - x))/(-1). Do 5 and c have the same value?
True
Let s be 1/(-24)*-8*3. Is -3/148 greater than s?
False
Let v be (6/(-8) - 0)/(9/13104). Let i be (2 - v/548) + -4. Is -1 smaller than i?
True
Let m = 69 + -75. Let u = -0.3 + 0.3. Let p = m - u. Do p and -1 have the same value?
False
Let z = -46 + 31. Let x be z/10*4/6. Is -4/3 < x?
True
Suppose -32*k + 285 - 61 = 0. Does k = -2?
False
Suppose 0*q = -3*q. Let g be (-6)/(-42) - 20868/196301. Let b = -2/967 + g. Is q smaller than b?
True
Suppose -8 = 6*m - 8*m. Let d be (-12 - (0 - 2)) + m. Let p be ((-11)/88)/(1/d). Which is bigger: p or 1?
1
Let f = -166 + 204. Is 37 at least as big as f?
False
Let d be -4*((-45)/6)/5. Is -199 at least d?
False
Suppose -5*o + 0*o + i = 27, 10 = 5*i. Let x = o - -7. Suppose -50*w + 3 = -47*w. Which is greater: x or w?
x
Let t(u) = -4*u + 33. Let a(l) = -3*l + 22. Let g(c) = 7*a(c) - 5*t(c). Let y be g(-11). Which is bigger: -1/62 or y?
y
Let h = 6 + -3. Let k be -2 - 6*3/(-6). Is h >= k?
True
Let o be 50/(-6)*(-10 - -3 - -1). Let n = o + -55. Do n and -3 have different values?
True
Let q = 32 + -53. Is q greater than -131/6?
True
Let p = -0.98 + 0.24. Let s = p - 0.26. Which is bigger: s or 0.039?
0.039
Let i(l) = -l**3 - 8*l - 19. Let k be i(-2). Do k and 0 have different values?
True
Let q(p) be the second derivative of 0 + p**2 - 1/6*p**3 + 3*p. Let h be q(-2). Which is smaller: h or 0?
0
Let k = -487/1255 + -3/251. Is k bigger than -1292?
True
Let f = -0.14 - 0.06. Let n = -0.1 + 0.22. Let i = 0.08 + n. Is i at most as big as f?
False
Let g = -63 - 10. Let q = -72.94 - g. Which is smaller: q or -2?
-2
Suppose q - 2*q + 1 = -y, -2*y - 5*q - 2 = 0. Let x be 2/((-12)/(-3))*0/y. Which is smaller: x or 1/45?
x
Let k be 1/1 + (-2 - -1). Let i = 46 - 44. Let t be i/(-11)*(-489)/(-30) + 3. Is t at most k?
False
Let g = -1716.3 + 1716. Let l = 10 - 3. Which is greater: g or l?
l
Let w = 9/46 + -25/598. Let k(j) = j**2 - 5*j + 4. Let a be k(4). Let v(t) = -t + 1. Let d be v(a). Is w <= d?
True
Let y = -0.42 - 42.58. Let a = y + 39. Is -3/7 at most as big as a?
False
Suppose 0 = -4*l - l + 5*u - 5, 4*l = -4*u + 36. Let i be (-64)/(-16) - (0 - l). Suppose 3*b - 34 + 10 = 0. Is b bigger than i?
False
Let r(m) = -2*m - 7. Let n be r(-6). Suppose -2*j - n = 7. Suppose -3*q - 2 - 16 = 0. Is q at most j?
True
Let i(a) be the first derivative of a**4/4 - a**3/3 + a**2/2 - a + 2. Let u be i(1). Which is greater: u or -13/11?
u
Let c = -25 + 17. Let p(b) = -7*b - 12. Let t(s) = -11*s - 18. Let k(n) = c*p(n) + 5*t(n). Let a be k(-10). Which is smaller: -1 or a?
a
Let t(g) = -g**3 - g**2 + 11*g - 6. Let z be t(3). Let k be z/6 + (3 + -3 - -1). Is k <= -0.66?
False
Let k = -882 + 881.92. Let f(y) = y + 7. Let v be f(-5). Is v less than k?
False
Let i = -2078.3 + 2078. Which is greater: -0.02 or i?
-0.02
Suppose -k = -8 + 6. Let u be -23 + 3 + k + -2. Let n be (-5)/u*(-16)/(-14). Do 3 and n have the same value?
False
Let i be -690*3*(-6)/(-27). Let n = -1867/4 - i. Let y = 239/36 + n. Is y != 0?
True
Let h(q) = -40*q + 8. Let t be h(3). Let b be 24/t*4/18. Which is smaller: 0 or b?
b
Let r(s) = s + 2. Let m be r(6). Let f = -8 - -8. Let c be f - (2 + 1 + -12). Are c and m non-equal?
True
Let p = 371.77 + -372. Which is greater: p or -0.17?
-0.17
Let r be (-267)/(-9)*(-14)/6. Let w = r - -69. Are w and -1 equal?
False
Suppose 34*p + 5 = 35*p. Is p greater than 1?
True
Suppose -41 = 2*v - 9. Let q = 4 + v. Let k = -12 - q. Which is smaller: -1/45 or k?
-1/45
Suppose 5*o = -44 + 114. Suppose o*n = 10*n. Let r be n/(-5) - (3 + 1). Are -3 and r unequal?
True
Suppose h - 20 = 2*z, 185 - 57 = 5*h - 3*z. Let k = -30 + h. Let c = -0.85 + -0.15. Are k and c nonequal?
True
Let o be (-17)/17 - (-63)/62. Is o <= 1?
True
Let n = 76 + -76. Is -1/86 at most n?
True
Suppose -3*l = -3*p - 15, 5*p = 4*l - 3*l - 9. Suppose 6*o - 4*o = l. Suppose -24 = o*z - 4*z. Do z and 12 have different values?
False
Let t(k) = 3*k**2. Let i be t(1). Suppose 9 = -l + i*c, 3*c + 2 - 5 = 3*l. Suppose -l*g = -3*o - 0*o + 9, -5*o - 3*g = -15. Which is bigger: 3/4 or o?
o
Let i be (12/(-5))/(-6 - (-12 - 30/(-4))). Let c be (4 - 2)*(-3)/(-6). Which is smaller: c or i?
c
Let b be 0 + (-6 - -13) + -6 + -1. Is 5/82 at most as big as b?
False
Let p be (-193)/1 + 1 - -1. Which is 