9 - 64 = 5*r. Suppose 5*q = -2*q + r. Is 8 equal to q?
False
Let d = 59897/85 - 3531/5. Is -1 > d?
True
Let g = -0.21 - -2.61. Which is bigger: -3 or g?
g
Let m = -544 + 39711/73. Which is greater: m or 0?
0
Let b(n) = -n**2 - n + 1. Let u be b(4). Let j = -64 - -89. Let c = j + -44. Is u at most c?
True
Suppose j - 62*j = -28487. Which is bigger: j or 468?
468
Let w = 435 - 861/2. Suppose 3*i + 0*i - 22 = 5*x, 5*i + x + 10 = 0. Which is smaller: w or i?
i
Let k = 18 - -1. Suppose -4*n - 3*f = -64, -f - 6 = -2. Is k at most n?
True
Let v be (132/(-330))/(2/985). Is -0.3 >= v?
True
Let q(z) = 4*z - 6. Let n be q(4). Let j = n + -11. Which is smaller: 17 or j?
j
Let r(b) = -b + 7. Let a be r(7). Suppose a = v - 4*o - 8 - 8, 0 = -v - 3*o - 12. Suppose -63*x = -52*x - 88. Which is bigger: v or x?
x
Let v = 5 + -3.2. Let n = v - 0. Let s = n + -1.7. Which is smaller: s or 1.2?
s
Let z = 681 - 515. Which is bigger: z or 1158/7?
z
Let m = 4 - 6. Suppose -2*t + 5 = -1. Let w be (-2)/t*18/10. Are m and w equal?
False
Suppose 116 = -5*n + 2*p - 20, 5*p = -n - 11. Is -25 less than n?
False
Let b = -273 - -270. Which is bigger: b or -8?
b
Let v = 3.62 - -56.38. Let a = -0.2 + 1.2. Which is greater: v or a?
v
Suppose 5*z + 675 = -0*z. Let v be (-34)/30 + (-108)/z. Let t = 2 + 3. Which is greater: t or v?
t
Let u be (-73)/(-42) - 9*(-7)/(-42). Which is smaller: u or -1?
-1
Let t = -0.4 - 0.6. Let i = -4.6 + -0.1. Let y = 5 + i. Is t at most y?
True
Let v(z) = -z**2 - 12*z + 16. Let b be v(-18). Let m = b + 84. Are 0.1 and m equal?
False
Suppose -6*o + o = 10. Let x be o - -4 - (-6996)/(-3501). Let g = -10495/4668 - x. Which is smaller: g or -3?
-3
Suppose 3*j - 22 = 5*w, 4*j + 4*w - 23 = -15. Suppose 4*q = 2*g + 16, 0 = -3*q + 5*g + 16 - 4. Does q = j?
True
Let a = 493 + -492.7. Does 1.2 = a?
False
Let u be ((-114)/(-2) - (14 - 14))/3. Which is bigger: u or 20?
20
Let m(g) = -g**3 + 3*g**2 + 6*g - 5. Let l be m(4). Suppose l*n + n = 4. Let d be (-6)/(-8)*(-1)/(-2). Which is smaller: d or n?
d
Let o(c) = 2*c**3 + c**2 + c + 1. Let g be o(-1). Suppose 2*t + 12 = 4. Let s be t/62 - ((2 - 0) + -2). Which is smaller: g or s?
g
Let g(u) = -3*u + 9. Let z be g(3). Let c be (z + 1/(-15))*(0 - -3). Is c equal to -1/3?
False
Suppose 30*y - 22*y = -392. Let u be 253/(-5) - 3/(-5). Which is greater: u or y?
y
Let d(q) = -q**3 + 46*q**2 - 88*q + 67. Let h be d(44). Which is bigger: 598/9 or h?
h
Let i be (-30)/(-90)*(-3)/(-167). Which is greater: i or 2?
2
Suppose -4*u + 2*s + 80 - 326 = 0, -3 = -s. Let d = -61 - u. Is d at most as big as 3/16?
True
Let q be 4*((-42)/(-8) + -6). Suppose -5*s + 2 - 12 = 0. Which is greater: s or q?
s
Let q(f) = 11*f**2 + 4*f - 2. Let l(w) = 5*w**2 + 2*w - 1. Let h(u) = -7*l(u) + 3*q(u). Let y be h(1). Let r be y*(3 + 6/9). Which is greater: r or -12?
r
Let v = 65 - 64. Is v not equal to 2/115?
True
Let p = -16/55 + 1/11. Suppose 8 = -3*h + 5*f, -3*f = -5*f + 8. Let l be ((-4)/(-32))/(1/h). Is p at least as big as l?
False
Let g = 6 + -3. Let t be (1 - -1) + -67*4. Let i = t - -805/3. Is i > g?
False
Suppose -3*c = 4*d + c - 28, 3*d = 5*c - 3. Suppose -s - 29 = -4*i, 0*i + 4 = d*i + 4*s. Is -0.1 at least i?
False
Let q = -11 - -26. Let v be 6/(-7 + 312/42). Which is smaller: v or q?
v
Let s = -4 - -11. Suppose 0 = 3*v + 2*u - 34, 4*u + 6 = 26. Is v at most s?
False
Let k = -42.972 + 0.002. Let q = 43 + k. Which is smaller: q or -0.3?
-0.3
Let p = 200 - 139. Suppose 2*x - 5*f + 56 = 0, 2*x + 2*f + p = -9. Which is smaller: x or -34?
-34
Let c be 95/4 + 22/(-8) + 2. Let y = c + -4. Which is smaller: 20 or y?
y
Let f = -862 + 862.04. Which is smaller: -14 or f?
-14
Let c(k) = -3*k**3 - 4*k**2 - k + 2. Let j be c(-2). Let a(t) = -t**2 + 16*t - 18. Let b be a(j). Suppose -3*f - b + 6 = 0. Which is smaller: f or -7?
f
Suppose 67*t - 62*t = 15. Which is greater: 49/11 or t?
49/11
Suppose -28 = -0*n - 28*n. Is n < 14/9?
True
Let a = 18 - 22. Let h be (-1248)/588 + a/(-2). Let v = h + -1/49. Is v bigger than -1?
True
Let b = -43 - -50. Let o be (-1)/2 + (189/60)/b. Suppose 0*m = m. Is o > m?
False
Suppose 20 = 2*h - 8. Suppose -h*k + 35 = -9*k. Is k > 8?
False
Suppose 0 = -4*n + 1 + 55. Let y = 8 - n. Let a be 2/y + 1/3. Which is bigger: -2/15 or a?
a
Let r = -0.0112 - 0.9888. Which is smaller: -128 or r?
-128
Let x(h) = -2*h**2 - 33*h + 22. Let i be x(-17). Suppose -b - 3 = -3*a + 4*a, -i*a - 25 = 0. Are -1/3 and b non-equal?
True
Let z = 120 + -119. Let p be z/(-3 + (-128)/(-18) + -4). Which is greater: p or 0?
p
Let k = 516 - 514. Which is smaller: k or 8/5?
8/5
Let n = 206 - 192. Which is smaller: 46/3 or n?
n
Suppose 7 = 3*y + 4*y. Let l = 3 - y. Which is smaller: l or 4/5?
4/5
Let v = 449 + -426. Which is greater: 9 or v?
v
Let a be (-49)/(-2) + 14/(-28). Suppose -11*j + a = -15*j. Is -6 at least as big as j?
True
Let j = -0.626 + -0.004. Let c = j + 9.63. Which is bigger: c or 5?
c
Suppose -2*j = -7*j + 65. Suppose 4*f + 4 = 3*a - j, -f - 7 = 2*a. Which is greater: a or 3?
3
Let f(t) = 5*t - t**3 - 2*t**2 + 0 - 18*t - 11*t**2 - 13. Let n be f(-12). Let k be (1/(-1))/(-2 - -1). Is k smaller than n?
False
Suppose -3*m - 87 = -0*m + 3*v, -3*m - 52 = -4*v. Let f be 9/10 - (-36)/m. Which is smaller: f or -1?
-1
Let x be -2 - ((-2)/1 + -3). Suppose -4*i - 29 + 6 = 3*d, -x*i + d = 14. Suppose -5*u + u + 5*b = 15, 0 = u + b - 3. Do u and i have the same value?
False
Suppose -1323 = 32*i + 1205. Is i < -71?
True
Let j be 31/2*28/8*-1. Which is greater: -53 or j?
-53
Let x be 3/10*20/(-45). Let s = 5 + -8. Let c be (-1 - s)/(-1) + 1. Do x and c have the same value?
False
Let h be (5046/261)/(1 - (-1)/1). Which is smaller: 1 or h?
1
Suppose -41*a + 17*a = -1248. Let f = 29 + 23. Is a less than f?
False
Let g = 30731 + -10479261/341. Which is greater: g or 1?
1
Let i be 6/(-15)*(-5)/2 + 2. Suppose 4*m = -i*m + 1029. Do -0.1 and m have different values?
True
Let l = -901 - -901. Which is smaller: l or 9/65?
l
Suppose 3*a = -v + 144, -2*v = -a - 7*v + 34. Suppose -b = 6*b + a. Is -7 greater than or equal to b?
True
Let d be 4/18 + (-35454)/378 + 3. Let i = 650/7 + d. Which is smaller: 3 or i?
i
Suppose n - 2*n = -2. Let b = n + -2. Suppose -2*j + 2*g + 22 = b, 4*j - 33 = j - 3*g. Which is greater: 10 or j?
j
Let t = -1 - -2. Let d be 16 - (13 + (-72)/(-22)). Which is greater: t or d?
t
Let j be (1328/6)/((-7)/(-3)). Is j at least as big as 94?
True
Let n be ((-1)/(-3))/(1/(-3)). Let c = 3 + 9. Let i = -11.7 + c. Is i greater than or equal to n?
True
Let i be 52/(-4745)*4/4. Is i equal to 1?
False
Suppose -26 + 17 = 9*x. Which is smaller: -4/547 or x?
x
Let g(m) = m**3 + 2*m**3 - 1 + 3*m**2 - 4*m**3 - 4*m + 3*m. Let u be g(1). Which is smaller: u or 1?
u
Let k = 7 - 6.97. Let f = -251 + 240.03. Let b = f - k. Is 0 less than or equal to b?
False
Let d(p) = -31*p - 6. Let l be d(-2). Let u = l - 783/14. Is 2/3 at least as big as u?
True
Suppose y = 6 - 4. Let m be (-123)/5 - y/5. Let l = -21 - m. Which is smaller: l or -1/2?
-1/2
Let p(x) = -x**3 + 14*x**2 + 94*x + 20. Let n be p(19). Which is bigger: 22 or n?
22
Let q = -4 - -2. Let m = 1.8 + q. Let l be ((-3)/3 - (1 - 6))*201/804. Is l < m?
False
Let z(v) = -16*v + 4. Let t be z(0). Let g(u) = u**2 - 4*u - 7. Let n be g(8). Suppose n = 8*m - 3*m. Which is smaller: m or t?
t
Let f = 992 - 971.2. Which is smaller: f or -1/2?
-1/2
Suppose 0 = -2*s - 5*l + 35 - 7, -4*l = -4*s. Suppose -2*d - 17 = -3*y, -4*y + 0*y = s*d + 4. Suppose m + g + 3 = 0, -4*g - 1 = -y*m + 11. Is m > -4/3?
True
Let q be 1*-1*(203/101 + -2). Let x = -34 - -35. Is x greater than or equal to q?
True
Suppose 2*v + 1 = -3*n, 2*n - 3*v = -0*v - 5. Which is greater: n or -0.303?
-0.303
Let p be (-3)/(-6)*0/3. Let x = 714 - 717. Which is greater: p or x?
p
Let l = -0.6 + 1.3. Suppose 4*d - 32 = -4*x, 2*x - 2*d = 2*d + 16. Suppose -x*r + 17*r = -9. Which is smaller: l or r?
r
Let q be (-20)/50 - (62/(-5) + 0). Let t be (q + 18)/((-2)/1). Which is greater: t or -44/3?
-44/3
Let t = 170 + -162. Suppose 4*k + 53 + 43 = -4*s, -3*s + 90 = -3*k. Let h be 0 + 2/k*-3. Is h less than t?
True
Let w = -0.026 + 0.326. Let m(z) = z**2 - 6*z + 6. Let a be m(6). Let f be a/(-8) + 3/6. Which is bigger: f or w?
w
Suppose -51*p = -53*p - 260. Which is smal