 - 44. Let i be d(5). Suppose 5*h - r + 1 = 0, x*r - r = -3*h - i. Does 2/59 = h?
False
Let j be -6*(5 - 4683/938). Which is bigger: 1 or j?
1
Let v be 7/(-35) + (-22)/(-10). Suppose -v*j - 6 + 2 = 0. Let s be j/(4/17)*2. Which is smaller: -18 or s?
-18
Let a = 246.9 - 247. Let z = -0.3 + -0.7. Is a < z?
False
Let v be -1 + 3*7/21. Is 3/68 greater than or equal to v?
True
Suppose 0 = -k - 3 + 1. Let t be (k/3)/(1/3). Let u be (t/2 - 0) + 0. Which is greater: 3/14 or u?
3/14
Suppose -k - k = 3*h - 4, 2*h = 4*k - 8. Suppose 2*c - k*c - 3*c = 0. Let r = 10 - 30. Is r greater than c?
False
Let u(k) = -25*k + 264. Let i be u(8). Is -1 at most i?
True
Let f be (2/(-4))/(15/(-30)). Do -7/29 and f have the same value?
False
Let y = -4/21 + 83/105. Which is greater: 15 or y?
15
Let k = -925 + 925. Let h = 25.6 - 0.6. Let v = 13 - h. Are v and k unequal?
True
Let m(l) = 2*l - 6. Let w be m(25). Which is greater: w or -4?
w
Let s = -0.076 + 0.02. Let c = -6.056 - s. Let r(d) = -d + 3. Let j be r(5). Is c > j?
False
Let q(x) = 8*x - 1. Let y be q(1). Suppose 2*t - 7 = -d, -5*t + 8 = 2*d - 3*t. Is d not equal to y?
True
Let d = 65983/11 + -6015. Does -17 = d?
False
Let b = -8.7 - -0.7. Let a = -1.18 + -1.82. Let c = a - b. Is 1 >= c?
False
Suppose 4*g = 2*k - 34, 2*g = 3*k + 4 - 35. Suppose -k*r + 76 = -3*r. Suppose 0 = -a + 2*a - 19. Are r and a unequal?
False
Let u be (-8)/(-2) - 114/28. Let x be (-4 - -5) + -2 + 2. Which is greater: u or x?
x
Let b = 116/165 + -10/33. Let f(j) = 3*j - 1. Let y be f(-1). Let p = -3 - y. Which is smaller: b or p?
b
Let j be (-2)/7 - (-2)/7. Let z be 11457/(-11799) - 1*(0 - 1). Does z = j?
False
Let o be (-128)/(-17120)*(-15)/(-114). Is 0 less than o?
True
Let y(r) = 5*r - 34. Let b(q) = q**3 + 25*q**2 + 25*q + 31. Let n be b(-24). Let p be y(n). Is p less than or equal to 3?
True
Let c = -7 - -22. Let w be 3 + -1 + (-36)/c. Let g be (-57)/(-21) + 1/(1/(-3)). Which is smaller: w or g?
w
Suppose -3*r - 4*i + 67 = -0*r, -3*r + 4*i = -35. Suppose 4*u - s = -2*s + 7, 5*s - r = -2*u. Let k = 139 + -138. Is k at least as big as u?
True
Let z = 167 + -134.9. Let t = 32 - z. Which is smaller: t or -3.5?
-3.5
Let i = 726 - 729. Suppose -2*k = 3*n + n - 116, k = n + 46. Let q be i/(-1)*k/(-45). Is -3 <= q?
False
Let z be ((-1)/(-8))/((-39)/98982) + -3. Which is bigger: z or -319?
-319
Let s = 2.26 + -118.26. Which is bigger: -1/3 or s?
-1/3
Suppose -65 = -12*o - 437. Let g = -31 - o. Are g and 6/53 equal?
False
Let o = 194.8 + -125.7. Which is bigger: o or -1?
o
Let u = 4 - 9. Let z = -16 - -16. Suppose -2*q + 3 - 11 = z. Which is bigger: q or u?
q
Let i = 0.3 - 1.3. Let a = -135 - -87. Let g be (-1 + 0 + 0)*a/408. Which is smaller: g or i?
i
Let a be ((-1)/122)/((-6)/(-24)). Let m(b) = 5*b - 2*b + 7*b**2 + b**3 - 6 - 4*b. Let i be m(-7). Which is smaller: a or i?
a
Let j(a) = -2*a**2 - 1. Let z(w) = -5*w**2 - 3. Let q(p) = 8*j(p) - 3*z(p). Let l be q(-2). Is l at most as big as -5?
False
Suppose 3 = -3*c, 2*c + 3*c = -4*d + 123. Suppose 2*u = -3*g + d, 0*g + 5*u = -4*g + 52. Which is smaller: 5 or g?
5
Suppose 0 = -3*y - 3*v + 102, 3*y + v - 120 = 4*v. Is y at least as big as 36?
True
Let o = -11772/5 + 2364. Which is greater: 11 or o?
11
Let b be ((-3)/18 - 0) + 43/6. Let k(h) = -4*h + 27. Let z be k(b). Are z and 2/7 nonequal?
True
Let w(p) = p - 4. Let a be w(9). Let n(g) = -2*g**2 + 11*g - 1. Let k be n(a). Suppose -3*v - 13 = -k. Is -3 at least v?
True
Let h = 20 + -46. Let w = h + 27. Is 0.11 greater than w?
False
Let b = -39949193549/7250 + 11020467/2. Let s = 1079 + -134872/125. Let r = b + s. Which is bigger: 1 or r?
1
Let u = 122 - 84. Let t = u + -59. Which is greater: t or -3?
-3
Let s be (-4)/12 - (-21)/9. Let c(i) = 5*i**2 - 4 - 4*i**2 + 3*i - 5*i + s*i**2. Let p be c(-2). Which is smaller: 13 or p?
p
Suppose 4*z - 25 = -z. Let s(h) = -h**2 + 6*h - 6. Let d be s(z). Let v be ((-12)/20)/(13/(-5)). Which is smaller: d or v?
d
Let i = 337 + -388. Which is greater: i or -55?
i
Let q = -0.0044 + 0.0044. Is q less than 132?
True
Let c be (6 + 3)*(1 - (4 + -2)). Is -10 greater than or equal to c?
False
Let c be 3/((-1161)/(-6))*-3. Let q = 151 - 151. Is c not equal to q?
True
Suppose 3*i + 2*i + 670 = 0. Let m = i + 62. Let g be ((-4)/6)/((-128)/m). Which is greater: 0 or g?
0
Let o(m) = -3*m**2 + 20*m + 7. Let z be o(7). Let k be (z + -2)/(72/(-225)). Is k smaller than 6?
False
Let c be -1 + -182 - -2 - (-4 + 1). Let n = -91 - c. Is 86 < n?
True
Suppose 9 = -x + 171. Let z be -1 - x/98 - 0. Let t = z + 4/49. Which is smaller: t or -3?
-3
Let s = 135 - 156. Is s greater than -43/2?
True
Let j be ((-1)/(-2))/((-3)/(-62)). Suppose -17*g - 842 + 1029 = 0. Which is greater: g or j?
g
Let q(v) be the second derivative of v**3/6 - 7*v**2/2 - 9*v. Let s be q(-9). Is s bigger than -16?
False
Let q be (12/(-9))/(2/156). Which is greater: q or -524/5?
q
Let v(m) = 4*m - 13. Let i be v(8). Let z(q) = q**2 - q - 1. Let k be z(-4). Is i <= k?
True
Let a = 2219/6 - 369. Suppose -66*x = -58*x - 8. Is x greater than a?
True
Let q(c) = c - 12 - 2 - 43. Let h be q(12). Which is bigger: h or -46?
h
Let x(o) = -o**3 - 4*o**2 + 2*o - 10. Let l be x(-5). Suppose 38 = -l*f + 8. Let q be 52/(-10) - (-2)/10. Which is greater: q or f?
q
Let t = -123 + 128. Suppose -4*r - 19 + 101 = -3*l, -t*l - 146 = -2*r. Which is smaller: -32 or l?
-32
Suppose a - 4 = 3*a. Let f = 43787 + -82450923/1883. Let s = f - 1612/1883. Which is greater: s or a?
s
Suppose -4*s + 4*x + 20 = 0, 3*s - 59*x = -63*x + 50. Which is bigger: 9 or s?
s
Let i be (1/(-5))/(12/(-75070)) - 1. Let w = -1246 + i. Which is smaller: 4 or w?
4
Suppose 0*n = -2*b + 4*n - 2, 2*n = -2*b + 10. Let d be 3*-4*4/b. Is d != -16?
False
Let z(o) = o**3 + 12*o**2 + 2*o + 12. Let f be z(-12). Suppose -p = -c - c + 6, -4*c = -5*p - 6. Suppose -2*u + 5*u = p*n - 45, -n = 2*u + 23. Is f < u?
False
Let z be -3 - (1 + (-66)/21). Let t(k) = 4*k + 12. Let v be t(-3). Which is smaller: v or z?
z
Let x be 23650/(-88) - ((-9)/12 - -1). Which is smaller: -268 or x?
x
Let j(l) = l**3 + 8*l**2 + 7*l - 9. Let p be j(5). Let s = -10180/29 + p. Which is bigger: 0 or s?
0
Suppose 12*i + 443 = -3685. Which is smaller: -343 or i?
i
Let d be 16/(-125) - (-350)/2625. Which is greater: 0 or d?
d
Suppose -w = 0, 6*w - 7*w - 284 = -f. Is f at most 565/2?
False
Suppose -q - 3*u - 17 = 0, 2*q = 4*q - u - 1. Let v be q*-31*(-1)/(-2). Is 30 bigger than v?
False
Let f(r) = 3*r**2 - 59*r + 37. Let m be f(19). Which is smaller: m or -2/19?
m
Let i = 77 - 68. Let n = -58 + i. Is n greater than -48?
False
Let i = 4829/14 - 345. Suppose -4*f - 1 - 3 = 0. Is i != f?
True
Let b(q) = -4*q**3 - 2*q**2 + 2*q - 1. Let x be b(1). Suppose 2*n = -4*g + 38, -3*g + 4*n + 15 = 2*g. Suppose 2*d = -21 + g. Which is smaller: d or x?
d
Let m be (-4 - -3)/((-3)/(96/262)). Let l = -3141/1048 + m. Is -4 equal to l?
False
Suppose 3*b = 3*m - 6 + 3, 0 = -4*m + 2*b + 2. Is -1/16 at least m?
False
Let w(f) = 2*f**3 - 4*f**2 - f + 6. Let c be w(3). Let p = c - 21. Which is smaller: p or -2/121?
-2/121
Suppose -316 = -14*q - 862. Is q <= -34?
True
Let m = 1477 - 1307. Are m and 169 non-equal?
True
Let d = -0.21 + 0.2. Let q be ((-26)/(-228))/(-13) + (2 - 2). Let u = -86/57 - q. Is u < d?
True
Let i = 918 + -2693/2. Does -429 = i?
False
Let s be (3/(-90))/(30/(-592212)). Let r = s + -658. Which is smaller: r or 0?
0
Let v = -71.89 + 72.3. Which is bigger: 3 or v?
3
Let k = 126.21 - 127. Let o = k - 17.31. Let c = o + 18. Which is smaller: c or -14?
-14
Let o = -124 + 121.4. Which is smaller: -2 or o?
o
Let z = 1.35 - 0.2. Let v = 0.05 + z. Let m = v + -1.1. Which is bigger: 2 or m?
2
Suppose -5*x = -2*x + 2*z - 283, z - 188 = -2*x. Is 93 <= x?
True
Let m be 7 - 4/1 - -63. Let d = -51 + m. Which is smaller: d or 14?
14
Let r = -327 - -272. Which is bigger: -0.1 or r?
-0.1
Let p = -76 + 51. Let g = p - -26. Is 0.4 at least as big as g?
False
Let d = -0.13 - -0.3. Let s = 0.74 - 0.85. Let z = d + s. Is z less than or equal to -2/7?
False
Let x = 0.2 - 0.4. Let y = x + 0.2. Suppose 2*f - 20 = -3*f. Is f greater than y?
True
Let y be 2 + (-545)/100 + 1/5. Is y at most as big as -2?
True
Let q = -77.13 + 80. Let b = q - 2.8. Which is bigger: b or -0.1?
b
Suppose 3