Do k and 30 have different values?
True
Let f(t) = -t**2 + 1051. Let z be f(32). Suppose 3*r - 6*r = -15. Suppose -5*y = -r*l + 2*l - 147, -4*y + 128 = -5*l. Is z <= y?
True
Let w = -1/185 - -391/3885. Suppose 4 + 2 = -2*p - 2*u, -5*p + 5 = -5*u. Let z be (-20)/(-30)*(p + 7/4). Is w < z?
True
Let j = -524.166 - -525. Let s = 0.166 + j. Which is greater: -2/15 or s?
s
Let b = -10669.539 + 10653. Let u = b + 16.5. Which is smaller: -2/7 or u?
-2/7
Suppose 0 = -3*b + 3*j - 24, -4*j = 2*b - 9*j + 40. Which is greater: -1/473 or b?
b
Suppose -3*m + 5 - 26 = 0. Let f be 1 - ((-482)/(-162) + 5 + m). Let o be ((-28)/(-8) - 3)*-2. Which is greater: f or o?
f
Let o = 15134087/10 + -1511992. Let c = o - 1411. Is c not equal to 7?
True
Suppose -o + 2*u - 3392 = 0, 16974 = 39*o - 44*o - 4*u. Is -3394 at least o?
True
Let x = 361 + 470. Let l = 846 - x. Which is bigger: l or 17?
17
Suppose -4 = 4*t - 3*o, -4*t + 2 = -5*t + o. Suppose -5*b + 2*d = 1, -d = t - 5. Is b <= 0.1?
False
Let w(x) be the second derivative of x**3/2 + x**2/2 + x. Let r be 74/(-333) - (-4)/18. Let f be w(r). Which is greater: f or -0.08?
f
Let t(g) = 6*g - 892. Let y be t(-54). Which is smaller: -1215 or y?
y
Let v be (-81)/6*9/(36/(-8)). Suppose 3*c - 3*r - v = -6*r, -r = 2*c - 23. Is c at least 15?
False
Suppose 4*d + 3*j - 20 = 0, -5*j - 39 = -5*d - 14. Suppose 0 = -d*k + 1 + 9. Suppose -2*v - k*r = 132, -3*v + r - 104 = 98. Is -68 greater than or equal to v?
False
Let v(s) = s**3 + 3*s + 145. Let q be v(0). Let o = q - 142. Which is greater: o or 0.026?
o
Let k = 11803 - 11802. Does 15/178 = k?
False
Let z = -961/72 - -105/8. Let k(a) = a**3 + a**2 + 2*a + 1. Let g be k(-1). Is z not equal to g?
True
Let n be (1/(2/(-8)))/(-9 + 8). Suppose 5*s + n*t + 7 = 6*t, -s - t - 7 = 0. Let b = 1/19 - 135/38. Is s <= b?
False
Let l be (-224)/(-384) + (2/(-6))/1. Let n = 142 + -14629/103. Which is bigger: n or l?
l
Suppose 3*w - 49 = -2*i, 20 - 12 = -i + 5*w. Suppose -2*m + i = 17. Which is smaller: m or -32?
-32
Let j be ((-1)/(-15))/(106/(-4092024)). Which is bigger: j or -2573?
-2573
Let o be ((-1317855)/161)/3*1. Let f = o - -2729. Let t(c) = -c**2 + 5*c + 6. Let a be t(6). Which is smaller: a or f?
a
Let t(b) = -b**2 - b - 1. Let v be t(5). Let l be (2/3 + (-472)/(-48) + -11)*66. Which is greater: l or v?
v
Suppose -2*w - 108 = w. Let h be ((-10)/(-2))/((-3)/w). Is 424/7 at most as big as h?
False
Suppose 0 = -3*d - 5*v + 7 - 9, -v = d + 2. Suppose 0 = c - 10 + 4. Suppose -m - c + 4 = 0. Which is greater: d or m?
m
Let u = -66 - -63. Let r(x) = x**3 + 6*x**2 + 4*x. Let g be r(-5). Suppose 15 = -3*y + g*j, -2 = 3*y - 4*j + 10. Is u not equal to y?
True
Let f(q) = -q**2 - 9*q - 14. Let k be f(-7). Let j(c) = -6*c + 19. Let p be j(k). Suppose u - p = -17. Is -1 < u?
True
Let n = -0.2 - -0.1. Let q = 5.1729 + -6.1729. Which is bigger: q or n?
n
Let s(f) = 2*f**3 + 39*f**2 + 71*f - 30. Let i be s(-19). Is -1017 at most as big as i?
False
Let u be 3 - (38/14 + 0). Let m = 0.057 - -0.273. Let w = m + -0.4. Which is bigger: u or w?
u
Let d = -745 - -775. Let h = 0.081 - -35.919. Let o = d - h. Is o > -3?
False
Suppose -2*v - 2*v + 8 = 0. Let o = -291 + 299.97. Let g = -0.97 + o. Which is bigger: g or v?
g
Suppose 649*r + 722115 = -3289354. Is -6181 < r?
False
Let w = 3 - -1. Suppose -5*l + w = -l, -2*m = l - 11. Let y be -4 - ((-3)/m + -3). Which is greater: y or 0.08?
0.08
Let w be -1*(-2 - -1) + 1. Let r be 124/16 - (0 - (-12)/16). Suppose -w*f + r*f - 20 = 0. Which is bigger: 1 or f?
f
Suppose -4*d + 18 = -3*t, -d - 117*t + 24 = -121*t. Is d less than -2/6227?
False
Let q = -537/5684 - -5/196. Suppose 59*c - 63*c = -8. Suppose -2*i = -5*u + 11, -2*i = c + 4. Which is greater: u or q?
u
Suppose 0 = 19*f - 90*f - 46*f - 42822. Which is bigger: -371 or f?
f
Let n(g) = -2*g - 14. Let v be n(-10). Suppose 2*t - v*t = -8. Suppose -20 = -t*r - 78. Is r smaller than -29?
False
Let d be 24/2534*(-91)/26. Let u = d + -406/9593. Let o = 167/106 + u. Which is greater: o or -2?
o
Suppose -3*c + 4*c - 58 = 5*l, 0 = 3*l + 5*c + 46. Let a = 162/155 - -42/31. Is l less than a?
True
Let w be (3 - -6 - 9)/(9 + -6). Which is smaller: 205/7 or w?
w
Suppose -5*w + 780 = -3*r - 1480, 464 = w - 3*r. Let i = w - 460. Let n(d) = -2*d**2 - d + 4. Let u be n(-3). Are i and u unequal?
False
Suppose -a - 3*x - 95 = -277, 25*a - 4784 = 3*x. Which is smaller: a or 12?
12
Suppose 2*d - 2048 = -4*v, 73*d - 65*d = 5*v + 8108. Is d equal to 1014?
False
Let d = 2/19 + -48/95. Let m = 84.7 + -18.7. Let b = m + -58.2. Is d at most as big as b?
True
Let j = -17/5 - -53/15. Suppose 194*l + 43*l = 32*l - 2460. Which is smaller: j or l?
l
Let b = -1368 + 1370. Let i be ((-2)/(-2) + -2)*9. Let f be (-1)/3 + (-15)/i. Is b less than f?
False
Let w = 7.5 - -20.5. Let k = w + -73. Let f(h) = -6*h - 76. Let v be f(-13). Is v < k?
False
Let k(l) = -1 + 3 - 256*l + 129*l + 130*l. Let v be k(-1). Do -3/163 and v have different values?
True
Let k = 236 - 234. Suppose -19 = 3*s - 64. Let l = 19 - s. Is l at most k?
False
Let a(r) be the second derivative of -1/6*r**3 + 19*r + 0 - 8*r**2. Let d be a(-17). Which is bigger: -6/19 or d?
d
Let m be 105/168*(2 - -2) - (-1561)/(-2). Is m bigger than -776?
False
Let y(i) = 24*i - 94. Let v be y(-18). Which is smaller: v or -527?
-527
Suppose 9*w + 10853 = 4984 - 11159. Which is smaller: w or -1893?
-1893
Let r(b) be the third derivative of b**6/120 + 7*b**5/60 - 3*b**4/8 - 4*b**3/3 - 8*b**2. Let j be r(-8). Suppose 0 = 4*m - j*m - 16. Is 2/3 less than m?
True
Let m be ((-36)/126)/((-2)/14). Let t be 5/(10/53)*m. Which is smaller: 52 or t?
52
Let x = 7.8 - 1.8. Let b = x - 6.05. Let h = -1.05 - b. Which is smaller: h or 2.9?
h
Suppose -3*i = 4*h - 2*i - 7, 0 = 4*h + 2*i - 6. Let k be 2/10 + (h - 343/(-35)). Let c(w) = -3*w - 5. Let f be c(-6). Which is bigger: f or k?
f
Suppose 0 = -6*n + 75 + 327. Suppose 368 = 5*z - n. Let y = 112 - z. Which is smaller: 23 or y?
23
Let i be 60/(80/(-8)) + 660/14. Which is smaller: i or 42?
i
Let p(o) = -o**3 - 7*o**2 + 24*o + 20. Let q be p(-9). Let n be 710/q - (-8)/(-68). Is -18 equal to n?
False
Let t(u) = -u**2 - 2*u + 6. Let n be t(-4). Let o be (8 - -25) + 1/(n/(-6)). Let z = o + -48. Which is smaller: z or -11?
z
Let k(v) = -v**3 + 8*v**2 + v - 5. Let z be k(6). Let n = z + -78. Suppose 0 = a + 2*a + 12. Does n = a?
False
Let t be 2/25*-46*(-7 - 18 - -20). Let s(r) = -11*r - 4. Let z be s(-2). Which is greater: z or t?
t
Let z(w) = w**2 - w - 1. Let a(y) = 86*y**2 + 13*y - 18. Let n(m) = -a(m) + 3*z(m). Let s be n(1). Which is smaller: s or -83?
s
Let u = -38/45 - -4/9. Suppose -g + 24 = 3*l, -5*g - 2*l + 99 = -73. Is u < g?
True
Suppose -37*y + 12731 = 12731. Which is greater: y or -2/37177?
y
Let g = 184 - 174. Suppose 53*r + g = 55*r. Is r at most 4?
False
Let i(g) = -5*g**2 + 2*g**3 - g**3 + 71*g - 66*g. Let m be i(4). Suppose 2*h - 51 = m*h - 5*y, 4*h = -y - 91. Is h > -1?
False
Let n(a) be the first derivative of a**3/3 + a**2/2 - 1. Let f be n(-2). Let t be (-5640)/(-752)*(-6)/10*2/(-3). Are t and f non-equal?
True
Suppose n - 4 - 5 = 0. Suppose -n*s - 399 = 42. Let v = 48 + s. Is -1/36 at most as big as v?
False
Suppose -11*t + 307 = -540. Suppose 0 = q - 12*q - t. Let a(c) = -c**2 + 4*c + 8. Let p be a(6). Which is greater: q or p?
p
Let y = -268 - -142. Let f = y - -125.949. Let a = f - 1.149. Do a and 3/4 have the same value?
False
Let l be 2/6*(-2)/(-2). Let m(k) = -k**2 - 25*k - 136. Let f be m(-16). Suppose -6*h + 164 = -2*h + z, -2*z = -f. Which is bigger: l or h?
h
Suppose 3*i - 14*g + 16*g + 22 = 0, 3*g = -6. Let n be 1079/(-78) - (-1)/i. Let b be 0/(4 - 1) - 16. Which is smaller: b or n?
b
Let i be (-15)/(-3) + -2*1. Suppose -2*n + 14 = -3*z, -i*n + 11 = 5*z - 29. Suppose 495*j - 1250 = -130*j. Which is smaller: n or j?
j
Let f be 1 - -84 - (-17 - -17). Let b = f - 148. Let z be (-8)/(-24) + (15/b)/5. Is z less than 34?
True
Suppose 2*b + 388 = -4*v, 4*b - 2*v - 566 = 7*b. Let k be (28/24 + (-2)/12)/(3/3). Which is smaller: k or b?
b
Let f = -46 - -46.16. Let i = -0.052 + f. Let o = i + -0.108. Which is smaller: 0.08 or o?
o
Suppose 3*z - 38 = 46. Let v be ((-2)/z)/(6/(-24)). Let j be (-2996)/(-9408)*-4 + 30/35. Are v and j nonequal?
True
