 1/336. Which is greater: 2/7 or j?
2/7
Let z = 15/1594 - 2128155/17534. Which is bigger: -122 or z?
z
Let z = 133 + -55. Suppose -z = -33*k + 46*k. Which is bigger: k or -15?
k
Let z = 26.8 - 26.611. Let h = z - 0.279. Let b = 0 - -0.1. Is b bigger than h?
True
Let q = 16474 - 36147. Let a = -334255/17 - q. Which is greater: 10 or a?
a
Let n = -97/22 + -12/11. Let j = n - -23/4. Is 58 equal to j?
False
Let h(c) = -16*c - 112. Let r be (0 - -1)*7/(-42)*0. Let l be h(r). Which is greater: l or -113?
l
Let r be ((-6)/(-63))/(2/(-24)). Let s = 21.576 + -21.5. Let a = 0.124 + s. Which is bigger: r or a?
a
Let s = -926 + 1726. Is s greater than 804?
False
Let o = 1 - 1. Suppose -4*a - 3*g - 146 = 0, -5*a - g + 0*g - 177 = 0. Let k be 384/1360*a/(-28). Is o less than k?
True
Let f = -13 + 11.9. Let z = 19.1 + f. Is -2 greater than z?
False
Let j(q) = -379*q - 5622. Let f be j(-15). Do f and 92 have different values?
True
Suppose -2*q - 39 = 3*h, -24 = q + 2*h + h. Let t(k) = -4*k - 38. Let c be t(-17). Suppose 4*b = i + c, 10*b = 5*b + 20. Is i < q?
False
Let t = 198315 + -3374251/17. Which is bigger: -170 or t?
-170
Let o be (-750)/(-175) + (-16)/56. Is 228/89 < o?
True
Suppose 0 = 34*p - 8*p + 156. Let d(i) = -10 + 19 - 9 - i. Let w be d(9). Which is greater: w or p?
p
Let h(i) = -i**3 + 2*i + 3. Let n be h(-1). Suppose n*w + 9 = -w. Which is bigger: -4 or w?
w
Let o = -14228 + 15299. Which is bigger: o or 1067?
o
Let h be 1016/(-5588) - -2*(-5942)/(-22). Which is greater: h or 542?
542
Let w(d) = -3*d**2 - 351*d + 3648. Let k be w(-121). Which is smaller: k or 13175/6?
13175/6
Let p = -7541 - -7556. Is p at most 15/19?
False
Suppose -150 = -1781*r + 1751*r. Does -271 = r?
False
Suppose 2*r = -v - 12, 5*r - 7*v = -8*v - 24. Is -55/19 greater than or equal to r?
True
Suppose g - 5*p + 4 = 0, p = 2*g - 2 - 8. Suppose -i = -2*x - 6, 4*i = 2*i + x + g. Suppose -3*r + i*r = -8. Do r and 9 have the same value?
False
Suppose 0 = 2*j - 3*p - 14, 37 = -j + 2*p + 46. Suppose -2 = -m, -3*m = 5*a - a + 18. Let c be a/30 + (-22)/(-135). Which is bigger: j or c?
j
Let v be (-6)/15 - 488/(-20). Suppose a + 5*x - 18 = -3, -4*a - 2*x + v = 0. Let s = 18674/5247 - 2/583. Is a smaller than s?
False
Let i = 2 - 2. Let w = -63021 - -30691225/487. Which is greater: i or w?
i
Suppose 3*k - q - 137 + 666 = 0, 4*k + 702 = 3*q. Which is smaller: -183 or k?
-183
Suppose v + 0*v - 3*y - 17 = 0, y = -5*v + 5. Suppose 2782 = v*f + 24*f. Are f and 107 non-equal?
False
Let z = 27 + -39. Suppose -5*r + 2*r = 0, 2*g - r = -32. Which is smaller: z or g?
g
Suppose 15*k - v - 2818 = 17*k, 4*k = -v - 5642. Is -1414 at most k?
True
Let f(v) = -v**3 - 13*v**2 - 7*v - 38. Let s be f(-13). Suppose s = -2*j + 6*j - 5*w, 0 = 5*j - w - 61. Which is bigger: j or 15?
15
Let n = 22.9 - 22.891. Let j = n - 0.009. Are j and -104 equal?
False
Let u be ((-224)/(-72))/(-14) + 259/(-9) + -1. Which is smaller: u or -276?
-276
Let l(s) = s**3 - 5*s**2 - 10*s + 7. Let t be l(7). Suppose 5960*p - 5956*p - 160 = 0. Is p equal to t?
False
Suppose 5*m - 18 = 3*a, -2 = -470*a + 472*a. Suppose 9*r - 4*r = 20. Let b(u) = -u**2 + 3*u + 5. Let p be b(r). Is p less than or equal to m?
True
Let p(c) = -2*c**3 - 3*c**3 - 4*c - 2 + 6*c**3. Let f be p(-2). Let s be 2/(-4)*(0 - f). Is -2/3 != s?
True
Let f be 20*(96/10)/8. Let d be (f/(-5))/((-4)/220). Which is smaller: d or 266?
d
Suppose -8*b = 1024 + 2886 + 5514. Is -5888/5 less than b?
False
Let b = -5 + 0. Suppose -26 = o - 32. Suppose -3*i = -9*i + o. Is i at least b?
True
Suppose -2*u = 5*b - 19, u + 10*b - 14 = 6*b. Let q be u + 2 - (75/(-5) + 0). Which is bigger: -9 or q?
q
Let l = 0.24 - -1.76. Let a = -33.8 - -36. Let n = a - l. Which is greater: 1/2 or n?
1/2
Let w be (-3)/(-472) - 89/712. Are -1 and w nonequal?
True
Suppose 0 = 3*w + 2*h + 734, 3*w + 2*h - 988 = 7*w. Let d = -275 - w. Do d and -30 have different values?
True
Let b be -2 + 10*(-2)/(-12). Let w(k) = -k**2 + 12*k + 31. Let z be w(-7). Let j = -92 - z. Is j <= b?
False
Let f = 22244/7 + -53007487/16681. Which is smaller: f or 1?
f
Let k = -145613864/35 - -4161839. Let z = k + -1443. Suppose 2 = 2*a - 0. Which is bigger: z or a?
a
Let j = -403 + 422. Suppose -11*a + j = -201. Let m(d) = d**2 + 4*d + 6. Let c be m(-6). Which is smaller: a or c?
c
Let x(f) = -26 - 15*f - 26*f**2 + 53*f**2 - 28*f**2. Let v be x(-13). Suppose 5*d + 15 = 0, o - 17 = -v*o + 2*d. Which is smaller: o or 12?
o
Let g(z) = -2*z**3 - 6*z + 11. Let l(x) = x**3 + x**2 - x - 1. Let b(w) = g(w) + 3*l(w). Let q be b(-5). Is q equal to 22/7?
False
Let m be (-6)/(-11) - 119/77. Which is greater: -92/183 or m?
-92/183
Let p(b) = 25*b - 74. Let z be p(3). Suppose 0 = 3*g + 5*j + 6, -j - 3 = -0. Let m be (-5 - -7)/((-6)/g). Do m and z have different values?
True
Let z be ((-92)/(-6))/(3/18). Let r be (-6)/(-2)*z/(-6). Let h be r/36 - (33/27 + -1). Is -3/2 <= h?
True
Let u(o) = -4*o**3 + o - 1. Let x be u(-2). Suppose -2*p + 4*t + 10 + 2 = 0, -2*p - 4*t = 20. Let z = 31 + p. Is x at most as big as z?
True
Suppose 0 = -2*j - 5*i + 1658, -2*j + 3*i - 62 = -1752. Suppose 0 = 10*q - 209 + j. Let n = -46 - q. Which is smaller: n or 16?
16
Suppose -6*g - 13*o - 52 = -5*g, 4*o = -3*g - 16. Which is greater: -51/148 or g?
g
Let b be ((-39)/182)/((-1)/(-9)). Let c = 13/2 + b. Is 1/2 at most c?
True
Let d = 5.72 - 0.32. Let l = d + -0.8. Let b = l + -4.3. Which is greater: b or -2/5?
b
Let v(l) = -12*l - 449. Let c be v(-28). Is c at most -109?
True
Let d be (8 + -15 + 357/49)/((-1)/(-41)). Let n = 10 - -3. Is d greater than n?
False
Suppose -7*l + 0 + 14 = 0. Suppose -l*y - 49 = -9*y. Let z be 1 - (y/21 + 2/3). Is z at least -1/68?
True
Let r(c) = c**2 - 30*c + 55. Let b be r(28). Are b and -1/970 non-equal?
True
Let g be 298/(14/161 + 0). Which is bigger: g or 0?
g
Let s(x) = -11*x + 16. Let p be s(-6). Suppose 0 = p*a - 83*a. Suppose -2*k + j + 5 = -a, 0 = 4*k + j - 1. Which is smaller: k or 3/32?
3/32
Let w = -42632/5 + 291869/35. Let q = w - -187. Suppose a + 15 = 2*g, 8 = 5*a + g + 39. Which is bigger: q or a?
q
Suppose 4*u = u - 4*a + 4, 3*a - 6 = -3*u. Suppose u*j + y - 26 = 6*j, 0 = -5*j - y - 51. Which is bigger: -18 or j?
j
Let o(r) = -71*r - 21. Let b be o(3). Let z = b + 135. Which is greater: z or -98?
-98
Let s be (-9)/36 + (-369)/(-4). Let j be 2*(s/(-24) - -2). Let a(i) = -32*i**2 + 287*i + 4. Let b be a(9). Which is smaller: b or j?
b
Suppose -2 = 3*d - 2*p, -d - 2*p + 22 = 3*p. Let r(b) = 40*b**3 - 3*b**2 + 6*b - 2. Let y be r(d). Suppose -4*f - y + 14 = 0. Is -76 smaller than f?
False
Let a be (-10)/(-30)*12*284/(-8). Let n = -141 - a. Is n > 1/182?
True
Let w = -9 - -12. Let n(c) = -3*c**3 - 2*c**2 + c + 3. Let i be n(w). Let q = -131 - i. Which is smaller: -39 or q?
-39
Let s = -2/5307 + 11492/2329773. Let t = -411/6146 - s. Let o be 1 - (-2 - -3)*1. Is o != t?
True
Suppose 2*o - 200 = -18*o. Let v(k) = -k**2 - 11*k + 4. Let h be v(o). Does -206 = h?
True
Suppose -14 = 2*n - 3*z - 50, -124 = -5*n - z. Suppose -2*v + n = -36. Suppose 5*u - 25 = -5*q, -4*u - 10 = 3*q - v. Which is greater: q or 4/21?
4/21
Suppose -5*s = -5*r + 35, 5*s + 8 + 12 = 0. Let o be (r - (-2370)/54)/(8/(-10)). Let i = o + 119/2. Is i greater than 0?
True
Let n be 21/(-4)*344/12. Which is smaller: n or -150?
n
Let r be (-3)/(9/(-78))*738/4. Are 4797 and r unequal?
False
Let i be -2*((19 - -2) + -2). Suppose -3*h = 2*b + 111, -h + 144 = -5*h - 4*b. Let m = i - h. Which is smaller: m or -1/44?
-1/44
Let c = -9 - -13. Suppose -8*v + 3*v + 2 = 2*s, -3*s + c*v + 3 = 0. Let p be -1*s - (-559)/533. Which is smaller: -1 or p?
-1
Let p be (-2740648)/3598 - (0 + (-4)/7). Which is smaller: -760 or p?
p
Let m be (-514)/(-88) - (49/14 + 35/10). Which is greater: m or 0?
0
Let p(k) = -4*k**2 - 8*k - 29. Let q be p(-3). Let o = 7 - 7. Suppose o = g + m + 41, -3*g + 2*g - 5*m = 37. Is g less than q?
True
Let m(j) = 15*j + 63. Let f be m(0). Let k = 93 - f. Is k at least as big as 31?
False
Let f be (-730)/(-1705) - 24/372. Which is greater: f or 65?
65
Let t be (1238*(-2)/(-4))/(44 - 88). Let f = -9/11 - t. Which is smaller: 12 or f?
12
Let w = 87 - -5. Suppose 5*p - 7 = 3*b, 94*b = 89*b - 5*p + 15. Are b and w equal?
False
Suppose u = 1, 0*w + 5*w - 2*u = 146