-0.111 or s?
-0.111
Suppose -f + 51 = 5*g, -4*g + 13*f = 9*f - 36. Let j be 2/16*(0 - g/(-125)). Which is bigger: 1 or j?
1
Let f(m) = 51*m - 358. Let r be f(7). Suppose 10*y = 5*y + 15. Suppose 12 - y = -3*p. Which is smaller: p or r?
p
Let a = 52775 + -52786. Suppose -u + 3*u = -22. Is a smaller than u?
False
Let p be (65/34775)/(6/260). Is -1 at least as big as p?
False
Let y be -3 + -2*(-3 - 4). Suppose -15*o = -y*o + 8. Let t be 2*o/393*18/(-12). Is t not equal to 1?
True
Suppose 5*t = -25, t - 61 = -2*j - 2*t. Let a = 300 + -300. Let q be (-6 + a - -45)*1. Is q at least as big as j?
True
Let y be (-3)/(-21) + 8/(-21). Let z = y - 2/21. Is -57 bigger than z?
False
Suppose 0*p = -5*p - 95. Suppose 3*h + 40 = 2*n + 29, 5*h + n = -14. Let t be h*(1710/27)/10. Is p less than or equal to t?
True
Let c be (-2)/((-4)/14 - 24/14). Suppose -3*y = -b - 19, c - 10 = -5*y - 4*b. Suppose y*g - 3*z = 142, -4*g + 66 = -g + 3*z. Is 26 <= g?
True
Suppose 0 = -n - 3*n + 16. Let f be (14/n)/((-2)/4). Let y be (-1 - 1) + f/((-77)/15). Is y at least as big as 0?
False
Let k be -7 + -3 - (793/76)/(-1). Is -1 <= k?
True
Let m be (-10)/(-5)*2776/16 + -1. Which is smaller: m or 345?
345
Let i = 29.737 + -29.937. Let n = -4.5 - 39.5. Is i greater than or equal to n?
True
Suppose 0 = -5*n - 2*o - 88, 3*n + o + 688 = 635. Which is bigger: -39 or n?
n
Let r = 1585/7 - 227. Let i = -8227.01 - -8227. Which is greater: r or i?
i
Let l be (12/(-4) - 1958/187) + 4. Is -9 less than l?
False
Let r = -0.02 + 2.02. Let j = -254930 - -255008. Does j = r?
False
Suppose -23*j - 288 = -20*j. Let k = 93 + j. Let u be (1 - k)/(-4) + 11. Is u greater than 2/7?
True
Let h be 1/(-4) - (-52234)/580244. Let g = -35/212 - h. Let f = 804/4301 + g. Which is greater: f or -1?
f
Let t = -227 - -173. Let b = -19 + t. Let w be (1 + -2)*(80 - 7). Do b and w have different values?
False
Suppose 0 = -b - v - 187, 4*b + 2*v = 3*v - 748. Let j = b - -183. Which is greater: -2 or j?
-2
Suppose 3*y = 5*t - y - 85, -2*y = 5*t - 115. Let d be (-4*2/(-14))/(6/t). Let r be (-4)/((0 - d) + 4). Which is smaller: r or -3?
-3
Let w(z) = -5*z**2 + 16*z + 44. Let t be w(5). Let h be (-4)/(35136/(-2164)) + 3/(-12). Which is bigger: t or h?
h
Let i be ((-15)/(-10))/((-2)/(-4)). Suppose -c - c + i*z = -13, 0 = -4*c + 2*z + 22. Let y be 40*((-75)/(-70))/c. Is 8 not equal to y?
True
Let p = 0.451 - 0.301. Let f = -0.14 + -0.06. Does p = f?
False
Let y = 32 - 18. Let q = y - 16.5. Let j = 2.4 + q. Is 12 bigger than j?
True
Let x be (9/2)/(3/(-6)). Let s = -0.18 - -0.18. Let d = s - -1. Is d smaller than x?
False
Let t be (63/(-12))/((-1)/(-4)). Suppose -19*n = 15*n - 9894. Let o = -311 + n. Is t less than o?
True
Let p be (-3 - (-49)/14)/(3/6). Is -9/236 not equal to p?
True
Let z be (-85)/187*-1*(-10)/(-125). Is z at most as big as -0.244?
False
Let m be (-9129)/(-78) - (-48)/(-1248). Is m smaller than 117?
False
Let o be (-6834)/24 + (-11)/(-4) + -2. Let n = o + 279. Is -8 >= n?
False
Let r = -71318/3 - -23774. Is r equal to 267?
False
Suppose -3*k + 17*k + 196 = 0. Let y(r) = 9*r + 97. Let m be y(k). Is m < -29?
False
Let j = 0.05818 + 2.94182. Which is smaller: -0.1007 or j?
-0.1007
Let m = 0.059 - 34.059. Let k = m - -37.45. Let o = 0.55 + k. Is o at most as big as 4?
True
Let h(v) = -v**2 + 12*v - 31. Let j be ((-6)/5)/((-9)/60). Let f be h(j). Is 16 not equal to f?
True
Let g = -83 + 82.87. Let c = 0.91 - g. Which is smaller: c or 2?
c
Let n = -1/26631 - -174586/133155. Which is greater: 0 or n?
n
Let g be (-416)/2772 + (-120)/(-660). Which is smaller: -5 or g?
-5
Let j(a) = -a**2 - 2*a + 4. Let o be j(0). Suppose -5*c + c = 0, 100 = -o*y - c. Let i = y - -25. Is -1 <= i?
True
Let s = 33.3 + -33.3. Which is smaller: -0.067 or s?
-0.067
Suppose -3*w = 5*v - 24, -3*v + 24*w - 27*w + 18 = 0. Let t be 0/(1/(-1)*1). Does v = t?
False
Let n(j) = j**2 + 24*j - 379. Let c be n(-33). Is c smaller than -5?
True
Let x = 12 + -5. Suppose 16 = -5*o + x*o. Let w be -2*(2/15 + 57/(-90)). Are w and o equal?
False
Let h be -2 - 19/(-5) - (-596)/(-745). Let z be -1 - -20*8/148. Which is bigger: h or z?
h
Suppose -22*d + 2332 = -44*d. Let x = -144 - d. Which is bigger: x or -42?
x
Suppose 6*r + 5 = 8*r - 3*p, -p = -3*r + 11. Suppose -3 = -0*t + 5*t - b, -r*t = -2*b. Is t greater than 2/285?
False
Let o = -1218 + 1219. Which is smaller: -2/1681 or o?
-2/1681
Suppose 6624 = -81*r + 69*r. Let v be r/(-2511) + (-34)/153. Which is bigger: v or -1?
v
Let f(o) = -7*o - 25. Let s = 9 - 18. Let r be f(s). Does 42 = r?
False
Suppose 0*a + 160 = 4*a. Let o = a - 42. Let d be o - (-1 + 2 + -4). Does d = 1/8?
False
Suppose -2*w = 23*w + 5*w + 12480. Which is greater: w or -426?
w
Suppose 0 = 4*z + u - 0*u - 21, 0 = -2*z - 5*u + 33. Let s be 8/20*z/8*-13. Which is smaller: 0 or s?
s
Suppose -4*a - 188 = -3*x - x, -4*a - 198 = -2*x. Let w = -34 - a. Is w != 16?
True
Let f = -1.07 - -1.17. Is 0.166 greater than or equal to f?
True
Let s(c) = 10*c + 82. Let l(j) = -3*j - 20. Let t(y) = 18*l(y) + 4*s(y). Let n be t(-1). Which is bigger: 6 or n?
6
Let g(w) = -22*w - 35*w - 14*w. Let r be g(5). Let z be r/(-90) - 0 - 4. Which is bigger: -1 or z?
z
Suppose -8*m = -5*m - 2*p - 935, -2*p + 919 = 3*m. Suppose -m = 5*w - 309. Which is smaller: w or 1/24?
w
Let x = -89 + 91. Let d be (-122)/((3/6)/(x/4)). Do -241/2 and d have the same value?
False
Let a = -36 + 57. Let i be 81/a - (5 - 72/14). Suppose -x - i = x. Is x bigger than -10/13?
False
Let g = 15219 - 25187446/1655. Is 0 at most g?
False
Suppose 0 = -216*f + 7274 - 71426. Let p be (-3 + -1)/((-2)/(-149)). Is f smaller than p?
False
Let g = -1916 + 5780/3. Suppose -8 = 3*f - 4*h - 54, 0 = f - 3*h - 17. Suppose -w - 5*y + 28 = 2*w, 0 = w - 3*y - f. Which is smaller: g or w?
g
Let p = -3378 + 3379. Is 56/169 less than or equal to p?
True
Let o be (4/(-242))/(296/(-4)). Let r = o + -9297/1535611. Which is greater: 1 or r?
1
Let h = 970 + -425. Let n(x) = 4363*x - 30540. Let i be n(7). Which is smaller: h or i?
i
Let c be ((-2223)/(-684))/(1/(-2228)). Does -7239 = c?
False
Let u be ((-2)/(-1))/(-3 - 4). Let r = 0.24 - 32.49. Let n = -2.75 + r. Which is smaller: n or u?
n
Let r be (-46)/(-12)*8/(672/3375). Let u = -154 + r. Which is greater: u or 1?
1
Suppose -5*u - 30 = -3*v, 4*v + 11*u - 23 = 12*u. Suppose 1 = v*f + 11. Let m = -0.03 + -55.97. Which is smaller: m or f?
m
Suppose 1107 = 2*c - 3199. Which is greater: 2152 or c?
c
Let z = 920 + -1801/2. Let c = z - 79/6. Is -1.3 smaller than c?
True
Let h(u) = -103*u + 3015. Let q be h(34). Which is greater: q or -479?
-479
Suppose 24*m - 51*m = 0. Is m < 6.561?
True
Let c(j) = 31*j - 218. Let l be c(7). Let k be (-810)/(-36)*(l - (-159)/171). Which is greater: -1/2 or k?
-1/2
Let y be ((-5590)/104)/(-43)*284. Are y and 15 non-equal?
True
Let a be (29 - -7)*((-747)/20)/(-3). Let z = -456 + a. Is -0.2 >= z?
True
Let y = -52353 + 52352.9. Let f = -24 + 184. Which is bigger: f or y?
f
Let x = 25921.043 - 25920. Is x < -5?
False
Let t be 0 - 10 - 1054790/(-1505). Is 690 >= t?
False
Let p = 15770 + -17255. Which is smaller: -1498 or p?
-1498
Let d = -1.001 + 5.431. Let a = -4.33 + d. Which is smaller: a or 0.7?
a
Suppose -6740*k - 5058 = -6722*k. Is -1127/4 > k?
False
Suppose -107 = -5*i - 8*v + 7*v, 0 = 5*i + 5*v - 95. Let h = -22 + i. Which is smaller: 6/143 or h?
h
Let l = 5204.94283 - -0.05717. Is 0 at most l?
True
Let s = 125.7 + -126.7. Which is greater: s or 0.136?
0.136
Suppose 0 = 19*f - 16*f - 69. Let s = -28 + f. Let v(d) = 3*d + 9. Let k be v(s). Which is greater: k or -4?
-4
Let q be (-338)/(-8) + (-1)/4. Suppose -7*j - 408 = 117. Let d be 150/j*(-1)/(4/82). Which is bigger: q or d?
q
Let x(t) be the second derivative of t**5/20 + 11*t**4/12 + 3*t**3/2 - t**2/2 + 7*t. Let s be x(-10). Suppose -4*c + 9 = 13. Is c >= s?
False
Let f(c) = 4587*c + 32108. Let x be f(-7). Let s = 2 + -6. Is x at most s?
False
Let l = 41187.1 + -41187. Which is bigger: l or 196/75?
196/75
Let t = 248 + -144. Let a = t + -76. Which is bigger: a or 21?
a
Suppose 4*n = y - 1955, -y - 485 = -0*n + n. Let l = n - -466. Is l at least as big as -15?
False
Suppose -4*j = -3 + 27. Let i be 28/j*(4 + -7). Let f be (-730)/(-45) + 2/(-9). Is f >= i?
True
Let k = 5795/8 + -72