 268313/9 - 29781. Which is smaller: 33 or w?
w
Let v = 99410 + -493837/5. Is v less than or equal to 644?
True
Let h = -5860.004 + 5808. Let r = -0.004 - h. Let v = r - 52.22. Which is smaller: 2/5 or v?
v
Suppose -2*a - 93 + 99 = 0. Let g be ((-84)/(-15) + -6)*a/(-2). Which is greater: g or 8/7?
8/7
Let g = 5085 + -4376. Is g at least 708?
True
Suppose 16 = -h - 58. Let u = -78 - h. Let d(q) = q**2 - 9*q + 8. Let c be d(7). Which is smaller: c or u?
c
Let t(q) = q**3 - 7*q**2 - 21*q - 5. Let x be t(9). Let v be (-14)/3 + (x/3)/8. Is 6 greater than or equal to v?
True
Let v = -67 - -117. Let l = v - 49. Let y(i) = -i**2 + 11*i + 15. Let z be y(12). Is z < l?
False
Let g = 2813090/11 + -255734. Suppose -q - 7 = 2*r, 3 = -5*r - 17. Let h be (1/q - 1)/(-2). Which is bigger: h or g?
g
Let d be ((-3)/2)/(45/600). Let p(t) = -t**3 - 48*t**2 - 133*t + 69. Let y be p(-45). Which is greater: y or d?
d
Suppose 120*h + 50422 + 54481 + 1297 = 0. Is h not equal to -901?
True
Let c(r) = -8*r + 63. Let y be c(-6). Suppose -p + y = -29. Is 140 at least as big as p?
True
Suppose 93 = 101*t - 8*t. Is -3/6166 smaller than t?
True
Let g = 1340.3 + -1343. Is 14 <= g?
False
Let l = 78484 + -7220633/92. Is l <= -2?
False
Let i = -34 - -84. Let b = i - 16.6. Let c = 33 - b. Which is bigger: -1/3 or c?
-1/3
Let z = 4436233/227 - 19543. Is 1 <= z?
False
Suppose -2*i + 55 = 5*k, 4*k + 24*i - 46 = 22*i. Let r = -7 - -12. Suppose 5*a + m + 4*m + 15 = 0, -r*a = 3*m + k. Which is greater: -5/11 or a?
a
Let r(l) = l - 2. Let s(j) = -2*j**2 + 29*j + 11. Let m(w) = -2*r(w) - s(w). Let u be m(11). Is -0.1 not equal to u?
True
Let z = -386 - -390. Suppose 7*l - 4*l = t - 16, t + z = -l. Which is greater: t or 1/287?
t
Let a be (-4 + -1)*(-594 + 115). Does a = 2394?
False
Let a = -1996643825 - -84054711740711/42098. Let y = 12/679 + a. Is y bigger than 1?
False
Suppose -n - 12 = 4*n + 4*k, -5*k - 15 = -4*n. Suppose -l - 3*l - 418 = -5*j, j + 4*l - 98 = n. Is 85 less than or equal to j?
True
Let q = -501 - -477.9. Let a = q - -54.2. Let s = 31 - a. Which is greater: 9 or s?
9
Let f be 2*(0 - (-3)/(-18))*-42. Suppose -4*b + 40 = -f*b. Let n = -15 + 7. Is n greater than or equal to b?
False
Let x = 1793 - 1804. Let s be (3/18)/(2/3594). Let n = s - 309. Is n <= x?
False
Let v = 370 - 58. Let i be (-25)/((-375)/(-270)) + 331. Is i at least as big as v?
True
Suppose 5*s - 5*a - 605 = 0, -1449*a - 141 = -s - 1453*a. Suppose -4*o = o - 630. Is s != o?
True
Let m(r) = -122*r**3 - 5*r**2 - 28*r + 152. Let d be m(4). Is -7848 greater than or equal to d?
True
Let x = 3.0437 + -3.3578. Which is bigger: 1 or x?
1
Let y(o) = -6*o. Let l = 380 - 380. Let c be y(l). Let r = -386/333 + 10/37. Which is bigger: r or c?
c
Let o be (-14)/18 + 4/(-18). Let w be ((-60)/60585)/((-121)/7 - -17). Which is smaller: o or w?
o
Let z = -8970.9 - -8889. Which is bigger: 0.03 or z?
0.03
Let t = 72491/492 + 35/984. Let n = 67 - -80. Let d = n - t. Do 1 and d have the same value?
False
Let l(y) = -21*y**2 + 20*y - 19. Let g be l(1). Let q be 2/g - ((-1)/(-50) + 3). Which is bigger: q or -2?
-2
Let m be 42660/1260 + (-2)/(-14). Is 105 < m?
False
Let a be 34*1*3/(-6)*3. Let d = a - -75. Let z = 10 - d. Is z greater than or equal to -14?
True
Let q(g) = -2*g**2 + 19*g - 47. Let m be q(8). Which is smaller: m or -0.35?
m
Suppose 2 + 2 = 2*l. Suppose -6 = 2*a + t, 2*a - 2 = l*t - t. Let r(m) = m**3 - 19*m**2 - 53*m + 233. Let z be r(21). Are z and a nonequal?
True
Let i = -26.4 + -11.6. Let f = i - -31. Which is smaller: f or -0.09?
f
Let c = 1495/108 - -47303/108. Let s = -465 + c. Is s < -13?
True
Let s(m) = -m**2 - 102*m + 661. Let o be s(-104). Are 2264/5 and o equal?
False
Let v(a) = -a**2 - 22*a**3 - 3 - 2*a + 21*a**3 + 8. Let i be v(0). Suppose 2*j + d = 36, -3*j + 0*d - i*d + 40 = 0. Is j != 22?
True
Let y be ((-14 + 14)/(-1))/(-2). Which is smaller: -3664 or y?
-3664
Let b = -19781/4 - -4989. Let x = 44 - b. Let v = -0.5 + -2.9. Which is smaller: v or x?
v
Let b = -944681/15 - -63021. Is b at most as big as 43?
True
Let k = 1540 + -1540. Which is greater: 277.6 or k?
277.6
Let q = -27 + 30. Suppose q*p = 4*u - 12, -5*p + u = -3*u + 12. Is 1/166 at least p?
True
Let x be (-8801)/(-1456) + -5 - 12/14. Let l(p) = -2*p**2 + 1. Let o be 3*((-2)/6 - 0). Let z be l(o). Which is bigger: x or z?
x
Suppose 3*a = -4*i + 2*i - 29, 5*a = -3*i - 41. Suppose 22*n = -7*n + 986. Let r = -55 + n. Is r at least i?
True
Let o(j) = 2*j**2 + 381*j - 745. Let y be o(2). Which is smaller: y or 638/25?
y
Suppose 34*r + 2*r = 72. Suppose 0 = -r*f - 4*o - 2, 4*f + o + 0*o + 32 = 0. Is -9 at most f?
True
Let k = 2/9217553 + -50724194489/1520896245. Let r = k + 353/15. Which is smaller: -10 or r?
-10
Let x = -35 - -51. Let o(p) be the third derivative of -p**5/60 + 19*p**4/24 - 17*p**3/3 - 8*p**2. Let w be o(16). Is w equal to x?
False
Let o be 1 + ((-3)/(-12) + 135/12)*6. Are o and 70 equal?
True
Let t = -1574792 + 1574757. Let q(j) = -3 + 0*j**3 + 3*j - 3*j**2 + 3*j**3 - 5*j. Let h be q(-2). Is h at least as big as t?
True
Let q be ((-39)/(-6))/((-2)/(-4)). Suppose -3 = 3*s, -2*h + 2*s + 16 + 10 = 0. Suppose -h = -11*b + q*b. Is b greater than or equal to -6?
True
Suppose -271*c + 99 = -269*c - 3*h, 0 = -3*c - 2*h + 168. Which is smaller: 34 or c?
34
Let a(m) = -4*m**2. Let j be a(2). Let t be (j/10)/(38/95). Let n(q) = -q**3 - 5*q**2 - 6*q - 8. Let b be n(t). Are -2/97 and b nonequal?
True
Let i = 10963 + -10964. Which is smaller: 52/267 or i?
i
Let t = -173.9 - -700.9. Does -2 = t?
False
Suppose -155*i - 10 = -160*i. Suppose i*b - 86 = 54. Which is bigger: 69 or b?
b
Let f(l) be the second derivative of l**4/4 + 10*l**3/3 + 2*l**2 - 16*l + 5. Let m be f(-6). Do -6 and m have different values?
True
Let o(t) = -43*t**2 + 32*t + 13. Let c be o(-2). Which is greater: c or -214?
-214
Let z = -426.1 + 359.4. Let q = 0.55 - -65.45. Let p = q + z. Which is bigger: -2/7 or p?
-2/7
Let a(i) = i**3 - 53*i**2 + 275*i - 227. Let l be a(48). Which is smaller: l or 1454?
l
Let q be (2/(-4))/((-1)/4). Suppose -5*u = 3*g - g - 308, 292 = 5*u - q*g. Which is smaller: 237/4 or u?
237/4
Suppose -11*z = 15*z - 14430. Let m = z - 568. Is m less than or equal to 22?
True
Suppose 4*z - 228 = 4*k, 446 = 5*z - 3*k + 163. Let b = 31 - z. Let j(y) = -y**3 - 8*y**2 - 9*y + 2. Let m be j(-4). Which is greater: m or b?
b
Let t = -28.3 + 30. Let o = t - 1.78. Suppose 9*l + 52 - 43 = 0. Which is smaller: o or l?
l
Let f be -1 + ((-545)/(-5) - 2). Let t = f - 152. Which is bigger: -223/5 or t?
-223/5
Let x be ((-2)/7 - 82/7)*514694/(-3340). Which is smaller: x or -1?
-1
Let r = -3416 - -3302. Which is greater: -118 or r?
r
Suppose -8*u - 96 = -64. Which is smaller: u or -65/18?
u
Let f be (-4)/(-3) - (-15)/(450/110). Suppose -4*z + 14 = 2*d, f*z + 14 - 33 = -d. Is -15/11 at least d?
False
Let u = -68 - -64. Let t be u + (-335)/(-70)*1. Which is bigger: t or 2?
2
Let a = 11613 - 11614. Is -4/18625 < a?
False
Let w = -456 + 315. Let t be (-117 - w)*-8*(-2)/(-6). Are t and -64 unequal?
False
Let x = -12284 + 12432. Let c(l) = -36*l + 4. Let r be c(-4). Are x and r nonequal?
False
Let s be ((-56)/(-21))/(-4) - 364/12. Suppose 0 = -11*q + 4*q. Which is smaller: s or q?
s
Let b = 47 + -89. Let m = 41512 + -41562. Is b greater than or equal to m?
True
Let a be (-80)/12*(-21)/35. Let d be a*(-2)/(6 + -14). Which is greater: d or 276?
276
Let q = -0.14 - 0.86. Let n = 107.3 + 18.7. Let i = 125.926 - n. Is q at most as big as i?
True
Let q = 5.97 - 7.37. Let s(t) = 3*t**2 - 2*t - 7. Let k be s(3). Suppose 0 = 18*g - k*g. Which is greater: g or q?
g
Suppose 2*n + 4*d + 36 = 4*n, 5*n + 4*d - 34 = 0. Let y(g) = -35*g - 135. Let v be y(-4). Suppose 0 = -v*h + n + 5. Is 2 greater than or equal to h?
False
Let m(q) = 4*q. Let y be m(7). Let f be ((-10)/(-6))/(-2*(-11)/(-7788)). Let v = f - -616. Which is smaller: v or y?
v
Let r(d) = -d**2 + 16*d - 30. Let t be r(14). Let q be t*2 - 10*(-2)/4. Is q > 2/1279?
True
Let c = -7427/19 - -391. Suppose -468 = 10*n - 348. Is n less than or equal to c?
True
Let l = -997/11 - -91. Let t(g) = 2*g**2 - 34*g - 73. Let j(n) = 3*n**2 - 51*n - 109. Let k(u) = -5*j(u) + 8*t(u). Let p be k(19). Is l equal to p?
False
Let x be (21 + 1904/(-80))/