
True
Let t = -416.11 - -415.72. Let c(a) be the third derivative of -a**6/120 + a**5/12 + a**3/3 - 2*a**2. Let v be c(5). Do v and t have the same value?
False
Let f = 0.22213 - 0.32213. Which is greater: f or 3562?
3562
Let q be (-78)/8 - (-3 + (-10)/(-4)). Is -9 bigger than q?
True
Let x = -184 + 182. Let t be x/(-7) - (7731/(-63) - 2). Are t and 127 equal?
False
Let q be 2*(-1)/(-4) + (264/96 - 3). Which is bigger: q or 8200/9?
8200/9
Let n = -33226 - -33267. Are -30 and n equal?
False
Suppose 3*a = -a + 236. Let m(d) = 2*d**2 - 29*d + 163. Let z be m(8). Does a = z?
True
Let o be 9/(-81) + (-2108275)/(-225). Are o and 9370 equal?
True
Suppose -4*k + 5*n - 4*n + 2 = 0, -2*n + 3 = -k. Suppose -1306 - 3718 = 8*p. Let x = 14446/23 + p. Are x and k unequal?
True
Let z = 0.0433 + -277.0433. Let x = 278 + z. Which is smaller: x or 32?
x
Let o = 3578/1239 + -58/59. Which is smaller: o or 2?
o
Let d(f) = -5*f - 1. Let z be d(-1). Suppose 2 = -k + 2*k - 5*g, -g + 10 = 5*k. Suppose 0 = p - z*n - 5, k*p - 2*n = 6*p - 2. Which is greater: -3/80 or p?
p
Suppose 3*g - 1154 = 211. Let v = 325 - -129. Which is smaller: v or g?
v
Let h = -55125/2 + 28574. Which is smaller: h or 1012?
h
Let z = 896 + -896. Let g = 1 + -5. Which is bigger: z or g?
z
Let y be 45/(-27)*-3 - (-1 - -1). Let j be 12/8*(46/(-10) + y). Is j >= -5/2?
True
Let u = 758480091 + -1119516496595/1476. Let z = -5/738 + u. Is z greater than 79?
True
Suppose -3*x = 5*i - 57, 0 = -2*x + 103*i - 99*i + 16. Is 77/6 at most x?
True
Let d(l) = l**2 - 25*l + 78. Let q be d(14). Let w be 19/q + (-4988)/(-19824). Which is smaller: w or 1?
w
Suppose -38*s - y + 3530 = -40*s, 2*s = -y - 3530. Do -1765 and s have different values?
False
Suppose 5*p = -c - 121, c - 5*p = -p - 76. Suppose 0 = -44*k + 57*k + 1131. Let t be k - (-70)/(-4 + -3). Which is smaller: t or c?
t
Let u be (-15660)/(-75)*(-2*(-213)/84 - 5). Which is smaller: u or 16?
u
Let i = -123.25 + 123.32. Let k = 52 - 74. Which is bigger: k or i?
i
Let r = -599.9334 - -600. Let g = r + -6.0666. Let a be 9/(-3)*2/(-6). Is a at least g?
True
Let j be (-6)/4 + (-2)/(-4). Let s = 4/12627 - -62947/593469. Is s < j?
False
Let o = 21534 + -21528. Is o smaller than -1478?
False
Let r = -1127 - -3575. Is r greater than 2448?
False
Let s be (-24)/10*(-2790)/36. Let d(m) = 97*m + 21 - s*m + 92*m. Let f be d(-8). Is -12/5 at most as big as f?
False
Let w(q) be the first derivative of 10*q**3/3 + 19*q**2/2 - 20*q + 175. Let f be w(1). Is f < -18?
False
Let u = 61087/3 - 20026. Let c = u + -333. Is c != -5?
True
Let m be ((-21)/(-70)*-2 + 1)/((-3664)/(-150)). Is 1 < m?
False
Let y = 1.96 + 0.04. Suppose -6*w - 1360 + 4018 = 0. Let j = 6643/15 - w. Is j at most y?
True
Suppose -79*q + k - 1006 = -75*q, -q - 259 = -4*k. Which is bigger: -503/2 or q?
q
Let f be ((-3)/6)/(18 - (-69021)/(-3834)). Which is smaller: -1/19 or f?
-1/19
Let y be (0 - -4)*(-6)/(-8). Let a be (-2)/(704/(-356) - -2). Let v = a + 91. Do v and y have the same value?
False
Let h = 164 - 164. Suppose 0*z + 10*z - 60 = h. Let g be (5/(-75))/(4/(-350)). Which is smaller: g or z?
g
Let f = 10370707/423 - 24517. Which is bigger: 1 or f?
1
Let g be 226*1 + (-5)/((-35)/(-14)). Let b = g + -241. Is b != -1/5?
True
Let w = 0.118 + -0.13. Let h = -0.038 + w. Let n = h + 0.29. Is n less than or equal to 1?
True
Let u(y) = 3*y**3 + 9*y**2 + 20*y - 2. Let d be u(-6). Let f = 485 + d. Which is smaller: f or 9?
9
Let p = 259.75 + -259.87. Does p = -867?
False
Suppose -2*j - j + 2 = 4*i, -4*j = 4*i + 4. Let u(y) = -4*y - 24. Let m be u(j). Is -18/29 bigger than m?
False
Suppose -4*u = -7*u + 9. Let f(n) = n**2 - 8*n - 72. Let s be f(-10). Let d be (s/(-20))/(u/(-15)). Does 27 = d?
True
Let x(t) be the second derivative of t**3/2 - 79*t**2/2 + 193*t. Let j be x(-19). Is j greater than or equal to -135?
False
Let x be 13/(-26)*(-15)/(-54390). Which is greater: -1 or x?
x
Let y be 7 + ((-1350)/(-63) + -8)/(-5 + 4). Which is greater: y or 2?
2
Let w be -12 - (-26 - -17 - (-36)/(-8)). Let v(x) = x**2 + 7*x + 7. Let d be (-1*3*-2)/(-1). Let r be v(d). Is r at most as big as w?
True
Let c = -455 + 252. Which is smaller: c or 1?
c
Let t be ((-22)/(-2) + 36/(-4))*1/(-2). Which is smaller: t or -6?
-6
Suppose b - 78 = 4*b. Let r = 23 + b. Let i be (1/(-7))/(r - (-318)/108). Is i smaller than 3?
True
Let s be 2/8 - (-1924)/(-1040). Let r = 376/185 + s. Is 0 at most r?
True
Let d = -942 + 682. Let o = d + 262. Which is smaller: o or 24/41?
24/41
Suppose 5*n + 3*h = -h + 654, -3*n + 385 = -5*h. Let v be 100/14 - n/455. Suppose 2*a = -4*f + 30, 4*f - 4*a + 9*a - 33 = 0. Is f at least v?
True
Let w be (-267)/462 - (-2)/4. Let u(h) = 4*h**3 - 30*h**2 - 24*h + 65. Let b be u(8). Which is greater: w or b?
b
Let k(x) = -x**3 - 8*x**2 - 2*x - 15. Let q be k(-8). Let j be q/(-1) - 230/(-5). Let l = -45 + j. Which is greater: l or 10/7?
10/7
Let z = -7 - -8. Let m be z/(1 + 36/(-32)). Let k be 6/(-78) - (255/65 - 1). Which is smaller: k or m?
m
Suppose 0 = -13*x - 11*x - 35*x + 177. Is x < -408?
False
Let g(o) = -14*o - 253. Let r be g(-18). Let j be (9 + -8 + -1)/r. Let s be (-3)/6 - (-10)/4. Which is greater: j or s?
s
Let n = -0.039 + -322.961. Let z = 328 + n. Are -0.29 and z nonequal?
True
Let p = 4.31 + 66.69. Let j = -71.3 + p. Is j at least as big as 27?
False
Let c = -40.913 - 0.087. Let u = c - -41.1. Let d = -41.01 + 0.01. Which is smaller: d or u?
d
Let h(p) = -p. Let f(d) = 11*d + 8. Let k(q) = -f(q) - 4*h(q). Let m be k(-4). Let x be -3 + ((-108)/m)/(-3). Which is greater: -2 or x?
x
Suppose 0 = q - 4*n + 53, 3*q + n = 6*n - 124. Are q and -30 unequal?
True
Let d = -8632 + 8676. Which is smaller: -1/84 or d?
-1/84
Let v be -3 + (-60)/16 - -7. Let p = 5 - 7. Let d be (-1 - -1)*p/4. Which is greater: d or v?
v
Let l(i) = 24*i**2 + 130*i + 400. Let y be l(-3). Is y less than or equal to 229?
True
Let u = 15163/75 - 1011/5. Let x(t) = 51*t + 1836. Let c be x(-36). Is u at least c?
False
Suppose 3*d + 5 = -14*u + 9*u, -4*u - 5*d - 4 = 0. Is 2/3883 at most u?
False
Let w be (17712825/120)/(-13) + (-6)/(-16). Is w != -11354?
False
Let z be ((-1071)/(-2788))/((-15)/40). Let j be (-10)/25 + 4/10. Which is smaller: j or z?
z
Suppose c = 3*a - 43, c - 4*a = -3*a - 43. Let y be 258/c + 688/114. Is 4 > y?
True
Let j = 24755 + -24755.0147. Which is smaller: j or 12?
j
Suppose -27*x = -32*x + 15. Suppose -4*b - 8 = x*l + 53, 48 = -2*b + 2*l. Is b at least as big as -18?
False
Let p be 13 + 4700/(-125) - -22. Let t be 1/12*15/5. Which is smaller: t or p?
p
Let k = -1600 - -2801. Let u = k - 6024/5. Let a(w) = w**2 - 12*w + 30. Let t be a(5). Are t and u unequal?
True
Let q be 3/(3/(-13)) + (-236)/236. Let p = 5 + -1. Is p equal to q?
False
Let o be 47/5 + (-4)/10. Suppose -3*h - o = -3. Suppose 4*r + 4*j + 8 = 0, -2*r + 4*j = r + 13. Is h != r?
True
Suppose -m + 3*x - 711 = 0, -9*m = -12*m + x - 2101. Which is bigger: -702 or m?
m
Let p = 1433 + -1433.07. Which is smaller: p or 0.042?
p
Let f be 8734812/2483 - (-4)/26. Which is greater: f or 3517?
f
Suppose -9*g - 908 = -291 + 1795. Which is smaller: -274 or g?
-274
Let r(u) = u**2 - 20*u + 24. Let z be r(19). Let n = z + -7. Let x(s) = -13*s - 2. Let k be x(n). Do 23 and k have the same value?
False
Let m(i) = -112*i + 766. Let k be m(7). Which is bigger: -35 or k?
k
Suppose 5*y = 4*w, 0 = y - 5*y - w. Suppose 4*m = -y - 4. Let l = -16207/11 + 1473. Which is smaller: l or m?
m
Let o be (-1)/2*(-1326)/9. Let m be 7008/(-64)*(-12)/18. Which is bigger: m or o?
o
Let d = 9488 - 1831188/193. Do d and -0.2 have the same value?
False
Let k = -1764 + 1048. Let x = 714 + k. Which is bigger: x or -2/467?
-2/467
Let o = -463 + 428. Let m be 3/(-3) - 0 - (-80)/o. Is m greater than -4?
True
Suppose 3*p + 0*p - 2*z = 31, 4*p - 40 = 2*z. Let d(v) = -v**3 - v**2 + v + 4. Let m be d(0). Suppose m*i = 2*i - 4*s + 18, 4*i - 3*s - 47 = 0. Is p < i?
True
Suppose -248*x - 17918 = 58962. Is x < -310?
False
Let z = -32 - -41. Let p = 171.96 - 163. Let v = p - z. Which is smaller: 3 or v?
v
Let c = -13 + 15. Let g = -752 + 752.4. Is c bigger than g?
True
Suppose -125013 = -251*o + 335321. Is 1833 equal to o?
False
Let c(t) = 12*t + 217. Let h = -16 - 2. Let m be c(h). Is m greater than 1/25?
True