/14*(37/25 - 1). Suppose 2*a - 4*a = -2. Which is bigger: j or a?
j
Let p be 1 + 314/(-330) - (-14)/(-77). Which is smaller: 0 or p?
p
Let g(l) = l**2 - 3*l - 11. Let u be g(5). Which is smaller: u or 2/309?
u
Let p be 1 - 1/(-3 - -4). Is 4/57 not equal to p?
True
Suppose -5*z + 17 - 42 = 5*f, 3*z + 4*f + 20 = 0. Suppose -2*l + 14 = -z*l. Which is greater: 8 or l?
8
Let i(j) = -j**2 - 3*j - 1. Let q be i(-2). Let k be ((-2)/6)/(2/(-6)). Let h = q - k. Is h less than or equal to -1?
False
Let l = -6 + 8. Suppose 0 = b + b. Which is smaller: l or b?
b
Let m be (32/80)/((-2)/(-5)). Let r = -121/272 - -9/16. Which is smaller: m or r?
r
Let j = -281/4 + 70. Let g = -0.04 + 0. Which is bigger: g or j?
g
Let t(o) = o**2 + 2*o + 2. Let k be (-2)/(-2) + (-3 - -2). Suppose 0 = -k*f - 3*f - 6. Let j be t(f). Which is bigger: 1 or j?
j
Let o = -35 - -35. Is 3 bigger than o?
True
Let h(x) = x**3 - 7*x**2 + 5*x + 8. Let p be h(6). Suppose p*w - 6*w + 2 = 2*a, 2*a + w - 2 = 0. Do a and 2/5 have different values?
True
Let s be (-1476)/21*(-4)/3. Suppose -o + 1 = 0, 0 = i - 4*o + 13 - 103. Let r = s - i. Does r = 0?
False
Suppose -2*k + 6*k - 9 = -c, -4*k = -c + 1. Is 2/47 equal to k?
False
Let u = 14 - 14.1. Let h = 0.1 + -0.2. Let y = h + u. Is -1/4 less than or equal to y?
True
Let b(h) = -h - 5. Suppose -3*r - 16 = 2*j, -r - r - j - 10 = 0. Let p be b(r). Let c = p + 0. Is c not equal to 2/11?
True
Let b be (-264)/(-7) + 4/14. Suppose 4 = -5*n + 3*n, 5*n = 3*j + b. Are j and -15 nonequal?
True
Let f = 2 + 0. Let c = 5.5 + 0.5. Let i = -5.9 + c. Which is smaller: i or f?
i
Let s be (-9 - -1)*(0 + -1). Let f be ((-4)/(-3))/(s/(-24)). Are 0.1 and f non-equal?
True
Let m be (-25)/(-100) + -3*(-3)/(-4). Let s be (-1)/(-3) - 4/12. Do m and s have the same value?
False
Suppose 27 = 5*t - 3. Suppose 14 = 2*m - 4*o - 2, -5*m + 16 = -2*o. Is t >= m?
True
Let r(j) = j**3 - 4*j**2 - 3*j - 10. Let g be r(5). Which is bigger: 9 or g?
9
Let m = 52 - 361/7. Let a(o) = -o**2 + 2*o + 2. Let y be a(3). Are m and y nonequal?
True
Let o be 1*(-2 + 8/5). Is 2/17 less than or equal to o?
False
Suppose 2*f + 5 + 9 = 0. Which is smaller: f or -1?
f
Let a(h) = -h**2 - 5*h - 5. Let y be a(-4). Let w be (2/(-24))/(3 + -1). Is y >= w?
False
Let i(h) = h**3 + h**2 - 3*h - 1. Let k be i(-2). Let p be (-6)/(-3) + -3 + 7. Let b be ((-2)/(-6))/(k/p). Which is greater: 1/2 or b?
b
Suppose -3*s + 2*o = -18, 0 = 2*o - 0*o. Suppose 5*f - 1 + s = 0. Which is smaller: f or -2?
-2
Suppose 0 = -2*v + 9 - 7. Is 2/15 at least v?
False
Let u be (-6)/(-2)*1/(-3). Let w be 2 + u + 2 + 0. Suppose 6 = 2*c + a + w*a, 9 = 3*c + a. Which is greater: 2 or c?
c
Suppose o = -o - 5*u - 10, 0 = -4*u - 8. Is -2/3 < o?
True
Let g = -0.2 - -0.2. Let f = g + 0.4. Suppose -7*p + 4 = -3*p. Is f at most p?
True
Suppose 0 = -4*w - 2*l - 672, 5*w + l = -3*l - 840. Let s = -499/3 - w. Which is smaller: s or 3?
s
Let u = -11.74 + -0.26. Which is smaller: 1 or u?
u
Suppose 3*b - 6 = -0. Suppose 4*m = -0*m - 2*q - 6, 0 = -b*q - 10. Is m smaller than -1?
False
Let f be -14*4/(-16)*-2. Is f bigger than -7?
False
Suppose -3*i = 2*i. Let s be ((-172)/180 + 1)*-5. Which is greater: s or i?
i
Suppose 16*c - 1 + 1 = 0. Is c != 62?
True
Let y = 0.12 - -0.18. Let s = 0 - 0. Let v = -1 + s. Which is smaller: v or y?
v
Let a be (-33)/4*(-2 - (-136)/(-12)). Which is bigger: 109 or a?
a
Let m(i) = -i + 1. Let k be m(-3). Suppose 0 = 4*l + 4*j + k, -5*l + 0*j - 8 = 2*j. Let f be (-4)/(-2)*(-2)/4. Which is smaller: f or l?
l
Let i(w) = -w**3 + 8*w**2 - 1. Let j be i(8). Let d = 4 + j. Which is smaller: d or 4?
d
Let v be 1 + (2 - (-4 + 3)). Let c be 1/v + 69/108. Which is smaller: c or 2?
c
Let a be ((-4)/(-6))/(8/(-4)). Which is smaller: 4 or a?
a
Let d = -4 - -6. Suppose h = d*h - 2. Suppose -2*j - 3*g = -11, -2*j - 3*j + h = -g. Which is greater: 2/3 or j?
j
Let z = -0.079 - -0.379. Is -3/2 > z?
False
Let x = 24 - 24.5. Which is greater: x or -1/3?
-1/3
Let d(a) = -a**3 + 4*a**2 + 5*a - 6. Let m be d(4). Which is greater: m or 16?
16
Let u(x) = x - 3. Let c be u(6). Suppose -f - 5*n - c = -5*f, -5*f - 5*n = 30. Let l be 1 + f*(-2)/(-2). Which is bigger: l or -3?
l
Let p = 0.4 - 1.4. Let w = 1.2 + p. Let o be (-12)/9*(-12)/(-56). Which is bigger: w or o?
w
Let p = -33 + 100/3. Let q be 48/70 - (-4)/(-10). Which is greater: p or q?
p
Let j = -18 - -42. Let i be (j/32)/((-9)/(-8)). Which is bigger: 1 or i?
1
Let y(u) = u**3 + 3*u**2 - 2*u - 2. Let v be y(-3). Suppose 2*f + 2*n + 14 = 0, 2*f = 4*f - n + 26. Let s = f + 14. Which is greater: v or s?
v
Suppose 0 = -2*o - 0*o. Suppose o = b + 4*m - 7 + 2, 3*m - 4 = -b. Let a = 50 - 48. Which is greater: a or b?
a
Suppose -q - 3 + 8 = 0. Let o = -1 - q. Is o bigger than -7?
True
Suppose -21*x + 23*x - 42 = 0. Which is smaller: 22 or x?
x
Let u = -2.33 + 0.23. Let p = 0.08 - -1.92. Let i = u + p. Which is bigger: -0.2 or i?
i
Let h = 45323 - 316496/7. Let t = 109 - h. Let m be 1/(5*3/(-6)). Is m at least t?
False
Let z be (-1)/(-5) - 98/(-210). Which is smaller: -0.1 or z?
-0.1
Let m(w) = -w**3 - 7*w**2 + 3. Let n be m(-7). Let h(x) = -x**2 + x + 2. Let t be h(n). Let l be (-1)/(-4)*(-2 - 8). Which is smaller: t or l?
t
Suppose -5*x - 4*g - 2 = -6*g, -g = -1. Suppose x*w = 2*w - 2. Is w <= -2/7?
False
Let s be (-32)/(-48) + 128/(-66). Which is greater: 0 or s?
0
Let i = -11 + 7. Let q be ((-6)/105)/(i/(-5)). Which is bigger: q or -1?
q
Let b = 16 + -3. Which is smaller: 12 or b?
12
Let k = 7 - 9. Does -8 = k?
False
Let d = 2582 + -4320. Let c = -159899/92 - d. Let f = -211/828 - c. Is 0 at least as big as f?
True
Let z = 0.14 + -1.04. Let y = -1.1 - z. Are -3/5 and y equal?
False
Suppose -5*k - 3 = -13. Let t be ((-2)/4 - 1)*k. Which is smaller: t or 1?
t
Let s = 22 + -10. Suppose k = -k - s. Let d be (-2)/k*(-3)/(-1). Is 0.1 > d?
False
Let r = -0.29 + 4.29. Which is greater: r or 0.1?
r
Suppose -1 = -p + 70. Suppose -y + p = -19. Let j be (-4)/18 + 2/y. Is j at least as big as -1?
True
Let u be 1/9 + (-4)/(-18). Which is smaller: 0 or u?
0
Let a = -66 + 720/11. Let u(t) = t + 11. Let d be u(-12). Which is greater: a or d?
a
Let r = 6 + -3. Suppose -5*z - 17 = h, -8 = h + r*h. Let v be (z/((-36)/(-2)))/1. Is -1 at most v?
True
Let w = 153/20 + -37/5. Is 50 at least as big as w?
True
Let k = 12 + -12. Is k smaller than -12?
False
Let a(j) = j**3 - 19*j**2 + 40*j - 25. Let t be a(17). Which is greater: 75 or t?
t
Let x be 8 + -12 + 23/5. Which is smaller: 1 or x?
x
Let x(a) = -3*a - 1. Let f be x(-1). Let c(b) = b + 4. Let h be c(-6). Let t be 6/45 - h - f. Which is smaller: -2/7 or t?
-2/7
Let g = 0 + 2. Suppose 2*a + j = 5, j = -g*j - 3. Suppose 5*n - v + 4 + 4 = 0, a*n = -5*v - 16. Is n <= -4/3?
True
Let h be (-2)/30*-5 - 2/6. Which is bigger: -7/11 or h?
h
Let h be -3 + 6/5 + 2. Which is smaller: h or 0?
0
Let p = 0.37 - -0.03. Which is bigger: 0.1 or p?
p
Let w = 2/101 + 192/505. Suppose 5*z + 10 = -p, -5*z - 5 - 5 = 0. Which is smaller: w or p?
p
Let h(o) = -o**2 - 3*o + 4. Let n be h(-4). Suppose -5 - 1 = -3*g. Let c be -1*2*g/(-20). Which is greater: n or c?
c
Suppose m + 15 = 6*m. Suppose -6*g + 3*g - m = 0. Is -3/5 at least g?
True
Let m(s) = -2*s - 4. Let z be m(-5). Suppose 0 = -5*r + 25, -4*r + 15 = -y - z. Is y equal to -3/11?
False
Let s = 14.7 + -13.7. Suppose 2*j = 2*v - 38, 5*v + 6 = -j - 13. Which is bigger: j or s?
s
Let b be (8/6)/(12/(-18) + 2). Is -2/11 < b?
True
Suppose -r - 4 - 1 = 0. Let q be (-2)/7 + (-99)/21. Is q less than or equal to r?
True
Let l = -36 - -35.7. Suppose 0 = 2*y - y + 2. Which is greater: y or l?
l
Let s be 1/(-4) + 25/36. Let c = 225 + -225. Which is smaller: c or s?
c
Let m(f) = -f. Suppose 5 = 4*n + 13. Let o be m(n). Let t be 1/1 - (1 - 3). Which is smaller: o or t?
o
Let k(d) = -d**3 - 5*d**2 + d + 3. Let m be k(-5). Is 0.1 greater than or equal to m?
True
Let w = -1/5 - -9/20. Which is smaller: -1 or w?
-1
Suppose -2*y = -6*y + 4*g - 44, -2*g - 20 = 4*y. Let x = y - -9. Suppose -5*m = -5 - 0. Which is smaller: x or m?
m
Let f be ((-28)/(-8))/((-31)/2). Let w = f - -125/279. Is 0 < w?
True
Let r be (-10)/4*6/(-3). Suppose 0 = 5*x + 5*b - 5, 6*x - b = r*x + 3. Suppose -5*v + 5 = 4*f, 2*v - 3*f = -4*f + x. Which is greater: -1/3 or v?
v
Let p =