
True
Let v be 10/20 - 43/2. Let y = 14 - v. Let u be (-7)/(y/(-20)) - 1. Which is smaller: 4 or u?
u
Let l be (142/4)/(2/116). Let t be l/(-35) + (-28)/(-7). Let i = t + 402/7. Which is bigger: 0 or i?
i
Let l be ((-71316)/(-14))/(-18) - (-1 - -1). Is -281 >= l?
True
Let h = -1762 + 1772. Is -0.2 >= h?
False
Let m be 57/(-76) - (-2)/((-24)/(-393)). Do m and -0.1 have the same value?
False
Let q(l) = l**2 + 38*l - 123. Let a be q(-41). Which is smaller: a or 5/73?
a
Let w be (1 - 1) + (7 - 1). Let h be (-8)/(-68) - 300/(-51). Let q be (w/12)/(3/h). Is q < -2/51?
False
Let n = 9.9 - -0.1. Let a = -17 + n. Let i = 0.4 + -0.5. Which is greater: i or a?
i
Let c = -0.08 + 0.02. Let m(k) = k**2 - 7*k - 5. Let w be m(5). Let u be w/4 + (1*-24)/(-6). Which is bigger: u or c?
u
Let a = 1587 + -1584. Is a greater than or equal to -305?
True
Let j = 74 + -69. Let w(g) = -4*g + 18. Let h be w(j). Is h greater than -3?
True
Let d = -429/4 + 107. Which is greater: d or 11?
11
Let b = -26 + 74. Let q = b - 13. Is q greater than 35?
False
Suppose 4*a + 14 - 106 = 0. Let i = a + -24. Let t be (-1)/(-1) + (-11)/15. Is i not equal to t?
True
Let b = 4459/4 - 1115. Is 0.39 < b?
False
Let s be (-306)/24 - 9/(-12). Let y = s - -15. Suppose y = -f - 8. Is f at least -12?
True
Suppose 4*n = 9 + 11. Suppose -11 = -2*y - 4*s - 1, -n = -y - 3*s. Let d be (-2)/y + (-8)/30. Do 0 and d have the same value?
False
Suppose 69*h - 66*h - 12 = 0. Suppose -h*k = -3*k + 5, -2*k = -u + 13. Is 22/9 != u?
True
Let f(w) = 30*w - 22*w - w**2 - 21*w + 18. Let j be f(-15). Is -12 less than or equal to j?
True
Let t be (6/(-8))/(4 - 50/20). Let b = -14 - -15.5. Which is smaller: t or b?
t
Let x = 188 - 178. Suppose 0 = -6*f + f + 85. Let h be f/((1 - 4) + 5). Is h greater than x?
False
Let z(h) = 4*h**2 - 31*h - 340. Let k be z(-11). Which is smaller: k or 486?
k
Let o = 0.07 - 15.07. Let v = -13.5 - o. Let h = -1.4 + v. Does 20 = h?
False
Let w be 42/112 - (-10)/16. Which is greater: w or 2/181?
w
Let g = -10 + -5. Let i be -1*1 + 30/g. Which is smaller: i or -2?
i
Suppose -5*o = 3*f - 309, 2*o + 2*f + 64 - 190 = 0. Are o and -3 equal?
False
Let w be -50*(3 - 34/10). Let s(v) = 2*v - 34. Let k be s(w). Is 8 bigger than k?
True
Let g(y) = -11*y - 72. Let t be g(4). Which is bigger: t or -115?
-115
Let i be -4 + ((-1727)/2)/(-11). Let c = -74 + i. Which is bigger: c or -0.2?
c
Let c be 2/(2 + 2)*0. Suppose c*g = -3*j + 5*g + 61, -47 = -2*j - 3*g. Suppose -8 = 5*i + j. Which is smaller: -4 or i?
i
Suppose -3 = -2*m - 3. Suppose 15 = -2*j + 3*g, m = -3*j + 3*g - 7*g + 3. Do j and -1 have different values?
True
Let x be (3705/(-618) - -6)*-4. Is x at most as big as -0.1?
False
Let u = -866182/187 - -4632. Let z = u + 175/1122. Is -1 equal to z?
False
Let v = 0 - -0.3. Let a = -3.58 - 18.32. Let d = a - -22. Do v and d have the same value?
False
Let k be (-285)/(-90) - 1/6. Suppose 5*o + 2 = -k*x, -4*x + 3 = -4*o - 5. Are x and -12 unequal?
True
Suppose -6*k = -10*k + 100. Let i = k + -27. Which is bigger: i or -4?
i
Let w be 130/(-4)*4/45. Which is greater: -2 or w?
-2
Suppose 61*m - 50*m + 66 = 0. Which is greater: m or -4?
-4
Let l = 7 - 8. Let j be (-8225)/(-40) - 2*l. Let c = j + -208. Which is bigger: 0 or c?
0
Let j = 0.334 + -14.234. Let f = j + 14. Is f at least -7?
True
Suppose -78 = -4*i - 26. Suppose -72 = -16*c + i*c. Which is smaller: 0.2 or c?
0.2
Let o = 412 + -116. Let g be 4 + 4 + o/(-36). Do g and 1 have different values?
True
Let x(u) = -7*u - 15. Let f be x(-6). Let o = f + -23. Let n be o + -3 + -4 - -2. Which is smaller: n or 1/7?
n
Suppose -2270 = -36*c + 286. Which is smaller: c or 73?
c
Suppose -k = -3*h - 8, 4*h + 2 = -2*k - k. Suppose -k*c + c = 0. Suppose c*d - 2*u - 3 = d, 5*d - 2*u = 9. Is d > -2/5?
True
Let m be 1 + 20010/(-40) - (-15)/12. Is -498 < m?
False
Let c = -2459 - -2461. Let d = -0.05 - 4.95. Let y = d + 3. Which is bigger: c or y?
c
Suppose -5*v = -x - 30, 3*x = -x + 2*v - 84. Let h = x - -33. Which is greater: h or 14?
14
Let q be (1/509)/(12/(-24)). Which is smaller: q or 1?
q
Let b = 67 - 602/9. Let g(y) = -7*y**2 + y + 9. Let x(i) = -13*i**2 + 3*i + 18. Let j(z) = 11*g(z) - 6*x(z). Let f be j(8). Which is smaller: b or f?
f
Let o(l) = -10*l + 0*l - 7 + 1 - l + l**2. Let g be o(8). Is g less than -30?
False
Let z = -859 - -852. Which is bigger: 5/8 or z?
5/8
Suppose 5*n + 284 = 3*w, 3*n + 92 = 4*w - 3*w. Is w smaller than 98?
False
Let l = -1454493/49 - -29685. Which is bigger: 0 or l?
l
Let s = 442 - 723. Is 0.1 at most s?
False
Suppose -4*y = 5*m - 48, 3*y - 2*m - 4 = 9. Let w be 4/(-6) + y/42*10. Which is greater: w or 11/7?
11/7
Let k(x) = -x**3 + 6 - 26 + 7*x**2 + 5*x + 5*x + x. Let r be k(8). Which is bigger: r or 6?
6
Suppose 4*n - 184 - 448 = 0. Let c = n - 335/2. Which is greater: -11 or c?
c
Suppose -2*f - 3*k - 205 = 0, 35*f + 522 = 30*f + 2*k. Is f not equal to -316/3?
True
Suppose -4*m = 4*q - 8, 0 = -q - 28*m + 29*m + 8. Which is greater: q or 1?
q
Let p = -16/5 - -3611/1130. Which is smaller: 0.2 or p?
p
Suppose 0 = -3*g - 4*n + 2*n - 34, 2 = g + 4*n. Let b be 45/27*(-6)/g. Which is smaller: 2 or b?
b
Let r = -14 - -40/3. Suppose 0 = n + 5*a - 13, -10*n = -9*n + 4*a - 10. Which is smaller: r or n?
n
Suppose 0 = -3*v - 2*v + 15. Suppose 2*m - v*b = 0, -2*b - 2*b = -2*m - 2. Suppose w + 0*w = 5*g - 16, -4*g + 28 = m*w. Are g and 2 non-equal?
True
Let a be 1*-3*(-5)/30*-14. Let m be -15 + (a - -2) + 5. Is m less than -18?
False
Let q = 51.1 + -50.86. Is q != -1/4?
True
Let p = -0.031 + 0.018. Let l = -0.287 + p. Suppose -4*y = -9*y + 25. Is y less than or equal to l?
False
Let r be ((-36)/(-4) - 0)*1. Suppose -14*a + 140 = -r*a. Is 28 <= a?
True
Let h be (-20)/4 - -4 - 5. Let c(v) = -2*v + 6. Let l be c(h). Let a = -11 + l. Is a at least 7?
True
Let k(w) = -w**3 - 10*w**2 - 25*w - 27. Let l be k(-7). Is l less than 10?
True
Let p = 6.44 + -3.44. Is 0.19 smaller than p?
True
Let z be 3/(((-486)/336)/(-9)). Is z greater than or equal to 20?
False
Let i = -6.6 + 9.5. Let f = i - -2.1. Is f < -1?
False
Suppose -v = -3 - 3. Let g(r) = -172 - r + 2*r + 171. Let s be g(v). Are 5 and s equal?
True
Let u be -6*(21/(-14))/(24/(-10)). Which is smaller: u or -4?
-4
Let q = 344 - 328. Which is smaller: 2/25 or q?
2/25
Let y = -31 - -24. Let j = 11 - y. Let c be (2/j)/((-1)/(-8)). Is c at least 2?
False
Let b = -863 - -863. Which is bigger: 85 or b?
85
Suppose -5*q + 2*j - 198 = -2*j, -4*j + 122 = -3*q. Are q and -31 unequal?
True
Let f = -25 + 201/8. Let j = -13/8 + f. Are -2 and j non-equal?
True
Let i = 123 - 79. Let o = -43 + i. Is o >= 12?
False
Suppose -63 = -5*u - 68. Which is bigger: -3/20 or u?
-3/20
Let h(z) = -8*z + 12. Let i = -46 + 49. Let l be h(i). Is l at most as big as -10?
True
Suppose 5 = -5*c - 0. Is 22/21 at most c?
False
Let l be ((-2)/4)/(-1)*-4. Suppose 4*r = 4*n + 36, -17 = 4*n - 3*r + 14. Let g be 3 - (n + 46/6). Which is smaller: g or l?
l
Let x = -41 - -40.16. Let p = x + 0.85. Which is smaller: 0.2 or p?
p
Suppose 2*b + 81 = -b. Let k = -17 - b. Let j = 11 - k. Which is greater: 3 or j?
3
Let i be (-1)/4 + (-14)/(-120). Suppose -5*b = -2*q - 18, 387*q = 384*q + b - 1. Which is smaller: q or i?
i
Let u(x) = 6*x. Let r(y) = -y**3 + 3*y**2 + y - 3. Let c be r(3). Let v = -1 - c. Let g be u(v). Is g at least -6?
True
Let v be (120/45)/((-11)/6). Which is smaller: -1 or v?
v
Let i(d) = 2*d + 7. Let z be (-2)/(-7) + 88/(-14). Let n be i(z). Let l = n + 9. Is l < 0.2?
False
Let b = -28 + 24. Let a be (1/b)/((-16)/(-16)). Which is bigger: 1 or a?
1
Let y be 50/104 + 3/(-12). Let c be -3 + (1 - -1) + 2. Is y equal to c?
False
Let d be 1/6*22*-21. Let r = 76 + d. Which is smaller: 0 or r?
r
Let z = 73.1317 - 0.1317. Which is greater: z or 1?
z
Suppose -3*u + 4*h - 7 = -0, 4*u = -h - 22. Let a be 217/35 - (-1)/u. Let d = a + -6. Is -1/6 bigger than d?
False
Let v be (-514)/6 + 3 - 2/6. Which is bigger: -82 or v?
-82
Let c(v) = v**3 - 3*v**2 - 43*v + 13. Let z be c(9). Which is greater: z or 111?
z
Let n be (2 - (-20)/(-8)) + (-206)/36. Let g = n + 46/9. Which is smaller: g or -1?
g
Let d be (135/(-35))/((-10)/7). Let s = d - -1/10. Is 4 <= s?
False
Let i = 41 + -17. Let d = -24 + i. Suppose d = 2*v - 2. Do -11 and v have the s