 - w = 5*j + 7*u. Let p be j - -1 - (-4431)/1092. Is 0 equal to p?
False
Let r be (-114)/(-20) + -3 + 3. Let p = -1468462 + 249637511/170. Let j = p + r. Is 1 greater than j?
True
Let h be 64660062/30120 + (-1)/2*-8. Let j = h - 8603/4. Are j and 0 non-equal?
True
Suppose 0 = -6*s - 0*s - 24. Let h be 8/(s/((-32)/20) - 2). Suppose -9*g = -h*g + 210. Does g = -2/7?
False
Let a = 183.29 - 332.29. Which is bigger: -2/7 or a?
-2/7
Suppose -10676 + 8471 - 63663 = -33*y. Which is smaller: 1989 or y?
1989
Let o(c) = -424*c + 2968. Let t be o(7). Is -2/4509 less than or equal to t?
True
Suppose 3*i - 6 = -3*c, 9 = 3*i - 5*c + 9*c. Let u(d) = 22*d**2 + 20*d - 1. Let b be u(i). Do -49 and b have the same value?
False
Let j be -2 + (-3 - -2) + (-142732 - 26)/22. Is j greater than -6494?
True
Let i(s) = 92*s + 6. Let l(v) = v. Let n(x) = -2*i(x) + 14*l(x). Let d be n(-15). Let o = 236036/93 - d. Which is bigger: 1 or o?
1
Let r(p) = 21*p - 37. Let m be r(6). Let h = m - 90. Which is greater: h or 3/16?
3/16
Suppose 10*c - 247 - 133 = 0. Let i be (6/(-14))/(c/266). Which is greater: i or -13?
i
Let u = -0.19 + 0.26. Let s be (-1081)/5 - (-3)/15. Let w be s/990 + 2/(-11). Is w less than u?
True
Let x = 116840/1183853 - -4/4213. Which is greater: x or 0?
x
Suppose -3*q + 49 - 7 = 0. Suppose -3077 + 655 = q*s. Are s and -173 non-equal?
False
Let c(d) = -2*d**2 + 5*d + 11. Let k(l) = l**2 - 3*l - 5. Let q = 79 + -81. Let r be k(q). Let i be c(r). Which is bigger: -27/2 or i?
-27/2
Let v(d) = d**3 - 19*d**2 + 8*d - 151. Let f be v(19). Suppose -3*b = -2*k - 283, 0*b = b - f. Are k and -139 equal?
False
Suppose -35289 = 26*k - 128811. Is k smaller than 3594?
False
Let b = -9741/52 - -562/3. Which is greater: 1 or b?
1
Let x be (-9)/(-1)*3*(-474)/(-27). Let b = -490 + x. Does b = 0.2?
False
Suppose 46*q + 164*q + 2940 = 0. Is q at least 2/205?
False
Let y be (20 - 18)*1/2. Let i = 57301/35 - 1637. Which is greater: y or i?
y
Let c = 416/1081 - 14/47. Let z = 0.3124 - 3.3124. Which is smaller: z or c?
z
Suppose -6*v = -4*v - 3592. Let p = 95/1272 - 52538329/29256. Let g = v + p. Does g = 0?
False
Let n(y) = -y**3 + 66*y**2 + 72*y - 334. Let f be n(67). Which is greater: -1/15514 or f?
f
Let n be 23/(-184) + 319/120. Is n smaller than -9?
False
Let v = 57 + -54. Suppose 4*s + 3*k - 24 = -0*k, 5*k - 29 = -v*s. Suppose 3*i = -3*l - i - 21, -4*i + s = -5*l. Which is smaller: l or -2?
l
Let p = 17364.79817 + -17365. Let m = -84.31183 - p. Let v = m - -84. Which is greater: -0.3 or v?
v
Let a = 786.155 - 786. Let s = 0.355 - a. Is s bigger than 3/38?
True
Let u(s) = 2980*s + 580. Let f be u(-1). Which is smaller: -2402 or f?
-2402
Let y(s) = s**2 + 4*s - 26. Let v be y(-16). Which is smaller: v or 167?
v
Let s(c) = c**2 + 22*c - 124. Let v be s(4). Is -33 less than or equal to v?
True
Suppose 48*w + 127 = -79*w. Which is smaller: 2/223 or w?
w
Let g = 5226 - 5225.9325. Is -0.1 >= g?
False
Let y = 30.592 - 31. Let l = -1.635 + y. Let r = l + 0.043. Is r smaller than 1/2?
True
Let s be (-4)/(-32) + (-2433)/8. Let n = 2124/7 + s. Let x be (-38)/14 + (-3)/(-1). Is x smaller than n?
False
Let f(b) = 4*b - 42. Let u be f(12). Let c = u - 3. Let k = c - 2. Are k and 0.5 equal?
False
Suppose 2*a = a. Let r be (8 - (8 + -4)) + (-130)/(-2). Let d be r/1196*(-2)/3. Is d bigger than a?
False
Let x = -462 + 499.2. Let y = x + -45.2. Do y and -4 have different values?
True
Let w = -80 - -32. Let g(x) = x**3 + 127*x**2 + 86*x + 10873. Let n be g(-127). Are w and n equal?
False
Suppose 3262 = -24*p + 790. Is p at least -122?
True
Let w be 6/33 - 84/(-22). Let t(v) = -17*v + 19. Let k be t(-9). Let b = k + -169. Is w bigger than b?
True
Suppose -6*z + 4*z + 16 = q, -2*z + 4*q = -6. Suppose 2*g = z*g - 60. Let s be 2/g - (5 + 90/(-12)). Which is smaller: s or 4?
s
Let q(o) be the third derivative of o**5/30 - 3*o**4/4 + 14*o**3/3 - 14*o**2 - 3. Let p be q(12). Are 99 and p unequal?
True
Suppose -4616 = 22*r + 3216. Is -356 at most r?
True
Let v(h) = 14*h + 10. Let z = -143 - -148. Let u be v(z). Which is smaller: 244/3 or u?
u
Suppose 88 = -8*g + 64. Which is smaller: -113/33 or g?
-113/33
Let m = -0.1 - 0. Let y = -231.4 - -229.46. Which is bigger: m or y?
m
Let g = -177.06 + 178. Let d = -0.892 + g. Is d greater than -1?
True
Let l = 294.0227 - 0.0227. Let b = -292.71 + l. Let a = b - 1.39. Which is smaller: a or -69?
-69
Let q be 16/(-76)*-1*27/12. Let v(n) = n**2 - 12*n + 31. Let l be v(8). Is q at most as big as l?
False
Let y be -1 - (1 - 0/2). Suppose -3*j = -2*o + 103 + 69, 4*j - 5*o + 234 = 0. Let p be j/(-36)*((-3)/4)/1. Which is greater: y or p?
p
Let f be 879/(-24939) + (-2)/34. Are 1 and f nonequal?
True
Let z = -57 - -70. Suppose z = -5*s - 7. Let b be s + 15/2 + 1 + 2. Which is bigger: b or 6?
b
Let p(t) = -4*t**3 + 22*t**2 + 44*t - 190. Let k be p(6). Let z = -40/13 + 239/65. Is z at most k?
True
Let n(a) = 7*a + 182. Let j be n(-26). Suppose -5*p + 126 - 131 = j. Is -14/29 at least p?
True
Let k = -11 + -165. Let h be 163/(-4) - 132/k. Which is bigger: h or 0.02?
0.02
Let n(j) = 2*j + 2 - 10*j + 10*j. Let h be n(2). Suppose -5*g - 22 = h*g. Is -1 less than g?
False
Let a = -4/22331 + 269066243/133986. Which is smaller: 2009 or a?
a
Let b = -4013 - -2189. Do b and -1824 have the same value?
True
Suppose 8*t = 39*t + 39*t. Which is greater: t or 19/191?
19/191
Suppose 111*a - 106*a = 20. Suppose 0 = a*k + 2*b - 2, -2*b + 1 = 3*k - 2. Let t = 244 - 12443/51. Is k less than t?
True
Let z = -223.89 + 225. Let f = -183 + 733/4. Is z bigger than f?
True
Let r = -5189/3 + 1760. Let s = -61 + 92. Let a = 62 - s. Which is smaller: r or a?
r
Let t(u) = -603*u**3 - 2*u**2 + 12*u - 10. Let g be t(1). Which is smaller: g or -606?
-606
Suppose 0 = -3*g - 3*u + 2748, 70*u - 74*u + 1834 = 2*g. Let s = g + -914. Which is smaller: s or 1/49?
1/49
Suppose 2*j + 2*y = 40, 5*j - 117 = 4*y - 62. Let a be -102 + j + -16 + (2 - -2). Which is smaller: a or 0.2?
a
Suppose 2*z = 5*w + 281, -z + 2*z - 142 = w. Let t be (-6)/33 - (-4)/z. Is 0.006 greater than t?
True
Let i = -573/5 + 115. Let h = -2.891 - 0.109. Let b = -0.6 - h. Is i less than or equal to b?
True
Let s be 11/(-484)*8*4/(-178). Is 0 > s?
False
Let q be -1*(10/25 - 3336/(-10)). Which is bigger: q or -336?
q
Let l be 12/54 - (-22015)/(-45). Let d = l - -178. Which is bigger: d or 0?
0
Let v = 46.2 + -46.28. Which is bigger: 14 or v?
14
Suppose 5*i - 8937 = -228*x + 232*x, 2*x + 5361 = 3*i. Which is bigger: 1788 or i?
1788
Let l = 56 - 56. Suppose -21 = -3*f + 3*o, 3*f = -f + 5*o + 33. Let h be (-105)/(-95) - (-1 + f). Which is smaller: l or h?
l
Let m = 114 - -117. Suppose -7*r + 105 = -m. Which is smaller: r or 49?
r
Let k = 15/1583 - 39551/498645. Is 1 > k?
True
Let m(z) = -z**2 + 20*z - 50. Let t be (0/3)/(-4 + 3). Suppose 2*w - 57 - 13 = -4*n, -n - w + 19 = t. Let c be m(n). Is 13 at most c?
True
Let o be ((-9)/(-1))/((-9)/(-192)). Let d be (o/(-8))/(-6) - 4. Is d at least as big as 2/199?
False
Let q = -1889/5 - -377. Let w = -68.3 - -69. Let b = 1.7 - w. Which is greater: b or q?
b
Let j be 3/(-15)*(5 + (-16 - 174)). Suppose 0 = -3*w + 3, -15 = -5*r + w + 159. Are r and j equal?
False
Let q = -4.03 + 4. Which is bigger: q or 0.07?
0.07
Suppose -4*w + 3*n - 2053 = 0, 509 + 514 = -2*w + 5*n. Let o = -516 - w. Let b = -3127/33 - -281/3. Are o and b nonequal?
True
Let g be (-7)/70*93735/(-12). Let t = -788 + g. Which is smaller: -6 or t?
t
Let s(n) = n**3 - 15*n**2 - 32*n - 39. Let p(r) = 1. Let z(q) = 4*p(q) + s(q). Let b be z(17). Which is smaller: -8/153 or b?
b
Suppose 1585 = 33*i + 21649. Which is smaller: 0.1 or i?
i
Suppose 11*x + 2331 = -34. Let a = -107 - x. Is a at least as big as 108?
True
Suppose 12*q = 17*q. Suppose 3*g - 4*v + 2*v + 130 = q, 2*v = 2*g + 84. Let i = -45 - g. Is i at least as big as 1/34?
True
Suppose 1196 = 2*p - 280*c + 276*c, 1824 = 3*p + 4*c. Which is greater: p or -0.1?
p
Let n be ((-18)/(-12))/((-2)/(-108)). Let j = n + -80. Let b be (j*-1)/(2/(-10)*-1). Are b and -5 equal?
True
Suppose 16*h + 4*h - 260 = 0. Suppose 0 = 5*u - c - 6, -4*c = -3*u + h - 6. Is 34/15 less than or equal to u?
False
Suppose 0*x + 3*x = i + 13, 3*x = -3*i + 9. Are 1/123 and i equal?
False
Let s(l) = -7*l**2 + 6*l - 9. 