2*r - 3 = n, 4*r - 2*n = -0*r + 6. Suppose -2*u - h = -0*u - 1, -u + 5*h - 5 = r. Is u < -2/13?
False
Suppose -111 = -5*i + 2*u, 4*u - 37 = -2*i - 7. Suppose -16*v + i*v - 55 = 0. Which is smaller: 9 or v?
9
Let b = -1100 + 1100. Is b at most -756?
False
Let l = 0.037 - -55.963. Does -0.1 = l?
False
Suppose 5*i = a - 0*i + 14, i = -3*a + 6. Which is bigger: a or -6/17?
a
Suppose 0 = 2*n + 5*t + 4, -2*n - 4 = -5*t + 3*t. Is -38/15 bigger than n?
False
Suppose 6*z - 6 + 24 = 0. Let o be (1*(-6)/z)/1. Suppose 3*s - 4 = 2*s, -o*s - 5 = -w. Are w and 13 nonequal?
False
Let w(f) = -f**3 - 8*f**2 - 6*f + 11. Let b be w(-7). Suppose -5*t - 5*g = 85, -43 = -0*t + b*t - g. Which is greater: 1/2 or t?
1/2
Let j be (-3125)/(-35)*(1 - 0). Let u = j + -188/21. Let i = u + -81. Is i not equal to -5?
True
Suppose -7*l + 5*l = -402. Are l and 203 unequal?
True
Suppose -4*y - c - 3*c = 0, 3 = -4*y - c. Let m be (-36)/(-21) + -2 + 289/1722. Let g = m + -2/41. Is y at most as big as g?
True
Let w(y) = 2*y - 4. Let l be w(3). Suppose 2*m + m - 7 = l*k, -3*k - m + 17 = 0. Suppose k*g = 3*z - 1 + 18, 0 = 5*g - 5*z - 20. Is 1 greater than g?
False
Let b(q) = -q**2 - 38*q + 283. Let v be b(8). Which is greater: v or -90?
v
Let f be (-127)/(-99) - ((-36)/(-27) - 0). Is f not equal to 1?
True
Suppose -q - s = -5, -16 = -5*q - 2*s - 0. Let f = 1 + q. Does -2 = f?
False
Let k be 99/22*76/(-6). Let o = k + 39. Let g = o - -13. Does g = -5?
True
Let m = -3010 - -68900/23. Let j = m + 18856/1311. Do -1 and j have different values?
True
Suppose 8*t - 2*t = 12. Suppose 5*b - 50 = -4*k, b + 6 = -t*k + 16. Let z be 2/b - (-18)/(-15). Which is greater: 2/11 or z?
2/11
Suppose -4*c + 36 = 4*o - 3*c, 0 = o - 2*c - 18. Let u(k) = -k + 2. Let p be u(-5). Let t = p - o. Which is bigger: t or -13/3?
t
Let w = 3.642 + -0.042. Let d = 6.6 - w. Is 2/3 at least d?
False
Let l be -3 - (0 - (12 + -4)). Suppose 4*h = l*h + 21. Which is smaller: h or -22?
-22
Let x be 38/(-152) - -71*(-3)/(-660). Which is smaller: 0 or x?
0
Let u = -2.09 + 181.09. Is -1 less than u?
True
Let t = 12776/3831 - 2/1277. Suppose 11*r = 14*r - 6. Is t at most r?
False
Let b(p) = 83*p + 105. Let a be b(5). Is a at most 521?
True
Suppose -3*o = a - 11, -a = -4*o + 8 + 2. Let g be o/6*(-12)/(-3). Let v be 52/12 + -4 + 1. Is v at most g?
True
Suppose -259*n = -254*n - 5. Is 71 > n?
True
Let s(v) = 3*v - 3. Let p be s(2). Suppose -2*i = 4*o - 60, 0 = i - 5*i + p*o + 175. Let w be 1 - (36/i)/1. Which is bigger: 0 or w?
w
Let s(l) = 3*l**2 - 3*l - 3. Let r be s(3). Suppose 2*f + 3*f = 4*f. Suppose 5*k - 15 = 3*d, f*d = 3*d + k + r. Is d <= -6?
False
Let g(d) = 4 - 3 - 9*d + 2 - 1 - d**2. Let c be g(-9). Suppose -c*q + 9 = z - 6, -z + 15 = -3*q. Which is greater: 14 or z?
z
Let a = 13330/87609 - 2/1653. Which is smaller: -1 or a?
-1
Let s(a) = -a + 56. Let d be s(-17). Let x be 0/(-35) + (-2)/(d - 1). Suppose 3*r + 2*r = -5. Are x and r unequal?
True
Let z(a) = 22*a - 221. Let p be z(16). Which is greater: p or 130?
p
Suppose 16*f - 167 = 265. Which is greater: 26 or f?
f
Let j = 7 - 47/6. Suppose 0 = -35*g + 99 - 134. Are j and g equal?
False
Let j = 1.21 + -1.31. Which is smaller: -31 or j?
-31
Suppose 25*n - 35*n = -850. Suppose 2*q = -n + 87. Which is bigger: 17 or q?
17
Let h = 109 - 173. Let d = h - -54. Which is smaller: d or 1?
d
Suppose -5*f = 1 - 26, 10 = 5*i - 2*f. Suppose i*k - 65 = -k. Which is greater: k or 12?
k
Suppose 4*y + 4*t = 2*y + 240, -5*t + 117 = y. Which is greater: 120 or y?
y
Suppose 0 = 3*x + 2*z - 28, 5*x - 4*z = -0*z + 10. Let w be -12 - (x - 4 - 6). Is w <= -8?
True
Let r be 57/(-11) - (-4)/22. Let c be 12/60 + 176/r. Let p be (-1 - 0)*(-10)/c. Is p greater than -1?
True
Let k be (-2)/52*54/(-3). Which is smaller: 1 or k?
k
Let b(i) = -2*i**3 + 21*i**2 - 16*i + 24. Let l be b(10). Is -37 != l?
True
Let i be (-160)/8*(-3)/(-12). Let d(g) = -g**2 - 8*g - 4. Let s(z) = z - 1. Let q(o) = -d(o) - 2*s(o). Let h be q(i). Which is bigger: 3/14 or h?
h
Let d = -5.1 - -5. Let x(f) = 9*f**3 - 2*f**2 - 2*f - 1. Let t be x(-1). Let u be 6/t*(-28)/210. Which is greater: u or d?
u
Let t(b) = b**2 + 2*b + 2. Let c be t(-2). Let w be c/(-7) + (-1102)/(-133). Is w <= 6?
False
Let s be 340/18 - (-9 + (-240)/(-27)). Which is smaller: s or 18?
18
Suppose 126*c - 103*c - 25875 = 0. Which is bigger: c or 1126?
1126
Let r(v) = v**3 - v**2 + 22*v - 49. Let k be r(2). Suppose 0 = 2*f + 8, 2*i + 3*i = -4*f - 26. Which is bigger: i or k?
k
Let t be 154/4*(0/8 - 2). Which is smaller: t or -79?
-79
Let y = -149 - -149.01. Do y and -0.7 have different values?
True
Let x be (1 - 0)/((-12)/(-36)). Suppose -q = -h - 2, -13 = -q - x*q + 5*h. Let s = -1 - q. Which is greater: 3 or s?
3
Let o = -31034/3 + 10344. Let g be 4/(-26)*14 - -2. Which is greater: o or g?
g
Let x(k) = -k**2 - 4*k + 5. Let t be x(-4). Suppose -3*a + 3*h = 2*h + 17, 0 = -t*a + 2*h - 30. Let z be (-22)/(-24) - 1/4. Which is smaller: a or z?
a
Let d(o) = -o**3 + 8*o**2 - 11*o + 5. Let s be d(8). Let j = s - -37. Let v = j - -320/7. Which is smaller: 1 or v?
v
Let p = 10579/61 - -9/122. Which is smaller: 175 or p?
p
Let m(z) = -15*z - 422. Let y be m(-26). Which is greater: 6 or y?
6
Let g = -2 - 0. Let o be 31 - (-29 - -4)/5. Let z be (-65)/28 - (o/14)/6. Is g equal to z?
False
Let p be (12/8)/((-10)/172). Let z = p - -25. Do 0 and z have different values?
True
Suppose -8*o - 162 = -14*o. Are 26 and o equal?
False
Suppose b + 0*f - f = 0, -5*f = -3*b - 4. Suppose 2*j + i = -2*i - 29, b*j = 4*i - 8. Let d be ((-15)/j)/(2/(-4)). Which is bigger: -2 or d?
-2
Let l = -259.9 - -260. Which is bigger: l or 4/29?
4/29
Let m = 1138 + -1131. Is m less than -11/12?
False
Suppose 3*q = 4*u - 31 + 40, u + 15 = 5*q. Which is greater: -1/308 or u?
u
Let l be (1/(-21))/(-3 + 4). Suppose -12*w + 11*w = -2*j - 3, 4*w = 4*j + 8. Is w not equal to l?
True
Suppose m = -2*a + 5, 2*a + a = 4*m - 20. Suppose 2*r - 2*j + 4 = a, 4*j + 4 = -3*r + 12. Let k = -10400/21 - -1484/3. Which is bigger: k or r?
r
Let o be (2/36)/((-15)/(-2316)). Let d be ((-88)/(-30))/(2/(-6)). Let l = o + d. Is l not equal to -6?
True
Suppose 2*u = u - 23. Suppose -2*w = -4*k + 40, 5*k - 6 = w + 11. Is w at most u?
False
Let n = -629 + 628. Which is smaller: -4/553 or n?
n
Suppose 0 = -63*u - 1138 + 193. Is -4 equal to u?
False
Suppose 5*w + 383 = -4*i, 2*w - 7*w = -2*i + 401. Which is smaller: -78 or w?
w
Suppose -6*d - 3*c = -12, 24 = 2*d - 2*c - 2*c. Which is greater: d or 94?
94
Let h be (-26)/(-8) + 2/(-8). Let a be -3*(10/15 - -1). Let s be (-5)/5*(a - -1). Which is greater: s or h?
s
Let j = -597/8 - -204739/2744. Is j > 1?
False
Suppose -4*u - 2*f = -4, -u - 3*f + f = -7. Let l = 181396 - 3811205/21. Let t = l + 90. Are u and t unequal?
True
Let c(b) = 4*b + 38. Let z be c(5). Which is smaller: z or 59?
z
Let g = -404 - -474. Is g smaller than 71?
True
Suppose 197 = -3*x + 2*r, x = 3*x + 3*r + 153. Which is smaller: x or -71?
-71
Let p = -821 - -795. Which is bigger: p or 1?
1
Suppose -3*a = 3*a - a. Let p be ((-2)/(-5))/(-4 - -1). Is p at least a?
False
Let m(a) = -a**2 + a + 7. Let g be m(0). Let k be 3/((1092/(-8))/g). Let d(n) = n - 7. Let u be d(5). Is k greater than u?
True
Let a be (-1)/2*(-13)/((-78)/12). Which is bigger: 3/28 or a?
3/28
Let v be 0 - (-3 + (-11)/(-2))*-2. Which is smaller: v or 42/11?
42/11
Let d = -29 - -32. Let z = 0.9 - -2.1. Let x = z + -4. Which is bigger: d or x?
d
Let k(s) = -6*s**2 - 13*s - 8. Let y(g) = 7*g**2 + 14*g + 8. Let i(p) = -6*k(p) - 5*y(p). Let o be i(-7). Which is smaller: o or -1/32?
-1/32
Let v = -4 - -4. Suppose 2*o + 4*d - 78 = v, d - 51 = -o - 15. Suppose 7*q - o = 72. Which is smaller: q or 14?
14
Let x(g) = g**2 + 4*g - 5. Let n be x(4). Suppose -6*s = n - 207. Are 30 and s unequal?
False
Let y = 0.0015 + 29.8985. Let z = y - 30. Let x = 15 + -35/3. Is x <= z?
False
Let a be (-6)/(-15)*1*(-15)/(-1). Is a not equal to 3?
True
Let r be ((-63)/12)/(3/(-12)). Suppose -3*m - d = -69, m + 2*d = 2*m - 16. Which is greater: m or r?
m
Let k be (-2 + 0)*1425/(-30). Is k greater than 96?
False
Suppose 2*s - 17 = 6*f - f, 2*s + 1 = -f. Let p = s - 3/2. Is -7 <= p?
True
Suppose o = -4*w + 3, o = 5*w + 1 + 2. Let n be -1*(384/(-1) - 2). Let a = -3478/9 + n. W