Suppose 4*m = z, 3*t = -0*t + 4*m + 24. Let d = t - 9. Which is bigger: -1/3 or d?
-1/3
Let z = -84 - -137. Let l = z + -53. Let j be (1*18)/(-3) + -1. Which is smaller: j or l?
j
Let x(h) = h**2 - 4*h + 4. Let q be x(7). Let u = q - 19. Suppose a - u*a = 0. Which is bigger: a or -1/37?
a
Let s(q) = -q**3 + 4*q**2 + 2*q - 1. Let p be s(2). Let k be ((-39)/9)/(1/3). Let m = p + k. Are m and -3 unequal?
True
Suppose -o = 3 + 1. Which is smaller: 22 or o?
o
Suppose -55*r + 1700 = -60*r. Is -342 at least as big as r?
False
Suppose 4*h = -296 + 96. Let u be 2 + ((-6)/(-2) - (59 + -4)). Is h less than or equal to u?
True
Let r(j) = -83*j**3 - 3*j**2 + 5*j - 6. Let v be r(2). Does 0 = v?
False
Suppose -2*p = -15 - 19. Suppose -3*t + 13 = a, -2*t - 3*a = -7*t + p. Suppose -t*k + 6*k = 0. Are k and -4/5 nonequal?
True
Let q be ((-2)/76)/((48/(-32))/(108/(-4))). Suppose t = 4*t. Which is bigger: q or t?
t
Let r be 0/2*(42/12 + -4). Which is bigger: 2/9 or r?
2/9
Let u = 49.5 - -7.5. Let r = -38 + u. Which is smaller: r or -1?
-1
Let d = -238215857653/10317 + 23089644. Let p = d - 2/543. Which is greater: p or 0?
0
Let k be (-1 + 7)/(2/1). Let n be -3 - (k - (0 - -9)). Let i(v) = v**3 - 4*v**2 + 2*v + 4. Let m be i(n). Which is smaller: 0 or m?
0
Let f be (2/(-15))/(24/18). Suppose 12*g + 5 = 17*g. Is g not equal to f?
True
Suppose 0 = 3*s + 10*x - 7*x + 6, -4*x = -2*s + 14. Do s and 1/99 have the same value?
False
Let l be (3/97)/(29/58). Which is smaller: l or -1?
-1
Let h(g) = -5*g - 3. Let k be h(-3). Let y be (-195)/(-25) - (-20)/(-25). Which is greater: y or k?
k
Let r = -550 - -548. Which is smaller: r or 1?
r
Suppose -3*r + 5*j + 40 = r, -5*r - 5*j = -5. Suppose 0 = 2*b + 4*o + 2, -3*b - 3*o = -r*b + 19. Suppose 5*w + b = -25. Which is bigger: w or -5?
-5
Let j be ((24/(-44))/((-18)/(-12)))/2. Is -0.415 >= j?
False
Let n(l) = l**3 - 4*l**2 - l + 4. Let v be n(4). Let p be 6/(-14) + (-145)/(-175). Let g = -7/30 + p. Are v and g non-equal?
True
Suppose -n + 19 = -4*b, -3*n - 2*b = 3*b - 23. Let q = -9 + n. Let h be 36/15*5/2. Are h and q non-equal?
True
Let h = -269 + 291.1. Let b = -20.3 - 1.7. Let o = b + h. Which is greater: o or 12?
12
Suppose 2*v - v = -y + 177, 4*v = -4. Suppose -t + 2*a + 6 = -32, 4*t + 5*a = y. Is 41 equal to t?
False
Let w(o) = -o**3 + 7*o**2 + 2*o - 10. Let f be w(7). Suppose 4*l + 12 = -4*p, -f*p - 5*l - 24 = -9. Which is smaller: p or 2/21?
p
Suppose w + 627 = -4*d, -d + 15*w - 141 = 10*w. Let g = -153 - d. Let h = 6/163 - -2578/815. Is h >= g?
True
Let j = -4524/7 + 648. Suppose -2 + 0 = -u. Which is smaller: j or u?
j
Let i(o) = 54*o + 432. Let t be i(-8). Let k = 8 + -6. Which is greater: k or t?
k
Let i be ((-135980)/(-390))/(2 - (-7)/(-3)). Is -1047 at most as big as i?
True
Let i be 0 - (-42)/(-10)*10/(-4). Is i greater than 0.8?
True
Suppose 59 = -5*o - 31. Let s = -4 - o. Let t be (-7)/((-28)/8) - s. Are -10 and t equal?
False
Let v = 2.4 - 2.86. Let j = 0.54 - v. Is j at least as big as -3?
True
Let x = 188 + -108. Are 80 and x unequal?
False
Let b be (-2 + (-116)/(-50))*39/(-260). Is b at least as big as 0?
False
Suppose -4*b = -4*a + 8, -4*b - 4*a + 1 = a. Let j be (-77)/105 + b/(-3). Let o(m) = 2*m**2 - 1. Let n be o(1). Are j and n equal?
False
Let u = 1182.9 - 1185. Which is smaller: 25 or u?
u
Let m = -44 - -49. Let z = m + -5. Which is smaller: z or 3.3?
z
Let h = -4.01 - -3.71. Suppose -4*q = -q + 3. Is q greater than or equal to h?
False
Let u(v) = v - 24. Let p be u(25). Which is smaller: 25/21 or p?
p
Let x = 1455 + -899. Is 556 <= x?
True
Let u = -133 + 133.94. Let s = -0.94 + u. Let o = 2/223 + 665/446. Which is smaller: o or s?
s
Suppose v + v + 22 = 0. Suppose -68 = -3*u + 5*x, -x + 0*x = -5*u + 128. Let g = u + v. Are g and 16 non-equal?
True
Let d = -23 + 171. Is d less than or equal to 150?
True
Let o = -56 - -38. Let a(j) = 7*j + 13. Let d be a(9). Suppose 0*z = 4*z + x + d, 70 = -5*z + 5*x. Are o and z nonequal?
False
Let k(z) = z**2 - 3*z - 10. Let y be k(5). Suppose 5*g + 3*f - 20 = y, -3*g - 4*f - 1 + 2 = 0. Suppose g*s - 2*s = 90. Is s > 19?
False
Let h be (-14)/8 - (1 + -2). Let n(j) = j**2 + 25*j + 46. Let y be n(-23). Are h and y nonequal?
True
Suppose 0 = -0*h + 2*h, -3*h + 4 = 4*x. Is 68/39 less than x?
False
Suppose 1 - 12 = -3*c - 2*y, 2*c - 2 = 4*y. Suppose 5*s - 60 = c*s. Suppose 5*d + s = -10. Which is smaller: d or -9?
-9
Suppose -10 = -p + 2*b, p + 5 = 5*p - b. Let t be -1 + p/(15/(-5)). Is -2/7 not equal to t?
True
Let g be (-7 - 28/(-5))*305. Is g > -427?
False
Let h = 21.2 + -1.2. Let v = 19 + -30. Let g = v + h. Which is smaller: g or 0.1?
0.1
Let p(r) be the second derivative of r**4/12 + r**3/6 + 8*r**2 - r. Let c be p(0). Are 16 and c equal?
True
Let y = -321 - -322. Is y > 2/767?
True
Suppose 7*f - 1 - 13 = 0. Suppose -4*b = -f*w - 32, -b - 3*b + 4*w = -40. Which is greater: 0.2 or b?
b
Let u(d) be the third derivative of 0 + 0*d - 7/3*d**3 + 1/8*d**4 + 2*d**2. Let i be u(5). Is 1/13 not equal to i?
True
Let b = -88.2 + 97. Let i = -9 + b. Let t be (-6 - -3)/((-51)/2). Which is smaller: t or i?
i
Suppose 4*g + 5*q - 178 = 30, 5*q = 4*g - 168. Let o be -74*(2 + -6 + g/12). Which is bigger: 7 or o?
7
Let s = 156928/77 + -2038. Which is bigger: -1 or s?
s
Let m = 0 - 12. Let n = 16 - 1. Let f = m + n. Is 1/6 less than f?
True
Suppose -l + 33 = x - 4*x, -75 = -3*l + x. Suppose -30 - l = 6*m. Is -1 greater than m?
True
Let s = 0.15 - 0.05. Let h = 1.1 - s. Which is bigger: h or 2/21?
h
Suppose -3*i + 13 = -16*i. Let b = -70 - -4832/69. Is b != i?
True
Let i = 28 - 26. Suppose 46 = -4*z - 5*o, 3*z + 37 = -3*o - i*o. Let q be 8/(-12)*z/156. Is q >= 1?
False
Let v be ((-8)/10)/((-18)/45). Suppose 0 = -w - 6*b + v*b - 17, 5 = -5*b. Do -12 and w have different values?
True
Let n = 6.86 + -4.87. Let c = 0.01 + n. Let g = 6.94 + -7. Is g at most as big as c?
True
Let c = -3/847 + -781769/3388. Let r = 232 + c. Suppose -8*x = -2*x. Which is greater: r or x?
r
Let g = -0.021 + 10.581. Let p = g - 0.56. Which is smaller: 1 or p?
1
Suppose -10*d + 12 - 532 = 0. Which is greater: d or -40?
-40
Let l = 57 - 55. Suppose -l*h + 5*w - 41 = 0, 6*w = 4*h + w + 67. Which is smaller: -15 or h?
-15
Let p(v) = -4*v + 1. Let w be p(-6). Let d be 121/(-4) - 8/(-32). Let r = d + 56. Which is greater: w or r?
r
Let d be (-6 + 4)*42/12. Which is smaller: -160/19 or d?
-160/19
Let k = 12.2 - 12.2. Is 0.043 > k?
True
Let r = -95/93 + 62791/61287. Which is bigger: 1 or r?
1
Suppose -4*j + 141 = 3*l, -j + 3*l + 21 = -3. Suppose -n - 5*d = -31, -2*n - 3*d + j = n. Suppose -4*h - 2 = -n. Which is bigger: h or -1.4?
h
Let j be ((-2094)/4788)/1 - (-3)/7. Are 0 and j equal?
False
Let b = 8229798/12991 + 1/25982. Is 634 at least b?
True
Let p(z) = -2*z - 100. Let v be p(-13). Which is greater: -73 or v?
-73
Let p be 1*(-1)/((-1)/(-17)). Let s be 6/4*30/9. Suppose 0 = s*c - 24 + 104. Which is greater: p or c?
c
Suppose 24 = -12*f + 15*f. Let g = f - 22/3. Is 0 less than g?
True
Let w = 299 + -260. Is w at most 42?
True
Suppose -5*q - 1311 = -2*p, -3*q = -p + 263 + 523. Is q != -263?
True
Let g = 7 + -11. Let i be (6 - 7) + g/(-2). Let s be (-10)/(-235)*(0 + i). Which is greater: s or 1?
1
Let q = 1 + -0.8. Suppose 21 = 9*t - 33. Let i be (8/(-60))/(-1*(-4)/t). Is q != i?
True
Let g = 1 - 1.2. Let i = -23.8 - -24. Let c = i + g. Do 16 and c have different values?
True
Let x be (-1)/(-8) + 1130/(-80). Let y = -11 - 3. Is y not equal to x?
False
Let u = -0.175 + -0.625. Let z = 0.79 - -0.01. Let q = u + z. Which is greater: -0.13 or q?
q
Let g(w) = -w**2 + 2*w. Let r = -3 + 6. Let a be g(r). Let p = -9 - a. Is p at least as big as -6?
True
Suppose 14*q = 4 - 46. Let n = -14 - -14. Which is bigger: q or n?
n
Let r be 1/4*40/(-6). Suppose -2*i = -7*i - 5. Is i less than r?
False
Let a = 8.542 + 0.438. Let c = a - 9. Let w = -0.12 - c. Which is bigger: w or 5/2?
5/2
Let x = 231 + -233. Is -14 at most x?
True
Suppose 2*z + 2*x = 6, -10*x = 4*z - 12*x + 12. Which is greater: -8/93 or z?
-8/93
Let r = -15 - -20. Suppose 5*z - 36 = -3*o, -r*o = -3*z + z + 33. Suppose -5*s - 2*n - 9 = n, 0 = 4*s + 3*n + z. Are s and 2/47 unequal?
True
Suppose t - 3*t + 240 = 0. Let b = -60 + t. Let o = 40 - b. Is o greater than -20?