7553/924495 + 4/16809. Let l = 57/5 + x. Let y = -0.26 - -0.36. Which is smaller: y or l?
l
Let x = -369/7 - -51. Which is smaller: x or -3?
-3
Let b = 9 - 13. Let k = 11 + b. Let q = k + -12. Does q = -2?
False
Let j = 27 - 9. Let x = j + -17. Is 5 bigger than x?
True
Let q = 36 - 35.9. Is -1 at most q?
True
Let t be -1 - ((-3)/(-3) - 0). Let b be t/(-4) - 22/20. Which is smaller: b or -2?
-2
Let k = -2 - -5. Let a = k + -2. Let l = -0.5 - -1.5. Is l smaller than a?
False
Let g = -1306/15 - -87. Is g at least 1?
False
Let r(b) = b - 17. Let j be r(16). Which is smaller: j or -1/4?
j
Let b be -3 - -6*(-4)/(-6). Let q(g) = -g**3 - 6*g**2 - 3*g + 6. Let j be q(-5). Let v be (j/6)/(38/(-6)). Which is greater: b or v?
b
Suppose -4*s + 4*u + 0*u - 76 = 0, -3*u = -5*s - 101. Which is bigger: -24 or s?
s
Suppose -3 = 3*h, -3 - 1 = o + 3*h. Does -1/51 = o?
False
Let j = -120 + 120.07. Is 5 < j?
False
Let d be -16*(-4 - 27/(-6)). Is d < 2?
True
Suppose -y + 4*s - 9 = 0, 1 + 5 = -2*y + 2*s. Which is greater: 2/17 or y?
2/17
Let t be 3 - 3*(-296)/12. Which is greater: t or 76?
t
Suppose -3*t = 2*h - 6, -12 = 2*t + 3*t - 4*h. Let c(s) = 18*s**2 - s + 1. Let y be c(-1). Let g = 19 - y. Is t bigger than g?
True
Let n = 46 - 47. Which is smaller: n or -20?
-20
Suppose 3*d = 2*d. Suppose -4*h - 7 - 9 = d. Which is smaller: -3 or h?
h
Let r = -8.7 + 6.7. Which is greater: 5 or r?
5
Let b be -9 - (7 - 4)/(-1). Let x be (12/36)/(1/b). Suppose 6 = -2*g - 0*g. Which is smaller: x or g?
g
Let v(g) = g**3 - 5*g**2 - 4*g - 11. Let y be v(6). Which is bigger: 1/19 or y?
y
Suppose -16 = 2*k - 5*w + 3, 5*k + 4 = -2*w. Let h = -80 - -77. Let l be (8 + -2)/k - h. Are l and 1/2 nonequal?
True
Let w be 10/(-25) - 22/(-5). Suppose 0 = w*n + n - 5. Is 3 at least as big as n?
True
Let n = 0 + 0. Are n and -1/7 nonequal?
True
Suppose -3*w - 6 = -0*w. Let t be (-1 + w)/((-75)/(-2)). Is 1 at least t?
True
Let c(l) = -1 - 2*l**2 - l**2 - 2*l + 2. Let t be c(-2). Is t at most as big as -7?
True
Let g be (8 + -9)*1/23. Which is greater: 1 or g?
1
Let z(g) = -g**3 - 5*g**2 + 5*g - 1. Suppose 0 = -3*d + 3*m - 12, m = -2*d + 6*d + 22. Let x be z(d). Suppose -o = -v, -o + 4*o = 5*v - 8. Is o > x?
False
Let f be 3 - (13/4 - 1). Is 2 != f?
True
Let u = -0.87 + -0.13. Is -0.07 at most as big as u?
False
Let c(m) = -m - 5. Let f be c(-4). Let w be 3*1/(-2)*-4. Let a be 2/w + (-2)/6. Which is greater: f or a?
a
Suppose -3*s = -8*s. Let z be -1*(1 + -13*4). Let k be z/207 + 2/(-6). Is s at most k?
False
Let i = -11 - -7. Let t = i - -6. Let l = -1 - -2. Which is smaller: t or l?
l
Suppose 0 = 5*g - g + 4. Which is greater: 6/23 or g?
6/23
Let k be 1*-1*(-4)/28*0. Let i = 10 - 7. Suppose -j - 1 = 5*m + i, -4*m - 4*j = k. Is 0 != m?
True
Let q = -1 + -2. Let f = q + 3.02. Let x = f - 0.02. Is 1/2 < x?
False
Let g = -29 - -30. Which is smaller: g or -4/3?
-4/3
Let y = 54 - 35. Is y bigger than 18?
True
Let x be ((-795)/(-23))/(42/(-4)). Let p = -56/23 - x. Which is bigger: p or 1?
1
Let u be 1/(-12) - 2/(-6). Let j = -7.024 - -0.024. Does j = u?
False
Let i(q) = -q**2 + 8*q + 11. Let z be i(9). Do z and 0.12 have different values?
True
Suppose 20 = 5*q - 4*p, -2*q + 4*q + 20 = -4*p. Let t = -284 - -5398/19. Is q smaller than t?
True
Suppose f + 2*f = 0. Let a be 2/9 - (-235)/9. Let m = 562/21 - a. Are m and f equal?
False
Let w be 386/14 - 24/42. Is w smaller than 29?
True
Let n = 0.1 - -0.2. Let o = n + -0.2. Let h = -9 + 9. Is o greater than h?
True
Let u = 3.3 - 0.3. Let l = 5 - u. Let c = 2 - l. Which is smaller: 0.1 or c?
c
Suppose -9 = 4*k + 15. Which is greater: -2/3 or k?
-2/3
Let a = -2011 - -6127/3. Let o = a + -280/9. Let z be (-2)/(-7) + 2/(-7). Is o bigger than z?
True
Let x(s) = -s**2 - 7*s - 6. Let g be x(-6). Let l be (-16)/6 - (-2)/3. Is g at most l?
False
Let n = 3 + -4. Let h be (-4)/(-8) - n/2. Which is bigger: 0.2 or h?
h
Suppose -k + 5*k = -16. Are -2 and k equal?
False
Let u = -2140 + 8511/4. Let m = u + 27/2. Let t be (-5)/(-1)*1/5. Is m greater than t?
True
Suppose 6*o - 6 = -0*o. Is -1/8 > o?
False
Let k(n) = n**3 + 4*n**2 - n - 4. Let t = -5 - -1. Let s be k(t). Which is greater: -1/6 or s?
s
Let h(i) = i**2 - 7*i - 9. Let g be h(8). Is g bigger than -1?
False
Let o = 3 + -6. Let t = -8 - o. Let a = t + 3. Which is greater: a or -1?
-1
Let t(n) = -n**2 + n + 2. Let v be t(3). Let u be v*(4/(-8) - 1). Is u at least 6?
True
Let z = -71/4 - -1357/76. Is -1 > z?
False
Let a = -0.05 - -0.15. Let z = 23/3 + -112/15. Is a at most z?
True
Suppose 6 = -10*y + 4*y. Which is smaller: 1/20 or y?
y
Let m be (-90)/(-25)*2/(-3). Do -1 and m have different values?
True
Let i be (((-4)/3)/(-2))/(-2 + 1). Suppose 0 = -2*k + 7*k. Is k <= i?
False
Let g be 4/(-16) - 2/(-8). Let p be (5 + -5)/(0 - -1). Does p = g?
True
Let m = 444 - 27970/63. Does m = 0?
False
Let a(f) = f**2 + 6*f. Let i be a(-6). Let o be -2*(3/3 + i). Is -5/3 bigger than o?
True
Let l(v) = 6*v + 1. Let w(y) = 23*y + 5. Let u(g) = -9*l(g) + 2*w(g). Let q be u(1). Is q != -6?
True
Let w = -222/13 + 18. Which is greater: -2 or w?
w
Suppose -2*x - 3 = -3*m + 2, 4*m = 4*x. Suppose 0 = -x*p - 5. Let z = 3/8 - 5/56. Is p equal to z?
False
Let f be (-4)/10 - (-112)/(-120). Which is greater: f or -1?
-1
Let s be ((-1)/(-5))/(2/4). Are s and -2/31 nonequal?
True
Let h(g) = 8*g**2 - g. Suppose -4*n = -3*b + 13, -5*b + n = -0 + 1. Let o be h(b). Let u be ((-5)/(-3))/(3/o). Is 4 smaller than u?
True
Let i = 7.3 - 7.21. Let k = 0.2 - 0.3. Which is smaller: k or i?
k
Let t = -7 + 13. Do t and 19 have different values?
True
Suppose -3*n - 4*y - 19 = 0, -4*n - y + 4 = 12. Is 2/175 less than or equal to n?
False
Let t be (-2147)/11 - (4 - 2). Let p = t - -197. Which is greater: p or 0?
0
Let l be (-56)/(-98) - (-11)/(-21). Do 0 and l have different values?
True
Let t = 1 + -1. Suppose t*q = q. Which is greater: q or 3/4?
3/4
Suppose 2*q = 5*m + 31, 0 = 4*q + q - 5*m - 55. Which is bigger: 6 or q?
q
Let o = -10 - -14. Suppose 0 = o*b - 4*c, -4*b - 5*c - 47 + 2 = 0. Is -7 at most b?
True
Let i = -8.3 + -0.2. Is -0.1 at least as big as i?
True
Let c = -14 - -9. Let o = -4.7 - c. Let b be (-3)/(-4) - 1/2. Which is bigger: b or o?
o
Let r = 0 - -0.2. Let s = 0.2 - r. Let w = -0.1 + s. Which is greater: -0.3 or w?
w
Let p = 13 - -4. Is 15 greater than or equal to p?
False
Let g = -4.7 + 5. Is g at least as big as -0.2?
True
Let h = 0.23 - -9.77. Let w = 9 - h. Which is greater: 0.2 or w?
0.2
Let z = 88 - 87. Is 8/31 less than z?
True
Let w = 14 - 7. Suppose -2*z + 0*z = -8, -3*l = 3*z - 18. Suppose -w*o = -l*o. Which is greater: o or 2?
2
Suppose -5*o - 9 = 2*j - j, -2*o - 2*j - 10 = 0. Which is smaller: o or -2?
-2
Let r be 12/5*(-22)/(-8). Let b = 7 - r. Which is greater: 1/3 or b?
b
Let s = 9 - 8. Let c = s + -0.4. Which is bigger: c or 0?
c
Suppose -3*h = -3*f - 12, 3*h + 3 - 19 = 4*f. Let s be h - 1*(0 + -1). Let g be s/3 - (0 - -1). Are g and 2/3 nonequal?
True
Let u(a) = -a**3 + 10*a**2 - 9*a - 1. Let p(v) = -3*v - 5. Let s be p(-4). Let o = s + 2. Let w be u(o). Is 0 smaller than w?
False
Let j = -12 - -12. Which is smaller: j or -0.03?
-0.03
Let p be 114/34 + -2 - 1. Is 0 at least p?
False
Suppose 0*v - 5*v + 3*d + 25 = 0, 3*v = 5*d + 31. Suppose -9*j = -4*j. Is j < v?
True
Let h = -13 + 7. Let g be (-4)/h - (-4)/3. Let d be ((-15)/(-5))/(3/g). Is 3 >= d?
True
Let j = 24.22 - 24. Let f = j - 0.1. Is 1 at least as big as f?
True
Let s be 169/143 - (-2)/11*-1. Is s at most 6/13?
False
Let a = 8 + -4. Suppose 2*t - a*i = -8, -2 = -i - 0. Suppose 0 = -3*w - t - 9. Which is smaller: w or -4?
-4
Suppose -4*s + 3*n - n = 52, 5*n = s + 31. Let f = -15 - s. Let b = 0.98 - -0.02. Which is bigger: b or f?
b
Let q = 2.3 - 1.6. Which is smaller: q or -0.1?
-0.1
Let c = 243 + -2183/9. Let x = -25/78 + -7/39. Is c < x?
False
Let d = 1.05 - 0.05. Let j = 1.05 - d. Let x = j - 0.45. Is x bigger than -2/7?
False
Let s be 0 - (0 - -1 - 0). Let w be (-3 + 14 - 0)*-1. Let v = w - -9. Which is smaller: s or v?
v
Let j be (4/(-6))/((-4)/(-6)). Suppose -2*a + 8 = -2*v, -7 = a - 2*a + 2*v. Suppose a + 7 = -4*l. Does j = l?
False
Let b(n) = n + 8. Let q be b(-5). Let m = -4 + 2. Let z = 4 + m. Which is smaller: q or z?
z
Suppose 4*k + 3*a - a = -10, 5*k =