nt values?
True
Let v = 163/114 + -29/38. Which is smaller: v or 4/793?
4/793
Suppose 2 = 2*y, 2*y = -5*w + 3 - 11. Let h = w - -3. Let x be 138/60 - (-286)/(-156). Is x not equal to h?
True
Let q = -60 - -59.924. Let n = -0.007 - q. Let o = -35 - -36. Is n >= o?
False
Let f = -9276 - -9347. Is 30/7 <= f?
True
Let j = -0.0968 + -16.8232. Let q = j - 2.08. Is q at least as big as 1?
False
Let b(p) = -26*p**3 + 2*p**2 + 11*p + 14. Let r be b(-3). Which is bigger: 699 or r?
r
Let j = 261.346 + -0.346. Let w = -8781.1 - -8781. Which is bigger: w or j?
j
Let b = -18 - 6. Let u = b - -28. Suppose 5*w + 5 = -5*j, -u*j + 10 = -5*j + 2*w. Is j <= -4?
True
Let z = -78596 - -394598/5. Do z and 323 have different values?
True
Let m(i) = -i**2 + 89*i - 223. Let f be m(72). Which is smaller: 1002 or f?
f
Let z be ((-29)/(-14) - 2)*(-98)/(-28). Which is greater: z or -2/225?
z
Suppose 3*g - 42 = 12. Let a be (7/(-28))/((-2)/(8/g)). Is 1 at least as big as a?
True
Let g = 610 + -576. Let j be (1 + 42/(-45))*-2. Is g greater than j?
True
Suppose -4*u + 230 = -9*u. Let s be u - -46 - ((-35)/19 - -2). Let v = 1 + -1. Which is bigger: s or v?
v
Let r = 3/4723 - -259372/618713. Which is bigger: 0 or r?
r
Let c = -348 - -321. Let v be 1 - 8/12 - (-36)/c. Let z be ((-2)/110)/(1*-1). Which is smaller: v or z?
v
Let k = 90.0793 + -0.1793. Let j = k - 90. Which is greater: -436 or j?
j
Let g be (-5)/(-2) + 40780/40. Let l = g + -1023. Which is smaller: 8/121 or l?
l
Let j = -47 + 126. Let g(i) = i**2 + 75*i + 885. Let x be g(-13). Are x and j equal?
True
Let w = -11527.039 - -11527. Which is bigger: 177 or w?
177
Let j = 266.84 - 214.84. Which is smaller: j or -42?
-42
Let z = -0.34 - 52.66. Let h = -50.213 - 4.787. Let v = z - h. Which is bigger: v or -0.1?
v
Let t be (110/(-5))/(((-4)/8)/((-41)/(-984))). Suppose 4*u - 5*r + 25 = 0, 4*r = 4*u - 0*r + 20. Suppose u*z - z + 2 = 0. Which is smaller: z or t?
t
Let h(n) = 10*n + 6. Let p be h(6). Suppose 246*w = 9267 + 7215. Which is smaller: p or w?
p
Let i = 281 + -171. Let r = i - 213. Let v = 69 + r. Is 0.1 at least as big as v?
True
Let v(f) = 139*f + f**3 + 27*f**2 - 27 - 251*f + 136*f. Let b be v(-26). Do -3 and b have the same value?
False
Let a = -9110678/261 - -313576/9. Let n = 65 + a. Which is greater: 0 or n?
0
Let f = -555 - -556. Let o be f*(-2)/(534/15). Which is smaller: o or -1?
-1
Let c(h) = 2*h - 119 - h + 118. Let g be c(-3). Let o be (-1)/g - (-354)/56. Is 7 at least o?
True
Let n(j) = 2*j - 1. Let d be n(7). Let u(o) = -64*o - 194 + 20*o + 4*o**2 + 206. Let h be u(11). Is d equal to h?
False
Let f = 44 - 151. Let y = 107.01 + f. Is -2/9 < y?
True
Suppose -2*x + 18*v - 21*v = 175, -371 = 4*x - v. Let u(m) = -m**3 - m**2 - 3*m + 1. Let l be u(4). Is x greater than l?
False
Let t = 42283 + -12980866/307. Is t >= 0?
True
Let t be 16 - (14 - 6)*2. Is 3/343 at most t?
False
Let k be 28/15*(-15)/162. Suppose -28 = -6588*w - 6581*w + 13236*w + 39. Is w < k?
True
Suppose 82 = 20*o + 2. Suppose -2*k = o*u + 102, 2*k = -7*u + 8*u + 33. Which is greater: -28 or u?
u
Let g = -6917 - -9042. Are g and 2127 unequal?
True
Suppose 8*l + 3*l = -1639. Let m = l + 151. Let p(c) = -c**3 - c**2 - 3*c - 3. Let h be p(-2). Is h less than or equal to m?
False
Let v = 625391/3 - 208457. Let p(y) = 6*y**3 - 1. Let q be p(1). Suppose -q*u - 60 = -5*n, -6*u = n - 4*u. Which is smaller: n or v?
v
Suppose -10552 = -4*p + 4*i, -4*p + 6*p + 2*i - 5252 = 0. Is 2633 at least as big as p?
True
Let q(m) = 10*m - 10. Let y be 2/(-6)*(-3 + 4)*-3. Let d be q(y). Do -14/15 and d have the same value?
False
Let g(c) = -2*c**3 - 2*c**2 + 4*c - 2. Suppose s + 78 = 4*s + 5*b, 2*s = -3*b + 52. Suppose -6 = s*y - 24*y. Let v be g(y). Is 21 at most as big as v?
True
Let t = -0.0274 - -0.5234. Let v = -0.576 + t. Is v > 1/27?
False
Let w be (38/57 - 13/15) + 257/(-140). Which is bigger: w or 0?
0
Let c = 10727 + -10838. Which is smaller: c or -774/7?
c
Let y be (-21)/(-27) - 1 - (-573)/27. Let v be (-8)/14 - y/49. Is 1 less than v?
False
Let z = 251/3 + -84. Let q be (1/(-8))/(205/492). Do z and q have the same value?
False
Let v(h) = 121*h - 12517. Let y be v(98). Is 11 at most y?
False
Suppose -3*u + 17 = 5. Suppose -6*z - 13*z = -95. Suppose 0 = -5*m - 5*r - 15, 4 - 3 = z*m - 3*r. Is u < m?
False
Let t = -1003.7 + 1003.7. Which is greater: t or -9272?
t
Let g = -99049/4 - -24762. Are -141.22 and g nonequal?
True
Let p = 0.0724 - 0.3724. Let b = -165.1 - -164. Does p = b?
False
Let i be ((-2)/8 + 429/84)*(-273)/(-60). Which is bigger: i or 23?
23
Let w = -56.3 - 51.9. Let l = w + 108. Which is bigger: l or -43?
l
Let x be 27/6 + 1*6/(-12). Let h be ((-2)/x)/((-75)/14 + 6). Is h bigger than -0.1?
False
Let j = 1171.2 - 1226.2. Let m = 128 - 64. Let l = m + j. Which is smaller: -1/6 or l?
-1/6
Suppose 0 = 25*a - 83*a - 44*a. Is -104 smaller than a?
True
Let y(p) = -4*p - 48. Let o be y(-21). Let d = o + -33. Let v(w) = -2*w**3 + 16*w**2 - 2*w + 10. Let j be v(8). Is d < j?
False
Let f = -2803 - -98097/35. Are f and -1/9 nonequal?
True
Let g be 1 - (4 + 4 - 1). Let y be ((-30)/(-35)*1)/(g/(-28)). Suppose -5*k - y*v - 98 - 233 = 0, 340 = -5*k + 5*v. Is -67 at most k?
True
Let y be (13/11)/((-65)/715). Which is greater: -315 or y?
y
Let f(a) = 14*a - 71. Let r be f(7). Let p(j) = j**3 - 4*j**2 - 4*j + 21. Let t be p(5). Is r at least as big as t?
True
Let i be (26/4)/(7/(-14)). Suppose -h + 12 = 2*h. Let t be -14 - i - (-5)/h. Which is smaller: 0.9 or t?
t
Let v = -482 + 513. Suppose -1568 = -v*w + 23*w. Is w less than 197?
True
Suppose 2107 + 13703 = -2*q - q. Which is greater: -5272 or q?
q
Let z be 1*((-70)/25 + 3). Let l = -12 - -15. Let i be 2 + (-1 + l - 6). Is i smaller than z?
True
Let c be (-130)/(-15) - 2/3. Suppose -25*m - 4*h = -21*m - 68, -h = -1. Let d(p) = p**3 - 17*p**2 + 10*p + 100. Let o be d(m). Which is greater: c or o?
c
Suppose -698*d - 608 = -693*d + 2*n, 0 = 4*d - n + 476. Is d bigger than -48?
False
Let n(w) = w**3 + 24*w**2 - 53*w - 26. Let l be n(-26). Suppose -27*k + 20*k + 28 = l. Which is smaller: -3 or k?
-3
Let y(j) be the second derivative of -j**4/12 - 3*j**3 - 7*j**2/2 + 62*j + 8. Suppose 2*a + 38 - 4 = 0. Let s be y(a). Does s = 8?
False
Let d(i) = 315*i - 3364. Let g be d(36). Is 7978 at least as big as g?
True
Let b = -47 - -152. Let v be (20/b)/(-16 + -2). Does v = -1?
False
Suppose 293*n + 6 = 290*n. Let s be (n + 5 - 0)*-78. Which is smaller: s or -235?
-235
Suppose -374 = -3*i - f, -4*i - 3*f + 100 = -402. Let p = i + -2729/22. Which is smaller: p or -1?
-1
Suppose 0 = -10*k + 28 + 52. Suppose -4*s - d = 3, s - 3*d = k - 25. Do s and -5/6 have the same value?
False
Suppose -5*q = -0*q + 5*x + 495, 2*q + 189 = x. Let m = q + 81. Which is bigger: m or -82/5?
m
Suppose 14*a - 9 = 13*a. Let h be 4*(-1)/117*(3 - a). Let u = 149/156 - h. Which is smaller: u or 2?
u
Suppose 2*z + 23 = 5. Let d be 38 + ((-6)/z)/((-8)/(-12)). Suppose -108*s + 39 = -107*s. Is d greater than or equal to s?
True
Let m = 426 + -429. Let v be 670/15*(m + (-45)/(-10)). Is v < 68?
True
Let y = 75593/13 - 5815. Which is bigger: -37 or y?
y
Let z(p) = 43*p**3 + 6*p**2 - 24*p + 27. Let b be z(-8). Is -21413 greater than or equal to b?
True
Suppose -10*y - 1145 = -265. Let b = y - -94. Suppose 2*h + 10 = -0*h + 4*x, -4*x = -4. Is h at least b?
False
Suppose -4*y - 16 = 0, j - y = -3*y - 6. Let q be (8/(-8))/(1/j). Let m be (0 - 60/55)/q. Is m equal to 2?
False
Let o = -27078 + 22244. Is -4834 less than o?
False
Let t(r) be the second derivative of r**6/90 - r**4/12 + 29*r**3/6 - 19*r. Let w(v) be the second derivative of t(v). Let p be w(-3). Which is smaller: p or 33?
33
Suppose 4*h + 0*b - 94 = 15*b, -587*b - 6 = -586*b. Let l be 99962/(-9)*(-12)/58. Let c = l + -2298. Which is smaller: c or h?
c
Let p = 19190 + -18853. Is 331 >= p?
False
Let r be 0 + 1 + (-32)/(-40) + 12058/(-6710). Do r and 0 have the same value?
False
Let p = 223 - 239. Let w be 3/((-12)/(-5)) + 24/p. Let r = -2 - 1. Are w and r non-equal?
True
Let l = -19.3347 + 0.0347. Let b = 7.3 + l. Suppose -d + 3*h - 21 = 2*d, -2*h + 11 = -d. Is d < b?
False
Let k be 5/(-9)*(122/61)/(349/6). Is k at least 1?
False
Let d = -1587.27 - -347.27. Is d not equal to 0.5?
True
Let g = 1203 