ich is bigger: y or x?
y
Let k(p) = -p + 6. Let c be k(3). Suppose 130 = -c*v - 167. Let f be (-3)/(-27) + 20/v. Is f >= 0?
False
Suppose -10*d - 630 = -d. Let y = d + 78. Does -1 = y?
False
Let x(y) = y**3 - 14*y**2 + 13*y + 12. Let m be x(13). Suppose 13*r - 17*r = -m. Let p = 4 + -2. Is p <= r?
True
Suppose -3*h = -4*h + 4. Suppose h*r = 2*c + 10, c - 11 = 4*c - 4*r. Let i = 604 - 3032/5. Which is greater: c or i?
c
Let d be 3/(-5) + (-5)/75. Let n = 44 - 41. Which is bigger: n or d?
n
Let o be ((-2)/5)/(2/10). Let m = -236/357 - 10/51. Which is bigger: m or o?
m
Let w = -1412 + 1412. Which is smaller: -66 or w?
-66
Let c(q) = q**3 - 6*q**2 + q + 3. Let k(h) = -h**3 + 5*h**2 - h - 2. Let b(n) = -3*c(n) - 4*k(n). Let p be b(0). Which is greater: 3/19 or p?
3/19
Let c be ((-1295)/(-3))/(98/(-147)). Is -647 equal to c?
False
Let d = 20 - 20. Suppose 0 = -3*g + 5*v + 19, d*g + 2*v = 5*g - 38. Is g <= 10?
True
Let m = 194 - 200. Which is smaller: -10 or m?
-10
Let h = -4.9 - -1.05. Let k = h - -4. Suppose g - 231 = -233. Is g < k?
True
Let c = 2.72 + -2.6. Let y = c + -0.13. Are -0.1 and y non-equal?
True
Suppose -16 = 3*d + 4*p, 5*d + 4*p - 4 = -20. Is 3/106 greater than d?
True
Let i = 1121.2 - 1121. Which is greater: -3/8 or i?
i
Let q = 34 - 20. Let b be ((-30)/(-75))/(1/(-40)). Let v = b + q. Is v less than or equal to -3?
False
Let o be (6 + -9)/6*-2. Which is bigger: 5/3 or o?
5/3
Let u(x) = 6*x - 4. Let n be u(7). Let t = n - 19. Let b be 0 - (3 + t/(-7)). Are b and 1 non-equal?
True
Suppose -15*q + 5232 = -27*q. Which is greater: -437 or q?
q
Let i be (-41)/(-7) + (-1 - (2 + 3)). Is i smaller than 8?
True
Let t = 33 + -10. Let q(r) = 2*r**2 + 113*r + 1552. Let k be q(-34). Is t >= k?
True
Let t be 4/(-8)*(2 + 8)*2. Is -51/5 at most as big as t?
True
Let y = -1.5 - -2.1. Let b = y + 2.4. Which is smaller: b or -0.2?
-0.2
Let h = -550 + 1028. Which is smaller: h or 479?
h
Let d = 2.07 + -0.17. Let p = d - 1.76. Let z = -0.19 + p. Which is smaller: z or -2/3?
-2/3
Let w = 427 + -1697/4. Is -0.6 less than or equal to w?
True
Let t = 2.8 + -3. Suppose w - 48 = -2*u, 0 = -2*w - 23*u + 27*u + 128. Suppose w = 60*n - 67*n. Are n and t unequal?
True
Suppose -4*j - 5*a = -125, j + j - 65 = -3*a. Suppose -4*h + 3*k + j = 0, -4*k - 35 = -5*h + k. Suppose -25 = -5*m, -c + 5*m = 21 + 2. Are c and h equal?
False
Let l = -43 + 22. Suppose -36*v + 31*v + 180 = 0. Let p = v + l. Is p smaller than 16?
True
Suppose -7 + 27 = 5*v. Let i be v + -42 + 4 + 1. Which is bigger: i or -35?
i
Let o = -59 - -59.048. Let f = o + -2.048. Which is greater: f or 1?
1
Suppose 2 = s - 0. Suppose -s*f + 3*f + 17 = 0. Is -1/3 < f?
False
Let w be 1/((-55)/1295) - 114/(-209). Is w at most as big as -2/9?
True
Let w be (-4)/(-14) - 2520/3675. Is -1.72 greater than w?
False
Suppose 0 = -21*n + 9 + 54. Is 3 != n?
False
Let j = -0.056 + 0.042. Let i = 0.086 - j. Which is bigger: -78 or i?
i
Suppose -2 = -4*s - 2*d, s = 3*s + 5*d - 13. Let v = 981/55 + -6229/22. Let p = 265 + v. Are s and p unequal?
True
Suppose -4*d + 5*h = 3, 2*d + 0*h - 9 = -h. Let v(y) = 8*y - 6. Let s be v(d). Suppose 2*a - 3*f = -s, 4*a - 2*f - f = -30. Is a at least as big as -5?
False
Let o be 1/(-2) - (-1701)/(-18). Let u = -94 - o. Which is greater: u or -2/25?
u
Let s(h) = h**3 - h**2 + h. Let v(w) = -4*w**3 + 6*w**2 - 4*w + 2. Let d(g) = -3*s(g) - v(g). Let i be d(3). Is i != 8/47?
True
Suppose -3*m = -5*m + 4. Suppose 2*o - m = -0*o. Is o smaller than 5/12?
False
Suppose -2*v + 30 = 3*b - 4*v, 3*v - 23 = -4*b. Let o(p) = p + 2. Let g be o(b). Let m be ((-4 - -2)*-1)/(28/154). Which is smaller: g or m?
g
Let b = 1986 - 1986. Are b and -1/353 unequal?
True
Let a = -7 + 8.5. Let y = a - 1.3. Which is smaller: 1/4 or y?
y
Let a = 0.118 - -9.182. Let h = 9.3 - a. Are h and 32 equal?
False
Let u = 252 - 148. Let t = 161 - u. Let o = -567/10 + t. Is o greater than -0.2?
True
Suppose 37*u - 173 = -62. Are 8/3 and u unequal?
True
Suppose 4*k - 3 = 5*k, 0 = 2*b - k - 281. Which is smaller: b or 138?
138
Let h be (-5)/4*(-80)/65. Let a = -119/52 + h. Let m(o) = o**3 - o**2 - 2*o - 1. Let i be m(-1). Is i > a?
False
Let x = 183753 + -1465113/8. Let s = -613 + x. Which is smaller: s or 1?
s
Let l = 14 + -8. Suppose 0 = -3*x + 7 + 2. Suppose l = x*j - 0*j. Is j less than 10/9?
False
Let s(l) = l**2 + 6*l - 106. Let a be s(-12). Let k = 12 - 14. Which is greater: k or a?
k
Let l = -229481/971 + 4/2913. Which is smaller: l or -237?
-237
Suppose -3*f = -9, 0 = -h - 4*f - 388 + 990. Which is bigger: h or 589?
h
Suppose 5*k - 4*f + 30 = 0, 4*f - 16 = -k + 2. Let l = -2486371/85 + 29251. Let q = l + -3/17. Is k less than q?
True
Suppose -5*r - 8 = -23, -2*b - 2*r + 6 = 0. Which is bigger: 2/99 or b?
2/99
Let j(l) = l**2 - 4. Let u be j(-3). Let w be -1 + 2 + (-78)/2. Let y = w + 39. Is u greater than y?
True
Let s = -779123/210 - -3710. Let l = s - 4/21. Which is smaller: 4 or l?
l
Let k = 58 + -23. Let m be 15/(k/(-10) - -5). Let v = -0.8 + -0.2. Which is smaller: v or m?
v
Let r = 26 + -21. Suppose 0 = -5*o + s - 0*s - 7, -4*o - 14 = -r*s. Does o = -6/13?
False
Let r = 803 + -534. Which is smaller: r or 535/2?
535/2
Let z = 117/4 - 29. Suppose 1 + 23 = -2*v. Let w = 12 + v. Is z less than w?
False
Suppose -5*k + 2*k - p - 13 = 0, -13 = -k + 4*p. Suppose 0 = 5*x + n - 1, -4*n = -5*x + 25 - 4. Let o(i) = -i - 3. Let b be o(x). Is b smaller than k?
True
Suppose 0 = -2*h - 1 + 5. Let t(i) = -i - 2*i**2 - h*i**2 - 2*i**3 - 2*i**2 + 8*i**2. Let x be t(1). Which is greater: x or 1/8?
1/8
Suppose 8 = -4*v + 36. Suppose -453 = 26*d - 557. Which is smaller: d or v?
d
Let y = -0.1029 + 0.0029. Is y != 174?
True
Let g = 0.5 + 1.3. Let j = -48 + 46.2. Let w = j + g. Which is greater: w or -8?
w
Let g = 2503 - 167681/67. Which is bigger: g or 1?
1
Let d(p) = 3*p + 13. Let b(i) = i**2 - 4*i + 3. Let m be b(3). Let z be d(m). Is 15 <= z?
False
Suppose 2 = k - 2. Suppose 0 = -k*l + 20, -5*l = -v - 13 - 11. Let y = -141/28 + 30/7. Does y = v?
False
Let y = 18 + -22. Let p = -1 + y. Let l be 2 + p + (-305)/(-100). Is l greater than or equal to -1?
True
Let p be (-30)/8 - (-1 - 3). Let m = 11/32 - p. Is m at least -1?
True
Suppose -6*v - 5*v = -3*v. Is v smaller than 6?
True
Let x = 0 + -2. Let t be 6/14 - x/(-4). Which is smaller: t or 0?
t
Suppose 873 = -40*a + 43*a. Which is smaller: 292 or a?
a
Let b = 60 - 103. Let s = 88 - 130. Which is bigger: s or b?
s
Let f = 2.6 - 3.2. Let d = 0.7 + f. Let k = 0.06 - 0.06. Which is smaller: d or k?
k
Suppose -a - m - 41 = 2*m, 5*a = -3*m - 205. Let z be a/9 + 4 - -1. Which is greater: -1 or z?
z
Suppose -11 = 10*l + 9. Let p be 4/344*-2*l. Is 1 less than p?
False
Let d(z) = z**2 - 19*z - 91. Let v be d(23). Is v bigger than 1/66?
True
Suppose 11 = -9*c + 6*c + 2*f, -2*f = -c - 9. Which is greater: 2/439 or c?
2/439
Let h = 2973600 - 130851217/44. Let k = h - -1179/4. Which is smaller: k or 2?
2
Let p = 115 - 149. Let y = 28 + -29. Does p = y?
False
Let w(f) = f**2 + 5*f. Let g be w(-6). Let j = 7 - -62. Let r = j - 67. Is g bigger than r?
True
Let k be 3/(10/45 - (-43)/(-72)). Let d be -2*k/(-48)*(0 + -333). Which is smaller: d or 110?
110
Suppose -2*v + 1344 = -5*v. Let p = v - -13887/31. Is p smaller than 1?
True
Suppose 3*x - 44 = -v, -4*x + v + 0*v = -47. Let r(f) = -f + 20. Let i be r(x). Is i at least as big as 6?
True
Suppose 5*a - 4 = j - 2*j, -a + 16 = 4*j. Let i be 34/(-10) - j/(-10). Let q(b) = -b**2 - b + 4. Let t be q(i). Do -2/3 and t have different values?
True
Let r = 73/70 - 17/70. Let w be 9/24*6/(-9). Is w >= r?
False
Suppose 5*q - 74 = -s, 2*s = 3*s - q - 80. Let j = s - 75. Let f be 1/(-4) + (-51)/(-12). Is f at least as big as j?
True
Let s = 2683 - 8132/3. Which is bigger: s or -27?
-27
Let a = -9.51 - -8.51. Which is bigger: 34 or a?
34
Let j be 2 - (232/220 - -1). Let v = 229/165 + j. Are v and 0 equal?
False
Suppose 6 + 2 = -4*w. Let k be 8/12*(-9)/w. Let x be (-76)/12 + 1/k. Which is smaller: x or -4?
x
Let m be (-1)/(7*2/(-1568)). Which is smaller: m or 111?
111
Let f = -1948 - -329218/169. Which is bigger: f or -1?
f
Let o = 126 + -89. Is 0 at least o?
False
Suppose -4*r = 20, 7*r - 6*r = 2*c - 21. Is c not equal to 6?
True
Suppose 9*t - 108 = -18*t. Let s be ((