4*g + 124 = -4*o. Are o and -35 equal?
True
Let j(x) = -2*x - 1. Let p be j(0). Which is smaller: p or -1/533?
p
Suppose 2*v = -0 + 2. Let l = 294 - 293. Does l = v?
True
Let m = 7 - 6.84. Let c = m + 0.19. Let s = c - 0.15. Is 0 less than s?
True
Let n = -617/3 - -204. Let d be 3/4*(-4 + 8). Suppose a = d - 5. Which is smaller: n or a?
a
Suppose 3*a - 32 = 2*a. Let t = a - 11. Let o = -21 + 42. Is t >= o?
True
Let p be 0 + 2 - 8 - 667/(-116). Let x = -15 - 31. Let r = -139/3 - x. Which is smaller: r or p?
r
Let o be 6/(-10) + (-21)/(-35). Suppose o = 7*i - 38 + 3. Is 5 > i?
False
Let m = 174 - -164. Which is bigger: 339 or m?
339
Let f be (-135)/27 + ((-92)/(-12) - 2). Let u = -1/25 + 79/100. Which is smaller: f or u?
f
Let a = 3 + -4. Let n = a + 6. Suppose -n*i - t - 10 = 0, 0 = 4*i - 0*t - t - 1. Is 3 greater than i?
True
Let i = 4 + 13. Let g = 0.14 + -13.14. Let q = -13 - g. Which is bigger: q or i?
i
Let z be 3 + -1 + -5 + 2. Let m be (1 - 7/(-3))*(-540)/7650. Is m < z?
False
Let u = -26 - -25.97. Let y = -0.17 + u. Let v = 0.1 - 0.3. Is v > y?
False
Let v(x) = 3*x**2 + 47*x - 16. Let z be v(-16). Let p = 0 - 4. Let b be (-58)/(-180) - p/(-18). Which is bigger: z or b?
b
Suppose 8*d = 4*d + 3936. Suppose 5*p + d = -2*r, -2*p + 3*r + 227 = 632. Let b be ((-11)/p)/((-2)/(-6)). Is b > -1?
True
Let k = 377.1 + -377. Is k at most as big as 0.3?
True
Let h = -212 + 17. Is h at most -195?
True
Suppose 2*y = 4*v, -2*v - 13*y = -8*y. Is 10/87 > v?
True
Let x = -60 - -54. Let t be 4/(-3)*x/276. Is 1 less than t?
False
Let u be 8 + (-28)/36 + -7. Which is bigger: 456 or u?
456
Suppose 2 = -4*y + 5*y. Suppose 0 = -2*f + y*l, 0*f + 4*l + 15 = -f. Is f greater than or equal to -3?
True
Let r(m) = 2*m**2 - 8 - 13*m**2 - 19*m - 4 + 2 - m**3. Let a be r(-9). Does -1 = a?
True
Let l = -4772 - -14188/3. Which is greater: -43 or l?
l
Let s(f) = 3*f - 17. Let n be s(5). Let l be ((-3)/(-6)*-4)/(n + 4). Are l and 2/45 non-equal?
True
Let y = 4.48 - -4.8. Let r = -0.28 + y. Which is smaller: -1/2 or r?
-1/2
Let b = -64979/6 + 10904. Is b >= 75?
False
Let y(a) = 6*a**3 - 6*a**2 - 26*a + 40. Let g be y(5). Are g and 508 unequal?
True
Suppose 2*o = -o + y + 2, 5*o - 6 = y. Which is smaller: o or 1/2?
1/2
Let t = -5677/22 + 258. Let n = 28 + -28. Which is smaller: t or n?
t
Let z = 35 - 391/11. Let g(l) = l**2 + l. Let f be g(-1). Which is greater: z or f?
f
Let k = -91 - -108.9. Let t = k + -18. Let y = 4 - 2. Are y and t equal?
False
Let y(a) = -a + 6. Let v be y(5). Let r be ((-2)/(-15))/((-140)/(-60)). Which is greater: r or v?
v
Let x = -723 + 2470. Is 1746 less than x?
True
Let t = 15 - -17. Let v = -20 + t. Let h = v - 12.7. Which is smaller: h or 0?
h
Let d = 6.07 + -0.07. Which is smaller: d or 2/5?
2/5
Let f = -1335/7 - -191. Is f at most as big as 1.1?
True
Let l = -3 - -2. Suppose 13*w = 8*w + 10. Let z be -1 + w/1 + -1. Which is smaller: z or l?
l
Let d = 335 - 301. Are 1/3 and d equal?
False
Suppose 41*h = 2*h + 312. Which is bigger: 11 or h?
11
Suppose -137 = 2*l + 161. Let p = l - -154. Let z = -6 - -6.3. Which is bigger: z or p?
p
Let o = -100 - -71.1. Let a = 237 + -208. Let f = o + a. Which is smaller: f or 2/3?
f
Suppose -6 = -d - j, -2*d - 2*d = 5*j - 29. Which is bigger: d or 1/11?
d
Let d = -271193 - -2978933/11. Suppose -6*s + 1886 + 394 = 0. Let g = s + d. Which is greater: -2 or g?
g
Suppose -21665 = -12*f - 23*f. Is 0.1 at least as big as f?
False
Let t be (8/2)/(10724/(-2148) + 5). Is t <= 1?
False
Let y be (6/9)/((-4)/6). Which is bigger: y or -2/101?
-2/101
Suppose 11*d = 12*d. Do 3/68 and d have the same value?
False
Let h be (-11)/(-33) + (-25)/48. Is 0 equal to h?
False
Let j be (136/56 - 1)*(-22)/(-5). Is j bigger than 6?
True
Let o(n) = -n**2 - 13*n - 24. Let d be o(-11). Let x be (2 + d)*(-6)/(-6). Which is smaller: -3/26 or x?
-3/26
Let m = -637 - -637. Which is smaller: -7/18 or m?
-7/18
Let q be 6/24*(-396)/45. Is -2 < q?
False
Let z(n) = -72*n - 175. Let q be z(10). Which is smaller: -896 or q?
-896
Let v = -146 + 175. Is 1/8 greater than v?
False
Let y = 1.678 - -0.122. Which is smaller: -12 or y?
-12
Let w be (-384)/(-45) - (-42 + 37). Which is smaller: 15 or w?
w
Let i = 12 + -21. Let x = -2 - 8. Let h = i - x. Which is bigger: -7 or h?
h
Suppose -4*v - 141 = -3*w, -v - 14 - 20 = -w. Let s be 6/v*1 + (-1128)/(-572). Which is bigger: 3 or s?
3
Let n = 40 - 44. Let b be (n/(-10))/((-24)/(-135)) + -2. Is b != -3/13?
True
Suppose -10*g - 240 = 300. Let v be 2 + g/15 - -2. Let p = 5 - 5.4. Which is smaller: p or v?
p
Let n be (644/(-112))/(10/(-12)). Which is smaller: n or 7?
n
Suppose 2*z = b + 2, 7*b - 2*z = 3*b + 4. Suppose b*p - 26 = 36. Which is smaller: 32 or p?
p
Let r(n) = -n**3 - 9*n**2 + 9*n. Let u be r(-10). Suppose 0*y + u = -2*y, 53 = -4*d + 3*y. Let q = d - -14. Which is bigger: q or 1?
1
Let p(i) = -5 + 2*i + 1 - 4*i. Let d be p(-3). Suppose z + d*z = 6. Which is bigger: z or -1?
z
Suppose 40 = -3*d - 32. Let z = d + 30. Is 6 greater than z?
False
Let t be ((-87)/(-33) - 3)/(21/(-420)). Which is greater: t or 8?
8
Suppose -5 = -q + 36. Let l = 98 - q. Is l >= 56?
True
Let a(x) = x + 5. Suppose -40 = 2*c - 6. Let z = -22 - c. Let g be a(z). Do 3/8 and g have the same value?
False
Let x = 551/6 - 92. Suppose 3*v + 2*y = 6*v + 13, 4*y - 23 = 3*v. Is x at least as big as v?
True
Let y = -15 - -17. Let m = y - 2. Which is bigger: -4/27 or m?
m
Let v be 4 - ((-6435)/(-714) - (2 + 3)). Is v at least as big as 1?
False
Let u(b) = b**3 + 26*b**2 - 2*b - 40. Let t be u(-26). Suppose 0 = -4*p - t - 0. Suppose -1 = -n - 3. Which is smaller: p or n?
p
Let h be (-4 - -8) + 1034/(-104) + 6. Which is bigger: h or -1/4?
h
Let w be -1 + (10 - -1) - 2. Suppose w*j + 4 = 7*j. Let y(c) = 4*c + 4. Let z be y(j). Which is bigger: z or -11?
-11
Let d = -11 + 12. Let l be (-3)/4 + 5/(-4). Let g be (-9)/(-7) - l/(-2). Is d < g?
False
Suppose -5*j - 14 = -n, 10 = -n + 2*n - 3*j. Suppose -3*z = n*u - 56, -2*z + 7*z = 2*u + 128. Suppose -4*x + 8*x = z. Which is smaller: x or 5?
5
Let v = -186 + 194. Suppose 3*c - q = -2*c - 12, 0 = -3*c + q - v. Let t = -6 + 3. Is t equal to c?
False
Suppose -14*x = -4 - 10. Let p be 56/(-63)*(-9)/12. Is x at least as big as p?
True
Suppose -43*h + 63*h - 820 = 0. Is h at least 278/7?
True
Let l = 69.47 - 91.5. Let x = 22 + l. Which is bigger: -0.1 or x?
x
Suppose 4*t - 8 = -0*t. Let z = -2 + 2. Suppose 4*g - t*g - 6 = z. Does g = 5?
False
Suppose -54 = -3*v + 2*u, 18 - 6 = -4*u. Let k be v/(-10) - 2/(-2). Let m = -158 - -160. Which is smaller: m or k?
k
Let g = 85/4 + -21. Let j(a) = a**3 + 5*a**2 + 5*a + 3. Let p be j(-5). Which is smaller: p or g?
p
Let p = -7.64 + 0.64. Let n = -1.31 + -14.89. Let i = n + 16. Do p and i have different values?
True
Let q = -3/20 + 23/220. Let f(u) = -u**3 - 5*u**2 + u + 5. Let j be f(-5). Suppose j = -10*r + 5*r + 2*s, 4*r = -3*s. Is r less than q?
False
Let l be ((4536/(-51))/3)/(138/(-92)). Which is smaller: 20 or l?
l
Let p = 2 - 16. Suppose 0 = -14*j - 786 + 2522. Let s = -138 + j. Is s at least as big as p?
True
Suppose -5*r + 48 = -4*r. Suppose 4*i + i + 4*b = r, 0 = -2*i - 4*b + 12. Let m be (-3)/i*-2*0. Which is smaller: m or -3?
-3
Let n = 1156 + -50. Does 1104 = n?
False
Let x = -0.149 - -1.889. Let f = -1.76 + x. Let t be (-2)/4*(-4)/(-6). Which is greater: f or t?
f
Let x = -8/3 + 53/21. Is x greater than or equal to -0.35?
True
Let o = 70 + -66. Suppose o*u = 3*d + 53, -6*u + 46 = -u + 3*d. Which is smaller: 15 or u?
u
Let p = 1285147/223 - 5763. Let g(o) = o**2 - 4*o - 5. Let n be g(5). Which is greater: p or n?
n
Let z = -212 - -234. Is 0 equal to z?
False
Let g = 241 + 761. Let q = 1020.84 - g. Let v = q + -19. Which is greater: v or -0.1?
-0.1
Let d = 28.95 + -27. Let k = -0.05 - d. Let i = 2127 - 2128. Which is smaller: k or i?
k
Let b = -54.8 - 9.2. Let u = 64.1 + b. Which is greater: u or 6/23?
6/23
Let r(y) = -y**2 - 4*y + 5 + 0*y - 2 - y**2. Let v be r(-4). Let z be v/(-119) - 14/49. Which is bigger: 0 or z?
0
Let h = -128 - -151. Let g = 71 - h. Is g at least as big as 48?
True
Let p be (-1)/34*52/2. Let s = p - -15/17. Suppose -1 = u - 2. Is s smaller than u?
True
Let t = -128 - -1916/15. Let s be (-42)/(-105) + (-4)/10. Is t smaller than s?