or -0.02?
-0.02
Let l be (-434)/665 + 3/5. Suppose -o = 3*r + 17, -5*o + r + 3*r = 104. Let a = -20 - o. Is l smaller than a?
True
Suppose 4*z + 173 = 185. Which is bigger: z or -0.3?
z
Let x be 2 + (-1 - (-62)/(-2)). Let n = -60 - x. Let u = 88/3 + n. Is 0.3 <= u?
False
Suppose 0 = -2*k + 4*k - 4*s - 14, -5*s - 1 = 3*k. Are k and 0.096 nonequal?
True
Suppose 0 = -19*n + 201 + 27. Is 10 smaller than n?
True
Let d be 8 + -2 + 1 + 2. Let i be (-45)/360 - (-1945)/200. Which is greater: i or d?
i
Suppose 33*c + 5054 = -4483. Do c and -289 have different values?
False
Let s(u) = -28*u + 66. Let i be s(3). Is -96/5 < i?
True
Let d(m) = -5*m - 3. Let r be d(-1). Let u be 8/6*6/r. Which is smaller: u or 6?
u
Let t(b) = 13*b + 2. Let u be t(2). Let f = -33 + u. Which is smaller: f or -3?
f
Let w(z) = 48*z**2 - 146*z - 6. Let u be w(3). Suppose -13 = 3*b - 2*b. Is u at most b?
False
Suppose 8*z = 11*z - 12. Let b be z + -4 - (1 - 4). Is -0.3 bigger than b?
False
Let l(v) = 15 - 1 + 6*v + 4 - 3*v. Let d be l(-15). Is d <= -24?
True
Suppose 4*y + w + 487 = 5*y, 965 = 2*y - 5*w. Suppose -y = -13*q - q. Which is greater: 33 or q?
q
Let x be -10*((-2)/(-18))/1. Let z = 38 - 38. Suppose 3*m = 3*r - 8 + 2, z = -m - 5*r + 10. Which is bigger: x or m?
m
Let i = -9 - -6. Let g be (27/(-12))/((-6)/16). Suppose 3*m = 6*m + g. Which is smaller: m or i?
i
Let a = 46 - 33. Let x = a - 17. Which is smaller: 2 or x?
x
Let r = 0.9 - 0.9. Suppose 3*t - 11 - 4 = 0. Let p be (2/(-20))/((-2)/t). Which is smaller: p or r?
r
Suppose -3*w = -4 - 8. Suppose -3*n = -0*o + w*o - 19, -13 = -4*o + 3*n. Let f = 39 - 33. Is o greater than f?
False
Suppose j - 9 = 2*z, -11 = j + z + 2*z. Let c = 3646/19 + -192. Which is greater: j or c?
j
Suppose 18*w = 10 + 8. Which is greater: 2/811 or w?
w
Suppose -4*n + 8 = 3*k - 1, 2*k - 1 = -n. Suppose 2*h = 4*d + 3*h - 3, 5*d - 2 = -n*h. Is d at least as big as 2/17?
True
Suppose -10*w = -42*w - 5024. Is -155 >= w?
True
Let o be 1/(-2) + (-4 + 9)/10. Which is smaller: 2/157 or o?
o
Let f(i) = -5*i - 6. Let q be f(-5). Let w = -347 + 366. Is w <= q?
True
Let a = 344 - 274. Which is greater: -5 or a?
a
Let h(u) = u**3 + u**2. Let q(y) = 6*y**3 + 2*y**2 - 4*y. Let f(d) = -5*h(d) + q(d). Let z be f(4). Let v be z/(1/1*-1). Is v at most 1?
True
Suppose 0 = -3*t + 4*p + 57, 1 = -p - 2. Let l = t + -7. Let y(g) = 2*g - 12. Let o be y(l). Which is smaller: o or 6?
o
Let o = -73.29 + 73. Let h = -0.49 - o. Let f = -9.6 - -10. Is h at most f?
True
Let u(t) = -2*t**2 - t**2 - t**2 + t + 3*t**2. Let f be u(-1). Which is smaller: f or -19/6?
-19/6
Let l(d) = d + 15. Let y(z) = z**3 + 2*z**2 + 1. Let t be y(-3). Let q be l(t). Does q = 7?
True
Let v(y) = y**3 - 5*y**2 - 21. Let a be v(6). Which is smaller: a or 19?
a
Let r(v) = 4*v**3 + v**2 - 1. Let a be r(-1). Let z = -5 - a. Let g(s) = -2*s - 39. Let y be g(-19). Is y smaller than z?
False
Suppose -3*a - 3*a = -18. Suppose 4*r - a = 7*r. Let v = -415/7 - -59. Which is greater: v or r?
v
Let b(z) = -z**2 - 5*z + 11. Let s be b(-5). Suppose -6 = -g - s. Which is greater: g or -19/3?
g
Let j = -28 + -1. Let k = j - -29.06. Let l = k + -11.06. Is l less than or equal to -1?
True
Suppose 0 = -x - 3*w - 2, 0 = -3*x + 5*w - 3 - 3. Let y = -4348/9 - -482. Is y bigger than x?
True
Suppose -2*p + 399 = 2*k + k, -561 = -3*p + 3*k. Let z be p/36*(-3)/2. Is -2/11 at most z?
False
Suppose 0 = -d + 7*d + 66. Let o = 0 - -4. Let s be (o/(-5))/((-2)/(-25)). Which is smaller: d or s?
d
Let v(x) = -x + 64. Let r be v(32). Are r and 36 non-equal?
True
Let g = -181 + 182. Is g not equal to 114?
True
Let w = 373 + -413. Is w greater than or equal to -41?
True
Let y be (-12404)/(-37716) + 2/(-6). Is y < 1?
True
Let h be ((-8)/(-3150))/((-1)/(-123)). Let t = -2/75 + h. Is t < -1?
False
Let x(v) = -3*v + 13. Let m be x(-4). Let i(q) = q**3 + 11*q**2 + 3*q - 47. Let z be i(-10). Which is smaller: m or z?
z
Let j = -321/280 - -11/8. Which is smaller: j or 1?
j
Let v = -486 + -534. Which is smaller: v or -1019?
v
Let y be 5/20*-1 + (180/(-176) - -1). Let v(d) = -d**2 + 2*d - 1. Let i be v(1). Which is bigger: i or y?
i
Let b(g) = 3*g**3 - 4*g**2 - g + 1. Let z be b(3). Suppose -143 = -4*w - z. Suppose 5 = -2*s + w. Is s at most 1?
False
Let z(t) = -2*t**3 - 23*t**2 + 26*t + 23. Let j(n) = -n**3 - 11*n**2 + 13*n + 11. Let m(p) = -7*j(p) + 3*z(p). Let k be m(-9). Is 27 not equal to k?
True
Let h be 4/(-18) - (-228)/(-3591). Is h bigger than 246?
False
Let w be (-310)/6 - (-3)/(-9). Let z be 13/w - 50/(-8). Is z greater than or equal to 27/4?
False
Let g = 878 + -872. Is g at most 3/14?
False
Let q = 12 - 23.4. Let p = q + 11.3. Is -13 equal to p?
False
Suppose -3117 + 15688 = 13*j. Do 967 and j have different values?
False
Let y = -15 + 9. Let q be (y/28)/(2/32). Are -4 and q equal?
False
Let w(n) = n**3 - 3*n**2 - 3*n - 1. Let r be w(4). Let k be (-132)/(-28) - 0 - 3. Is r less than or equal to k?
False
Let g = 35.1 - 36.1. Let a = 0.11 - -0.13. Which is greater: a or g?
a
Suppose -2*r = 5*z - 6, -5*z = -4*r - r - 20. Let q(o) = -o - 2 + 4*o - 5*o + o**2. Let c be q(0). Is r smaller than c?
False
Let j(x) = -x - 14. Let b be j(-4). Let f be b/(-75) - 579/(-45). Which is bigger: 14 or f?
14
Suppose 3*s = -5*j - 70, -105 = 6*s - 2*s - 5*j. Is s smaller than -28?
False
Let d be 3/9*0 - -5. Suppose -12281*p + 12265*p + 48 = 0. Is d at least as big as p?
True
Let i(q) = q + 10. Let c be i(-8). Let x be (-3)/c*32/(-12). Suppose 12 + 11 = 4*d - b, d + b - 2 = 0. Is d smaller than x?
False
Suppose -3*n + 4*y - 4 - 5 = 0, n = -3*y - 3. Is n greater than -66/19?
True
Let c be (336/36)/(5/3). Which is smaller: -1/2 or c?
-1/2
Let d be (4*3/294)/((-40)/(-280)). Is 1406 > d?
True
Let h = -28 - -31. Let f be (h - 69/28)*-4 + 2. Which is bigger: 2 or f?
2
Let f = -595 - -596. Is -111 smaller than f?
True
Suppose b + 5*d = 16, b + 2*d + 2 = 3. Let a be b*-6*2/9. Let i = 11 - a. Is i not equal to 1/9?
True
Let h be 6*-3*(-1)/6. Let c = h + -3. Suppose c = -5*k - 3*l - l + 21, 5*k + 3*l = 17. Which is smaller: k or 4/13?
4/13
Suppose 0 = -w - 2*c + 15 - 0, 5*c - 20 = 0. Suppose -7 = 2*t + w. Suppose -5*f - 2 - 3 = 0. Which is bigger: t or f?
f
Let f = -337 - -40101/119. Let x = f + -13/238. Let t = 17/42 + x. Which is bigger: -0.05 or t?
t
Suppose -8301 = -4*a - 3497. Suppose 3*d = 5*h + 1231, 0*d + 3*d = -h + a. Let b be ((-3)/(d/8))/2. Which is bigger: b or 1?
1
Let p = -4082 + 2607. Let k be ((-35790)/p)/((-567)/(-30)). Let d = k - -1/531. Is 0 bigger than d?
False
Let g be (4 - 5/1) + 3/4. Let x be 15/(-10)*2/(-3). Which is greater: x or g?
x
Let h(j) = j**3 + 2*j**2 - 3*j - 6. Suppose -10*y = -7*y + 6. Let c be h(y). Is -2/63 bigger than c?
False
Let o(m) = -2*m + 12. Let a be o(5). Suppose 0 = -5*t + a*g - 25, -3*g = -2*t - 26 + 5. Is -32 >= t?
False
Suppose 91*o = 58*o + 2112. Is o at least as big as 50?
True
Suppose 12 = -s + 3*s. Suppose s*t = 2*t - 12. Let l be (t/99)/((-2)/(-6)). Which is greater: 0 or l?
0
Let u = -242.8 - -121.8. Is -1 less than or equal to u?
False
Suppose 5*i + 2 = 27. Suppose -i*o - 3*t = -0*o + 39, -12 = 4*t. Suppose -3*w = 2 + 19. Which is smaller: o or w?
w
Let m = -5880 - -2831. Let q be 6/21 + m/(-35). Let l = q - 88. Which is smaller: l or -2/9?
l
Let n(w) = 27*w**2 - 10*w + 18. Let a be n(2). Which is smaller: 109 or a?
a
Let j be (-11)/(-6) + 2/12. Suppose -5*g + 3*m - 60 = j*m, -2*g - m - 24 = 0. Is g smaller than -3?
True
Let w = 20354 + -1099151/54. Is 0 > w?
True
Let u = 4832 - 52718/11. Are 38 and u equal?
False
Let b be ((-11)/(-132)*-4)/((-1)/(-269)). Which is bigger: -89 or b?
-89
Suppose -3*c + 19 = 61. Suppose 42 = -3*a + 5*f + 2, a - 3*f + 8 = 0. Let b = c - a. Is 6 at least b?
True
Let w = 2 - 3. Let i be w*(3 + 16/(-4)). Let o(b) = -b**2 + 6*b + 15. Let m be o(8). Is m >= i?
False
Let d be (1/(-3))/((-2)/(-5 + -1)). Which is smaller: -9/64 or d?
d
Let u = 2329 + -300439/129. Is -1 at most as big as u?
True
Suppose 15*n - 10 = 16*n. Which is greater: n or -120/13?
-120/13
Let n = 207 - 209. Let b = -5 + 0. Let s(u) = u**2 + 6*u + 3. Let g be s(b). Do n and g have the same value?
True
Let a = 4 - 4.1. Let p = a + -0.1. Let z be (-2 - 28/(-12))/(4/4). Does z = p?
False
Let z = -292 - -303. Is -1/5