2)/((-5)/(-5) + 1). Let k = 22 - 14. Let m be -3 + 8 + v - k. Which is smaller: 1 or m?
m
Let a(c) = 18*c + 99. Let g be a(-5). Which is smaller: 0 or g?
0
Let s be (-356)/(-10)*610/427. Which is greater: 50 or s?
s
Suppose -2*r - 4*o - 2 = 0, 0 = -0*r + 3*r + 2*o + 7. Let i = r - -1. Suppose -2*j + 0 - 2 = 0. Is i greater than j?
False
Let p = -20 + -8. Let s = 27 + p. Is s >= 0.3?
False
Let a = -0.25 + 0.44. Let i = -0.385 - -0.185. Which is bigger: a or i?
a
Let x = -1.626 - 0.464. Let l = x - -0.09. Which is greater: -1.4 or l?
-1.4
Let j = -48 - -49. Which is bigger: j or -2/131?
j
Let c(r) = -r**3 - r**2 - r + 1. Let m(l) = 4*l**3 + 3*l**2 + 2*l - 2. Let z(i) = 3*c(i) + m(i). Let a be z(1). Which is bigger: a or 4/77?
a
Suppose -2*q + 56 = -g, 2*q - 5*g - 106 = -2*q. Is 26 equal to q?
False
Let s = -716 - -329. Which is bigger: -389 or s?
s
Let n be (-14)/(-4) - 8/(-16). Suppose -5*z - 4 = x - 29, 4*x - 2*z = -10. Suppose x*k - 2*k + 12 = 0. Which is bigger: n or k?
k
Let c be (-3)/(-4) - 135/20. Let u be 10/60 + (-11)/c. Which is bigger: 0.11 or u?
u
Suppose -4*i = o + 665 + 30, -2*o + 513 = -3*i. Is -173 at most as big as i?
True
Suppose -5*i + 5*m + 13 + 2 = 0, -m + 15 = 5*i. Suppose 6*l - i*l = -18. Does -6 = l?
True
Let q be ((-45 - -45)/(1 + 0))/(-1). Suppose -a + 5*p - 13 = 0, 0*a = 5*a + 4*p - 22. Which is greater: a or q?
a
Let n be 1/(-12) + 5/(-20). Suppose -5*z - 10 = -2*t, -3*z - 8 - 12 = -4*t. Let p be (z/(0 + -4))/(-1). Which is smaller: p or n?
n
Let t = -4.3 + 0.3. Let j = 1676 - 1677. Which is greater: j or t?
j
Let c = 18 - 15.9. Which is smaller: c or -0.2?
-0.2
Let z = 15 + -13. Suppose 0 = -5*q + 8 + z. Suppose -6 + 2 = q*f - 3*y, -2*f - 4*y = -10. Are f and -1/6 unequal?
True
Let y = 161 + -160. Does y = 9/13?
False
Suppose -b = -3*b + 40. Let g be b/208 + 4/26. Let h be (-2)/4*(-2 + 4). Is h <= g?
True
Let t = 21 + -9. Let l be (0 + 1)/(t/(-180)). Which is greater: l or -14?
-14
Let v be 51/9*(-1 + 7). Let z = v - 47. Let a = z - 15. Which is smaller: a or -27?
a
Suppose 7*o - 20 = 3*o. Let c(t) = t**2 + 3*t - 5. Let v be c(o). Suppose 9*h + 3*x = 4*h - v, 2*h + 13 = -x. Are -4 and h nonequal?
False
Let b be (-2)/4 + 39/6 + -5. Which is greater: b or 4.3?
4.3
Suppose -21 = -4*p - 121. Let a = p - -96. Suppose -3*h + w = 3*w - 70, w = -3*h + a. Which is smaller: 23 or h?
23
Let p(a) = -a**2 - 13*a - 1. Let m = -44 - -31. Let f be p(m). Let n = 23/84 - 1/42. Which is bigger: n or f?
n
Let w = -0.2 + 0.2. Let c = -1/259 + 299/777. Let z = c + -46/231. Is z < w?
False
Let a = -539/12 - -183/4. Let u be ((-25)/(-35) + (-6)/(-21))*0. Is a > u?
True
Let t = 27 + -24. Suppose 21 = 4*u - 5*r, -6*u = -u - t*r - 23. Is u greater than or equal to 5?
False
Let f(b) = -b**2 - 25*b - 116. Let x be f(-26). Does x = -144?
False
Let z = 4.066 + -0.066. Let i = -15 + 10. Let x = -7 - i. Which is bigger: z or x?
z
Let j be (-90)/(-3)*(12/10)/3. Let f be j/8*6/162. Which is bigger: f or -1?
f
Let i = 153.99 - 153. Let w = i + -0.69. Which is bigger: 2 or w?
2
Suppose 165*c - 96 = 169*c. Suppose 0 = 4*k + 4*m + 76, -2*k + 4*m + 9 = 71. Which is greater: k or c?
k
Let u = -196 - -190. Which is smaller: -2 or u?
u
Let z = 435 - 475. Is -30 at least z?
True
Let r be (-20)/(-42)*17/(255/18). Let s be (-8)/(-5) - 6/10. Does r = s?
False
Let s = 447/7106 - 7/209. Let p(h) = h**2 - 5*h + 5. Let c be p(4). Is c bigger than s?
True
Suppose 2*f - 4*f - 18 = -c, -5*f + 4*c - 51 = 0. Let y be 4/((-3)/(-9)*-2). Which is smaller: y or f?
f
Let t be 16/(-32)*(1 - 1111). Is t at most as big as -1?
False
Let k(j) = 8*j**2 + 100*j - 53. Let f be k(-14). Which is smaller: f or 114?
114
Let n be -3 - (-16)/(-5320) - -3. Which is smaller: 0 or n?
n
Let q = -0.095 - 0.005. Which is bigger: q or 9/7?
9/7
Let r = -17/16 - -157/80. Let n = r - 13/20. Let d = 78 - 161/2. Which is smaller: n or d?
d
Let v = 3313/7 + -474. Let y be (0/(2 - 0))/2. Which is bigger: y or v?
y
Let q be 2*(-1)/(-6)*1. Let u be (1 + 18 - 2) + -3. Let y = 14 - u. Is y < q?
True
Let z = -22 + 37. Suppose 0 = 140*v - 143*v - z. Is -2 <= v?
False
Let s be (-2)/(-13) - (-80928)/(-519948). Which is smaller: 0 or s?
s
Let x be (26/39)/((-5)/15). Does x = -12/13?
False
Suppose 3*s + s + 2*r = 0, -5*r - 9 = s. Let a = 0 - s. Let g = 71570/19 + -3767. Which is smaller: g or a?
a
Let u(b) = b + 9. Let x be u(-4). Suppose -o + x*o = 0. Let s = 454 + -16796/37. Is s at most as big as o?
False
Let r = -209 - -249. Let l be 27/75*r/24*55. Suppose 5*g - 2*j = 167, 0 = -5*j + 3*j - 2. Do g and l have different values?
False
Let u = -1487/555 - -99/37. Suppose 0 = 5*m + 5*i - 4*i, 0 = -2*m - m - 3*i. Is m greater than u?
True
Suppose 0 = -7*z + 3*z + 12, 2*i + 9755 = 3*z. Let f = -87673/18 - i. Let g = f - -2/9. Which is greater: g or 2?
g
Let c = -379.3 + 381. Let h = 0.5 - 0.4. Is h bigger than c?
False
Let x = 4 - -1. Let t(p) = p + 16. Let b be t(-16). Suppose 7*j - 5 - 23 = b. Which is smaller: j or x?
j
Let p be (-57)/95 + 2978/4930. Which is smaller: 1 or p?
p
Suppose 1311*k - 1318*k = -3668. Is 524 less than or equal to k?
True
Suppose -23 = 4*d - 3*r, 0*r = -5*r - 15. Let b be ((-3)/(-4))/((-6)/d). Does -1 = b?
False
Let n = -105 + 102. Is 18/5 less than n?
False
Let x(a) = -a**2 - a. Let i be x(2). Let c be (-2)/(-6) + (-16)/i. Suppose c*h - 2*k + 5 = -4, 4*k - 8 = -4*h. Are h and 1 equal?
False
Let h be ((-4)/(-6))/((-2)/300). Let y be h/(-36) - 4/(-18). Let a be -2*y/(-9)*-6. Which is greater: -5 or a?
a
Let x(o) = -3*o**3 + 34*o**2 - 11*o - 1. Let q be x(11). Which is greater: q or 1/9?
1/9
Let a be 8*6/(-12) + 1*87. Let t = -79 + a. Suppose 5*j - 2 = 8. Do t and j have different values?
True
Let u = -91 + 90.85. Let d = 0.08 - -0.07. Let x = u + d. Which is smaller: 2/3 or x?
x
Let d = -17 + 16.34. Let z = d + -0.34. Are z and 10 non-equal?
True
Let m = 3 - -2. Suppose c - 2*b - 7 = -4*b, -m*b = 4*c - 22. Suppose -6*h + 3 = -c*h. Is -3 less than or equal to h?
True
Let k(x) = -x. Let n be k(10). Let v be 12/n*(-4 - 11). Suppose 3*g = -5*j + v, 18 = 5*g - 2*g + j. Which is smaller: g or 7?
g
Let j = -3432 + 30937/9. Is 5 < j?
True
Let d = 53 - 49. Suppose -3 = 7*z + d. Which is smaller: -2/57 or z?
z
Let i(u) = u**3 + 6*u**2 - 22*u + 46. Let n be i(-9). Is 3/665 at least n?
False
Suppose -5*r + 3*r + 22 = 0. Let n = 15 - r. Suppose -2 = -2*x - 2*u, -4*x = -7*x - 4*u + n. Is 1 bigger than x?
True
Let c = -1751.78 - -1758. Is c > -1?
True
Let t = 337 - 337. Is -33 >= t?
False
Let v = 1286/3 - 429. Let k = 1 + -2. Are v and k unequal?
True
Suppose 51 = 3*b + 3*v, 0*b + 5*b + 4*v - 84 = 0. Let q be 11/3 + b/12. Which is smaller: q or 7?
q
Let i = -4 + 3. Let u = 1093 - 12035/11. Is i != u?
True
Let u = -312 - 4. Which is bigger: -1 or u?
-1
Suppose 16*n - 207 - 305 = 0. Which is greater: 30 or n?
n
Suppose 4*a = a - 606. Which is greater: -201 or a?
-201
Suppose 4*n - 48 = -0*v + 4*v, -n - 3*v = 8. Suppose 0 = n*k - 12*k + 15. Which is bigger: k or 0.7?
k
Let x be (33/27 - (-6)/(-27))/1. Let s be -1 + 3/(-114) + x. Do 1 and s have the same value?
False
Let d = -572 + 566. Which is bigger: d or -15?
d
Suppose -2 = 5*k - 12. Suppose -11 + k = -x - 2*t, 3*x - 4*t + 3 = 0. Let w be ((506/(-230))/((-6)/10))/1. Is w greater than x?
True
Let q = -15209/11 - -1399. Which is smaller: q or 17?
q
Let f(v) = -v**2 + 6*v. Let z be f(6). Suppose -35 = -5*p + 10*p - 3*h, h - 21 = 4*p. Do z and p have different values?
True
Suppose 3*r = -2*z - 1 - 12, -28 = 3*z - 4*r. Suppose 2*g - 4*i + 1 + 5 = 0, -30 = -5*g - 5*i. Let q = z - g. Which is bigger: -9 or q?
-9
Let c be 3*2/18 + 12642/(-37170). Which is smaller: 0 or c?
c
Let w(x) = x**2 + x + 1. Let p(u) = -2*u**2 - 2*u + 2. Let i(s) = p(s) + w(s). Let r be i(3). Let g = r - -13. Is g less than or equal to 5?
True
Let z = -0.4195 - -18.0295. Let w = z - -0.39. Let g = -5 - w. Is g greater than 1?
False
Suppose -3*w + 18 = 3*c, -2*c + 4 = w - 1. Let v(t) = -t**3 - 4*t**2 - 4*t - 3. Let a be v(-4). Suppose -k - a = -w. Is k not equal to -5?
True
Suppose -2*u = 2*s + 6, -4*u + s + 18 = -s. Let i = -5 + u. Let k be 940/(-680) - i/2. Which is smaller: k or -1?
-1
Suppose -105*x - 2572 = -101*x. Which is greater: 0 or x?
0
Let c = -737/252 + 26/9. Let v be (0 -