Let o be r(4). Suppose 3*p - 1 = o*p. Which is greater: p or -1/9?
-1/9
Suppose -13*j - 16 = -9*j, g = -4*j - 17. Is g at most -48/41?
False
Let c = -6423159/13196 - -3/6598. Let m = c + 483. Do m and -1 have different values?
True
Suppose 260 = 22*t - 1060. Let b(s) = s**3 + s**2 + 60. Let v be b(0). Is v greater than t?
False
Suppose 64*b - 39*b = -1025. Do -27 and b have the same value?
False
Let r be (1 - -2)*(14/(-21))/2. Do r and 1/45 have the same value?
False
Let y(l) = l + 21. Let j be y(-16). Let w = 0.4 + -0.4. Let k = w + 0. Which is greater: k or j?
j
Let x = -5.6 - -15. Let t = x - 7.4. Which is smaller: t or -2/27?
-2/27
Suppose -45 = -2*z - 45. Let q = -39/5 - -37/5. Are z and q nonequal?
True
Let t be -2 + (-9)/(-3) + 5 - -3. Let c(v) = v**2 - 10*v - 20. Let n be c(t). Does n = -29?
True
Let m = -285 - -285. Which is bigger: -25 or m?
m
Let o = 0.8 - -0.2. Let i = 3 - o. Is 2 at most i?
True
Let c = -4/81 + 146/1863. Which is bigger: c or 5?
5
Let s = 41.45 - 41. Which is greater: s or 2/7?
s
Suppose 27*s + 4196 = 10460. Is s < 235?
True
Let g = 0.1 - -8.9. Let u = 16 - g. Is u smaller than -1?
False
Suppose 5709 = 15*q - 1386. Which is greater: q or 474?
474
Let g(p) = 9*p. Suppose 0 = -6*v + 2*v + 20. Let r be g(v). Let z be 4/10 + 32/r. Is z != 0?
True
Suppose 0*n = -3*n + 495. Let s = -97 + n. Let y = -342/5 + s. Is 1 < y?
False
Suppose -10 - 44 = -3*b. Suppose i + b = j, -2*j = 3*i + 36 + 18. Let d = 0.8 - 0.9. Which is greater: d or i?
d
Let v be 1 + 1 - (-10)/2. Let h(r) = 3*r - 5. Let j(l) = -l - 1. Let y(g) = h(g) + 2*j(g). Let n be y(v). Which is greater: -0.1 or n?
n
Let g = 0.7 + 0.3. Suppose -85*o + 82*o = -15, 5*o = 2*y + 19. Is y at least g?
True
Let y = 5668/9 + -20953/36. Let f = -48 + y. Let z = 3.54 - -0.46. Which is smaller: z or f?
f
Suppose -6*c + 2*c - 5*x = 56, 5*c + x + 49 = 0. Let f be 5 + 3/c*-6. Are f and 7 equal?
True
Let s = -1149 - -1148. Let g = -9 + 16. Suppose -4*t - 3 = -g*t. Is s at least as big as t?
False
Suppose -5*p + 2 = -3. Let n(k) = -4*k - 21. Let d be n(4). Let h be -2 + d/(-5) - 5. Which is smaller: p or h?
h
Let w = 362 + -620. Let c be (2/6 - w/90) + -3. Which is bigger: c or -4?
c
Suppose -3*c + 0*c + 186 = 2*r, 196 = 2*r - 2*c. Let q be (-4)/(r/28) + 2. Which is bigger: q or 0?
q
Let v = 252 + -155. Which is bigger: 98 or v?
98
Let z be 1*(1 + -3)*-1. Suppose -5*i + 4*v = v - 52, z*i + v - 23 = 0. Suppose 0 = 3*n + 1 + i. Do -4 and n have the same value?
True
Let s(g) = 3*g**3 - 9*g**2 + 3. Let c(p) = 2*p**3 - 5 + 0 - 8*p**2 + 13 - 6 - p. Let b(v) = 4*c(v) - 3*s(v). Let q be b(-4). Is q >= -2/5?
False
Let o = 15 - 5. Suppose -5*y - 13*n + 10*n = -52, -4*n = -5*y + 59. Which is smaller: y or o?
o
Suppose 0*a = -3*a - 4*w - 8, 2*w = -4*a + 6. Suppose j + 15 = -3*p - 2, 0 = -p + a*j + 16. Let d be 8/((-4)/((-16)/p)). Is -8 > d?
False
Let c = -0.11 - -0.14. Let t = c + -17.03. Let j = t - -19. Which is greater: 0 or j?
j
Let b = -3.16 + -0.84. Which is bigger: -5 or b?
b
Let h(g) = -g**2 + 3*g - 4. Let r be h(-5). Let l be (-3)/(-8) + r/32. Let t = 562 + -7300/13. Which is smaller: l or t?
l
Let g be (-1)/((-6)/(-8) - 1). Suppose g*s - 7 + 3 = 0. Which is smaller: s or -1/7?
-1/7
Let f be 1 + 0 + (0 - 3). Let m be (f/2)/(2/(-14)). Let i be m/(-9) + (-4)/18. Is i != 2?
True
Let l be 9/72 - 328/576. Is l != -1?
True
Let i = -6 - -22. Suppose i*w + 8 = 12*w. Does 0.3 = w?
False
Let a be (184/36 + -5)*5. Which is smaller: a or -0.4?
-0.4
Let u(j) = -5*j**3 + j**2 - 2*j - 33. Let s(h) = -6*h**3 + 2*h**2 - 2*h - 34. Let z(n) = -4*s(n) + 5*u(n). Let g be z(-4). Let i be (-28)/6 + 2/(-6). Is g > i?
False
Suppose 0 = -4*h + 3*h - 4*i + 673, -h + 3*i + 645 = 0. Which is smaller: h or 656?
656
Suppose -5*p - 3 = -4*p. Let u be (p/10)/((-4)/(-8)). Which is greater: 11 or u?
11
Suppose -101 = z - 148. Which is bigger: z or 1/3?
z
Let x(h) = h**3 - 3*h**2 - 4*h - 1. Let y be x(4). Suppose 0 = -4*u + 625 - 205. Let w be ((-15)/u)/((-2)/7). Which is smaller: w or y?
y
Let i be 2/8 - (-4 + (-17)/(-4)). Suppose i = -4*u + 4 + 16. Which is smaller: u or 17/3?
u
Let g be 2 + -5 + (18/(-6) - -6). Does -5/6 = g?
False
Let z be (-12)/(-3) + 1 + 3 + -7. Which is bigger: z or -36?
z
Suppose -5*u + 2 - 17 = 0. Let f = 13 - 17. Which is smaller: u or f?
f
Suppose 2*u - 396 = -1368. Let m be (-1 + -1)/((-12)/u). Which is greater: m or -80?
-80
Let w = 233 + -251. Does w = -20?
False
Let y be 3 + (-21 - 0 - 0) + 2. Let b be (y/(-12))/((-4)/(-2)). Are b and 2/53 nonequal?
True
Suppose -690 = -34*w + 28*w. Which is smaller: w or 113?
113
Let b be (1 - -3) + 3/81*-102. Which is greater: -679 or b?
b
Let a be 8 - (-9)/((-162)/150). Let d = -6.11 - -6. Which is greater: a or d?
d
Let v(o) = 2*o**2 - 4*o + 4. Let y be v(3). Let i be 76/38*11/2. Which is bigger: i or y?
i
Let m = -62 + 64. Suppose -m*c = -6*c - 224. Is -56 < c?
False
Suppose -18 = -20*w + 22. Which is bigger: 3/5 or w?
w
Suppose -32*w = -38*w + 6. Let t be (-4)/(-14)*(-7)/(-3). Which is bigger: t or w?
w
Let o = 27.94 - 28. Let j = o + -0.14. Let q = 0.3 - -0.7. Which is smaller: q or j?
j
Suppose 5*x - 4*v - 5 = -27, -28 = 4*x + 2*v. Let n(d) = -d**3 - 6*d**2 + 7*d + 2. Let r be n(x). Let c = -21 - r. Which is bigger: 1 or c?
c
Let s = 3 + -17. Let h = s + 14. Suppose 0 + 4 = 4*k. Is h at least as big as k?
False
Let w be ((2/4)/((-3)/(-51)))/2. Let a = -1.1 - -1. Is w < a?
False
Let s = -47/8 - -149/24. Which is smaller: s or 438?
s
Suppose -q = -4*x - 120, 4*x + x = -10. Let o be (-28)/q + 2/8. Is 7 at least as big as o?
True
Let z = 0.498 - 0.598. Which is bigger: z or 151?
151
Suppose 4*c - 2*a + 8 = 0, 0 = c - 3*c + 4*a - 10. Suppose 323 = -2*g + 955. Let i = 7902/25 - g. Do i and c have the same value?
False
Let i = -0.04 - -0.11. Let s = 20 + -16. Is i at least s?
False
Let k = 8.605 - 0.005. Let n = k + -30.6. Let j be 2/(-8) - (-3)/(-4). Is n less than j?
True
Let d(r) = 32*r**3 + r**2 + 2*r - 2. Let i be d(1). Suppose 0 = -6*k + 29 + 13. Suppose 8*p - k*p = i. Which is greater: 32 or p?
p
Suppose 127 = i + 133. Is -1 at least as big as i?
True
Let o = 20.06 + -16.83. Do o and -0.1 have different values?
True
Let g be (-2)/(-4) + (-2)/(-4). Let k = 5 - g. Which is smaller: 5/2 or k?
5/2
Let l be (3 + 2335/(-850))*-1. Let o = -5/34 + l. Is o greater than 0?
False
Let q(c) = c - 1. Let j be q(3). Suppose j*w + 0 = -22. Let r = w - -13. Which is smaller: r or 3/2?
3/2
Let q be (2/3)/(((-21)/(-18))/7). Suppose -q = 3*b - 7. Which is bigger: -1/32 or b?
b
Suppose 0 = -5*v - 3*x + 15, -2*v - 4*x - 8 = -0*v. Suppose -v*k = -0*k. Is -1/23 bigger than k?
False
Suppose -y + 0*j + 8 = -4*j, y = 3*j + 4. Let z(m) = 2*m**2 - 17*m + 21. Let p be z(6). Is p smaller than y?
True
Let w(n) = n**3 - 10*n**2 - 2*n - 52. Let l be w(10). Which is smaller: -1/3 or l?
l
Suppose -1 = -v + 2. Suppose 0 = d - v*d + 8. Suppose 1105*r - 1192*r + 696 = 0. Which is bigger: r or d?
r
Let i = -27.4 + 39.4. Which is greater: i or -5?
i
Suppose 4*b + 0*v = 2*v - 24, 0 = -5*b + v - 24. Let x be ((-84)/32)/((-6)/b). Which is bigger: x or -1?
-1
Let z(t) be the second derivative of t**4/12 + 5*t**3/6 + 3*t**2 - 4*t. Let w be z(-6). Let x be (8/6)/(40/w). Is 1/4 at least x?
False
Let m be 6/14 - 2025/21. Let z be 2/(-10) - m/5. Let f = 14 - z. Which is bigger: -7 or f?
f
Suppose -14*g + 604 = -16*g. Are -304 and g equal?
False
Let x = -10 + 13. Let u = 0 - x. Which is greater: 8 or u?
8
Let d = -3114/1927 - -68/41. Let q be 3 - 4/6*-6. Suppose -3*l = -u + 4, -5*l + 2*u = q*u - 20. Is d at least as big as l?
True
Let m = -585/11 - -53. Let v = -1 - 0. Is m <= v?
False
Let o = -27 - -32. Suppose -2*b - 3*b + o = 0. Is 6/7 != b?
True
Let p be -18*4/12*3. Let x be (3/2)/((-3)/p). Suppose 6 = -3*b + x. Which is greater: 0 or b?
b
Let r = -4 + -1. Suppose 5*m - 32 = -3*x, -13 = 5*m - 3. Let q be x/(-4) + r/(-10). Is -4 at least as big as q?
False
Suppose 14*v - 9*v = -95. Is v greater than -7?
False
Let s(h) = 3*h**2 - 3*h + 2. Let d be s(-3). Is d <= 0?
False
Let h = -51 - -31. Let k be -3*6*((-9)/h)/9. Is 0 at most as big as k?
False
Suppose 55*z = 32*z + 529. Are 2 and z equal?
False
Let f = -1.4 - 0. Let h = 93.1 + -93. Which is greater: f or h?
h
Suppose -507*f = -514*f + 60