1). Is 1/4 equal to p?
False
Let z be 20/(-21) + 4/6. Let t be (-1 + (-8)/(-6))/(214/3852). Let u be (t/(-18))/(8/24). Is z less than or equal to u?
False
Let i = -59 + 63. Suppose -11 = -4*z + 5, 4*x = i*z. Suppose u + s = -19, -3*s = x*u - 0*s + 79. Does u = -24?
False
Let h = 10 + -9. Let s be (9/(-162))/(h/(-19)). Which is smaller: 1 or s?
1
Let o(m) = 6*m - 40. Let i be o(7). Suppose 0 = -f + 4*j - 11, -5*f + i*j + 26 = -f. Let b be (-6)/(-5)*(-15)/(-2). Is f less than b?
False
Let n = 7/2 - 4. Let f(i) = 29 - 10 + 10 + 12 + 82*i + 4*i**2 + 14. Let z be f(-20). Is z bigger than n?
True
Let u be ((-8)/(-252))/((-116)/(-24) - 5). Let r = u + 10/273. Is r smaller than -31?
False
Let w = -4401 + 4400. Let o be (-4)/(-118)*(-4 + 5). Are o and w equal?
False
Let c be (44/(-33))/(2/6). Let n be (c/((-32)/74))/(3/3). Is n >= 8?
True
Let q = -249 + 248. Let r be (12/60*0)/(q + 0). Are 1.31 and r equal?
False
Let d be 2360/16 + (-1)/2. Let m(u) = 2*u**2 - 95*u + 1087. Let p be m(14). Does d = p?
False
Let m = -14 - -14.2. Let p = 20794 + -20794.75. Is m > p?
True
Suppose 5*q + 4*k = 7*k - 36650, 0 = -q - k - 7330. Is -7330 >= q?
True
Let d be (4/20)/(2/25)*12. Let q be (-16)/(-7) - (0 - 6/(-21)). Suppose d = -q*r + 5*r. Do 11 and r have the same value?
False
Let u = 11949 + -11948. Which is greater: u or -3/919?
u
Let b be ((-2)/27 - 58/(-54)) + 0. Does b = -1/9581?
False
Suppose -24*s + 1181 = -883. Let z be (-8)/(-44) - (228/44)/1. Which is bigger: z or s?
s
Let m(u) = 399*u - 2716. Let q be m(-10). Which is smaller: q or -6707?
-6707
Suppose -20*d = -3*d - 1122. Let c = 66 - d. Which is smaller: 1/237 or c?
c
Suppose -168*j - 308 = 2*f - 173*j, -f - 3*j - 143 = 0. Is f greater than -133?
False
Let i = -164902 - -1154399/7. Let s be 2/(-6) + 80/6. Which is smaller: i or s?
i
Suppose 2*z = -4*u - 6, 3*u - 3*z + 336 - 300 = 0. Which is smaller: u or 726?
u
Let b = 32.394 - -6.436. Let c = b + -39. Suppose 0 = 197*u - 215*u - 36. Which is bigger: c or u?
c
Let p be (-1092)/(-26)*2*(-2)/((-4)/(-3)). Is p >= -150?
True
Suppose -3*a - 65 = -h, -11*a + 12*a - 73 = -h. Are 53 and h non-equal?
True
Let q be (-49)/(-21) - (-266620)/60. Is q less than or equal to 4445?
False
Let c be -6*(8 - -9)/102. Is -1/34138 at most c?
False
Suppose 6*f + 12972 = -2*l, 9*f - 4*l - 6486 = 12*f. Is -2163 equal to f?
False
Let o be (-34)/(-136) - 143/(-4). Let z be (o/(-180))/(2/(-4)). Is 12/101 smaller than z?
True
Let b = -4482 + 4481. Is 18972 <= b?
False
Let u = -3.912 - -2.912. Which is bigger: -18.5 or u?
u
Let l = 4.3106 - 4.33. Let b = 17.8194 + l. Which is greater: b or -1?
b
Let p = 10 + -5. Let b = -14429 - -14381. Which is bigger: b or p?
p
Let n be (-3 - 25/(-5))*4. Suppose 9*g = 7*g + 4*k - n, 0 = 4*k + 4. Is -38/7 greater than g?
True
Suppose 297*q = 311*q + 14. Which is greater: -96/79 or q?
q
Suppose 5*j = i + 6, 2*j - 3*i + 9 - 1 = 0. Are -25 and j equal?
False
Let j(c) = -c**3 + 15*c**2 + 12*c + 22. Let z be j(16). Let n be (3 - z/4)*(-10 - -12). Is 26 < n?
True
Let o(y) = -y**2 + 2*y + 3. Let u be o(-1). Suppose 6*n + 4 = 2*n, r + 4*n + 1 = u. Suppose 4*k = 10*k - 72. Is r > k?
False
Let m(r) = r**3 + 52*r**2 - 286*r - 56. Let z be m(-57). Let i = 439.4 + -31.4. Which is greater: z or i?
i
Let x = 3460 - 3460.42. Is 13 bigger than x?
True
Let m be (-33)/22 - (-21)/(-10). Let f = -46141 + 1615066/35. Let r = f + m. Is r less than -1?
False
Let h be (2021/47 - 42)*2411*1. Which is greater: 9649/4 or h?
9649/4
Let y be -641*(2 + 1/(-1)). Let n = 640 + y. Which is bigger: n or -4/7?
-4/7
Let r(w) = -w**3 - 14*w**2 + 26*w - 2. Let o be r(-15). Let c(a) = a**3 - 13*a**2 - 24*a - 27. Let j be c(14). Is o > j?
False
Suppose -u - 4*l = -27, -2*l - 25 = 6*u - 9*u. Is u bigger than 23?
False
Let c(y) = -y**2 + 6*y - 8. Let n be c(4). Let g = 610 - 602. Is n < g?
True
Let r = 19 + 13. Suppose 31*k = r*k + 5. Let n(d) = d**2 + 8*d + 6. Let g be n(-5). Is g < k?
True
Let w = -145 + 556. Let v = 413 - w. Let i = 0 + -13. Which is smaller: v or i?
i
Let n be 52/(-130) - (-28626)/65. Which is smaller: 441 or n?
n
Let p(n) = -2*n**3 - 19*n**2 - 7*n. Let s be p(-9). Let d = s + 13. Is -13/3 != d?
True
Let b be (-88 - 0)*(-194 + 202). Are b and -700 nonequal?
True
Let f = -3 + 0. Let w be (-2)/f - (-19)/3. Let d = 4593 + -4589. Which is bigger: w or d?
w
Let k(u) = 2*u**3 - 33*u**2 + 110*u - 28. Let w be k(12). Suppose 0 = 5*m - 7 - 3. Let g be 3/m*(-16)/6. Is g less than or equal to w?
True
Let m = 94 - -379. Let w = 471.4 - m. Does 12 = w?
False
Suppose 10 = 2*r + 6. Suppose r*d = -i + 14, -5*i - 2 = -2*d - 0. Let b be 1 + (1 - d - -4). Which is smaller: b or -7/15?
-7/15
Suppose -3408 - 3332 = 8*q + 5164. Do q and -1488 have the same value?
True
Suppose 5*q - j - 146 = -2*j, 22 = q + 2*j. Let c(y) = 12*y**3 + 7*y**2 - 21*y + 8. Let w be c(2). Let i be w/(-120)*104/(-3) - -4. Is i less than q?
False
Let w be 51/(-17) + 2/(-12)*-14. Let f = 37.1 - -4.9. Let k = 34 - f. Which is bigger: k or w?
w
Suppose 2*y = 5*v + 12 + 17, 4*v + 40 = 4*y. Let f be -3 + y + (-46)/12. Let z(x) = -2*x**3 + x. Let p be z(-1). Is p greater than f?
True
Let x = -0.23219 - 3528.76781. Which is smaller: -0.4 or x?
x
Let g be 4/(-26) - (-62930)/65. Suppose 19*v + 115 = -g. Is v != -59?
True
Suppose 94*r - 171*r + 44044 = 0. Is 572 smaller than r?
False
Let l = 8 - -3. Let z = 214 + 131. Let b = 345.1 - z. Which is smaller: l or b?
b
Let g = -1113483/29 + 38396. Which is smaller: 82 or g?
g
Let q be (-636)/(-4)*-1 + 7 + -1. Let x be q/(-90) - (-3)/(-2). Which is smaller: -2/41 or x?
-2/41
Suppose 3*s + 60 = 5*f, -35 - 65 = -5*f - 5*s. Let h(q) = -q**3 + 14*q**2 + 32*q - 17. Let r be h(f). Is r less than or equal to 238?
True
Suppose -3*n = -2*u - 7624, 5*u + 34 = -3*n + 7665. Which is greater: n or 2543?
2543
Suppose 2*w + 32 = 12. Let n be 46/(-4) + (-245)/(-294). Which is bigger: w or n?
w
Let a = -0.47321 + 603.46321. Let z = 603 - a. Is 2/3 greater than or equal to z?
True
Let i = -8853 - -8854.864. Which is greater: i or -1?
i
Let b be (-2)/8 + (-255)/20. Suppose 23*m = -13614 + 3448. Let j = m - -859/2. Which is greater: b or j?
j
Suppose -4*t + 49 = -31. Suppose -t*j + 17*j = 5*r, -4*j - r = 0. Let w be (-1)/(-4) - 90/(-88). Which is smaller: w or j?
j
Let f = 1774/217 + -187/31. Which is smaller: 343 or f?
f
Let i = 163/23 + 2727/115. Let n = 263/10 - i. Which is smaller: 2/3 or n?
n
Let f = -19/45 - -22/585. Let h = -148.8 - -149. Which is smaller: h or f?
f
Let i = -881 - -880. Let k = 2/1213 + 15749/12130. Which is greater: k or i?
k
Let z = -2776.48242 + 2776.6. Does 1/3 = z?
False
Let w be (345/70 - 5)*4806/(-11). Let o = w + -348/11. Let f(l) = l - 7. Let q be f(6). Which is smaller: q or o?
q
Let p(o) = o**2 + 17*o + 56. Let m be p(-12). Let g(b) = -6*b - 23. Let f be g(m). Are 24/41 and f equal?
False
Let u(t) = 5*t - 44. Let l be u(12). Suppose -d - 4*d = -4*z - 52, 4*d - l = 0. Is z greater than -13?
True
Suppose 69*j - 262*j + 26634 = 0. Which is bigger: j or 141?
141
Let h be (9/(-6)*6 + 5)*(-6058)/8. Which is smaller: h or 3028?
3028
Suppose -2*d - 5*j = 13, -5*j - 18 = -16*d + 13*d. Let p be 15/(d + -4) + (-407)/(-77). Let i = -36 + 15. Which is greater: p or i?
p
Let t be ((-770)/28)/(3/(-6)). Let k be 22/t + 34/40. Suppose 3*q = -0*q + 3. Do k and q have the same value?
False
Let b be -56*(-1*1 - 65/(-91)). Suppose f + 5*m + 11 = 31, -2*f + b = 4*m. Is f at most as big as 0.055?
True
Let g = -270 + 249. Let i be -21*7/g + -7. Which is greater: 10 or i?
10
Let s = -130 + 132. Let f = 21 + -19. Suppose 3*t + 8 = -t - s*i, 2*t + 4 = f*i. Which is bigger: t or -4?
t
Let b = -94 - -94.225. Let m = b + -0.025. Let u = -2/303 - -931/3333. Is u equal to m?
False
Suppose 3*k = -a - 2909, 0 = 6*k - 7*k - 3*a - 975. Let x = k + 7843/8. Is 12 greater than x?
True
Let q(o) = o**2 - o + 1. Let f be q(2). Suppose 0*y + 15 = f*y. Suppose -z - 4*z = -3*c - 30, 5*z = y*c + 40. Which is bigger: -9/2 or c?
-9/2
Let x(m) = -5*m + 313677. Let w be x(0). Let l = 601318856/1917 - w. Let s = -7/71 + l. Is s < -1?
False
Let y = -8 - -15. Let s(t) = t - 5. Let b be s(-5). Let z be (-38)/(-4) - (-5 - 55/b). Is y at most as big as z?
True
Suppose -95 - 123 = -2*t. Let m be 78 - 82 - (-437)/t. Whic