 values?
True
Let y be (-14)/77 + 326/(-506). Let v(z) = 7*z + 5. Let t be v(-1). Which is bigger: y or t?
y
Let k = 12030 + -18276. Is -0.1 >= k?
True
Let l be (-6)/393 - 10320800/(-177898). Let i be 318/(-9)*(-6)/4. Is l bigger than i?
True
Let f(j) = j**3 - 11*j**2 + 14*j - 13. Let k(o) = 5*o. Let d be k(2). Let t be f(d). Let s = 55/2 - t. Do 0.22 and s have the same value?
False
Let u(h) be the second derivative of h**4/4 - h**3/3 - 2*h**2 - 4*h. Suppose -20*t + 26*t = 18. Let r be u(t). Which is smaller: 18 or r?
r
Let d be (4/(-10))/(9/45) + 13. Suppose -s - 60 = d*s. Let p(k) = -k. Let v be p(10). Is s >= v?
True
Let z = 36.4 + -51.4. Let j = 247 - 2719/11. Which is smaller: j or z?
z
Let g = -23.11 + 22.01. Is g at most 30?
True
Let s(a) = -a**3 + 9*a**2 - 34*a + 861. Let p be s(12). Let y be ((-9)/12)/(1/(-24)). Is y at most as big as p?
True
Let x = 470 + -260. Let z = 212 - x. Which is greater: 11/7 or z?
z
Let d(x) = 3*x**2 - 73*x + 35. Let z be d(12). Which is greater: -2855/7 or z?
-2855/7
Suppose -f + 0*f = 2, 340 = -2*y - 2*f. Let j be y/2 + (11 - 17). Which is greater: j or -92?
j
Let d = -5089596/5 - -1017916. Let x(s) = 0*s - s - 9 + 2. Let r be x(-5). Is r at most d?
False
Let n be 91372/11422 + 152/38 + -12. Is n greater than -1?
True
Let w = 0 - 4. Let o(l) = -4*l + 5*l + 111*l**3 - 58*l**3 + 4 - 52*l**3 + 4*l**2. Let v be o(w). Which is greater: v or 8/23?
8/23
Let k be 0/1 - (83/166 + 14/4). Are k and -133/36 equal?
False
Suppose -114 = 3*q + 3*r, 0 = -2*q - 4*r - 29 - 43. Suppose l = 4*z - 18 - 15, -3*l - z - 112 = 0. Is l less than q?
False
Let c = -21444 - -21737. Is c greater than 6?
True
Suppose -3250 = -6*g - 7*g. Let d be g/(-35) - (-2)/(1 + 0). Is d less than -4?
True
Let w = 9504 - 9503. Which is smaller: 719/3 or w?
w
Suppose 0 = 3*f + 19*f + 924. Let x be (-14)/(-203)*f/4. Which is smaller: x or 0?
x
Suppose 0 = -3*q + 5*s - 5, -2*s = -q - 0*s. Suppose -4*u = -j + 4*j - 101, 0 = -u + 5*j + 31. Suppose u = -6*c - 34. Is q at most c?
True
Let n = -66 + 41. Let p = 0.0338 + -0.0334. Let x = p - 4.0004. Which is smaller: x or n?
n
Let x = 61 + -42. Let d(k) = 3*k**2 + 68*k - 827. Let m be d(9). Is x >= m?
False
Suppose -6 = -2*v, 2*r + 1 = 4*v - 1. Suppose -5*t = -5*l + 15, 2*l + 16 = 4*t + r*l. Let k be 58/112 - t/7. Which is bigger: -8 or k?
k
Suppose 43*m + 180*m + 509184 = -49*m. Is m less than -1872?
False
Suppose -75*c = -80199 - 93651. Is c less than 2321?
True
Let n = 539 - 534.65. Let r = n + -3.35. Let w = 17 + -10. Is w <= r?
False
Suppose -74*u = -69*u + i + 153, 5*i - 75 = 3*u. Which is smaller: u or 2?
u
Let o(s) = -s**3 - 17*s**2 - 13*s - 65. Let j be (-34)/(-4)*4/(-8)*4. Let g be o(j). Is 156 equal to g?
True
Let f(p) be the second derivative of -p**4/12 - 7*p**3/3 - 7*p**2 - 95*p. Let l be f(-13). Which is greater: l or -1/110?
-1/110
Let o(l) = l**2 - 11*l - 4. Let p be o(3). Let r be (-36)/p + -1 - (-16)/(-7). Let a = 25 - 129/5. Which is bigger: a or r?
a
Let l(w) = w**3 + 18*w**2 - 3*w - 52. Let d be l(-18). Suppose 0 = -2*v + d*v + 25*v. Suppose -u + 0 = -2. Which is bigger: u or v?
u
Let w = 3.8 - 4. Let b = 259.565 - -0.435. Let d = 264 - b. Is w smaller than d?
True
Let g(j) = -83*j + 19. Let o be g(3). Let k = 231 + o. Are k and -89 nonequal?
True
Suppose 276 = -4*q + 51*s - 50*s, 5*q - 5*s = -345. Which is greater: -76 or q?
q
Suppose -32*r + 12*r = -135*r - 4600. Is r smaller than -36?
True
Let x = 1405/14 - 209/2. Which is greater: x or -1/36?
-1/36
Let g = -345 + 352. Let t be 5 - (-10 - 7/g). Is t less than or equal to 18?
True
Suppose -1348 + 7207 = 27*u. Let p = u + -224. Is -2 smaller than p?
False
Let v be 21*(-54)/189 - 11060/(-1842). Which is bigger: 0 or v?
v
Let u(n) = -n + 8. Let q be u(0). Let g be (-310)/(-90)*3*(-50 + 2). Let b = g + 503. Which is greater: q or b?
q
Let v be (8/(-12)*2)/(8/(-12)). Let b(z) = z - v + 3*z - 227*z**2 + 228*z**2. Let p be b(-3). Is p <= -17/3?
False
Suppose 36*a - 64 - 17 + 117 = 0. Which is smaller: 2/2263 or a?
a
Suppose 36*k = -1875 - 1284 - 2133. Which is smaller: k or -140?
k
Let a be 357/(-22) + (-357)/1309. Which is smaller: -1 or a?
a
Suppose -53*g + 126 = -5*z - 57*g, -2*z + 5*g - 24 = 0. Let o = -29 + 6. Which is smaller: o or z?
o
Let p be (36/(-15))/((-3 - 0)*(-6)/(-180)). Which is smaller: 224/9 or p?
p
Suppose 111*m + 17653 + 113067 = 25*m. Which is smaller: m or -1528?
-1528
Let c(k) = k**2 - 5*k - 9. Let g be c(6). Let p be (-1 + 6 + g)*93/(-6). Let l be (-5)/((-15)/(-24))*4. Is l less than p?
True
Let j be 1/2*3/((-18)/96). Let i(r) = -r**3 - 8*r**2 + 2. Let a be i(j). Let m be 2/(-8)*2*a. Which is greater: m or -7?
m
Let m = 44587036/324083 - 2614/19. Is m != 0?
True
Let s = 11121 - 11748. Which is smaller: -624 or s?
s
Suppose -z = -2*q + 1770, 0 = -4*z + 7*q - 8*q - 7044. Which is greater: -1760 or z?
-1760
Let i = 343 - 341. Let r be (6/(-48))/(i/6). Is r not equal to -1?
True
Let j be 92 + (-2)/((-2)/1). Suppose -90 = -3*n + 3*k + 72, 0 = 2*n + 3*k - j. Which is bigger: 49 or n?
n
Let z be -14 + 7 - (5 + 19). Let d be (4 + -9 - -1) + 6. Let x be z*(d/3)/((-30)/135). Which is smaller: x or 92?
92
Suppose -7*r = -17808 - 26187. Let n = 144522/23 - r. Is n at least -1?
False
Let w(o) be the first derivative of -o**3/3 + 5*o - 8. Let p be w(0). Suppose 2*h = q - 2, 3*h = p*q - 1 - 2. Which is smaller: q or -1/9?
-1/9
Let c = 14 + 18. Suppose -24 = -34*x + c*x. Let b be x/42 - (-531)/(-21). Is b less than or equal to -2?
True
Let w = 102/5 + -5727/280. Let t be 4 - (0/4)/2. Suppose 0 = t*c - 4 - 0. Is c less than w?
False
Suppose -46*k + 285065 = 27*k. Is k greater than 3907?
False
Let a(g) = -1724*g + 2. Let s be a(-1). Let o = s - 60404/35. Suppose -3*z + 15 = c, -3*z + 15 = 2*c - 0*c. Which is smaller: o or c?
c
Let k(f) = 89*f**3 - 14*f - 16. Let q be k(-1). Is q at least -60?
False
Let x be ((-4)/(-8))/1 - (-1 - (-4935)/10). Which is greater: x or 0?
0
Suppose -4*m - 681 = -z - 1021, -z = -5*m + 426. Is m at least as big as 95?
False
Let f = -450 + 448. Let x be (1*f/(-7))/((-69)/(-14007)). Is x at most as big as 56?
False
Suppose -9 + 6 = -f. Suppose -14 + 2 = -f*c. Suppose 3*r + 5 = -o - 0*r, -36 = 4*o - c*r. Is o greater than -6?
False
Let q(g) = -g**3 - 20*g**2 - 98*g + 8. Let k be q(-9). Which is smaller: 2/7133 or k?
k
Let t(k) = 5*k**2 + 3*k + 2. Let u be t(-1). Let v be u + 0 - (-10 - -18). Is -24 >= v?
False
Let y = -2666 + 2678. Do 5 and y have the same value?
False
Let s = 8 + -18. Let p = -286 + 2015/6. Let q = 50 - p. Which is bigger: s or q?
q
Suppose 10*l + 203 - 533 = -5*w, 3*l - 106 = 2*w. Suppose 0 = l*b - 85 - 85. Are 45 and b equal?
False
Let o = 6778 - 6773. Which is bigger: -114 or o?
o
Let o = -222 - -1106/5. Let d = -4252/3 - -1374. Let h = 43 + d. Which is smaller: o or h?
o
Suppose 3*x + 7 = 5*c, 3*c + 0*c - 2*x - 5 = 0. Suppose -3*q + 4 = 2*o, 3*o + 3 = 2*q + 4*o. Suppose -6*v - q*v + 2*v = 0. Which is smaller: c or v?
c
Suppose 11*g + 32 = 13 - 14. Which is smaller: g or -40?
-40
Let d(a) = -a**2 + 7*a - 6. Let r = 55 + -50. Let f be d(r). Let g = f + 24. Which is greater: 27 or g?
g
Suppose 0 = -7*i - 4*i + 55. Suppose 2*x - 5*m = -6 - 15, m = i. Suppose -x*o + 8 = -8. Which is greater: 7 or o?
o
Let h = -9061.045 + 9061. Is h greater than or equal to -15?
True
Let y = -253.096 - -253. Let j = -13.904 + y. Which is smaller: 0.2 or j?
j
Let m = 15932/9 - 1768. Let b = -117 + 56. Let a = -61.1 - b. Which is smaller: a or m?
a
Let l be 104110/348 + -1*13. Which is smaller: 286 or l?
286
Let l be ((-68)/(-8) + -4)*12/10. Let j be ((-3)/((-30)/(-4)))/(8/(-10)). Is l < j?
False
Let x be -16*(-54 - -68)*1/(-436). Does 0 = x?
False
Suppose 312 = -16*l - 36*l. Let s be (15/80 - 3) + -3. Is s equal to l?
False
Let z = 2822 + -3671. Which is smaller: -1 or z?
z
Suppose 10*r = r - 108. Let y be (2 - r/(-9))*-6. Is -0.18 equal to y?
False
Suppose -2*o = 3*j + 65, 0*j - 139 = 4*o - 3*j. Let f(r) be the second derivative of -4*r**3/3 + 63*r**2/2 - 8*r. Let i be f(12). Are i and o nonequal?
True
Let h = -4825 + 4958. Is 928/7 greater than h?
False
Suppose 3*r - 20 = 4*c, 3*c = 7*c + 5*r - 12. Let a be (22/(-14) - c) + (-16)/(-28). Which is greater: 2/213 or a?
a
Suppose -21*o + 18 = -66. Suppose -o*v 