-280)/(-45)). Which is smaller: -28/5 or x?
x
Let g = 0.2 - 0. Let b = g + 0. Let l = 5611 + -5610.92. Is l not equal to b?
True
Suppose 19*r - 11*r = 0. Suppose r = -19*d + 24*d - 70. Is -3/4 at least as big as d?
False
Let k(a) = a**3 - a**2 - a + 2. Let m be k(0). Suppose m*y = 5*y + 3. Is -0.1 smaller than y?
False
Let n = 289 - 288.98. Is -10/7 > n?
False
Suppose 504 = -z + 10*z. Which is smaller: 52 or z?
52
Let a(p) = -11*p - 235. Let i be a(-20). Let z be -1*(-1 + (-2)/(-1)). Do i and z have the same value?
False
Let a be 6/(-21) + (-440)/(-2618). Let k = -3 - -2. Are a and k non-equal?
True
Let l = -1040 + 266. Is 0 at least l?
True
Let h = -59 - -6. Let c = h - -83. Let x be (-2)/6 - (-20)/c. Which is greater: x or -1?
x
Let r = 1.57 - 4.73. Let t = r - -3. Are -2 and t non-equal?
True
Let a = 0.061 - 0.154. Let o = 0.423 + a. Is 1 less than or equal to o?
False
Suppose m + 22*m - 92 = 0. Is m >= 11/4?
True
Let t be (11/1)/(-4*42/(-8)). Is 0 > t?
False
Suppose 453 = 5*n + 103. Let b be 1*(3 - 5) + 136/n. Which is bigger: -1 or b?
b
Suppose -4*m + 4*h = -28, 3*m - 2*h - 21 = -6*h. Let d be ((-16)/m - (-14)/49)*5. Is -9 at least d?
True
Suppose 5*g = -2*c + 4, -c + 0*g = -4*g + 11. Let s be (-2 - 0) + c + 5. Suppose 0 = -3*k + a, s*a = -2*k - 5*a. Which is bigger: k or 8/9?
8/9
Let i = 51 + -11. Let r = i + -39.9. Which is greater: r or -20?
r
Let n = 25.959 + 0.041. Let t = -20 - -46. Let l = t - n. Which is smaller: -2/19 or l?
-2/19
Let h(k) = k**2 + k - 1 - 1 + 5 - 4. Let c = -17 - -17. Let q be h(c). Which is greater: -1/6 or q?
-1/6
Let b(m) = -m**3 - 4*m**2 - 2*m - 5. Let s be b(-4). Suppose -4*p = s*u + 44, -4*p + 5*u = 4*u + 44. Are -11 and p equal?
True
Let n = 76 - 26. Let s be n + -4 - (-1)/(-4). Let u = s + -48. Which is greater: u or -2?
-2
Suppose 3 - 7 = -2*h. Let s = -2 + h. Let i be 5 + ((-64)/14)/1. Which is bigger: s or i?
i
Let v = -1/240 - -21961/240. Let s = 92 - v. Which is smaller: 1.7 or s?
s
Suppose 68 + 58 = 14*k. Is 6 equal to k?
False
Suppose 4*c = -2*v - 270, 2*c + 50 = -4*v - 100. Are c and 1 nonequal?
True
Let q(v) = -11*v + 14. Let d(r) = -32*r + 41. Let s(l) = -6*d(l) + 17*q(l). Let x be s(3). Let w be 28/20*4/x. Which is smaller: w or 1?
w
Let q(t) = 6*t - 8. Let c = -27 - -22. Let d be q(c). Let x = -39 - d. Which is smaller: 3/11 or x?
x
Let o be (18/16 + -1)/((-6)/(-246)). Which is bigger: 4 or o?
o
Let o = 41 + -43.7. Let u = 422.3 - 420. Let t = o + u. Which is smaller: 0.2 or t?
t
Let s(b) = 4*b - 5. Let c be (-12)/(-8)*(-50)/(-3). Suppose 20*o - 15*o - c = 0. Let j be s(o). Are j and 14 unequal?
True
Let t be -3 - 2*(-1 + -1). Let y = 0 - -2. Let c = y + -6. Is c not equal to t?
True
Let b be (5*(-6)/(-60))/(1/4). Suppose 5*h + 3*m = 36, -b*h - m - 2*m + 18 = 0. Which is smaller: h or 14/3?
14/3
Let c = -6/1825 + 76/38325. Which is greater: c or 0?
0
Let a = 983827/2765 + -1779/5. Is -1 at least as big as a?
False
Suppose 5*o - 2*j + 8 = -2, -o - 5*j = -25. Suppose 5*r + 0*r = 3*n - 37, n - r - 13 = o. Let i = -11 + n. Is 0 at most as big as i?
True
Let l = -13.4 + 13.4. Is l at most as big as 0.007?
True
Let z = -4 - -7. Let q(o) = 1 + 4*o**2 - 4*o**2 + 6*o + z*o**2 - 2*o**2. Let c be q(-6). Is c != 7/6?
True
Let v = -3 + 19. Let g = 15.003 - 0.003. Let u = v - g. Which is bigger: -2 or u?
u
Let g = 209880/133 + -1578. Which is greater: 1 or g?
1
Suppose -4*i - 248 = -9*i + 4*f, -4*i + 3*f + 198 = 0. Which is bigger: 47 or i?
i
Let y = -17 + 16. Let h = y - -8. Let x = h - 6. Is x smaller than 0?
False
Let m(l) = 15*l. Let d(a) = -a - 1. Let z(y) = 4*d(y) + m(y). Let i be z(4). Is 40 at least as big as i?
True
Let n = -112 + -27. Let y = n - -3335/24. Which is smaller: 0 or y?
y
Let o be (-290)/20909*(-14 - 0/(-3)). Which is smaller: -1 or o?
-1
Suppose -3*k + 2*z - 7 = 0, 4*k + k + z = -29. Let q = -175 - -179. Suppose -8 - 12 = q*r. Is k >= r?
True
Suppose -5*b - 29 = -o, -4*b - 30 = -2*o - b. Are 60/7 and o non-equal?
True
Suppose 2 + 0 = -2*o, -3*o + 3 = 3*s. Suppose -6*z = -s*z + 8, -j - 35 = -z. Which is greater: j or -36?
-36
Let o(l) = 3*l**2 + 79*l - 67. Let i be o(-27). Which is greater: i or -0.2?
-0.2
Suppose -4*r = -44 + 16. Suppose 4*u - r = -2*t + 7, 1 = -u - 5*t. Is u equal to -2/15?
False
Let m = 771 - 709. Is 62 >= m?
True
Suppose -18 = -4*a + 2*a. Let j be (0/1)/(-8 + a). Let w be (1/(-18))/(1/(-16)). Which is smaller: j or w?
j
Let y(k) = 0 + 25*k - 30*k - 14. Let q be y(-3). Which is bigger: 1/60 or q?
q
Let b be (-132)/28 + 8/(-28). Let y be 1/(-542)*(b + 1). Is y at least 0?
True
Let c(r) = r**2 - 31*r + 31. Let l be c(27). Let k be l/46 + 6/4. Which is greater: -1 or k?
k
Let q(h) = -h**2 - 7*h - 7. Let y be q(-6). Let a = 1519/3312 - 87/368. Which is bigger: y or a?
a
Suppose 21*f - 17*f + 8 = 0. Let n be -2 + 3 + -2 + 4. Let d be (6/9)/((-2)/n). Which is greater: d or f?
d
Let d = -12 + 21. Let t = 119 + -77. Suppose -w + 4 + 12 = 2*p, 0 = 4*p - 3*w - t. Is p > d?
False
Let q(k) = -k**2 + 10*k - 18. Let x be q(7). Let t(r) = -8*r - 2. Let w be t(-5). Suppose w = -x*f - 2*c, 3*f - 2*f + c = -11. Is -16 at least as big as f?
True
Let i = -0.62 + 0.5. Let r = 1.233 + -1.033. Is i at least as big as r?
False
Let r = 1186.1 + -1184.4. Let a = -8 - -8.3. Let c = a - -0.7. Is c <= r?
True
Let u = 25 + -36. Let z = u - -19. Let y = -233 + 933/4. Which is bigger: y or z?
z
Suppose 3*v + 3*o + 18 = 0, -o - 9 = 2*v - 0*o. Let k be (1*9)/((-90)/60). Which is bigger: k or v?
v
Let g(h) = h - 1. Let t(y) = -2*y - 4. Let d(z) = -g(z) - t(z). Let v be d(-8). Let n be ((-1)/v)/((-2)/(-30)). Which is smaller: n or 3?
3
Let n be ((-4)/22)/(1446/22251). Let g = 17/241 + n. Which is smaller: -2 or g?
g
Let j = -15 + 19. Suppose -4*t - 8 = -j*z, 0*t - 4 = 4*t - 5*z. Let v = t - -11/2. Which is smaller: 1 or v?
v
Let q = 1516 + -22741/15. Are -98 and q equal?
False
Let x(m) = -m**2 - 11*m + 30. Let b be x(6). Suppose 5 = o + 4, 350 = -5*d - 5*o. Which is smaller: d or b?
b
Let i(s) = -s**2 - 3*s + 1. Let l be i(-3). Let t = -0.0262 + -6.3438. Let a = -1.37 - t. Is a < l?
False
Let c be 2 - 2/((-2)/71). Is 72 smaller than c?
True
Suppose 5*m - m = 0. Suppose h + 2*h = 0. Is m >= h?
True
Suppose -3*x - 4 = 2*o, -5*x - 1 - 10 = -o. Let w = 1.7 + 0.3. Let s = w - 1.9. Do s and x have the same value?
False
Let m = 16.74 + 0.26. Let y = m + -17.03. Let d = y + 0.13. Which is smaller: 0.03 or d?
0.03
Let t = 0.974 + -1.074. Let o = 104.49 + -104. Is t at most as big as o?
True
Let z be (3 - 6) + 0*(-3)/12. Let s be (-6)/6 + (-1 - z). Let x = -0.04 + 0.34. Do s and x have the same value?
False
Let n = -198 + 198. Which is bigger: n or -1/411?
n
Let x = 549 - 414. Which is smaller: 137 or x?
x
Let j be 65/(-2) + 5/(-10). Let d = -760 - -727. Do j and d have the same value?
True
Suppose 3*m - u = 1, 30 = 5*m + 7*u - 3*u. Let l be m + -2 + (-4)/(-2). Let n be (2 + l)/((-90)/6). Is -1 less than n?
True
Suppose 0 = 2*t - 3*n - 51, -2*t - 4*n + 21 = -n. Let r be t/4 - 5/10. Which is smaller: 3 or r?
3
Let p be 3187/13 + 4/(-1). Let g = 241 - p. Let y be 3/(-4) - 3/12. Is y greater than or equal to g?
False
Let x = 0.16 + -0.14. Let l = -0.036 + 0.436. Is l at most as big as x?
False
Let b be 24/12 + 14 + 1. Suppose -q - b = -z, -z = 4*z + 2*q - 120. Is z equal to 20?
False
Suppose -4 = 26*t + 282. Which is greater: t or -8?
-8
Let j(n) = -8*n - 1. Let k be j(-5). Suppose 5*p - 1 = k. Suppose 2*f + 24 = 4*r, -3*r + 14 + 4 = 3*f. Which is smaller: p or r?
r
Let u(t) = 5*t**2. Let o be u(-1). Let g(q) = 6*q - 9. Let p be g(o). Is p less than 20?
False
Let k = -1/121 + 1096/847. Let f be (-1)/((-2)/8*2). Are f and k nonequal?
True
Let z(w) = 7*w + 2. Let u be z(-1). Let q be (1150/92)/(-1 - u/6). Is q > -1?
False
Let v(f) = f**3 - 10*f**2 + 18*f - 11. Let y be v(8). Let p be ((-5)/(-3) - 2)/(y/(-390)). Which is greater: p or 28?
28
Let j be (120/(-112))/((-6)/(-8)). Let y be (4/(-3))/((-6)/(-9)). Which is smaller: j or y?
y
Suppose -5*r - 6*s + 16 = -2*s, -1 = -r - 3*s. Suppose r*m + 4 = 5*b + 75, -b - 15 = -m. Is 1 smaller than b?
False
Let m be 123/(-82) + (-2)/(-4). Are 1/146 and m non-equal?
True
Let s be 9 + (-9)/((-27)/(-6)). Suppose -6*b - 40 = -11*b. Which is smaller: s or b?
s
Let z = 3379 - 9