p. Is a not equal to 4/9?
True
Suppose 8 = 3*y - 43. Let v = y - 17. Which is smaller: v or 11/18?
v
Let t(j) = j**3 + 4*j**2 + 4*j + 4. Let u = 0 + -3. Let f be t(u). Let n be (-8)/18*1/4. Is n greater than f?
False
Suppose -f + 26 = f + 4*l, -5*f = 4*l - 41. Suppose 3*m + w = -2, -m - 11 = f*w + 13. Let y be 1 + ((-5)/(-9) - 1). Which is smaller: m or y?
y
Suppose -5 = 2*x - 5*s, -6*x + x = -2*s + 2. Let c = 45/58 - 4069/5394. Which is smaller: c or x?
x
Let y be (4/(-12))/(3*3/2889). Is y bigger than -108?
True
Suppose 5*y - 4*x - 21 = -7, 2*y = -3*x + 1. Let c be ((-8)/8)/(y/((-8)/(-2))). Which is smaller: -5 or c?
-5
Suppose 15*y - 5*y = 40 - 0. Let q be 0 - -1 - (0 - 34). Let o = q + -104/3. Is y < o?
False
Let l = 0.921 + 69.079. Is 4 <= l?
True
Let f = -126/143 - 30/143. Suppose -1 = 35*y - 34*y. Which is smaller: f or y?
f
Let m(d) = -d**3 - d - 3. Let n be m(-2). Let h(c) = c + 6 - 6 - n. Let o be h(6). Which is smaller: o or 2/7?
o
Let t = 0.38 - -1.22. Let x = -1.7 + t. Let u = -9.1 - x. Which is smaller: u or -1?
u
Suppose -3*v = 3, 5*b - 600 = -4*v + 161. Do 151 and b have different values?
True
Let w(o) = o**3 + 10*o**2 - 22*o + 24. Let c be w(-12). Let l be 0 - 2 - (c + 25). Which is smaller: -25 or l?
l
Let t(g) = g**2 - 7*g + 12. Let c be t(5). Let b(r) = 2*r**2 - 9 + 2*r**2 - 10*r - 5*r**2 + c. Let a be b(-10). Is -8 less than a?
True
Let h = -328 + 134. Which is smaller: h or -195?
-195
Let k = -3469/165 - -524/15. Which is bigger: 13 or k?
k
Suppose -4 = 3*m + m. Let t be (-15)/(-40)*(-1880)/(-18). Let g = t - 39. Which is smaller: m or g?
m
Suppose -2*f + v = -3*f - 17, 28 = -2*f + 4*v. Which is greater: f or -2?
-2
Let h = 1000/7 - 103042/721. Are h and -1 non-equal?
True
Let j = 2175/8 + -891/8. Which is smaller: j or 1/6?
1/6
Let p = -30.6 + 30. Are -11 and p equal?
False
Let r = -363 + 145. Let u = -6760/31 - r. Is 1 equal to u?
False
Suppose -5 = 5*g - 50. Let a = g - 16. Let t(i) = i**3 + 7*i**2 - 4. Let f be t(a). Which is bigger: f or 2?
2
Let a = -19 + 23. Suppose -2*b + 22 = -9*u + a*u, 5*u + 2*b + 18 = 0. Let r = 3 + -8. Are u and r equal?
False
Let t be -1*((-1395)/549 + 2). Is t less than 2?
True
Let i be 1/(-79 + -1 + 0). Suppose -9 = 206*f - 197*f. Is i at least as big as f?
True
Let z be (-2)/(-2) + 2/4. Suppose -17 = 5*f + 3. Let m be 0 + 3*(f + 5). Which is smaller: z or m?
z
Suppose -227 - 232 = -27*w. Which is smaller: 148/9 or w?
148/9
Let x = -3 - 6. Let c = 5 - x. Let h = 43 - 30. Which is greater: c or h?
c
Let s be 2 + 49 + 30/(-5). Do -1 and s have the same value?
False
Suppose 36 = -9*f - 0. Which is bigger: -37/10 or f?
-37/10
Let i(f) = -2*f - 58*f**2 + 90*f**2 + 3*f. Let m be i(1). Is m greater than 32?
True
Let z = 3.6 - 3.5. Which is bigger: z or 24?
24
Let d be 0*((-4)/4)/2. Let k(j) = -j**3 - 2. Let x be k(d). Let c(l) = l**3 - 3*l**2 - l + 2. Let m be c(3). Are x and m equal?
False
Let g be 4*((-569)/95 + 6). Which is greater: 0 or g?
g
Suppose 4*w - 11 = 4*l - 51, 3*l + 26 = -4*w. Let d = -7 - w. Which is bigger: d or 9/7?
9/7
Let b = -0.0609 + 0.0609. Which is smaller: -2.02 or b?
-2.02
Let s(r) = -7*r + 4. Let u(k) = -15*k + 8. Let z(b) = 13*s(b) - 6*u(b). Let d be z(-6). Is d at least as big as 12?
False
Suppose 4*d = 3*a + 8, -13 + 5 = -4*d - 2*a. Let p(t) = 4*t**2 + 2*t - 3*t**d + t**3 + 13 - 12. Let r be p(-1). Which is smaller: r or 1/8?
r
Let i = -13 + 15. Suppose -4*r - i*p - 3 = 83, -4*r = 4*p + 92. Suppose -42*y + 45*y = -63. Do y and r have different values?
True
Let n be ((-16)/(-24))/((-4)/6). Is n smaller than -2/521?
True
Let p(x) = 86*x**2 - 19*x - 18. Let u be p(-1). Are 87 and u nonequal?
False
Suppose 0 = 4*z - 2*s + 2 - 0, 5*z - 4 = -4*s. Suppose 4*j = x + 12, z*x = 5*x - j + 3. Let y = 1 - 2. Which is smaller: y or x?
y
Let c be -2*((-1309)/(-306) - (-2)/9). Is c <= -9?
True
Let a = -65.1 - -65. Which is smaller: a or -3.4?
-3.4
Let f be (-2)/6 + (-22)/6. Let h be ((-6)/2)/(1 + f). Suppose 4*l - 5*g - 21 = 0, -2*l + 14 = -5*g + h. Is l at least 6?
False
Suppose -w + 821 = -3*r + 256, 0 = -5*w + 3*r + 2789. Which is bigger: w or 555?
w
Let d = -1189 - -745. Are d and -443 nonequal?
True
Let m be 58/8 + -1 + (-3)/(-4). Suppose o - 3*a = 33, o - 20 - m = a. Is o less than 24?
False
Suppose 0 = 10*b - 13*b - 3. Which is bigger: b or -7/24?
-7/24
Let d(f) = -f**2 - f - 1. Let v be d(1). Let m be 2/(-15) - (v - -3). Is 0 <= m?
False
Suppose 456 = 2*u - h + 78, u + 2*h = 179. Is 187 at least as big as u?
True
Let n = -7 - -9. Suppose n = 4*t - 6. Which is bigger: 1/2 or t?
t
Let j be (-17 - -14) + 0 + (-98)/(-34). Which is bigger: -1 or j?
j
Let m be 6/36*0 + 2. Suppose 3*u = m*t - 35, t = -u - 0 - 10. Do u and -2 have the same value?
False
Suppose -2*m - 50 = -2*q, 0 = -q + 2*q + 5*m - 37. Suppose -4*n - q = -n. Is n not equal to -11?
True
Suppose 3*u - 14 = -4*l, -4*u - 5 + 3 = -5*l. Let j be -3 - 0*1/l. Suppose -2*k = 14 - 4. Which is smaller: k or j?
k
Let p(i) = i**2 + 5*i + 4. Let t be p(-5). Let j(a) = -141*a**2 - 5 + 145*a**2 + 2 + 2 - a**3. Let q be j(t). Which is bigger: -1/15 or q?
-1/15
Suppose -16*q = -13*q - 12. Let n = q - 3. Which is smaller: -7 or n?
-7
Let o be (-1 - 1) + (-337 - 15/5). Do o and -343 have different values?
True
Let o = -14 - -16. Suppose 4*b + 45 = -l + 6*l, l + 5 = -o*b. Which is bigger: 26/5 or l?
26/5
Let a be (-524)/(-16) - 4/(-16). Suppose -53 = 4*m + 5*n, 4*m - 3*n = m - a. Let y be 1/((m/3)/4). Is -2/31 != y?
True
Let i = -43 + 98. Let y = i + -107/2. Suppose -44*o + 45*o - 3 = 0. Is y smaller than o?
True
Let c(s) = s**2 - 24*s - 17. Let n be c(25). Do 6 and n have the same value?
False
Let n = 6 - 9. Let j(d) = -d**3 - 2*d**2 + d - 1. Let a be j(n). Let q = -49 + 54. Are q and a equal?
True
Let f = -1.557 - -1.457. Is -1783 greater than or equal to f?
False
Let t(v) = -49*v + 2. Let w be t(2). Let i be w/(-117) + (-4)/6. Suppose 3*q + 4 = -4*h, 3*h + 4*q - 8*q + 3 = 0. Is h less than i?
True
Suppose 4*m - h - 37 = 6*m, 0 = m + 2*h + 17. Let x = 6241/3 + -2100. Which is bigger: m or x?
m
Suppose -8*p - 39 = 9. Let b = -11 - -6. Is b at most as big as p?
False
Let f = -185 - -156. Which is smaller: f or -32?
-32
Let h be (-2)/(-7) + (-5774)/3990. Let b be (-6453)/4455 + 2/11. Let q = b - h. Which is smaller: 0 or q?
q
Let i(m) = -3*m**2 + 79*m - 235. Let s be i(23). Suppose 0*f - 8 = 2*f. Is f smaller than s?
False
Let p be (3/(-2))/((-6)/8). Suppose 2*k - p*h = 8, -4*k - h - 2 = h. Suppose -6*z + 1 = 2*z - 23. Which is smaller: k or z?
k
Let v = 320 + -300. Which is smaller: v or 13?
13
Let x = 65 + -61. Suppose 0 = -3*t - 5*c - 20, 8 - 28 = -x*t + 5*c. Which is smaller: t or -8?
-8
Let b = -4 - -2. Let s be b/(-3)*63/6. Let g be 1*7*s/(-21). Which is bigger: g or -2?
-2
Let z be (-5)/((630/(-48))/21). Is z at least -1/9?
True
Let q = -4 + 5. Let h be 2 - q - (-6)/(-9). Let g(r) = r**3 + 9*r**2 - r - 11. Let l be g(-9). Is l >= h?
False
Let f = 2883 + -20247/7. Which is smaller: 2/5 or f?
f
Suppose 0 = -5*j + 2*h + 12, 5*j + 6*h = h + 40. Let g be -2*(83/(-21) + j). Is 1 not equal to g?
True
Suppose -3*c - 2*c = -3*f + 4, -10 = 5*f. Let i be 305/(-75) - c/(-6). Is i less than or equal to -5?
False
Let b = 6.74 - 0.24. Is b > -4?
True
Let a = 486 - 539. Is -56 at most a?
True
Let r(l) = 3*l - 67. Let o be r(22). Let g(a) = -a + 6. Let h be g(3). Let m be -2*(0 + h/2). Are m and o unequal?
True
Let a = 150 - 161. Is -14 greater than or equal to a?
False
Let k = 106/195 - 42/65. Which is smaller: 0.2 or k?
k
Let r be 1 + (-36)/28 - (-14040)/189. Which is smaller: 81 or r?
r
Let z = -20 + 20. Let w(r) = -2*r**3 + r**2 + r + 60. Let m be w(z). Let i be 3 - (-4)/m*-43. Is 0 > i?
False
Suppose 40*w - 95 = 25. Are -5/22 and w nonequal?
True
Suppose 20 = -10*y - 10. Which is greater: y or -27/13?
-27/13
Let p = 19869/34 - 1188/17. Do 516 and p have the same value?
False
Let j be 1/(-1) - 2 - (-96)/16. Suppose 4*u - 5*g = -7 + 3, -4*u - j*g = -28. Is -6 at least u?
False
Let j be -1 - 0 - ((-290)/4)/5. Are j and 15 nonequal?
True
Let j = -109 + 111. Is j not equal to -2/25?
True
Let h = 20 - -16. Is h bigger than 181/5?
False
Let y = -64 - -61. Let b be 64/(-6) - y - 6/(-9). Let q be -3*1*5/3. Is b at least q?
False
Let u be (-17 + 11