 be 22/44*1*g. Which is bigger: q or -1?
q
Let q = 24 - 22. Suppose -s = -2*l - 2*l - 3, -9 = q*l - 3*s. Which is smaller: l or 3/4?
l
Let x be (92/(-207))/(42/81*-3). Let c = 44 + -309/7. Is c at least x?
False
Let g be 1/((-9)/2) + 357/(-459). Is -4/607 < g?
False
Suppose -9*m + 6*m = 3. Let n be (1 + 1)/(4*m)*0. Which is bigger: -4/11 or n?
n
Let k = -98 - -97.7. Which is smaller: 0 or k?
k
Suppose -m = -k + 1, -54*k + 57*k + 4*m = 10. Which is smaller: 20.6 or k?
k
Suppose -14*d + 7*d - 112 = 0. Which is greater: d or -15?
-15
Let x(s) = -2*s + 1. Let c be (-20)/8*(-12)/(-10). Let d be x(c). Let j(o) = 5*o + 62. Let h be j(-11). Is h at least d?
True
Let y = 26.254 + 0.446. Let k = 38.63 - y. Let d = 12 - k. Is 3 != d?
True
Let k(x) = -5*x - 48. Let l be k(-9). Let f(n) = 14*n + 17. Let z be f(l). Which is smaller: z or -24?
z
Let w = 1.2 - 0.2. Let y = -9 - -13.4. Let o = -0.4 + y. Which is greater: o or w?
o
Let a = -1702 - -309765/182. Does a = 1?
False
Let v(d) = d**2 - 7*d - 15. Let r be 5/(-1 + 11)*16. Let p be v(r). Is p bigger than -6?
False
Let c = 0.653 + 0.047. Is c greater than or equal to -0.5?
True
Let i be 2*(6/21)/2. Let z be (-18)/(-10)*50/15. Suppose 2*g = t - 8, z*t = 2*t - g - 4. Which is bigger: i or t?
i
Let u(a) = 2*a - 27. Let v be u(9). Let x be -33*20/(-855) + 6/v. Let q be (-2)/4*-2 + 0. Is q less than or equal to x?
False
Let j = 5 + -28. Let h = j - -23.1. Let g be 3/(-6) - (-51)/126. Is h greater than or equal to g?
True
Let x(y) = 2*y**3 + 57*y**2 - 25*y + 84. Let u be x(-29). Is -8 greater than or equal to u?
True
Suppose -13*k = 2*k + 30. Let z be (-8)/k + -2 + 0. Which is smaller: z or 3?
z
Let d be 104 - (-4 - 1 - -2). Let f be d/(-5) - (4 + 110/(-25)). Do f and -21 have different values?
False
Let k(u) = -5*u + 11. Let q(m) = 14*m - 32. Let w(p) = 17*k(p) + 6*q(p). Let t be w(-8). Is t >= 3?
True
Let d be -4 - (-5 + 3 + 3 + 97). Which is smaller: d or -99?
d
Suppose -71 = -4*v + 3*d, -3*v + 2*d + 27 = 5*d. Let f be (-48)/(-42) + (-2)/v. Let c(g) = g - 1. Let h be c(-1). Is h at most f?
True
Let k = -133993/1914 - 51/319. Let r = 70 + k. Do r and 1 have the same value?
False
Let r be ((-5)/(-15))/(11/(-22)). Are r and -8.9 nonequal?
True
Let b(d) = 4*d - 8. Let w(s) = -7*s + 15. Let n(r) = 5*b(r) + 3*w(r). Let z be n(10). Which is smaller: 3 or z?
z
Suppose -4*d + 3*r - 62 = 4*r, 3*r + 58 = -4*d. Let w = 12 - -5. Let k = w + d. Is k > -1/20?
True
Let o = 0.042 + -9.442. Let t = o - -0.4. Is 0.2 at most as big as t?
False
Let m = 2 + 0. Suppose m*b - 9*b - 28 = 0. Suppose 0 = -3*f - f - 16. Do b and f have different values?
False
Let f = 168 + -169. Which is bigger: -4/53 or f?
-4/53
Let q(z) = -z**2 + z + 2. Let p be q(-2). Let a be p + -1*(-1)/(-1). Let y be 4 + a + 22/19. Is y at least as big as -1?
True
Let y = -18 + 50. Let g = y + -36. Do -3 and g have the same value?
False
Let l = -107 - 21. Let z = 121 + l. Is z <= -72/11?
True
Let p be (-2 - (1 - -1)) + 4. Suppose p*o + 12 = o - 4*s, 0 = 2*s + 4. Let q be (o/(-48))/((-3)/8). Are q and 1 nonequal?
True
Suppose 3*v = 6*v - 69. Suppose 5*t - 148 + 28 = 0. Let h = v - t. Is 3 equal to h?
False
Let z(n) = -n**3 + 6*n**2 + 6*n + 9. Let a be z(7). Let q = 17 - 11. Suppose -s + q - 1 = a*i, -s = 3*i - 6. Do i and -1/5 have the same value?
False
Let v(w) = 2*w**2 + 5*w + 5. Let q be v(-2). Suppose 5*c - q*g = -0*g - 147, 61 = -2*c - g. Is c >= -29?
False
Let h(s) = -s**3 - 2*s**2 + 7*s + 8. Let r be h(-4). Suppose -u = 3*u - r, 3*u = -m + 11. Which is smaller: m or 10/7?
10/7
Let w = 0 + -1. Let i be ((-3913)/(-2))/((-165)/22). Let s = i - -261. Is w at least s?
False
Let p = 250135 - 71038261/284. Let l = -2/71 + p. Which is bigger: -3 or l?
l
Let r be (-3)/289*2/(-12). Let k = r + -20815/4046. Which is greater: k or -5?
-5
Suppose -4*h + 6 = -7*t + 9*t, t - 6 = h. Is h bigger than 8/23?
False
Let k = 4.3 + -4.3. Which is bigger: k or -101?
k
Suppose 1315 = -3*j - 5*h + 30, 5*j - 3*h = -2187. Which is bigger: j or -2/5?
-2/5
Suppose 10*n + n + 88 = 0. Let z(g) = g**2 + 4*g + 9. Let s be z(n). Which is greater: s or 43?
43
Let d = 2/26363 - 3638120/342719. Let c = 1419/130 + d. Suppose j = -0*j + 1. Is j bigger than c?
True
Let z = -1893 + 1778. Which is smaller: z or -2/13?
z
Suppose 64*c - 29*c - 175 = 0. Which is greater: c or 1?
c
Let q = 1023 + -1036. Suppose 0 = 4*r - 0*r + 56. Which is greater: q or r?
q
Suppose -3*l + 5 + 187 = 0. Let g = l + -769/12. Which is bigger: 1 or g?
1
Suppose 2*f + 68 = 66. Are -2/679 and f equal?
False
Suppose -4*m = -0*m + 5*q - 17, 0 = m + q - 4. Let j(r) = 2*r - r**3 - 3*r**m - 3*r + 0*r**3. Let l be j(1). Are -4 and l unequal?
True
Let y = -76 - -76. Is -2/9 at most as big as y?
True
Let z = 2558 - 2486. Suppose -395 = -5*v - 35. Are z and v nonequal?
False
Let l(h) = -h**2 - 6*h + 3. Let d be l(-6). Let w be 16 - ((2 - d) + 2). Let y be w/5 - (0 + 6). Is y bigger than -5?
True
Let i = 29/10 + -12/5. Which is smaller: -8 or i?
-8
Let b = -25837/99 - -261. Is 0 at least as big as b?
False
Let f(c) = 3*c + 12. Let y be f(-5). Let l be 1605/25 + y/1. Let k = -61 + l. Are 0.2 and k unequal?
False
Let c = -9.5 - -11. Let i = -1.5 + c. Which is bigger: 0.02 or i?
0.02
Let r be 12/(-21) + (-18171)/63. Does -288 = r?
False
Let b be 3 + (0 - 18128/17). Let p = b - -1063. Which is smaller: p or 1?
p
Let y be 7 - (30/20 + (-1)/(-2)). Let p be (-4 + y)*(-1 - 2/(-2)). Let k(x) = x**3 + x**2 + x - 1. Let t be k(0). Is p < t?
False
Suppose 1 = -k + 3. Suppose -c = y + y + 6, -4*c + 6 = k*y. Suppose 2*j = c*j. Which is bigger: j or 1/2?
1/2
Let d be (7 - 1)/(21/77). Which is smaller: d or -4?
-4
Let k(m) = -m - 4. Let f be k(6). Let c(i) = i**3 + 3*i**2 - 5*i - 3. Let u be c(-4). Let q be (-4)/f + u/10. Is 2/9 greater than q?
False
Suppose 0 = -5*k + 34 + 31. Let y(z) = k + 4*z + z - 3*z. Let l be y(-9). Is -6 smaller than l?
True
Suppose -4*k + 3*q = 78, 4*q - 80 = 5*k - k. Let s = 0 - -4. Let u = s + -23. Is u less than k?
True
Let r = -2.316 - -4.516. Is r smaller than 21?
True
Suppose s - 9*s = -72. Suppose 2*l - 1 = -4*f + 3*f, 5*l - s = 4*f. Is l <= 2/319?
False
Let g(t) = -2*t**3 + 18*t**2 - t + 9. Let d be g(9). Let i = -11 + d. Let b be -1*(-21)/(-2) - 0. Do b and i have different values?
True
Let c(q) = q + 1. Let s be c(-2). Let d be (-27)/(-6) - 4 - (-216)/(-48). Is s <= d?
False
Let o = 2409.9 - 2410. Let x = 0.042 + -26.042. Which is smaller: x or o?
x
Let k be (1 - 2/3)*9. Suppose -5*w - 5*q = 4 - 19, -w + 4*q - 2 = 0. Suppose k*f - w*f = 0. Are f and 7/10 non-equal?
True
Let k(z) = -z**3 + 5*z**2 + 7*z + 4. Suppose -3*o + 22 = 4. Let r be k(o). Which is smaller: 9 or r?
9
Let p = -57 - -51. Let f be 2 + 286/(-84) - 8/p. Is 0 >= f?
True
Let h = 2544.9 + -2546. Which is smaller: h or 1/4?
h
Let z = 100449 + -19587484/195. Let q = -903/1885 - -13/29. Let k = q + z. Is -5 less than k?
True
Suppose -2*p = 3*p - 40. Suppose p*k - 4*k = -8. Let j = 5 + -6. Is k < j?
True
Let g = -25067 - -38778647/1547. Which is greater: -1 or g?
g
Let d be 6*((-2)/(-12) + 1). Suppose -d = 2*j - 5*j + 5*i, j + 2*i + 5 = 0. Which is greater: j or 4/17?
4/17
Let u = 1066 - 1007. Which is greater: -3 or u?
u
Let j = 2 - 0. Let t = -12 - -35. Let u = t - 20. Is u > j?
True
Suppose 2*n = 7 - 41. Suppose -s + 2*h - 11 = 0, 42 = -5*s + h - 49. Are s and n non-equal?
True
Suppose -3*w = 3*d - 24, -5*w + d + 3 + 7 = 0. Suppose -11 - 25 = -3*o - w*y, -o + 3*y - 8 = 0. Suppose -4*a = -3*a + o. Is a > -6?
False
Let t be (-48)/84 - (-39)/7. Let a(f) = -8*f + 39. Let r be a(t). Is r less than or equal to -65?
False
Let a(f) = 4*f**3 - 4*f**2 + f + 24. Let b be a(4). Which is smaller: 218 or b?
218
Let s be 7 + -7 - (-1 - 0). Which is bigger: -2/55 or s?
s
Suppose 32 = 19*g - 3*g. Suppose -4*t - 5 = -17. Let f be -2 + 2 + -2 + t. Which is smaller: g or f?
f
Let y be (2 + -2 + 2)*(3 - 4). Which is smaller: -15/22 or y?
y
Let o = -79544/41 - -1940. Which is smaller: o or -1?
-1
Suppose 6*r - 2*r - 12 = 0. Let u be (r/(-9))/1*0. Which is greater: -5/7 or u?
u
Let l(y) = -y**2 - 8*y + 95. Let j be l(-14). Let b(k) = -3*k - 1. Let f be b(1). Let n(g) = g**3 + 6*g**2 + 7*g + 6. Let r be n(f). Which is smaller: j or r?
r
Let l be 4/(-3) - 29/3. Let g be (-3