smaller: k or 1.117?
k
Suppose 4 = -4*p - 4*j, 10*p - 36 = 6*p + 4*j. Suppose 8*a + p = 92. Is -0.2 != a?
True
Let f = 110 + -184. Suppose -460*c + 898*c = 450*c + 924. Which is smaller: c or f?
c
Let j(k) = 4*k**2 + 2*k + 3. Let a be j(-2). Let h be 36/a*(-24)/(-9). Let b = -3582 + 3588. Is h less than or equal to b?
False
Let z = 22 - 12. Let n be 10/25 - ((-69)/15 + -4). Suppose 3*h - n = 0, -2*h + 46 = 5*g - 5*h. Is z smaller than g?
True
Let c = 1693.7 + -1717.7. Let f = 26 + -131/5. Which is bigger: f or c?
f
Let o(u) = -u**3 - 14*u**2 - 34*u - 8. Let r be o(-11). Suppose -3*a + 303 = -r*m, 23 = 4*m + 43. Are 96 and a equal?
True
Suppose 4*o - 5*o = -451. Suppose o = 5*l + 61. Let c = 64 - l. Is c smaller than -6?
True
Let y = -2955 + 2929. Which is greater: y or -4?
-4
Let c(u) = -2*u**3 - 9*u**2 + 5*u + 5. Let h be c(-5). Let m be (-1 - 1)*(-5)/(-1980 + h). Which is bigger: 0 or m?
0
Let w be 19 + (-238)/17 + 3154/(-630). Which is greater: -1 or w?
w
Let j(f) = f**2 + 2*f + 20. Let t(x) = 3*x + 20. Let a be t(-6). Suppose a*s + 4 = 3*o - 0*o, -s - 2 = -3*o. Let l be j(o). Are 21 and l non-equal?
True
Let a = 291 + -290.9454. Let f = a - 0.1546. Which is smaller: -479 or f?
-479
Let f(a) = -499*a - 7482. Let v be f(-15). Let t = 347/3 + -114. Is t != v?
True
Let q = 780 - 790. Let m = 54 - 99. Let b be 21/m - (-2)/q. Is b greater than or equal to -1/2?
False
Let p = 0.7 + -17.7. Let i = 7134 - 7156. Let j = p - i. Is j smaller than 0?
False
Let g be (6/15)/(-2 - (-32)/10). Let p(t) = -4*t + 7. Let z be p(-4). Let u = 23 - z. Do g and u have different values?
True
Suppose -12*y + 2*p = -8*y - 356, -2*y + 2*p = -180. Let l be (-2)/(8 - 696/y). Which is bigger: l or -14?
-14
Let w(k) = -k + 34. Let l be w(14). Let u = l + 44. Suppose a + 3*a + u = 0. Is a at most -17?
False
Suppose 0 = 4*s - 13 - 3. Is 4/19 bigger than s?
False
Let a = -45 + 45.08. Let j = -84.5 - -12.5. Let y = j + 74. Which is greater: y or a?
y
Let j = -4 - -2. Let p be j/24*(-8)/13. Suppose -5*z = 2*f + f + 18, -6 = 2*z + f. Is p != z?
True
Let k be (-18)/(-63) - (-52)/14. Suppose 4*w + 192 + k = 0. Let y = w - -39. Which is bigger: -7 or y?
-7
Let u = 5359 - 5222. Is 139 < u?
False
Let s = -84 + 100. Let a(k) = k**2 - 16*k + 3. Let p be a(s). Suppose -2*d - 15 = p*d - 5*z, 3*d - 11 = -z. Which is bigger: -30/11 or d?
d
Let r(c) = 4*c**2 - 10*c - 18. Let w be r(4). Suppose d = -5*y + w*y + 2, 0 = -2*d + 3*y + 7. Which is smaller: d or 7/26?
d
Let v = 90 - 84. Suppose 5*a = 4*a + v. Suppose 32 = a*o - 46. Which is smaller: o or 14?
o
Suppose 497 = 4*s - 463. Suppose -12*w + 1194 = -1686. Is s less than w?
False
Let l(w) = -2*w**2 + 32*w - 49. Let f be l(20). Let a = 209 + f. Is -0.2 > a?
False
Let r = 6519 + -6520.2. Does r = 50?
False
Let q = 165.793 - 165.73. Is 1.54 at least q?
True
Let a = -24978 - -22544. Which is greater: a or -9733/4?
-9733/4
Let n = 5679 + -73823/13. Suppose -2*y = -2*u, 2*u = 2*y + 3*y. Is y < n?
True
Let n be (-1 - 145/10)*13/(273/45). Which is smaller: -34 or n?
-34
Let i be (-3)/(-26)*(-56032)/(-4). Let h = 1614 - i. Suppose 0 = 4*p + p + 3*v - 1, -4*v = 3*p - 5. Which is greater: p or h?
p
Let h(k) = 4*k - 4. Let m be h(2). Suppose m*l - 3*l + 1 = -3*o, -5*o - 2*l = 3. Let f be (-285)/65 - (-3 + -2). Which is smaller: o or f?
f
Let d = -220461063/523816 + 1/130954. Which is bigger: -421 or d?
d
Suppose -4*m + 20 - 16 = 0. Let l(b) = 9 + 0 - 2*b - 5. Let c be l(2). Which is bigger: c or m?
m
Let p be 5 + 4 + -4 + -298*(-7 + 8). Is -293 at least as big as p?
True
Let o = 30270.637 - 30271. Which is greater: o or -22?
o
Let u = 79027/12 + -6581. Let d = -59/12 + u. Is d less than -24?
False
Let j = -53 + 93. Let n = j - 89/2. Let k be (-14)/(-12) + (-407)/66. Which is smaller: k or n?
k
Let b(j) be the second derivative of j**3/2 - j**2/2 - 45*j. Let p be b(1). Which is bigger: p or 9?
9
Let a = 13753 - 13763. Which is smaller: 22/3 or a?
a
Let k be (-11)/66 - -7*(-6)/(-252). Let b = -0.31 - -0.22. Which is smaller: k or b?
b
Let n(c) = 15*c**2 - 16*c - 7. Let r(o) = -29*o**2 + 30*o + 14. Let j(a) = -11*n(a) - 6*r(a). Let h be j(-3). Which is greater: 85 or h?
h
Let x = 613196683/583580 - -1/291790. Let q = x - 1041. Let h = 3 - -7. Which is smaller: h or q?
q
Suppose 630 = -13*u + 58*u. Which is bigger: 1/100 or u?
u
Suppose k + 60 = 6*k. Let u be (-5)/(-2)*k/5. Let l be (u/18)/((-34)/(-4) + 0). Which is bigger: 0 or l?
l
Suppose 5*x + 3*j - 18 = 0, 4*x - 4*j + 7 = 5*x. Suppose 34 = 7*o - 2*o - x*s, 4*o = 3*s + 29. Suppose -o*r = 7*r - 72. Is r less than 7?
True
Let d(s) = -46*s**2 - 2 - 4*s**3 - 20*s + 38*s**2 + s + 6*s**3. Let k be d(-2). Is k at most -28?
False
Let u be ((-29)/522)/((-68)/6). Let s be 7/(-2)*2 + 8. Is u < s?
True
Suppose 5*z + 391 = 2*d, -3*d + 29*z + 579 = 24*z. Let n = 835 - 647. Is d > n?
False
Suppose s - 2*h + 4 = 0, -2*s + 16 = -s + 3*h. Suppose 5*g + 637 = s*c + 166, 5*c = 2*g + 185. Does g = -94?
False
Suppose 49 = 4*k + 37. Suppose -k*r + 0*x + 557 = -5*x, x + 189 = r. Is r less than or equal to 1?
False
Suppose 5*l = 3*l + 132. Let d(w) = -77*w - 11. Let r be d(-1). Is r greater than l?
False
Let t(p) = p**3 - 5*p**2 + 10*p + 1. Let a be t(0). Which is smaller: a or 3/2758?
3/2758
Suppose 6*t + 7 = 3*t + 5*a, -4*t + 19 = -a. Let i(y) = y**2 + 7*y + 12. Suppose 0 = -3*k + 5*d - 23, 0*k - 2*k - 3*d = 9. Let h be i(k). Are h and t equal?
True
Let i be (13/2)/((-28)/(-168)). Let r be (-1)/(-2) - (0 - i/6). Suppose r*g - 3*g + 2*v = -6, -4*g - 3 = v. Is g at most 2/7?
True
Let u(i) = -i**2 + 23*i + 34. Suppose -k = -2*q - 6*k - 9, q - k = -1. Let x be u(q). Suppose -2*z + 4*b = -7*z - 86, 2*z = -3*b - 33. Which is bigger: x or z?
x
Suppose 410696 = 255*u + 1065281. Do u and -2566 have different values?
True
Let i = -8/1965 + -486919/1965. Let u = -248 - i. Which is greater: u or 1?
1
Let u(w) = -w**3 + 11*w**2 - 17*w - 5. Let b be u(9). Let l be -10 + b + 138/20. Do 1 and l have different values?
True
Let h = 0.582 - 0.102. Let d = 2.92 + h. Let x = d - 3.6. Are -1/30 and x unequal?
True
Let k = -0.231 - -0.1825. Let x = 0.3485 + k. Let b = 0.2 - 0.3. Which is smaller: b or x?
b
Let k = -1343/2136 + -59/89. Which is smaller: k or 0?
k
Let o be 0 + (342/4)/(-1). Suppose 6 = -2*u, -47*k + 51*k = -4*u - 360. Is k less than or equal to o?
True
Let d = 48.575 - 48.875. Let b = 41.63 + 0.37. Is d != b?
True
Let r = -191.1 - -18.1. Let k = -173 - r. Are 0.325 and k unequal?
True
Let k be (-12)/(-41744)*(-204)/153. Is 0 < k?
False
Suppose 5*f + 686 = -9*f. Let c = -23 - f. Is c at least 26?
True
Let v = -95 + 97. Let i = -10.2 - -10.251. Let b = -0.009 - i. Is b equal to v?
False
Let h = 1167/29 + -163141/4031. Let q = h + 6380/5977. Which is smaller: 0 or q?
0
Let i = -228 - -1600/7. Let r = -1.335 - -1.715. Is i at most as big as r?
False
Let b be ((-4)/44)/(-8 - 385/(-49)). Let r(u) = -u**3 + 3*u**2 + 5*u - 4. Let z be r(4). Which is smaller: z or b?
z
Let g = 12 + -10. Suppose -3*f + 165 = g*f. Suppose -3*y = -3*i - 31 + 112, -2*i + 74 = 2*y. Is i > f?
False
Let a = -16643 + 7322923/440. Is 1 > a?
True
Let j be 3/6 + 3/2. Let k be (-159*(-4)/264)/(2/j). Let w = -12/5 + k. Is w < 0?
False
Let z = -5346 + 2946. Let t = z - -19153/8. Is t < -5?
True
Let n(r) = 3*r + 9. Let a be n(13). Let o be 1/((-6)/a)*2/6. Let f(z) = -z + 7. Let s be f(10). Which is bigger: o or s?
o
Let p = 3257.8 + -3258. Is 1/1377 less than or equal to p?
False
Let h = -6.04 - 51.66. Let l = h - -72.7. Which is smaller: 0.8 or l?
0.8
Let y be 3/(-1)*60*15/135. Let c(u) = -u**3 - 20*u**2 + 4*u + 61. Let z be c(y). Is z equal to -6?
False
Suppose -4*s = -13723 + 13251. Which is smaller: s or 5?
5
Suppose -5*o + 11 + 44 = 0. Let s(f) = -f + 53. Let t be s(o). Suppose t = -9*x + 3*x. Which is smaller: -5 or x?
x
Let b(s) = -2*s**3 + 47*s**2 - 171*s - 1. Let q be b(19). Let a be 2*2/15*(-30)/380. Which is bigger: q or a?
a
Let a be (205 - 1)*(-261)/(-14877). Which is greater: 4 or a?
4
Let q = -7.36 + 1.46. Let o = q - -4.9. Let j = -0.19 + 5.19. Which is smaller: j or o?
o
Let n be 10/(-235) + 823992/2822820. Which is smaller: n or 0?
0
Let m be 60/(-232)*2788/(-5). Let h = m + -144. Which is smaller: 1 or h?
h
Let v = 829 - 334. Suppose -4*c + v = c.