se 2*p + b = -p. Do p and m have the same value?
False
Let o be -2*28/16 + 4. Let c be 90/40 - 1/4. Let j = c + -1. Which is bigger: o or j?
j
Let w = 462.9 + -463. Suppose -c - 2*c = -63. Let f be 1/(-7) - (-6)/c. Is w < f?
True
Suppose 5*b = b + 20. Suppose -b*q - 33 = -3. Suppose -5*j - 5 - 20 = 0. Is q >= j?
False
Let n(b) = 2 + 63*b + 69*b - 133*b. Let f be n(3). Let a = 2/787 + -1608/13379. Which is smaller: a or f?
f
Let d = 1952/7 - 278. Is 10 greater than d?
True
Suppose -29 = 58*j + 29. Let y be 1*(0 - (-6)/(-37)). Is y less than or equal to j?
False
Let m = 110 + -202. Is -93 less than or equal to m?
True
Let j = -3649 - -3649. Let s = -443/95 + 93/20. Is s at most j?
True
Let s = 17449/11 + -1587. Let r be -2*(-1 - (-2 + 2)). Let b = 1 - r. Which is greater: b or s?
s
Let w = 22 + -40. Suppose 136 = 45*m - 53*m. Which is greater: w or m?
m
Let c = 13 + 45. Is c <= 58?
True
Let s = 813.52 - 813. Which is smaller: 2 or s?
s
Suppose 3*x - 15 = 3*z, -4*x + 8*x - 6 = -3*z. Let t be 6/(-15)*(-2)/(-2). Is z > t?
False
Let l be ((-13)/(-52))/((-7)/(-16)). Is 1 less than l?
False
Suppose -2 = f - 3*x, -4*x + 6 = -x. Let r be (5/(-159))/(f/(-12)). Let o = r - 151/477. Which is smaller: 2/17 or o?
o
Let x be 2/(-5) + (-6)/10. Let u be (-4 + -34)*(1 - -1) - -4. Let b be (u/260)/((-3)/(-10)). Is x at most b?
True
Suppose -3*t - 4*m = -2*m + 8, -8 = -t + 2*m. Is -1/55 <= t?
True
Suppose 89 = 2*w + s, -2*s + 0*s + 84 = 2*w. Which is smaller: w or 46?
46
Let i be 4/26 - (-117530)/(-802815). Which is bigger: i or 1?
1
Let j be (316/(-9))/((-47)/24 + 2). Is -843 less than j?
True
Let d = -3.961 - 0.039. Let o = 0.06 + 6.94. Let x = 7 - o. Which is bigger: d or x?
x
Let d(h) = 6*h - 48. Let t be d(8). Suppose t = 39*s - 38*s. Which is smaller: s or 2/23?
s
Let s = -42 + -8. Let r = 49 + s. Is r greater than or equal to 0?
False
Let d = -10.466 + 14.47. Let v = 0.004 - d. Do 1 and v have different values?
True
Let x(o) = o**3 - 16*o**2 + 17*o - 25. Let y be x(15). Suppose y*w - 455 = -145. Are 61 and w nonequal?
True
Let c = 0.037 - -0.283. Is c not equal to 1/4?
True
Let d = -524 + 501.3. Let g = -66 - -43. Let a = d - g. Are a and -2 unequal?
True
Suppose 5*d = -3*h + 68, -3 - 1 = -d. Let g be (3/50)/((-12)/h). Which is greater: g or 0?
0
Let b(a) = 7*a + 4. Let y be b(2). Let g be 2 + 589*2/y. Let h = g - 68. Is 0 greater than h?
True
Let s(d) be the first derivative of d**2 - 5*d + 2. Let p be s(7). Suppose -v = -4*o + 8*o - p, -2*o = -4*v + 72. Which is smaller: -0.1 or v?
-0.1
Let b = 0 - 0.1. Let c = -2.5 - -2.81. Let r = 12.31 - c. Which is greater: r or b?
r
Let m = 24 - 19. Suppose -3*j - 3*j = 84. Let q = j + 20. Which is smaller: m or q?
m
Suppose 0 = -9*u - 479 + 416. Which is smaller: -17 or u?
-17
Let n = 443 - 446. Which is greater: n or 0.64?
0.64
Let n be (-24)/(-18)*9/(-12). Is n at least -4/53?
False
Let y be (-7)/(-39)*(-7 + 5). Let k = y + -4/13. Let f = -0.06 - -2.06. Which is greater: f or k?
f
Let k = 1 - 0.9. Let b = 8059 - 88655/11. Which is smaller: b or k?
b
Let j = -14 + 14. Let w = 23.98 - 24.1. Which is smaller: j or w?
w
Let p = -1361 + 1329. Is p greater than -26?
False
Suppose 5*w = t + 2 + 5, -11 = -3*w + 4*t. Let i be (-2)/10*(-358)/w. Let m = i + -71. Which is greater: m or 0.1?
m
Let k = -12.95 - 2.15. Let q = k + 15. Let r = -0.6 + 2.6. Which is smaller: q or r?
q
Let c(w) = w**2 + 7*w + 7. Let b be c(-6). Suppose 2 = -9*n + 11*n. Suppose g = 2*g - n. Is b != g?
False
Let m = 6 - 3. Let o be (10/8)/(4/(17 - 1)). Suppose o*h - 7 - m = 0. Is h equal to 10/3?
False
Let m(c) = -c**2 - 8*c - 6. Let g be m(-7). Let r be g - 108 - 30/10. Let j = r - -211/2. Are -6 and j equal?
False
Let t = -109/285 - 1/57. Let o = -18 + 16. Let q = o - -1.3. Which is greater: q or t?
t
Suppose -5*i + 6*i = 5*m + 180, -4*m + 3*i = 133. Which is smaller: -36 or m?
m
Let j(y) = y**3 - 9*y**2 - y + 2. Let f be j(9). Let c be (-200)/140*(-2)/(-2)*f. Is 10 smaller than c?
False
Let r be -8 + (10 - 4830/10). Does r = -481?
True
Suppose 14*h + 206 = 178. Is h < -100/33?
False
Let n(o) = -12*o - 1. Let x be n(-1). Let b be 0 - 2*x/(-2). Let k = 2847 - 2847.1. Are b and k equal?
False
Suppose 2*q + 0*q + 6 = 0. Let o(l) = -2*l**2 - 102*l + 102. Let z be o(-52). Which is bigger: z or q?
z
Suppose 8*x + 2475 = -17*x. Which is smaller: -295/3 or x?
x
Let s(r) be the third derivative of -r**6/120 + 13*r**5/60 - r**4/24 + 11*r**3/6 + 5*r**2. Let c be s(13). Is c less than or equal to 15?
True
Let j be (-4)/(-8) + (-254)/(-4). Which is bigger: 65 or j?
65
Suppose -17 = -5*d - 0*f + f, -3*d - f + 7 = 0. Let u = 2 + d. Suppose 3*o = 11 - u. Is 3 not equal to o?
True
Let i = -2195 + 2195. Which is smaller: 36 or i?
i
Let x(n) = -n**2 + 5*n + 6. Let d be x(6). Suppose d = 2*r - 24 - 2. Do 5 and r have the same value?
False
Suppose 4*f + 11 - 15 = 0. Let j be 2/f + -1 + -2. Which is greater: -6 or j?
j
Let f = -10483/10 - -1048. Is f != -7?
True
Let g be -5 - 80 - 1*(-5 - -1). Which is smaller: -67 or g?
g
Let m = -489 + 437. Which is greater: -54 or m?
m
Let y = 3/8497 - 3432815/76473. Let q = 52 + -7. Let x = q + y. Which is smaller: x or 1?
x
Suppose -3*k = -4*p + 132, -5*k + 5*p = 41 + 184. Is k at most as big as -48?
True
Suppose -6*q = -q + 5*q. Suppose -11*w + 9*w + 6 = q. Does w = -0.13?
False
Suppose 4*w = 3*y + 2, 5*w = 8*w + y + 5. Which is smaller: w or 1/462?
w
Suppose -1 = -3*w + 2. Let m be 5/140 + w/4. Suppose 4*a = 8*a - 4. Is m less than a?
True
Let l = 1.8 + 7.2. Let j = l - 20. Let p = -7 - j. Are -3 and p unequal?
True
Suppose 2*n - 87 = 7*n - 3*x, 29 = -3*n - 4*x. Is -23 less than n?
True
Let f = -2779 + 2783. Let w be 38/7 + 10/(-35). Is w at least as big as f?
True
Let b be 124/(-16) + 3/(-12). Let m(l) = l**3 + 9*l**2 + 9*l + 8. Let y be m(b). Let g be 7/4*8/10. Is g >= y?
True
Let z be (-3)/8*2*(-6)/9. Let j = -204 - -419/2. Is z greater than j?
False
Let f = -112/9 - -118/9. Let n(k) = -k - 1. Let o be n(-1). Does o = f?
False
Suppose -4*v + 162 = -3*t, 4*v + 52 = -4*t + 228. Which is smaller: 50 or v?
v
Suppose -28*r + 32*r = 0. Is 5/8 at most r?
False
Let r be (6/(-3) - 4)*49. Let n = 626 + r. Let u be (-2)/(-9) - n/36. Does u = -6?
False
Let n be (-3)/(-7) - (-3)/(-210)*10. Let y = 3 - 0. Let k = -3 + y. Are k and n nonequal?
True
Let o = 34 - 35.51. Let b = o + 1.7. Let p = b + 1.81. Does p = -9?
False
Let o = -3106/3 - -9544/9. Is o at most as big as 25?
False
Let x be 6/(-21) + 12/(-105). Suppose 2*j + 2*v = -2, 2*j + 2*v + 1 = v. Suppose -5*t + p = 8, -2*t - t + 4*p + 2 = j. Is x <= t?
False
Let x(i) = i**3 + 16*i**2 + 16*i + 21. Let w be x(-15). Suppose 0 = -2*c + w*c. Suppose -2*h = g - 13, c = -5*g - 4*h + 8 + 39. Which is smaller: 6 or g?
6
Let o be 0/(-1*(-2)/2). Let s = 1537/598 + -60/23. Is s greater than o?
False
Suppose -2*m - 4*s + 5*s = -6, -2*m - 2*s = -12. Which is smaller: m or 5?
m
Let w(m) = -2*m**2 - 2*m - 1. Let z be w(3). Let r(v) = v**3 + 10*v**2 - 8*v + 7. Let q be r(-11). Is z at most as big as q?
False
Let n be (-10)/3030*(-24)/92. Which is smaller: 1 or n?
n
Suppose 0 = -b + 18*b + 17. Which is smaller: b or -2.4?
-2.4
Let s = -40 - -38. Does s = -90?
False
Let q be 1/((-9)/462) - 4/(-3). Which is greater: q or -2/7?
-2/7
Let v = 6 + -12. Let k(n) = n**3 + 5*n**2 - 6*n - 4. Let f be k(v). Suppose 0 = 6868*y - 6862*y. Is f greater than or equal to y?
False
Let v be (2 - 4)*(-12)/(-8). Let u be (v/6)/(7/2). Suppose -4*y = -0*y. Which is greater: y or u?
y
Let b(o) = o + 1. Let k be b(-4). Let z be k/(-1)*(1 - 0). Let d = 5559 - 5562. Which is bigger: z or d?
z
Let w be -9 - -6 - (3 - 0). Let k = w + 5. Let i be -2 - (8 - (4 + k)). Is i < -7?
False
Let r = -1416 + 1431. Is 59 smaller than r?
False
Let a = 5128645/463 - 11077. Let f = a + 1424/38429. Which is smaller: f or -1?
-1
Let f = 9.26 + -15.26. Is f bigger than 4/19?
False
Suppose -7*x + 14 = 7. Let z be -2 - (-160)/12 - x*4. Which is smaller: z or 8?
z
Let x(n) = -20*n + 10. Let j(k) = 21*k - 9. Let m(w) = -4*j(w) - 3*x(w). Let c be m(-3). Let l be c/220 + 32/(-80). Do l and 0 have the same value?
False
Suppose -5*t - 47 = -132. Let c = 22 - t. Suppose -c*o - 5 = -0*o. Which is bigger: 1 or o?
1
Suppose 10*k = -12*k - 22. Is -7/32 at most