0/(-30) + 6)*9/(-6). Is j at most s?
True
Let u = -14 + 1. Let l be 4/6 + 1612/(-117). Let a = l - u. Is a less than 1?
True
Let r(s) = -45*s**3 + 18*s + 12 + 10*s**2 + 4 + 46*s**3. Let x be r(-8). Is 4/9 bigger than x?
True
Let j = 281 - 282. Which is smaller: j or 8?
j
Let j = -30600899/1686 - -18150. Which is smaller: -1 or j?
-1
Suppose -28 = -3*h + 2*c, 0*h - 2*h - 4*c - 8 = 0. Suppose h*o - 97 = -37. Which is smaller: o or 8?
8
Let b be 3/((1/3)/1). Let k be 6/b*(-21)/6. Let h be (1 - (-9)/(-6))*2. Is h at least as big as k?
True
Let u = -464.023 + 464. Which is smaller: -2/21 or u?
-2/21
Suppose 26*v - 21*v + 156 = -2*p, 290 = -4*p + v. Is -74 > p?
False
Let i(o) = -4*o - 18. Let v be i(-5). Let x be (-1 - v)*-2*(-3)/(-6). Let j = -0.57 - -0.6. Are j and x nonequal?
True
Let v be -3*(-31 + 6)*36/(-10). Which is greater: v or -271?
v
Let l(f) = -14*f - 2. Let j be l(1). Let s = -17 - j. Let r = 391/9 - 43. Which is greater: r or s?
r
Let k be (1/(-7)*2)/(8/60). Let a be 2/6*3*(0 + -3). Which is smaller: k or a?
a
Let d(a) = 17*a - 13. Let p be d(-8). Which is smaller: -152 or p?
-152
Suppose -16 = 4*c - 0*c. Let u = -7 - c. Let s = -1428/5 + 284. Which is smaller: s or u?
u
Let b be 3/6*(-5 + 3). Let o(p) = 3*p**3 + p**2 + 2*p + 2. Let h be o(b). Which is smaller: 0 or h?
h
Let p be -4 + (326185/89960 - 6/(-16)). Is 0 greater than or equal to p?
False
Let z = -39.3 + 44. Let p = z + -4.5. Do p and -14 have different values?
True
Let q(m) = -m + 8. Let y be q(6). Suppose y*t - 4 - 8 = 0. Let w be 4/t - (-456)/(-666). Is 1 at least as big as w?
True
Let f be 20/(-3*(-1)/(-6)). Let i = -54 - f. Let z(s) = -s**3 - 6*s**2 + 2*s - 2. Let w be z(-6). Are w and i equal?
True
Let o be (13 - 1)*(-13 - -14). Suppose -8 = 4*w + o. Which is smaller: 3 or w?
w
Let r(m) = m**3 + 11*m**2 + 10*m - 9. Let p be r(-9). Let s be (-18)/p + 758/(-42). Let t = s - -20. Which is smaller: t or 1?
1
Let u be (-552)/(-8) + (2 - 0 - 4). Let i be u/(-66) - (-2)/11. Is i greater than or equal to 1?
False
Let b be (10/145 + 0)/(1 + 0). Let v = -23 + 15. Let u = -8 - v. Do u and b have different values?
True
Let t be 2 + (2/(-1) - -2). Let p be 8/(-14) - 6/(-14). Is p != t?
True
Let i(y) = -2*y**2 - 18*y - 30. Let b be i(-2). Suppose 0 = -v - v - 4. Is v smaller than b?
False
Suppose -5*z + 1 = -9. Suppose 0 = 5*h - 4*h + z*q + 1, 3*h - 30 = 5*q. Is 2/3 less than h?
True
Let y(h) = -46*h - 523. Let d be y(-38). Which is smaller: 1224 or d?
1224
Let a = 0.575 - 0.475. Let o = -14 - 9. Do o and a have different values?
True
Let a be (-1 - 1)/(-4) - 1/(-2). Suppose a + 0 = -p. Is p at most as big as 4/29?
True
Let w(z) = -z**2 + 8*z - 3. Let r be w(9). Let m be 4 - (-3 - (r - 0)). Suppose -5*c - 55 = 5*v, -3*v + 13 = -3*c - 2*v. Is m less than c?
False
Suppose -95 + 109 = -7*z. Which is smaller: z or 153/5?
z
Suppose 18*f = 9*f + 954. Which is smaller: 104 or f?
104
Let p = -103/6 - -17. Let y be 3092/176 + (-2)/(-11). Let t = 18 - y. Which is greater: p or t?
t
Let l = -41.1 - -38.5. Which is smaller: -2/33 or l?
l
Let d = 380 - 19378/51. Is d smaller than 2/5?
True
Suppose 47*u = 26*u + 84. Let v be 3 - ((5 - 2) + -2). Is u bigger than v?
True
Suppose 0 = -6*m - 2*m - 40. Suppose f = 12 - 38. Let o = 20 + f. Is o <= m?
True
Suppose 3*k + 10*o + 3072 = o, -o = 0. Is -1023 at least as big as k?
True
Let b(z) = -z**3 + 8*z**2 - 4*z - 5. Let s(f) = -3*f**3 + 23*f**2 - 11*f - 14. Let k(u) = -17*b(u) + 6*s(u). Let v be k(3). Is v <= -3?
False
Let i be (-3)/2*16/(-66). Suppose -12 = 3*y - 15. Do i and y have the same value?
False
Let q be (-5)/2*(-12)/120. Let j be (-75)/(-2)*(-12)/(-18). Which is bigger: j or q?
j
Let s be (-59)/(-1180) - 4127/140. Which is smaller: -30 or s?
-30
Let v(q) = -q**3 + 40*q**2 + 3*q + 51. Let p be v(40). Is p smaller than 171?
False
Let a(n) = -10*n + 250. Let s be a(25). Suppose 2*y = -2 + 6. Let m be 0 - 48/(-15) - y. Which is smaller: s or m?
s
Let h = 43 - 43.1. Is h < 1/258?
True
Let z = 0.25 + 1.02. Let g = 0.27 - z. Is -19 > g?
False
Let w(y) = -7*y + 90. Let x be w(13). Is x less than 213?
True
Suppose -261 = -10*c + 409. Is 67 at most c?
True
Suppose 0 = 2*c + 2*z + 24, -4*c + z + 20 = -6*c. Let u(r) = r**3 + 8*r**2 + r + 8. Let q be u(c). Which is smaller: q or -12/11?
-12/11
Let r = 59/5 - 97/40. Are r and 9 unequal?
True
Let o(j) = 4*j**2 + 34 - 19*j + 8*j - 3*j**2 + j**2. Let a be o(7). Is 56 at most a?
False
Let c(g) = -g**3 - 48*g**2 + 91*g - 106. Let w be c(-50). Which is greater: w or 347?
347
Let g = 147/2 - 74. Are 4 and g equal?
False
Let a be -7 + (-1056)/(-252) + 3. Suppose 0 = 4*c + 5 - 1. Is a at most c?
False
Let l = -81 - -49. Let b = l + 31.8. Let x = -161 - -1451/9. Which is smaller: x or b?
b
Suppose -506*r = -501*r. Let n be (2 - 3) + 232/234. Which is smaller: n or r?
n
Let t = 135.2 + -136. Let n = -0.987 + 0.157. Let r = n - t. Which is smaller: 1 or r?
r
Let a = -30.4 + 30.42. Which is smaller: -2/25 or a?
-2/25
Let d be 7/5 + -19 + 18. Are -28 and d equal?
False
Let y be (-34)/8 - 2/(-8). Suppose 0 = -4*z - 4*j - 4, 2*z = 4*j - 16 - 16. Let f be 18/(-4) - (-2 - (z + 4)). Which is smaller: y or f?
f
Let b = 1185.3 - 1184. Which is smaller: b or 0?
0
Suppose -6*n = 153 - 51. Let z be 7/(-14)*(3 + -1). Is z <= n?
False
Let a = 77/2 + -33. Let x = -3985 + 3987. Is a <= x?
False
Let n be -6 + 3 + (-774)/(-435). Let d = -18/29 - n. Which is bigger: d or -4/7?
d
Let d(o) = -o**2 + 4*o + 10. Let f be d(6). Let z be ((-3)/20)/((-3)/f). Which is smaller: z or -1?
-1
Let x = 1.31 - -69.69. Let c = -71 + x. Which is smaller: c or 0.31?
c
Let n = 44168/5 - 8771. Which is bigger: 62 or n?
n
Let t(d) = d**3 + 12*d**2 - 17*d - 100. Let w be t(-13). Is -46 < w?
False
Let y be (-28)/(-7)*(-11 - -10). Which is smaller: 208 or y?
y
Let c be -5*((-54)/(-2))/9. Which is smaller: c or -99/7?
c
Let p = -34 + 73. Let t = -42 + p. Is -3 equal to t?
True
Suppose 8 = n - 2. Which is smaller: 8 or n?
8
Let v(u) = -u**2 - 9*u - 6. Let l be v(-8). Let s be l + (0/21)/(0 - 1). Is s bigger than -4?
True
Let d be (-46)/(-8) + (-1)/(-4). Let a be (d/21 + -1)*1. Let m(p) = -2*p - 8. Let v be m(-3). Which is bigger: a or v?
a
Let f = 7 + -12. Let p = 4.97 + f. Is p > 1?
False
Let t = -12 - -24. Suppose 4*r = u + u + t, -4*u + 6 = 2*r. Suppose 33 = r*d + 78. Is d != -16?
True
Let f(o) = -o**3 + 6*o**2 - 4*o - 2. Let s be f(5). Let p(q) = q**2 - 2*q. Let b be p(0). Suppose b = -r + s*r. Is r smaller than 1/11?
True
Suppose 5*a + 8 = -w + 24, 4*a - 37 = -3*w. Is 12 <= w?
False
Let y(l) = -14*l - 279. Let b be y(-29). Is 127 not equal to b?
False
Let l(u) = -51*u**2 + 18 + 52*u**2 + 2*u + u**3 - 11. Let k be l(-3). Is -16 <= k?
False
Let y = 169 - 160.9. Let p = 0.1 - y. Which is smaller: -2/5 or p?
p
Suppose 3*t + 10 - 7 = 0, -5*m - 19 = 4*t. Let j(z) = -z**3 + 3*z - 1. Let s be j(2). Are s and m nonequal?
False
Suppose 14 = 2*s - 28. Let t be s/(-147) - (-58)/14. Let j be -1*(-3 + t + -2). Which is smaller: j or -1?
-1
Let m(f) be the first derivative of -f**2 - 9*f - 6. Let j be m(-5). Let s be 10/5 + (-1)/j. Are 1/2 and s non-equal?
True
Let a(l) = -39*l - 1. Let k be a(3). Is -119 < k?
True
Suppose 2*s + 5*c - 977 = 0, 19*c - 15*c = 4*s - 1968. Is 491 > s?
False
Suppose -5*b + 3*t + 0*t - 502 = 0, -408 = 4*b - 4*t. Is b at least -0.3?
False
Let p be -2*(-12)/(-381)*1/2. Which is smaller: 0.1 or p?
p
Let f be (-45)/(-39)*(-3925)/(-30). Let z = f + -151. Is z less than 1?
True
Let n = -2987/3 - -1004. Which is bigger: 7 or n?
n
Let w = 2758.9 - 2759. Is w at least 233?
False
Suppose 12*p - 19*p = -707. Is p smaller than 101?
False
Let y(g) = -116*g + 23. Let q be y(6). Let r = -18841/28 - q. Which is greater: r or 0?
r
Let m(r) = -12*r + 37. Let i be m(3). Which is smaller: i or -7/24?
-7/24
Suppose 1 = -3*n - 2*q, -13 = -n - 4*n + 4*q. Let g(o) = 6*o**3 + 2*o**2 - 2*o. Let v be g(n). Are v and 3 unequal?
True
Suppose -5*z + 2*w = -486, -2*z = -3*z - w + 100. Is 98 != z?
False
Let l = -30/551 + -37018/8265. Let v = -754/165 - l. Which is greater: v or 0.1?
0.1
Let v be -6 + 3 + 1 + 39. Let t = 5 + v. Let m be 1/((-3)/t)*-1. Is 13 not equal to m?
True
Suppose 18*a - 105 = -789. Is -32 less than or equal to a?
False
Let x be 4/(0 + (-3)/105). Let 