 Is 1 less than or equal to y?
True
Let p be (75/235)/5*(-12)/9. Are p and -0.5 non-equal?
True
Suppose -4*t = -2*d + 8, 7*d = 5*d + 2*t + 4. Is d < -128/9?
False
Let c be (-2 - 81/(-42))*35/(-10). Let o(h) = -h + 5. Let w be ((-6)/(-4))/((-2)/(-8)). Let a be o(w). Which is bigger: a or c?
c
Let x = -7271/14 + 760194/1463. Let b = 3709/19 + -195. Let p = x - b. Which is smaller: p or 1?
p
Suppose 493 + 1388 = 57*d. Does d = 26?
False
Let w be (10/(-120))/(213/192 + -1). Is w less than -1?
False
Suppose 0 = -f + 406 - 1675. Let h = f + 135781/107. Which is bigger: -1 or h?
h
Suppose 15*f - 18*f = -15. Suppose 4*q + f*s = 352, 10*s = 5*s. Which is smaller: 0 or q?
0
Let b = 27.928 - 0.128. Let j = b + -37. Let h = -9 - j. Which is smaller: h or 0.5?
h
Let n(v) = -v**3 + 4*v**2 + v - 8. Let z be n(4). Let o be 11/(z/(-1) - 5). Is o less than -11?
False
Let v = -9749/2 + 4738. Is -138 >= v?
False
Let f be -8 - (-160)/15 - (-2 - 2). Let q(d) = d**2 + d - 5. Let i be q(-4). Is i bigger than f?
True
Let n = -1.6 - -1.604. Is n bigger than -0.1?
True
Suppose -3*u = -5*k + 5 + 1, 0 = 3*k + u + 2. Let c be 3/(2 + 1) - 1173. Let v = c - -66802/57. Which is smaller: k or v?
v
Suppose 5*p - 7*p = 6. Let h = 18 + -19.3. Let w = 0.3 + h. Which is greater: w or p?
w
Let l(h) = 166*h - 399. Let f be l(4). Which is greater: f or 264?
f
Suppose -12*k - 60 = 24. Let x = 5 - 12. Is k not equal to x?
False
Let c = 0.7 - -2.3. Let s = -4.1 + 5. Let q = 1.1 + s. Is q != c?
True
Let k = -16 + 18. Let x be k/6*(2 - 5). Let d(q) = q + 1. Let m be d(x). Is m less than -2/7?
False
Suppose -5*z = 51 - 56. Let q be z*(-3)/(-1 + -2)*-3. Is -1 >= q?
True
Suppose 2 = -8*w + 11*w - 2*m, 5*m + 5 = -w. Let n = -7 - -35. Which is bigger: w or n?
n
Suppose 2*d - 5*q = -2, -2*q + 4 = -4*d + 3*q. Let c(y) = -y**2 + 28*y + 84. Let t be c(-3). Which is greater: d or t?
d
Suppose -31*f + 16*f + 15 = 0. Which is smaller: f or -2/39?
-2/39
Let z be (-9 - (-119)/21)*6/(-4). Which is smaller: z or 7/2?
7/2
Let o = -104 - -59. Let z be ((-18)/o)/(-2 + (0 - -14)). Let n be -1*(0 - (-1)/(-1)). Which is bigger: n or z?
n
Let r = -106 - -170. Suppose r + 31 = -5*d. Let q = -136 + 117. Is d bigger than q?
False
Let c = 10434/29 + -504736/1305. Let t = c - -146/5. Which is smaller: 2 or t?
2
Suppose -i = -3, 4*z + i - 139 = 4. Which is smaller: 37 or z?
z
Let c = -2015 - -2014.9878. Are -1/2 and c equal?
False
Let p = 48 + -35. Suppose -4*c - p = -4*k + 3*k, c = 2*k + 9. Is -9 not equal to k?
True
Let g = 27094/3945 + -88/263. Is 8 <= g?
False
Let l be ((-3)/(-21))/(2*2/(-8)). Which is smaller: 2 or l?
l
Let y be -4 + 5 + 52/(-30). Let g = -13/45 - y. Let o = -2 + 2. Which is smaller: g or o?
o
Let j = 44987/4 + -11253. Let i = 5 + -10. Which is bigger: j or i?
i
Let i = 152 - 96. Let h = 389/7 - i. Let q = -343 + 343. Which is greater: h or q?
q
Suppose 2*w + 4*c - 7 = -1, c = 5*w - 4. Let l be -1*(-5 - -3) + -4. Which is smaller: w or l?
l
Let v be 2/(-9) - 58/(-18). Suppose -20 = -3*f - 4*x, -2*x = v*f + 4 - 14. Which is bigger: -2 or f?
f
Let f = 4.6 + -4.77. Let b = -3.83 + f. Which is smaller: b or -0.1?
b
Let x = 29 + -29. Suppose 30*a - 34*a - 100 = x. Let r be (-15)/a*(-10)/(-3). Which is bigger: 9/8 or r?
r
Let t = -102 + 97.9. Let f = t + 3.7. Let j = -0.3 + 2.3. Does f = j?
False
Let j(x) = -2*x**3 - x**2 - 2*x - 2. Let f be j(-1). Let q be (-5)/(-107)*4/(-10). Which is greater: q or f?
f
Let r(o) = -1 + 3*o + 3 + 17*o. Let z be r(-1). Let d be z - -17 - 4/(-2). Which is smaller: d or -2/43?
-2/43
Let q = 0.1 - -0.9. Let m = -7 + 19. Suppose 10*l = m*l + 18. Which is greater: q or l?
q
Let w = 2062/5 - 412. Is -391 less than or equal to w?
True
Let x(v) = 6 + 1 + 2 + 2*v. Let d(h) = -3*h - 9. Let r(b) = -3*d(b) - 4*x(b). Let u be r(9). Which is smaller: u or 2/35?
u
Let p = -29 - -27. Let f = -4 + p. Let z be ((-8)/(-1308))/(2/f). Is z at most as big as 1?
True
Let r = 19.7 + 116.3. Let n = 135.9 - r. Is n not equal to 0.079?
True
Let s(r) = r**3 - 2*r**2 + 4*r - 5. Let t be s(2). Suppose -5*j + 11 = -3*n, 2*n = 4*j - t*j + 2. Which is bigger: j or 2?
j
Let m(p) = p + 2. Let v be m(3). Let f(z) = -27*z - 401. Let u be f(-15). Which is smaller: u or v?
u
Let q(j) = -j**2 + j + 7. Let b be q(-2). Let u be (-4)/(-10) + (-39)/(-15). Suppose 0 = -u*w - 1 + 4. Is b at most as big as w?
True
Let y be 44/(-550)*-15*10/766. Is -1 bigger than y?
False
Let m = -64.2 - -61. Let j = 2.2 + m. Is j bigger than 32?
False
Suppose 4*v = -v. Suppose -12 - 38 = -5*z - 20. Is z at most v?
False
Suppose 317*q = 322*q + 60. Do -4 and q have different values?
True
Let g = -21.2 - -21. Let m = 0.8 - g. Let a = 0.02 + -0.02. Which is greater: m or a?
m
Let b(q) = 6*q + 139. Let x be b(-23). Let p = 17120/13 + -1316. Does p = x?
False
Let d(o) = -o**2 + 9*o - 3. Let s be d(8). Suppose 0 = -3*c + 4*c. Let x = s - c. Which is greater: x or 3?
x
Let m be (2/60)/((-16)/(-40)). Suppose -n + 2*a - 3*a = 2, a + 10 = 3*n. Suppose 4*c - n = -2*s, 5*c + 3 = -4*s + 4. Which is smaller: m or s?
s
Let w = 5 + 0. Let t = 358 + -354. Which is bigger: t or w?
w
Let i = -74 - -83. Let w = i + -10. Let p = -5 - -4.8. Which is smaller: w or p?
w
Let r = 0.26 + -0.3. Let k = -555 - -556. Which is smaller: r or k?
r
Let s(i) = 2*i + 49. Let a be s(-7). Is 33 not equal to a?
True
Let a = -52 - -54. Let d(z) = 4*z**2 - 4*z + 5. Let f be d(a). Which is smaller: f or 12?
12
Let f be 3 - ((-1604)/(-126))/(-1). Let s = f - 44/7. Let c = s + -9. Which is smaller: c or 0?
0
Let l = -950 + 873. Is l less than -77?
False
Let s(g) = g**3 + 2*g**2 - 4*g - 3. Let d be s(-3). Suppose d*w + 3*a = w - 15, 3*w + 3 = -3*a. Let q be 1*-5*(3 - 4). Which is smaller: w or q?
w
Suppose -j + 4*j = 0. Let m be (11/(-22))/((-2)/92). Let w = m - 137/6. Are w and j equal?
False
Let d = -5/144 - -29/144. Let t(h) = -h**3 - 5*h**2 + h + 5. Let m be t(-5). Do m and d have the same value?
False
Let h(k) = k**3 - 4*k**2 + 3*k - 27. Suppose 2*w - 4*a + 6 = 0, -6*w = -3*w + 4*a - 31. Let y be h(w). Which is greater: 14 or y?
14
Suppose 0*n + n + 15 = 0. Let t(o) = o**2 + o. Let u(f) = f**3 + 9*f**2 - 6*f + 1. Let d(j) = -6*t(j) - u(j). Let r be d(n). Is r < 1?
True
Let n be ((-174)/3)/(0 - 2). Are n and 31 equal?
False
Let y = 77851579/1759 + -44259. Are y and 0 nonequal?
True
Let i(y) = y**2 + 21*y - 52. Let k be i(-16). Do -131 and k have the same value?
False
Suppose 2*n - 4*w = 544, -267 = -n - w + 2*w. Let c be -10 - -8 - n/(-130). Is c < -1?
False
Let p = 262 - 262.02. Do p and -1 have the same value?
False
Let a = -3.6 + -0.2. Let f = 3.91 + a. Is f greater than 1?
False
Let k = 1 - 7. Suppose 0 = -8*b - 15 + 55. Suppose 31 = -b*i + 1. Is i less than k?
False
Suppose 76 = 3*p - 7*p. Let s be ((-105)/28 - 1)*(-5 - -1). Let n = p + s. Which is bigger: n or 1/36?
1/36
Let g(p) = 5*p - 42. Let i be g(6). Let s be (3/(-8))/(315/i). Which is smaller: s or 1?
s
Let y(x) = x**3 - 2*x**2 + x + 4. Let o be y(0). Suppose -o*w = -w. Let g = -454/7 - -65. Which is smaller: w or g?
w
Let x = -15 + 12. Let j be (x - -5) + (6 - 6). Which is smaller: j or 1/2?
1/2
Let r be (2 - 4) + (-26)/(-10). Let y = 2599 - 2598. Is y > r?
True
Let b = -14.1 + 19.1. Which is greater: b or -32?
b
Let q = 54 - 52.7. Suppose 2*j = -6, 3*v - 6*v + j = -3. Is q >= v?
True
Suppose 4*d + 16 = 3*d. Let s = 37 + -25. Let l = s + d. Which is greater: -2 or l?
-2
Let b(s) = s**2 - 10*s + 16. Let w be b(9). Let v be 2 + (2 - w) - 1. Let d be 2 - 1/((-2)/(-10)). Which is smaller: d or v?
v
Suppose -n = 9*n + 870. Let a = 77 + n. Is a bigger than -10?
False
Let w be ((-20)/4 - (-8)/3)*58. Which is bigger: w or -134?
-134
Let k = 27 + -42. Let i be ((-5)/((-100)/(-8)))/((-33)/k). Is -1 < i?
True
Let j be (364/12 - 1)/(2/6). Suppose -170 = j*a - 93*a. Which is bigger: 35 or a?
35
Let x(f) = -f**3 - 10*f**2 + 67. Let l be x(-9). Which is smaller: -7 or l?
l
Let a be (-1)/3 - (-374)/33. Let h(i) = 2*i**2 + 10*i + 14. Let p be h(-6). Let v = 37 - p. Is v bigger than a?
False
Let s be (-6)/(-18) - 10/3. Let c be (-15 + 12)*2/(-2). Let z be c*(-15)/(-27)*s. Is z smaller than -6?
False
Let g be -29*(-2 + 1)*197. Let b be 4/30 - g/435. Is -13 <= b?
True
Suppose -3*b = 4*k + 71, 2*k + 3*b + 43 = -0*k. Let j b