 424/(-88) + (-49)/(-7). Which is greater: 2 or k?
k
Let x be 2*(0 - 2/42). Suppose -4*g + 28 = 5*r + 27, -2*r = 5*g + 3. Is x at least g?
True
Let v(z) = 0*z - 294 + 270 - z. Let c be v(-10). Are c and -13 non-equal?
True
Let f be 816/(-20) - 3 - 5. Let o = f + 1728/35. Which is bigger: o or -1/5?
o
Let b = 578/3 + -192. Is 0.9 smaller than b?
False
Let u = 1/2681 - -54/1915. Which is greater: 1 or u?
1
Let n = 295/9 - 33. Suppose -2*z - 3*z - 5 = 0. Is n > z?
True
Let r be (-8 - 19877/(-2470))/((-24)/(-10)). Is 0 != r?
True
Let g be (1 + -4)*(-3 + -2). Suppose 14*p = 19*p - g. Suppose 0 = a + p - 2. Which is greater: a or -4/19?
-4/19
Let z be 1*3 + 0 + -1. Suppose -6*q + 14 = -22. Suppose q = -4*a + 18. Which is smaller: z or a?
z
Let u = 299/2 + -152. Suppose 2*r - 3 = 3*r. Which is greater: r or u?
u
Suppose -2*z + 121 = -233. Suppose -h + 2*k + z = 0, 0*k - 556 = -3*h + k. Let d = h - 3925/21. Which is smaller: d or -1?
-1
Suppose 4*v + 68 = -4*y, 0 = -5*v + 5*y - 27 - 88. Let t = v + 68. Is t smaller than 47?
False
Suppose -3*t + 140 = t. Suppose -30 = t*b - 38*b. Are 9 and b nonequal?
True
Let g = -17 - -17. Suppose 5*h + 2 + 23 = g. Let a(n) = n**3 + 6*n**2 + 4*n - 4. Let m be a(h). Are 1 and m unequal?
False
Let b = 7 + -57. Let w = b - -32. Let p be (w/(-108))/((-1)/8). Is -0.1 smaller than p?
False
Let t(f) = -f + 7. Let c be t(13). Let z be ((-12)/(-5))/(c/(-15)). Suppose 4*x = x - z. Is -5 at least as big as x?
False
Let s = -2.75 + 2.7. Is s smaller than 9?
True
Let b = 29 - 33. Let f = -5 - b. Which is greater: -4 or f?
f
Suppose 5*z - 2*c = -18, 0 = 5*c + 2 - 22. Let t be 107 - 1/2*z. Let q be 6/10 - t/30. Is -2 bigger than q?
True
Let d = -742 - -741. Is d smaller than -13/44?
True
Suppose 3*b - 31 = -5*n, -b + 0 = -3*n + 13. Suppose -5*p - 2 = b*h, -3*h - h + p - 4 = 0. Which is smaller: -2/13 or h?
h
Let n = -0.0223 + 0.5223. Is 12 less than n?
False
Suppose 2*a = -5*u + 13, 29 = 3*a + 4*u + 13. Let n be a/(-10) + 52/55. Suppose -2 = 2*c - 4. Which is smaller: n or c?
n
Let b = -11496 - -11434. Let q be 4/(-6) - (-2)/12. Which is smaller: b or q?
b
Let q be (-1 + 1)/(3 + (-72)/9). Is 1/1407 equal to q?
False
Let l be ((-3)/18)/(161/(-42) + 4). Is l bigger than 3/314?
False
Let i be (12/(-48))/(5/25). Suppose 0 = -0*b - 2*b. Which is smaller: i or b?
i
Suppose -73*x + 2168 = 124. Which is bigger: x or 45?
45
Let m = -232042305 + 47568164534/205. Let p = m - -2478. Do p and 0 have the same value?
False
Suppose 19*x - 2877 = -118*x. Do x and 25 have different values?
True
Suppose 0 = 4*s - 3 + 19. Let x be 1/2 + 54/s. Let m(h) = -h - 12. Let y be m(x). Is -3/8 at most as big as y?
True
Let q = -0.847 + -0.093. Let m = -0.06 + q. Is 2/85 smaller than m?
False
Let u be (1 + 0)/((-13)/(-208)). Let n(j) = -6*j - 2. Let b be n(-2). Let k = u - b. Which is smaller: 5 or k?
5
Let a(d) = -2*d**2 + 14*d - 8. Let h be a(7). Let s be (-2)/h - 3/(-4). Let x be (s - -1)/(-10 + 7). Is x not equal to -1.4?
True
Let i be 96/(-64)*(-6)/9. Is i less than or equal to -3/73?
False
Suppose -l - r - 2 = -11, 0 = -2*r. Is 9 bigger than l?
False
Let f(d) = -d**3 + 18*d**2 - 17*d - 17. Let q be f(18). Are -321 and q unequal?
True
Suppose -2*j + 1 = -15. Suppose 7 = -j*w + 7*w. Let f be 2*-3 - (-1 + 3). Do w and f have the same value?
False
Let o be 4/6*1869/(-56). Let y = 13447/604 + o. Which is bigger: y or -1?
y
Let x = -2.37 + -7.53. Let w = 10 + x. Let p = 35 - 49. Which is bigger: p or w?
w
Let l = 0 - -11. Suppose 13 = -5*v + p, v - 5*v = 2*p + 16. Let t = l + v. Is t at most 9?
True
Let v(o) = o**3 + 5*o**2 + 2*o - 2. Let i be v(-3). Suppose 2*u + 21 = 5*j + 1, 0 = -5*j - 4*u - i. Which is greater: j or 7?
7
Let s(z) = z**2 + 9*z - 2. Let t be s(-9). Let d = -24 - -27. Let c be 8/3 - t/d. Is c at least 4?
False
Let l = 629/16248 - -2/677. Let b(d) = d**3 + 3*d**2 + 2*d + 1. Let q be b(-2). Which is smaller: l or q?
l
Let d be (2 - 0) + -69*((-70)/(-30))/(-7). Let h = 0 + 1. Is d < h?
False
Let l(x) = -42*x - 6. Let h be l(1). Is -3 < h?
False
Let d = -11827 + 153870/13. Is d less than or equal to 9?
False
Suppose 5*s + 56 = -1279. Which is smaller: -268 or s?
-268
Let m be (0 + -1)/(((-36)/(-1557))/(-4)). Which is smaller: 174 or m?
m
Let l be (11 - 7)*(-2)/(-2) - 5. Is l at most -6/7?
True
Let u(s) = -2*s + 11. Let k be u(-9). Let d be k + 7/((-28)/16). Which is smaller: d or 26?
d
Let l = -1136 + 4533/4. Let z = 4 + -8. Which is bigger: z or l?
l
Suppose -31*f + 38*f = 714. Are f and 105 equal?
False
Let n be 51/(-15) + (-110)/(-275). Let m be (-48)/(-70)*10/(-2). Is n != m?
True
Let x = 196 + -199. Suppose n - 3*b = 2*n + 25, 2*n - 3*b + 41 = 0. Is n at least as big as x?
False
Suppose 0 = -4*a - k - 2*k + 1, -4*a + k = -21. Let g be 13 - (a - 0 - 5). Which is bigger: g or 13?
g
Let t = -4 + 3.8. Let z = 1032 - 1029. Which is smaller: t or z?
t
Suppose -3*f + 10*h + 3 = 6*h, 0 = 2*h - 6. Suppose -4*z + 3*z = 2*t - 7, -3*t - 5*z - 7 = 0. Is t at least as big as f?
True
Let s = 182 + -320. Let i = s + 138. Is -6/55 smaller than i?
True
Let o = 395/5159 + -6/67. Is o smaller than -5/2?
False
Suppose -2*y = 5*a - 53 + 478, -4*y = 5*a + 875. Are y and -225 equal?
True
Let q be -14*4*(-92)/(-4). Let j be (4/5)/(-2) - q/345. Suppose n + 5*u + 11 = 0, -n - 5*u - 7 = n. Which is greater: n or j?
n
Let q = 41 - 31. Suppose 4*x - 28 - 8 = 0. Let i = 20 - x. Is q equal to i?
False
Let b = -73 - -66. Suppose -4*n + 23 = -0*y - 5*y, -4*n + y + 11 = 0. Is b at most as big as n?
True
Let j = 0.8 + -1.1. Let f = j + 0.3. Let i = 0.2218 + 0.5782. Is f smaller than i?
True
Let u be ((-8)/(-6))/(8/18) - 1. Is u equal to 13/18?
False
Let o(x) = x**3 + 5*x**2 + 4*x - 2. Let p be o(-5). Let i = p + -13. Is i at most -35?
True
Let v(o) = -o + 12. Let s be v(7). Let u be s + -1 + (-2)/1. Which is greater: 1 or u?
u
Suppose -41 = 4*y + 3*s, 2*s + 1 = 3. Let d = 101 - 101. Suppose d = -m + 4*c - 8 - 8, -4*m - 2*c = 46. Is m < y?
True
Let g = 67.213 - -0.387. Let t = -70 + g. Does 0 = t?
False
Let u(z) = -2*z + 8. Let g be u(0). Is 98/11 at most g?
False
Let a = -645 + 2565/4. Let x be (-4)/12*2*6. Is x at most a?
True
Let o = 49/36 + -431/396. Suppose 3*c - 10 = 5*b - 2, 0 = 2*b + 2*c. Is o equal to b?
False
Let l = 1 + -13. Let g = 15.45 - 4.15. Let t = g + l. Is t less than or equal to 0?
True
Let l = 236 + -237. Let h be 31/(-10) - (-6)/(-15). Let d = h + 15/4. Do d and l have the same value?
False
Let t = 481 - 480.99. Is t equal to 3?
False
Let l = -335 + 572. Let h be (-3 - l/(-78))*(0 - -2). Let r = 0 + 0. Which is smaller: h or r?
r
Let d be 26/4*(-4 - -6). Suppose -d*g + 9*g = 8. Which is greater: g or -70?
g
Let t = -1 - -4.3. Let d = t + -3.2. Which is smaller: 5/2 or d?
d
Let n(q) = q**3 - q**2 - 3*q - 1. Let p be n(-1). Is 4/177 at least as big as p?
True
Let d = 288.03 + -288. Let u = 5.2 + -5. Is d at least u?
False
Suppose 3*w = -2*w - 90. Let t be (-64)/w - (11 - 8). Which is bigger: t or 1?
1
Let y be ((-70)/3)/(22/(-33)). Let r = 28 - y. Let o(w) = 2*w**2 + 15*w + 2. Let g be o(r). Which is bigger: g or -3?
-3
Let a be (132484/12048)/(-11) - 9/(-9). Which is greater: 0 or a?
a
Suppose -26 - 238 = 6*z. Let a = 69 + z. Is a at least 25?
True
Let h(q) = q**2 + 2*q - 21. Let l be h(0). Let c = l + 20. Which is smaller: c or 1/25?
c
Let k be (-4 + 2)*(-44)/8. Let i = 10 - k. Which is smaller: -5/24 or i?
i
Let g be 6/(-27) - (-57380)/260640. Is g bigger than -1?
True
Let q = 39 + -21. Suppose -6 = 4*n + q. Let s be (-2)/2 + n + 1. Is s smaller than -7?
False
Let i = 57 + -73. Let h be 58/72 - ((-52)/i - 3). Which is bigger: 2 or h?
2
Suppose 3*n = -n - 8. Let x be (n/8)/(5/(-8)). Let q be (2/(1 - 2))/(16 - 18). Which is smaller: x or q?
x
Let l = 628 - 333. Suppose 4*f = -1697 - l. Let z = -1475/3 - f. Is z less than or equal to 7?
True
Suppose c - 7 + 4 = 0. Suppose -c*r - 2*z = -7, 0 = 3*r - 4*r + 2*z - 3. Let j be (r/(-3))/(3/18). Do j and -5 have the same value?
False
Let u(q) = -5*q**2 + 6*q - 14. Let l be u(2). Is l bigger than -24?
True
Suppose 0*v = -5*v - 20. Suppose 0*h - 16 = -h. Let j = h - 22. Is j bigger than v?
False
Let l(n) = n**2 + 11*n + 2. Let i be l(-11). Suppose 5*o - i*a + 18 = 0, 9*a = -o + 7*a - 6. Are -24/7 and o unequal?
T