 6888 = 10*p + 4*p. Is -37 at least p?
True
Let r be 286618/1435870 - (-2)/(-10). Which is bigger: 0 or r?
0
Suppose p + p = -72. Let v = p - -38. Let n be (-2)/(-3) + (-2)/6. Which is bigger: v or n?
v
Let s(o) = -o**3 + 3*o**2 + 55*o + 2. Let d be s(9). Is -411 at most as big as d?
True
Let t = 2156 + -1936. Which is smaller: 224 or t?
t
Suppose 5*t = 14*t + 90. Let n be (82/(-14) - 0) + (-5)/35. Which is smaller: n or t?
t
Let z(p) = 2*p + 21. Let s be z(-9). Suppose s*o - 80 = -212. Let q be 1/18*o/(-11). Does q = -4?
False
Suppose 2*c = -p + 225, 5*c - 5*p - 461 - 94 = 0. Let n be c/2 - (-1 - -4). Let w = n + -49. Which is bigger: 2 or w?
w
Let j = -20.0793 + 3.0793. Is j smaller than -2/161?
True
Let m(u) = 41*u**2 + 242*u - 33. Let k be m(-6). Let t = 12 - 8. Suppose -s - d - 27 = 3*s, 5*d = t*s + 57. Which is smaller: k or s?
k
Let c = -0.17 - -0.1. Let p = -147 - -147.005. Let z = p - -1.995. Do z and c have the same value?
False
Suppose -3*a + l - 2 = 2*a, 0 = -4*a - 5*l - 19. Let n(d) = -12*d + 7. Let s be n(-4). Let q be 11/s - (a - (-16)/5). Do -3 and q have the same value?
False
Suppose -r = -4*x + 95, -x - 4 = 3*r - 31. Let a be 0 - 2*((-20)/8 + 2). Suppose h = -5 + a, 3*h + 36 = v. Does x = v?
True
Let p = -124 - -129. Let t be 0 + (3 - (-1 + p)). Which is smaller: t or 1/65?
t
Let f = -75 + 75. Suppose 0 = 5*t + 14 - 4, f = y + 3*t + 254. Do y and -248 have different values?
False
Let o = 185.4 - 10.4. Let g = o - 225. Which is smaller: g or -1?
g
Let o = -307454 - -307455. Let r = -1117/650 + 42/25. Does o = r?
False
Let p be (368/6)/((-2)/18*-3). Let s = -96 + p. Are s and 88 equal?
True
Let z(i) = -i**3 + 13*i**2 - 13*i + 14. Let v be z(12). Suppose -v*s - 5*g + 9 = -81, -4*g - 159 = -5*s. Is s at most 33?
False
Let f(c) = 67*c - 867. Let t be f(13). Let g(x) = -23*x - 14. Let j(p) = 68*p + 41. Let v(z) = -17*g(z) - 6*j(z). Let o be v(t). Which is greater: -77 or o?
o
Let h(t) = -2*t**3 + 2*t**2 - t + 4. Let a be h(2). Let c be 4/a*(-15)/2. Suppose -3*f + 2 = -c*k, -2*f - f - 22 = k. Do f and -20/3 have the same value?
False
Suppose 5*a - i = -85, 2*a - a + 26 = 2*i. Suppose 6*u + 57 = -63. Is u at least a?
False
Let i be 6/(-189)*3 - ((-95)/21)/(-5). Let y = 143 + -1005/7. Which is bigger: y or i?
y
Let r = -4043/98640 + 19/720. Does r = -3?
False
Let z = -57 + -28. Let a = 193 + -98. Let m = a + z. Which is bigger: 0.2 or m?
m
Suppose -13722 = 16959*y - 16953*y. Do -2288 and y have different values?
True
Suppose -50*a - 687085 = 145315. Is a < -16648?
False
Let a(l) = -l**2 + 3*l + 5. Let h be a(0). Suppose 10*o = 3*x + 12*o - 26, 0 = -4*x - h*o + 30. Suppose -2*n + 3*q - x = 3, 2*q = 2. Is n at most as big as 3?
True
Let x(k) = 6*k**2 + k + 7. Let w be x(5). Suppose -4*d + w = -d. Let u = d - 51. Which is smaller: u or 4?
u
Let s be (-14 - (-12 - 2))*1. Which is smaller: 1/212 or s?
s
Let u be (-6)/(-4)*2 - -50. Suppose 3*c + u - 18 = -5*m, -m + 49 = -5*c. Let t be 1 - c/(-8) - 143/52. Is t < 1/3?
True
Let y = -284/57 - 185/798. Which is bigger: -6 or y?
y
Let p = -287 - -493. Let d = p + -204.91. Let c = d + -0.89. Is c greater than or equal to 3/7?
False
Let w be 2 + 0/(-1) + 1. Suppose 497 = -58*u + 1947. Suppose 0 = -w*h - h - 2*p - 10, -5*h - 5*p - u = 0. Which is smaller: 5/9 or h?
h
Let l(i) be the third derivative of -i**6/120 + i**5/60 - i**4/12 + i**3/6 + 8*i**2. Let w be l(0). Let o = 72 - 72.4. Is w greater than o?
True
Suppose 0 = -10*v + 9*v + 3*l + 49, 2*l = -5*v + 160. Let o(b) = 3*b + 17. Let i = 34 + -28. Let j be o(i). Are j and v equal?
False
Let w = -2.57 - -3.315. Let n = -0.58 + w. Let u = n + 0.035. Is u less than 11?
True
Suppose -35 + 63 = 7*r. Let j be (r - (4 + -1)) + 71. Does 4 = j?
False
Let f = 10903 + -2126089/195. Do 1 and f have the same value?
False
Suppose 7*f = -p + 11*f - 10, 14 = -p + 5*f. Let s be -4 + p/(-12)*-10. Let l = -257 + 1297/5. Is s greater than l?
False
Let u = 555 - 552. Suppose 3*g - 4*l + 186 = 0, u*g + 2*l = 4*l - 192. Which is smaller: -65 or g?
g
Let b = -4330 + 38782/9. Let g(u) = u**3 - 9*u**2 + 12*u + 14. Let m be g(6). Which is smaller: b or m?
m
Let m be ((-2)/(-2))/((-3)/(-9)). Let p be 60/25 - m/(-5). Suppose -5*q = -2*h + 5, 4*q = 5*h + q - p. Which is greater: h or 10/9?
10/9
Let v be (5 - 1) + 11 + -10. Suppose 5*r + v*n + 120 = 0, r - 5*r - 2*n - 94 = 0. Is -25 less than or equal to r?
True
Let y = 10055 + -11167. Do y and -1111 have different values?
True
Let z = -0.02183 - 1.47817. Which is bigger: z or -2/29?
-2/29
Let a(o) = o - 1. Let b be a(0). Let y be (-6)/27*3*(-9636)/(-176). Is b at least y?
True
Suppose -1404 = 3*b + 4*d, -5*b - 2363 = 10*d - 11*d. Let y = b + 470. Which is greater: -13/5 or y?
y
Let q(l) be the third derivative of -l**5/60 + l**4/4 - l**3 + 10*l**2. Let p be q(4). Suppose 4*n - p = -6. Is n at most as big as 1?
True
Let b be ((-9)/2)/((-3)/4). Suppose 207105 - 207895 = -79*s. Is s bigger than b?
True
Let w = -86503 + 3115493/36. Let t = -153/4 + w. Which is smaller: 1/2 or t?
t
Let c be -59 - -24 - (7 + -22). Which is smaller: c or 1?
c
Let j(c) = -14*c + 1. Let n be j(-3). Suppose -2*p + n = f + 16, p + 2*f - 18 = 0. Let y = 11 - p. Is -4/11 != y?
True
Let k be -31*115/10 + 189/(-54). Which is smaller: k or -361?
-361
Let g = 1.6 - -68.4. Let q be 7/84 + 25/60 + (-1)/10. Which is greater: q or g?
g
Let j be (4/564)/(-1 + 2). Let d(o) = o**3 + 14*o**2 - 26*o - 164. Let x be d(-15). Is x smaller than j?
False
Let p = -2083/101 + 20603155/998991. Which is bigger: p or 0?
p
Let l be ((-195)/999 + (-8)/(-36))*-2. Let m = 15 - 15. Suppose t + m*t - 1 = 0. Which is bigger: l or t?
t
Suppose 12 = -12*j + 8*j, 0 = 5*o + 3*j + 14. Let p = -0.203 - -11.903. Is p greater than or equal to o?
True
Let a(g) = -g**3 + 9*g**2 + 4*g - 4. Let c be a(8). Let m be (-109 + -5)/((-5)/4). Let p = m - c. Is -7 greater than or equal to p?
False
Let q = -666 + 727. Let n = q - 60. Are 7/73 and n unequal?
True
Let p = -4103/360984 - 1/2136. Let c = 394940675/1014 - 389488. Let q = c + p. Which is greater: q or -1?
q
Let b = -4066 + 4037. Does -6 = b?
False
Let y be 4/((-3)/((-300)/(-8))). Let k(f) = 5*f**2 + 85*f - 52. Let i be k(-17). Which is greater: i or y?
y
Suppose -i + 10 = 4*i. Let m = -478 + 469. Let c be (465/630 - (-6)/m)*8. Are i and c unequal?
True
Let f = 20647756 + -20656192.037. Let t = f + 8429. Let c = t + 0.037. Are -2 and c unequal?
True
Suppose -24*i + 8*i = 0. Let n be 52/78*(i + 6). Are -1.4 and n nonequal?
True
Let n = 0.03706 - 0.07706. Which is bigger: -0.652 or n?
n
Let z be 30/(-10)*((-8)/(-10))/4. Let a(r) = -r**3 - 5*r**2 + 7*r. Let l be a(-6). Let c = 5 + l. Which is smaller: c or z?
c
Let n = -38756 + 31711. Which is smaller: 2/9 or n?
n
Let r = 3.7 + -3.74. Let k = -180.312 + 0.312. Let y = 183 + k. Which is bigger: y or r?
y
Let f = 44 - -10. Let m = -53.62 + f. Let q = 2.48 - m. Is -0.2 at least as big as q?
False
Suppose 0 = -141*b + 155*b - 87976. Which is smaller: b or 6285?
b
Let y(x) = 9*x**2 - 11*x + 22. Let w be y(-4). Which is bigger: w or 199?
w
Suppose -5*i - 7814 = -934. Let f = -262814/191 - i. Is f at least 0?
True
Let u be (-15)/((-30)/(-4))*1. Let j(q) = 52*q**2 - 9*q + 7. Let b be j(u). Which is smaller: 234 or b?
b
Let j(r) be the first derivative of 5*r**2 + 16*r - 1/3*r**3 + 1. Let a be j(11). Is 50/9 less than a?
False
Let u be -1 + (-6 - 0) - 13/((-143)/(-4125)). Which is smaller: u or -2664/7?
u
Let x be (2/7)/((-215)/40635). Which is smaller: x or -272/5?
-272/5
Let c be (-4)/2 + 1*(2 - 0). Let y be ((-12)/(-15))/((12/(-20))/(-3)). Let z be y*1*(-33)/(-550). Which is greater: c or z?
z
Suppose 437 + 342 = 19*n. Does 126 = n?
False
Let n = 1715 + -3681. Is n smaller than 0?
True
Let q(d) = 13*d + 79. Let g(w) = -w**3 + 6*w**2 - 10*w + 19. Let b be g(5). Let f be q(b). Is f less than -2/645?
False
Let j(h) be the second derivative of -h**3/6 + 13*h**2 - 4*h - 4. Let g be j(9). Let a = 33 + -15. Do a and g have the same value?
False
Let i be ((-65)/(-3) - 21) + 23/(-3). Is i at least -16?
True
Let l = 814.9202 - 815. Let h = l - 0.0202. Is -7.8 less than or equal to h?
True
Let x = 297620/26523 - -3/2947. Which is smaller: 12 or x?
x
Let c = 3.79 + -78.19. Let r = -12.4 - c. Which is greater: 