22/67137. Let j = l + -167/1946. Which is smaller: j or 0?
j
Suppose -3*m - 18 = -0*m. Let w be (-33)/(-63) - (-4)/m. Suppose -4*h - 5*h = -2*h. Is w < h?
True
Suppose 8*f = -0*f + 136. Suppose w = -0*w - f. Let b be 0 - (w + 9/3). Is 3 less than or equal to b?
True
Let h(b) = -b**2 - 3*b + 11. Let p be h(0). Let i = -4 + p. Let t = -4 - i. Is t greater than -12?
True
Let k = 3/3796978 + -1672570363/1966834604. Let c = 6/7 + k. Which is bigger: -0.1 or c?
c
Suppose -7*k + 2*k = 2*l - 3139, -4*k = 3*l - 2514. Let y = k - 611. Which is greater: y or 15?
y
Let r = -15374 - -15422. Are -45 and r unequal?
True
Let y = -22928 - -13618. Is y at least -9310?
True
Let o be -78*-2259*(-3)/(-9)*3. Let l = 1936364/11 - o. Let s = l - -169. Which is bigger: 0 or s?
s
Suppose 3*q = -11*q - 3*q. Let n be q + 1 + 10/(-5). Let r = 0 - -2. Are n and r equal?
False
Let t = 11.678 + 0.222. Let y = -0.06 - 0.04. Let b = y - t. Which is greater: b or 0?
0
Let w be (2/6)/(-2*1/(-12)). Suppose -w*f + 4*y = 2*y + 10, -2*f = 4*y + 34. Let v be -3*(-6)/f + 85/(-5). Is -19 > v?
False
Let y = 70837/112746 + -1/2622. Are y and 0 unequal?
True
Let x(o) = -2*o**3 - 3*o**2 + 8*o. Let i be x(-3). Let f be (-177)/(-295)*(-2)/i. Is -15.5 <= f?
True
Let l be (-510)/12*(-8344)/(-354655) - -1. Which is bigger: 1 or l?
1
Let o be (3/2)/(2 + 431/(-216)). Suppose o = 2*p - 11*p. Let r = p + 12. Is -24 <= r?
True
Let j be -85 + 73 + ((-5274)/(-330) - 4). Let x be 2/6 - (-1)/(-3). Is x smaller than j?
False
Let x be ((-4)/6)/(4/(-6)). Let z(c) = c + 23. Let j be z(-11). Let o be 24/(-411)*(-3)/j. Which is greater: x or o?
x
Let g be (10 + -1061)/(2 - 3). Let k = g + -85132/81. Let a(t) = 2*t**2 - 1. Let m be a(1). Is m bigger than k?
True
Let b(z) = -1114*z**3 + z**2 - 2*z + 2. Let i be b(1). Let a = 741 + i. Let g be a/21 - 6/21. Is g > 0.2?
False
Suppose -u = 4*u + 230. Let a = -36558 - -36516. Is u > a?
False
Let r be 3 + 9/(-3) - 76. Suppose -2*d - 1329 = -2*m - 1471, 0 = -4*m - 3*d - 333. Which is smaller: r or m?
m
Let v be (186/10)/(12/60). Is v at most as big as 466/5?
True
Let g = 421.33 + 18458.67. Which is smaller: 1 or g?
1
Suppose 4*n + 36 = 3*b, 5*b + 5*n = -0*n + 25. Let q be (6 - b - 0)/(2/(-4)). Suppose 0 = -3*a - 5*o - 8, -1 = q*a + o + 4. Which is smaller: a or -1/40?
a
Let b(d) = -d**3 + 29*d**2 + 286*d - 488. Let o be b(-9). Let n be 3/(2/28*-3). Is n at most o?
True
Suppose 5*t = -0*t - 3*x - 455, -t + 3*x - 73 = 0. Let w = t + 81. Is -14 greater than w?
False
Let b = -36 + 38. Suppose 114 = d - b*v, 9*d - 2*v - 456 = 5*d. Suppose 7*x = 5*x + 4*r + d, -4*x - 3*r + 217 = 0. Is 55 smaller than x?
False
Let b = -1387 - -1520.66. Let i = -134 + b. Let p = 0.24 + i. Is -6/7 at least p?
False
Let q = 251 - 137. Let x = 11213 + -11144. Let u = x - q. Which is bigger: u or 0.2?
0.2
Let g(w) = -w**3 + 16*w**2 - 29*w - 31. Let v be g(14). Which is bigger: v or -44?
-44
Let n = 1763 + -1171. Let p = 15986/27 - n. Is p at least 0?
True
Let k = -16.908 + 65.6. Let d = k - 0.792. Let s = d - 48. Is s < 15?
True
Let g(u) = 2*u - 18. Let m be g(22). Suppose -4*d + 52 = -4*t, -16*t + m = -18*t + 5*d. Which is smaller: -9 or t?
t
Suppose 0*s + 12 = -4*s. Let d = s - 37. Let g = d - -42. Does -1 = g?
False
Let y be -7*7/(-98) + 52/143. Let f = 6 - 4. Does f = y?
False
Let q = 0 - -2. Let g be (21/(-14))/(2/20*3). Let t be -2 - ((g - 2) + 24/6). Is q != t?
True
Suppose 3*r + 520 = -17. Let p = r - -10201/57. Suppose 4*c = 9*c + 5. Which is bigger: p or c?
p
Let o = 8338 - 8340. Which is bigger: -53/55 or o?
-53/55
Let s = 5999 + -6969. Which is smaller: s or 1?
s
Suppose -3*j - d + 76 = 2*j, 3*j - 50 = -5*d. Let r be (-3 - (-54)/j) + (-890)/25. Which is bigger: r or -29?
-29
Suppose 0 = -4*v - 28, -w - 2358*v + 14 = -2354*v. Which is smaller: w or 3?
3
Suppose 2*j + 0*v = -4*v + 8, -20 = -5*j - 5*v. Let f = 232 + -196. Suppose -3*y + f = -0*y. Which is greater: j or y?
y
Let l = 3309 - 3309. Which is smaller: l or -3017?
-3017
Let k = 52 + -52.052. Let y = -0.004 + k. Let p = -29.944 + y. Are 0 and p equal?
False
Suppose -2*k = -2*q - 604, -2*k + 6*q - q + 604 = 0. Let s = -8.07 - -8.17. Is s <= k?
True
Suppose -36*k - 22 - 39 = 1487. Which is greater: -284 or k?
k
Suppose f - 5 = -0*f - 5*o, -2*o - 100 = -3*f. Let b be (f/(-1035))/((-21)/(-18)). Which is bigger: b or 0?
0
Suppose -b = -4*u + 58 - 4, 67 = 5*u - b. Suppose 0 = u*m - 17 - 22. Is 18/5 greater than m?
True
Let t be 18 - (-1)/2*0. Let h be 11 + -10 - (t + 0). Let q be -2 - 65/(-39) - 50/3. Is h greater than q?
False
Suppose -4*j = -4*s - 692, 4*j - j = 5*s + 865. Let a be (-24)/6 - (-1 - s/(-57)). Which is smaller: 1 or a?
a
Let y be (5 - 7)/(((-16)/(-27))/8). Which is smaller: -248/9 or y?
-248/9
Suppose 0 = -o + h + 13, 0*o = -2*o + 4*h + 36. Let l be (-18)/(-12)*o/12. Is l not equal to 3/91?
True
Let h = 106.6 - 91. Let a = h - 8.6. Which is smaller: a or 2?
2
Let u(d) = -4*d**2 + 495*d - 1999. Let w be u(4). Let o(r) = -4*r**2 - 5*r - 2. Let c be o(4). Is w bigger than c?
True
Suppose 4*g = r + 1363, -24*g + r = -29*g + 1697. Which is greater: 18 or g?
g
Suppose 3*p + 4*k = 32, 0 = -p - 2*k + 4*k + 14. Let x = -19 + p. Is 6 at most as big as x?
False
Let y = -22 - -27. Let m = y - 76. Let p = -33 - m. Is p at most as big as -0.1?
False
Let o = -65 + 99. Suppose -2 + o = -8*n. Are -4 and n nonequal?
False
Suppose 3867*i + 20 = -3873*i + 7742*i. Let t = -5.04 + 0.04. Which is smaller: i or t?
t
Let s = 127 + -327. Let k = 172 + s. Is 0 greater than k?
True
Let b be (5 + -5)*(12/8)/3. Which is bigger: 66/401 or b?
66/401
Suppose 0*s = -s - 4*r + 30, -5*r = 0. Let p be (-18)/s - (-81)/(-15). Suppose 0 = 4*y + 17 + 3. Is p at least as big as y?
False
Let n be (1*2/((-28)/7))/((-6)/(-4)). Which is smaller: 94 or n?
n
Suppose 100 = 18*w - 16*w. Let d be (-100)/(-14)*25/w. Which is greater: d or 5?
5
Suppose -5*v - k + 3 = 0, 0*v + 4*k = -5*v + 12. Let d = -86909/25594 - -650/191. Which is smaller: d or v?
v
Let f = -6.14 + 5.9. Let w = f + 0.21. Let x(y) = y**2 - 6*y - 9. Let d be x(7). Is w > d?
True
Let c = -491 + 129. Let w = c - -362.1. Do w and 34.2 have the same value?
False
Let b = -32.2 - -12.9. Let l = b - -16.3. Which is bigger: l or -56/9?
l
Let i be (6/10)/(10/50). Suppose 3 = -i*o - 0. Which is greater: -1/124 or o?
-1/124
Let z be -1 + 1323/924 - (-2)/(-11). Which is smaller: z or 1305?
z
Let w = -64 + 113. Let g = w + -15. Suppose -b + a = 24 + 9, 2*a - g = b. Which is smaller: -33 or b?
-33
Let f(h) = -h**2 - 30*h - 23. Let c be f(-29). Suppose -3*r = -5*a + c*a + 2, 4*a + 8 = -2*r. Which is smaller: r or 1/550?
r
Let g(z) = -113*z**2 + 1. Let x be g(1). Which is bigger: x or -115?
x
Let f(r) = r**3 + 25*r**2 + 21*r - 47. Let a be f(-24). Suppose -a*d - 16 = -9*d. Let b be (-16 + -2)*((-845)/(-165) - 5). Which is smaller: d or b?
b
Let k = 7576 - 4353. Is 3223 >= k?
True
Let p(l) = -l**3 + 6*l**2 + 1. Let i be p(6). Let c = 6484 - 6537. Is i at most as big as c?
False
Let w = 267/4292 + 1/148. Let j = 72/203 - w. Which is smaller: j or 0.081?
0.081
Let o = -3004 - -3118. Is o <= 2?
False
Let a = 7.1 - -32.9. Let r = a - 187. Does 0 = r?
False
Suppose 95*h = 79*h + 1216. Which is greater: h or -2?
h
Suppose 0 = 7*k - 43 - 62. Let x be (5/k)/((-2)/(-272)*-2). Is -23 != x?
True
Suppose -4*w + 16 = 0, -480 = -3*x + 2*x + 4*w. Suppose 0 = -7*v + 1336 - x. Let k = v - 124. Which is greater: -1 or k?
-1
Let k = 39032 - 39035. Suppose -d = -4*r - 2745, -3*d + 4*r + 11104 - 2877 = 0. Let g = 46567/17 - d. Is k >= g?
False
Let m = 550 - 141. Let c = m - 3679/9. Which is bigger: c or 0.1?
c
Let g(k) = 17 - k**3 + 2 - 10*k**2 - 14*k - 57. Let i be g(-10). Are 101 and i nonequal?
True
Let a(i) = i**2 - 19*i - 20. Let z be 566/12 - (-7)/(-42). Suppose 4*u = 3*q - 29 - z, 116 = 5*q - 4*u. Let t be a(q). Is -2/39 at most t?
True
Let p be (11 + 155/(-15))/((-20)/9303). Let x = -310 - p. Which is smaller: -20 or x?
-20
Let a = -82 + 78. Let w be 1 - (3/(-4))/(a/(-48)). Which is smaller: w or 4?
4
Suppose 5*i + 41 = 6. Suppose 135 = -182*u - 775. Which is smaller: i or u?
i
Let q = 3562/33 - 65224/825. Which is smaller: q or 1?
1
Suppose -583*n + 14078 + 5838 = -609*n. Is n less than -759?
True
Let t = 3512 + -3514. Which i