). Which is smaller: c or h?
h
Let c = -7067695328782951/238368 + 29650352937. Let q = c - -1/6112. Let k = 10/13 - q. Which is greater: k or 0?
k
Let q = 17907/14 - 1280. Let l = q + 9/14. Let x = 75 + -87. Which is smaller: l or x?
x
Suppose 3*a - 1224 = -5*d, -173 + 561 = a - 5*d. Is 403 bigger than a?
False
Let l = 17 - 18. Let h be (-27)/(-21) + 3/(-3). Which is greater: l or h?
h
Suppose 2*x = -x. Suppose y + x*a - a + 3 = 0, a = -4*y + 3. Let k(b) = b**3 - b**2 - b - 1. Let w be k(0). Which is smaller: w or y?
w
Suppose 3*o + 386 = 4*r + 4*o, 2*o = 3*r - 295. Let a = -98 + r. Is -3/25 <= a?
False
Let u = -0.0178 + -254.9822. Is u greater than or equal to 1?
False
Suppose -4*n - 2*h = -10, -3*n + 4*h + 13 + 22 = 0. Suppose -12 = -n*t - 2. Is 2 > t?
False
Let d(y) be the first derivative of y**3/3 - 5*y**2 + 10*y - 10. Let z be d(9). Which is bigger: 16 or z?
16
Let f be (172/258)/((-2)/(-543)). Which is smaller: f or 185?
f
Suppose -i + 19 = 5*t, i + i = 5*t - 22. Let p = -1054895 + 459933917/436. Let g = p + -6/109. Which is greater: g or i?
g
Let w be (-3)/(-5)*(2 + -7). Suppose -i + 13 = -5*x + i, -12 = -4*x - 4*i. Let u be (-4 - x)/(-1 - -3). Which is bigger: u or w?
u
Let o = 111.91 + -114. Let v = -0.09 - o. Are v and 0.5 nonequal?
True
Let k be 1/(-4) + (-46)/8. Let l be (29/(-145))/((-4)/(-20)) + (-31)/5. Which is greater: k or l?
k
Let o be (-22143)/(-549) - 6/(-2). Is 42 != o?
True
Let p(k) = -k**2 - 22*k + 47. Let u be p(-24). Is u at most -3/476?
True
Let s be (0/(-2))/(36/(-12)). Does 5/8 = s?
False
Suppose 0 = 2*y - o - 2152, -2*o + 2136 = 2*y + o. Let b be (-8)/(3*(-4)/y). Let r = 3591/5 - b. Which is bigger: r or 3?
3
Let t = -0.2 + 0.1. Let r = -0.12 - t. Let y = 277 - 278. Are y and r nonequal?
True
Let z = 9 - 9. Let n = 5 + z. Suppose -2*q = n - 1. Which is greater: -1 or q?
-1
Suppose 2*j - 4*j = -3*i + 17, -3*i + 30 = -3*j. Do 22 and j have the same value?
False
Suppose 4*u = -4*b + 40, -3*u = -2*u + 5. Suppose 0*f + 4*x + 20 = -4*f, 5*f = 5*x + b. Are f and -1/26 equal?
False
Let n = 0.042 + 0.058. Let k = 6 - 6.1. Let c = k + n. Which is greater: c or 2?
2
Let k = -66 + 31. Let l = k - -34. Which is bigger: 18 or l?
18
Let h(j) = 19*j**3 + 10*j**2 + 31*j - 9. Let z be h(-3). Is -525 != z?
False
Let l = 1657/1385 - -1/277. Let p = 771/4 - 193. Which is smaller: p or l?
p
Let s = 791 - 820. Let q = 3 - 2. Is q >= s?
True
Let z = -30.4 + -7.7. Let q = -38 - z. Is 0 at most as big as q?
True
Let b(m) = 35*m + 523. Let n be b(-15). Is -1 at most n?
False
Let s be (-68)/(-18) + (-2)/(-9). Let i be (-18)/(-12) + 9/6. Suppose i*c - 14 + 2 = 0. Is c equal to s?
True
Let n be (-4)/(-18) + 2250/81. Let o be (3/(-4))/(7/n). Let y be ((-2)/o)/(18/(-27)). Is 0.4 greater than y?
True
Let f(q) = -q**2 - 17*q + 610. Let g be f(-37). Is -136 greater than g?
False
Let c be 2 - 1 - (2 + -2). Let t be (-132)/18*12/(-198). Is t at most as big as c?
True
Let a = 0 - -1. Suppose 4*i - a = 11. Let h = -8 - -8. Which is greater: h or i?
i
Let f = -27 - -41. Let r = -13.88 + f. Is 2/3 bigger than r?
True
Let q be 4 + (2 - (5/50 - -5)). Is 1 less than q?
False
Let q = 807 + -806. Which is smaller: 6 or q?
q
Let r(d) = -d**2 + 10*d - 9. Let v(t) = -12*t - 3. Let p be v(-1). Let c be r(p). Let g = -345 + 3453/10. Which is greater: g or c?
g
Suppose 11*k - 7*k + 3*r + 21 = 0, -r - 22 = 3*k. Which is smaller: -60/7 or k?
k
Let k = 113 + -52. Let l = 63 - k. Which is smaller: 4/7 or l?
4/7
Suppose -10*u + 30*u = 16*u + 80. Suppose 0 = i - 24 + 6. Which is bigger: u or i?
u
Suppose -99 = -3*p - 6*f, 0 = 3*p - 4*f - 52 - 97. Which is smaller: p or 32?
32
Let q = 77.5 + -78.5. Let s = 5.13 - 0.13. Which is greater: q or s?
s
Let s = -548 + 522. Which is smaller: 1.3 or s?
s
Let r = -783 - -781. Which is greater: 0.35 or r?
0.35
Suppose 27*m - 8 = 29*m, 2*m - 189 = -s. Does s = 197?
True
Let t = -110 - -147. Which is bigger: t or 34?
t
Suppose -z + 11 - 16 = 0. Let p be -4 + z + 9 + (0 - -12). Is p equal to 1/4?
False
Suppose 4*u = 16, 0 = y + y - 3*u + 14. Is y at most 5/93?
True
Let i = 1572 - 1159. Are i and 415 unequal?
True
Let r be -172*(-2 - (-14)/8). Suppose 12 = 3*j, -4*j + 5*j - 88 = -2*t. Which is smaller: t or r?
t
Let y = -0.013 + -72.987. Let v = y - -75.94. Let x = -0.06 - v. Is x > -3?
False
Suppose -4 = -22*q + 20*q. Let v be (-273)/676 + q/13. Do 46 and v have the same value?
False
Let c(m) = -m**2 - 2*m + 34. Let g be c(5). Which is greater: g or -2/247?
-2/247
Let c(u) = -u**2 - 1. Let o be c(-1). Let r(b) = -b**2 + 10*b - 11. Let m be r(7). Let s be (56/20)/((-22)/m). Which is bigger: o or s?
s
Let r(i) = i**2 - 5*i + 4. Suppose 2*p = 7*p - 20. Let x be r(p). Let w = -0.12898 + -0.05102. Which is bigger: x or w?
x
Suppose 0 = 3*x + 5*p - 3 - 11, 3*p - 3 = 0. Suppose -5*y + o = 59, y + 10 = -y - x*o. Is -10 bigger than y?
True
Let r(y) = 7*y**2 - 9*y + 3. Let b(w) = -13*w**2 + 17*w - 5. Let g(j) = 6*b(j) + 11*r(j). Let u be g(3). Which is greater: 13/7 or u?
u
Let z be ((-8)/20)/(2/30 - 0). Let s be 2/((-4)/12*z). Does s = 4/23?
False
Let o be 4/(-7) - (738/(-42) - -1). Which is greater: o or 14?
o
Suppose 6*w = -4*w + 30. Suppose w*r = 6*r, -m = 3*r - 34. Is m bigger than 69/2?
False
Suppose 3*u + 253 - 247 = 0. Which is smaller: u or -32/9?
-32/9
Let h(b) = b**3 - 2*b**2 - 2*b - 2. Let g be h(-5). Let f = g - -505/3. Suppose -10 = 5*r, 4*q - r - 8 = -2. Which is smaller: q or f?
q
Suppose -2*t = -3*g - 22 + 70, 0 = -2*g. Let c be t/(-304)*8/6. Which is smaller: c or -0.4?
-0.4
Let s(j) = 4*j - 1. Let p be s(1). Let u = -5 + 7. Let y be (-6)/4*u/(-3). Which is greater: p or y?
p
Let v = 1 + 53. Let i be ((-9444)/(-255))/(v/(-15)). Let q = i + 91/9. Which is smaller: q or 0?
q
Let n be 3/(-12)*4*(-3)/(-15). Is 2/3 less than n?
False
Let v be (2/3)/(10/(-105)). Let g(d) be the third derivative of d**6/120 + d**5/10 - d**4/3 - 5*d**3/6 + 6*d**2. Let f be g(v). Which is bigger: 6 or f?
6
Suppose 3*i - n + 4 = 2, -4*i + 4*n = 0. Let h = 14867 + -341940/23. Which is greater: i or h?
h
Suppose 639*q - 14 = 637*q. Is 6 at most as big as q?
True
Let k be (24/(-10))/(3/(-10)). Suppose -2*u + k*q + 25 = 3*q, -20 = -5*u + 4*q. Let x = -0.3 + -1.7. Which is greater: x or u?
u
Let c(g) = 2*g**3 + 7*g**2 + 5. Let f be c(-6). Let p be -2*1 - (f/90 + 0). Is p less than 0?
True
Let w be (12 - 10) + (-2 - -1) + -7. Is w at least as big as -0.1?
False
Suppose -5*q - 25 = -0*q. Let i = q + 1. Let l = 1/105 - 737/210. Which is smaller: l or i?
i
Let i be 992/720 + 2/9. Is i greater than 1?
True
Suppose 5*c + 1 + 4 = 2*u, 0 = -2*u + 4*c + 4. Suppose 0 = -u*q - q - 8. Suppose -y = -3*j - 4 - 18, 13 = -2*j + y. Is j smaller than q?
True
Let i be (-214)/300*-2 + -2. Let q = -1849/7600 - -1/304. Let j = q - i. Is j bigger than 5?
False
Let f(g) = g**3 - 6*g**2 + 2*g - 7. Let h be f(6). Let n = -6 + h. Let i = 11 - 13. Are n and i equal?
False
Let p be (-4)/(-5) - (-762)/10. Let c = p + -146. Which is smaller: c or -68?
c
Let b be (-159)/6 - (-3)/2. Let r = b - -35. Let f = -11 + r. Is -1 >= f?
True
Let c be ((-858)/2145)/(-1*(-12)/10). Is -528 < c?
True
Suppose 2*p + 0*p = 2*s + 22, -4*p - 2*s = -14. Let v be (p/(-15))/(-3 - 484/(-140)). Which is smaller: 0 or v?
v
Let c be (-2 - -1)/(4248/(-1064) - -4). Is c less than -134?
False
Let o = -8 + 9. Suppose 2*s - o + 5 = 0. Which is greater: s or -1?
-1
Suppose 6*a - 3*a - 12 = 2*z, -5*z = 3*a - 12. Suppose -r = -5*j, z = -4*j - 5*r + 29. Are 6/47 and j nonequal?
True
Let a(y) = 38*y + 131. Let f be a(14). Is f smaller than 664?
True
Let d be 19/(2223/(-2322)) + -9. Is -30 less than d?
True
Suppose -69 - 59 = 4*j. Let l = -36 + j. Let q be -4*(-1 - l/72). Do q and -0.4 have different values?
True
Suppose 2*m = -3*j - 127, -121 = 3*j + 19*m - 20*m. Which is greater: -458/11 or j?
j
Suppose 5*i = -2*p - 12 - 36, 3*i = 4*p - 8. Let v be (i/(-14) - 1)/((-8)/252). Is v less than or equal to 13?
False
Let v = -9 + 6. Let m = -7 - v. Let g be (m/(-12))/((-8)/(-18)). Is 1 greater than or equal to g?
True
Suppose 0 = -5*t + 16 + 14. Let h be (4/t)/(8/180). Let z = 14 - h. Are 17 and z equal?
False
Suppose -2*a + 31 = 63. Let v be (-3*a/(-60))/(2/125). Which is greater: v or -51?
v
Let b be (-2)/(-3) + 31/3. Let i