ich is bigger: j or -1/3?
j
Suppose -2 = -26*j + 27*j. Let m be (-11 + 10)/(j/(-18)). Let x be 3/m*0 - -4. Are 10/3 and x equal?
False
Let l = 12 + -11. Which is smaller: l or 0.233?
0.233
Suppose 0*n + 3*y + 6 = 3*n, 3*y + 5 = 2*n. Let a be n*(3 - (3 + 1)). Which is bigger: -2/75 or a?
-2/75
Let q = -0.4 - -0.43. Let d = 42 - 71. Let f = d - -28.9. Which is bigger: q or f?
q
Let j(v) = v**3 + 2*v**2 - v. Let m be (-18)/4*(-4)/3. Suppose 3*r = 6*r + m. Let k be j(r). Which is smaller: k or 2/5?
2/5
Let y be ((-20)/(-48))/((-2)/906831). Let x = y + 334006949/1768. Let o = 80/17 + x. Do 0 and o have the same value?
False
Let c = -2818/87843 + 11/267. Do 1 and c have the same value?
False
Let x = -368 + 296. Is -72 bigger than x?
False
Let b = -2915 + 381868/131. Which is smaller: b or 0?
0
Let v = 1/598 - -7127/29302. Is v bigger than 0?
True
Let x be (-96)/(-30) + 2/(-10). Suppose x = -3*n - k, 3*k - 7 + 2 = 5*n. Suppose -4 = -0*o + 4*o. Is n at least as big as o?
True
Let q(d) = d**2 - 34*d - 67. Let w be q(25). Is w > 1?
False
Let p be 2 + 1 - (-2 + 1)*3. Suppose -p*t - 44 = -4*t. Which is smaller: t or -23?
-23
Let q be (-4 - (1 - -1))*90/54. Let j be (6 - 125/q)/(1/2). Is j at least as big as 37?
True
Let j(m) = 44*m - 25. Let o be j(1). Are o and -10 equal?
False
Let o(q) = -35*q - 105. Let d be o(19). Is d at most as big as -770?
True
Let c = -154.7 - -155. Which is smaller: 54 or c?
c
Suppose -2*a + 4*d = 20, 5*a - 3*d = -35 - 1. Is a at least as big as 4?
False
Let m(t) = -9*t**3 - 10*t**2 - 4*t - 5. Let z be m(-4). Which is smaller: z or 428?
z
Suppose 4*q = -2*l - 12, 2*q - 1 = -3*l + 1. Let b(j) = 6 - j**2 + 2*j**2 - 7*j + 2*j. Let a be b(l). Which is greater: -1 or a?
a
Suppose -2*i - 24 = -5*i. Let l = 8 - i. Suppose l = -5*x + 2*x. Is x less than or equal to 1/20?
True
Suppose -4*l + 7 = 4*d + 27, 0 = -d + 5*l - 5. Which is bigger: d or 2/3?
2/3
Let x be (-2)/(-4) + (-126)/(-36). Let m be 1 + (-3)/x - (-81)/(-36). Which is smaller: m or -3?
-3
Suppose 3*j = 2*t + 3*t + 57, 0 = -5*j - 5*t + 55. Let i be ((-4)/(-28))/(4/j). Let k = -77 + 78. Is i != k?
True
Let l = -105 - 30. Let p be (-18)/l - 206/(-30). Let r be (16/3)/((-4)/(-6)). Is r > p?
True
Let h be (-48)/20*(-4 + -1). Let f be (-11)/(-66)*-15*(1 + -5). Which is bigger: h or f?
h
Let g be (1 + 0)/(2/(-2)). Suppose 2*y - 2*o = -y - 179, -4*y = 2*o + 248. Let a = y + 1524/25. Is g smaller than a?
True
Suppose 0 = -420*q + 438*q - 8640. Which is smaller: q or 482?
q
Let g be 71/6 - (2 - (-26)/(-12)). Suppose g*j - 4 = 10*j. Is 8/15 less than j?
True
Suppose 2*w + 1 = -1. Let h = -2 - w. Let o = 2 + h. Which is smaller: 2/15 or o?
2/15
Let o = -5 - -10. Suppose -3*r = 4*d - 243, 0 = o*d - 0*d + r - 301. Is 61 at most d?
False
Let g = 69 + -103. Let a be (-2 + g/(-4))*-2. Suppose 2*d - 60 = 5*b, 7*b + 2*d = 2*b - 80. Is b < a?
True
Let c(w) = -w**2 - 6*w - 6. Suppose -3*k + 3*u = 7*u + 32, -4*k + 2*u = 6. Let n be c(k). Let v = -471 + 473. Is v > n?
False
Let o be 14/21 + 583/3. Suppose -4*n - n + o = 0. Let h = -38 + n. Which is smaller: h or 4/9?
4/9
Let p be -15*(2 - 0)/(8/(-4)). Let v be 18/(-4)*30/p. Suppose 2*t = -2*t - 28. Which is bigger: t or v?
t
Let c = 6.06 + -0.06. Let q = -1 - c. Let j = q - -6.6. Which is bigger: j or 1?
1
Let z(n) = 3*n**2 + 6*n. Let q(i) = i**2 - i + 1. Let c(v) = 2*q(v) - z(v). Let b be c(-8). Suppose 0 = y + b*y - 12. Is -1/2 >= y?
False
Let n = 5546 - 11515/2. Which is smaller: n or -213?
-213
Suppose 0 = -26*o - 113 + 9. Which is smaller: o or 0.04?
o
Suppose 0 = 1021*k - 1007*k. Which is smaller: k or -1/4?
-1/4
Let x(k) = 140*k - 292. Let m be x(5). Which is smaller: 406 or m?
406
Let h = 202 + -5253/26. Let n = h + -6/13. Which is smaller: 0.1 or n?
n
Suppose -49*r + 6 = -55*r. Which is smaller: -2/1005 or r?
r
Let t be 4/(-8) + (-2)/(-4). Suppose 3*b + t = 6. Let g be (9/30)/((-6)/(-16)). Are g and b equal?
False
Let u = -343/8 + 69/8. Is u at least 2/5?
False
Let v be (-2)/(-25)*6/(-4). Let w be (-2)/(5/(-3) - (-7)/(-21)). Do v and w have the same value?
False
Suppose -6*h = -4*h + 5*w - 1109, -5*w + 1671 = 3*h. Which is greater: h or 561?
h
Let z(b) = b - 18. Let m be z(17). Let u = 14 - 18. Let w be (-224)/245 + u/14. Is w bigger than m?
False
Let t(q) = -156*q**2 - 6*q - 7. Let b be t(-1). Which is smaller: b or -155?
b
Suppose -k + 38 = -4*u, -k = 2*u - 50 - 6. Let p = k + -50. Let g be 0/(-2) + 2/31. Is p at least g?
False
Let k be 9/14*4/(-3). Let q be (2/(-4))/((-57)/(-38)). Which is smaller: k or q?
k
Suppose 208 = 83*g - 96*g. Let m be (-29)/2 + (2 - 12/8). Which is greater: g or m?
m
Let h(d) = -4*d - 10. Let i be h(-13). Let c be 3/(-2)*28/i. Is c at least as big as 3/19?
False
Let g = -778 - -779. Is 84 at most g?
False
Let u = 0.1 - 0.2. Let k = 1/87 + 607/174. Is u less than k?
True
Let k be (-1 + 371/378)/((-4)/(-20)). Which is greater: -1 or k?
k
Suppose 0 = -2*q - 8, -5*r + 2*r = -3*q - 99. Is 1 equal to r?
False
Suppose 0 = -4*k + k - 3. Which is smaller: 5/26 or k?
k
Suppose 3*r = 3*z + 18, -5 + 4 = z. Suppose -5*j - q + r*q + 20 = 0, 4*j + 2*q = -10. Let p be 15/(-5) - 11/(-4). Is p > j?
False
Suppose n - 4*i = -4, -5*n - 2 = 2*i - 4. Suppose n*p = -4*p - 8. Is p > -0.5?
False
Let z = -17 - -29. Suppose -3*i + 0*i = 3*q - z, -3*q - i + 4 = 0. Let u be 4/14 + 12/7. Is u at most q?
False
Suppose s + 58 = -3*l - 62, -3*s = 0. Let q be -4 - -1 - (-5 - l - 1). Which is bigger: 0 or q?
0
Suppose 48*x + 9*x = -7467. Which is smaller: x or -127?
x
Let o(l) = l**3 + l**2 - 3*l + 7. Let r be o(-3). Is r greater than -13/5?
True
Suppose 242 + 73 = -5*d. Let z = 253/4 + d. Let v = -3 + 4. Which is bigger: z or v?
v
Suppose -s = s + 4. Let g be (-4)/s - 26/14. Suppose -8 = 2*x + 4*p + 6, 0 = x + 3*p + 10. Which is bigger: g or x?
g
Let k be 920/(-210) + 4 + 2. Which is bigger: k or 1?
k
Let k = 29 + -29. Let v = 0 - k. Which is greater: v or 1?
1
Suppose 2*c + 6 = 0, -5*w - c - 4*c - 25 = 0. Suppose 2*z - 1 = -3*m, -2*m - 3*z = m - 3. Let v be (w - m*4) + -2. Which is greater: 1/3 or v?
1/3
Let k = -38 + 38.31. Let f = k + -0.41. Which is smaller: 0.5 or f?
f
Suppose -5 = -t, 10 = 2*c + 2*t - 0*t. Let i be c*((-1)/(-2) + 0). Suppose i = -2*s + 5*s - 5*x, 0 = -x + 3. Is s < 5?
False
Let g = -1.38 + 1.68. Is -44/9 bigger than g?
False
Let n be ((-13)/39)/(2/(-30)). Suppose -c = 2*c. Suppose c = n*j - 4*j. Is j >= 1?
False
Let q be ((-8)/18*5)/(580/(-2610)). Which is bigger: 7 or q?
q
Let s = 1855 + -1914. Is s greater than -119/2?
True
Let y = -0.79 - 2.21. Let p be -1 + -1 + (-84)/(-44). Which is smaller: p or y?
y
Let f = -589 - -1009. Is -2/7 less than f?
True
Suppose 0*k = 2*k + a - 8, 2*k - a - 12 = 0. Suppose -k*s - 37 + 1 = -4*w, 0 = 2*w + 2*s. Let x be (-1)/w*(-3)/(-1). Which is greater: x or -1?
x
Suppose 5*b + 4*a = 6*b - 218, -2*b - 2*a = -476. Which is smaller: 232 or b?
232
Let h = 4139 + -3362. Is 777 at most as big as h?
True
Let j be (-4)/(-22) - (-85884)/(-9537). Which is greater: j or -8?
-8
Suppose 3*g = 4*a, -a = -g - 3*g. Let m = 60420/49 + -1233. Which is smaller: m or g?
g
Let l be (-43860)/252 - (4/14 - 0). Which is bigger: -174 or l?
-174
Let d be (-1 + 10)*(-10)/(-6). Let j = -33 + d. Let s = 10 + j. Is -5 smaller than s?
False
Let h be 24/14 + -3 + 46/14. Suppose -k + 2*q = 0, -k + h*q = k + 4. Is -3 not equal to k?
True
Let m = -103 + 305/3. Let r = 1 - 2. Let q(b) = b**2 + 3*b + 2. Let j be q(r). Which is smaller: m or j?
m
Let r(n) = n - 9. Let d be r(-5). Let a be 10/d + (-6)/21. Is -6 less than or equal to a?
True
Suppose -9*g - 905 = -4*g. Let m be 16/(-40)*5/g. Let c = 352/905 + m. Which is bigger: c or 0?
c
Let y = 55805/8 - 6951. Which is smaller: y or 26?
y
Suppose 2*d - 4 = -6. Let t(q) = 13*q**3 - 2*q**2 - q. Let a be t(d). Let w = a + 13. Which is bigger: w or -18/11?
w
Let v = 27.941 + 0.059. Let c = 28.08 - v. Let t = -0.68 + c. Which is bigger: t or -3?
t
Let s be (9/2)/((-3)/4). Let a be ((-24)/s)/(8/6). Let p be 34*(-4)/(-44) - a. Which is smaller: p or 0?
0
Let z be (30/(-4))/(7 - 284/40). Let w be (4/z)/((-4)/3 + 2). Which is smaller: w or 0?
0
Suppose -5*v + 2*u - 3 = 0, -u + 2*u = v. Let s = -25062/11 + 2276. Which is smaller: s or v?
s
Let i = -1.1 - -33.1. Let u = -16 + i. Let 