er than i?
False
Let j = 9 - 7. Let z(s) = 9*s + s - 3*s + s**j. Let h be z(-6). Is h < -4?
True
Let g = 0.0506 + -3.0506. Which is greater: g or 0.7?
0.7
Let f = 1530511/14 + -109491. Let t = 169 + f. Is 0 greater than or equal to t?
False
Let f be (-1)/(-1 + 16060/16135). Let a = -215 + f. Let g(o) = -2*o**2 + 1. Let n be g(1). Which is smaller: a or n?
n
Suppose 0*m - 35 = -5*m. Let o(g) = g**2 - 7*g - 4. Let t be o(m). Let h = 5 + t. Is h >= -2/19?
True
Let i be (15/(-12))/5 + (-7)/(-12). Is -51 >= i?
False
Let d = -1 - -1. Let k = -7 - d. Let j = k - -7.1. Which is bigger: j or -0.7?
j
Let w be (-2)/(-6)*(-6)/4. Let p = 6 - 9. Let j = -2 - p. Which is smaller: w or j?
w
Let f be (54/(-14) - -4)/((-25)/((-2100)/(-24))). Suppose 0 = 2*x + 2*x. Let o = x - 0. Which is smaller: o or f?
f
Let i(f) = -f - 2. Let d be i(-3). Let q = d - -2. Let t(v) = v**2 + v - 3. Let o be t(-3). Is q <= o?
True
Suppose 3203 = -3*w + 4*t, -4487 = 5*w - t + 874. Is w bigger than -1073?
False
Suppose -3*k = -0*k. Let a be (4/2670*-5)/((-1 - -5)/12). Which is smaller: k or a?
a
Suppose -4*p - o + 121 = 0, -3*p + 39 = -2*p + 2*o. Let i = -24 + p. Let t be ((-165)/(-6))/i + -2. Is t != 3?
True
Let b(i) = i**2 - 37 - 36*i - 2*i**2 + 21*i. Let q be b(-12). Is 3/58 at least q?
True
Let u = 17.06 + -16.54. Is 9 equal to u?
False
Let s = -318 + 317.9. Is s smaller than 60?
True
Let u = 1369 - 2737/2. Are -1/125 and u non-equal?
True
Suppose 0 = 4*z - 5*r + 118, 4*z + 113 = -3*r + 11. Let q = 33 + z. Suppose -q*u - 6 = -30. Is u less than or equal to 4?
True
Let v be 53/2*(-440)/(-22). Is 532 <= v?
False
Let k be (1/(-2))/(1141/192 + -6). Which is smaller: k or 8?
8
Suppose -2*o + 3*o - 3 = 4*f, 0 = 5*f - 4*o + 12. Let n = 12 - 442/37. Are n and f non-equal?
True
Suppose 0 = 5*k - 310 - 470. Let r = k + -95. Are 63 and r nonequal?
True
Suppose -g - 85 = -d, -d - 3*g + 89 = -5*g. Let j be d/(-45)*(-2)/2. Which is smaller: 1 or j?
1
Suppose -8*o = -2*o + 66. Is -10 greater than or equal to o?
True
Let a = 1186 - 87761/74. Suppose -4*v + 1 = p - 3, p - 2*v + 2 = 0. Is a at least as big as p?
True
Let k(b) = 8*b**2 - 8*b + 10. Let c be k(2). Which is smaller: c or -1?
-1
Let c be 2/((-5)/((-5)/2)). Suppose -i - 2*i = 0. Suppose f + 6 = 5*w, i*w = 4*w - 3*f - 7. Is c smaller than w?
False
Suppose -2*b + 3*f - 2 - 11 = 0, -3*b + 4*f - 17 = 0. Let u = b + -3. Let z be 36/(-20)*u/(-6). Is 3/2 at most as big as z?
False
Let g(z) = -z - 28. Let t be g(-31). Let c be t/((-18)/170) + (-1)/(-3). Is c >= -28?
True
Suppose 2*f + 6 = -0*f, -s - f = 3. Let w(c) = c**3 + c - 1. Let y be w(s). Let q be 1 + (1 - (-7)/y). Is -4 greater than q?
True
Let a(j) = -2*j**2 + 65*j + 38. Let t be a(35). Which is smaller: 2 or t?
t
Let w = -25 + 30. Let c be ((-5)/(w + 0))/1. Let z be (-87)/(-15) + c - 4. Which is smaller: 1 or z?
z
Let v = -16 + 8. Let o be (2 - 3)/(1/v). Let a be (-2)/(-6)*-3*-1*7. Are a and o equal?
False
Let d be (1 - 3)*(4*-1 - -2). Let w(c) = 2*c + 5. Let y(m) = -3*m - 5. Let l(u) = 4*w(u) + 3*y(u). Let i be l(d). Which is smaller: i or -4/9?
-4/9
Let z(u) = 4*u**3 - 5*u**2 + 5*u - 9. Let h be z(2). Which is greater: h or 72/5?
72/5
Let v(r) = -15*r - 213. Let s be v(-11). Which is bigger: -242/5 or s?
s
Let q(p) = -p**3 + 7*p**2 - 9*p + 24. Suppose 7*j - 4*j - 18 = 0. Let i be q(j). Is 3 bigger than i?
False
Let w be (-4)/(-2) - 12/(-4). Suppose 0 = 4*t + q - w - 2, 0 = 2*t - q - 5. Suppose 5*d + 22 = 2*l, -l + 9 = -t*d - 0*d. Which is bigger: -1/12 or l?
l
Let c = -0.9403 - 0.0597. Which is smaller: -9/26 or c?
c
Suppose 0 = -i - 4, -2*x - 54 - 26 = 2*i. Let o be x/65 - (-2)/5. Let k(s) = -s**3 + 6*s + 3. Let v be k(-2). Is v at least as big as o?
False
Let v = -12 + 23. Let s = -3 - -2.8. Are v and s equal?
False
Let q be 6/(-4) - 6/(-12). Let v be 1 + 1 + (-32)/17. Which is smaller: v or q?
q
Suppose 3*h - 2*h - 21 = 0. Let l = -18 + h. Suppose l*t + 1 = 4*t. Is t at most as big as 0?
False
Let x = -583/5 - -116. Do x and 0 have different values?
True
Let o = 0.17 + 0.03. Let l = -17 + 6. Let m = l + 13. Is m equal to o?
False
Let o = -15595452/1015 + 107913/7. Let n = 5158 - 26046/5. Let v = n + o. Are v and -1 unequal?
True
Let r = 0.2 - 2.2. Let i = 0.28 + -0.17. Let l = i + -0.21. Is r > l?
False
Let u be 5/(-15) - ((-320)/(-3))/(-8). Which is smaller: -2/7 or u?
-2/7
Let k = -0.3 - 0. Let d = k - -1.3. Let h = -2/203 + 60/203. Is d > h?
True
Let r = 8807/151728 + -1/1744. Which is bigger: r or -1?
r
Let n = -77 - -193. Which is greater: 115 or n?
n
Let r(n) = n**2 - 4*n + 1. Let l be r(2). Let y = 35 + -30. Suppose y*d = 3*d - 8. Do d and l have different values?
True
Let f = 119 - 120.75. Let h = -0.25 + f. Is -0.1 at least h?
True
Let d(w) = -w**2 - 4*w - 2. Let a be d(-2). Suppose -6 = -a*g - 0. Suppose -g*t - 1 = -4. Which is bigger: t or 1/18?
t
Let h(u) = u**3 + 6*u**2 + 5*u + 1. Let w be h(-5). Let c = 2 - w. Let x be 2/(-30) - 2/6. Is c greater than or equal to x?
True
Let f = 279 - 196. Let c = f - 746/9. Let a be 7 - 2 - (5 - -1). Which is greater: a or c?
c
Let h = -1255 - -877. Is h greater than -378?
False
Suppose -96 - 65 = -7*z. Is z < 24?
True
Let j = -65 + 37. Let k be (7/j)/((-185)/24). Let i = 124/7585 + k. Is i greater than -1?
True
Suppose -2*t = -5*t. Let y(k) = k**3 + 12*k**2 - 63*k + 14. Let l be y(-16). Which is greater: t or l?
t
Let i be (-20)/80*(-1)/(-11)*38. Let s be ((-2)/506)/((-2)/(-393)). Let w = s - i. Do 0 and w have the same value?
False
Let m = -1.39 - -1.27. Which is smaller: -1 or m?
-1
Let u = 228 - 508. Let p be (4/(-50))/(24/u). Which is smaller: 1 or p?
p
Let n = 1.1 + -1. Suppose o = -18 + 2. Let v be o/32 - 9/(-6). Are n and v equal?
False
Let j = -24 + 22. Let o be (-286)/154 - j/28*-2. Let d = -5 + 3. Does d = o?
True
Let n be 2/54 - (0 + 0). Let s be ((-3)/(12/50))/((-2)/(-4)). Let i be 1/(-5) - ((-15)/(-3))/s. Which is smaller: i or n?
i
Let x = -105 - -202. Let r = x + -80. Which is smaller: r or -1?
-1
Suppose 0 = -36*z - 7*z - 946. Is -5/6 <= z?
False
Let i be -1 + 2 - 0 - -19. Suppose 3*a = -2*x + 34, -i - 1 = -2*a - x. Suppose -2*w - 2*w = 4. Which is bigger: a or w?
a
Let k = 1.32 - 1.2. Let y = k + -1.12. Let w = 718 + -7892/11. Is w equal to y?
False
Let o = -26 + 28. Let k be 3/o*(-22)/(-407). Which is smaller: k or 1?
k
Let o be (-191)/(-3) - (-1 + 70/42). Are o and 64 equal?
False
Let u = -8 + 8. Let h be ((-14661)/(-2925) - 5)/(4/30). Is h less than u?
False
Let k = 5 - 45. Let f be (-184)/k - (-4)/10. Let l = f - 1. Which is bigger: 6 or l?
6
Suppose -10 = -2*g - 0. Suppose 3*v - 2*f + 10 + 21 = 0, -17 = 3*v + g*f. Let l = 111 - 119. Which is bigger: l or v?
l
Suppose 5 = 8*j - 9*j - 4*x, 3*j - 4*x = 17. Which is smaller: 40/9 or j?
j
Let a = 139 + -1253/9. Let z(t) = t**3 - t. Let k be z(-1). Suppose -y - 1 = -k. Which is smaller: y or a?
y
Let q = 42 + -34. Suppose 0 = -q*p + 22 - 126. Which is bigger: -11 or p?
-11
Let j(m) = 10*m + 30. Let l be j(6). Let b be (4/l)/(-2*(-2)/(-12)). Which is bigger: -1/4 or b?
b
Suppose -8*w = 64*w + 360. Let j = -0.8 - -1. Which is bigger: j or w?
j
Suppose 330 = -12*m + 6*m. Which is smaller: -57 or m?
-57
Let f = -18 - -23. Suppose 4 = b - f*b. Which is greater: b or 2/33?
2/33
Let j = -19 + 145. Is -3 at most j?
True
Let d be (1 - -3)/(-2) + (-5 - (-238)/35). Let f = -3 + 2.3. Let s = f + 1. Is d less than or equal to s?
True
Let m = -124.6 - -114. Let j = 4.8 + m. Let t = -6 - j. Which is smaller: t or 0?
t
Let o be 120/10 + -19 + 1 + 31. Which is greater: o or 131/5?
131/5
Let a(k) = 5*k - 16*k + 0*k + 3*k**2 + 16 - 2*k**2. Let w be a(9). Does 0 = w?
False
Let j = 2.38 - 11.38. Let i = 3401/780 + -79/20. Let c = -14/13 + i. Is c equal to j?
False
Let a = 2172 - 2184. Is a at most as big as 0.3?
True
Let f = 1005 - 1004. Let c be 2/3 - (-8)/(-3). Let g be c + 58/28 + 0. Is g bigger than f?
False
Suppose -8*h + 3*h = 25. Which is greater: 21/8 or h?
21/8
Let o = -10150/47 + 216. Let i(y) = y + 5. Let x be i(-4). Are o and x equal?
False
Suppose 0 = -4*z + 18 + 78. Suppose 0 = 2*t - z + 350. Let g = t - -311/2. Does -7 = g?
False
Let r = -95221/180 + 529. Which is bigger: 1/3 or r?
1/3
Let n(i) = 5*i - 317. Let j be n(35). Which is bigger: j or -139?
-139
Let v = 