t i be 24/9*3/2. Suppose 2*s - i*s - 3*z + 3 = 0, -4*z + 11 = 5*s. Suppose 6*n - 5 = n. Which is smaller: n or s?
n
Suppose 0 = -5*a - 3*n - 1532, -4*n - 140 + 758 = -2*a. Let k = 641/2 + a. Which is smaller: k or 15?
k
Let y(j) = -6 + 3 + 4 - j. Let x be y(2). Let m be 3/(-135)*-2 - 0/15. Is x at most as big as m?
True
Suppose -9 = -2*z - x - 0, -3*x = -4*z + 13. Suppose 5*a + 4 + 2 = -2*c, 2*a + z = 0. Which is smaller: -1 or c?
-1
Let m = 17344/249 + -209/3. Which is smaller: 1 or m?
m
Let c = 1.855 - -1.145. Let t = 8 - 6. Are t and c equal?
False
Let s = 5/857 + 158530/2571. Let z = s - 61. Is z at most as big as 0.08?
False
Suppose r = -2*v - 1, -5*r + 7 - 22 = 0. Is 3/190 <= v?
True
Let a = 153 + -155. Which is smaller: -7/13 or a?
a
Suppose -4 = 2*w + x - 37, 15 = 2*w - 5*x. Let b be ((-8)/(-12))/(2/48). Which is greater: b or w?
b
Suppose 1520*h = 1521*h - 2. Which is smaller: -212 or h?
-212
Suppose 0 = 5*a - 6 - 4. Let l = 214 - 212. Let n = l - a. Is -3/13 not equal to n?
True
Let l = 4781/1573826 - 3/1394. Which is smaller: -1 or l?
-1
Let o = 0.5 - 12. Let a = -12 - o. Let j = 0.5 + a. Is j less than or equal to 1/12?
True
Let l = 3.9 - 3.3. Let c = 0.59 - l. Do c and 2 have the same value?
False
Let l = -165 - -130. Is l at least 1/3?
False
Let b = -8.03 - -8. Let w = b + -0.17. Let o = -30 - -24. Is w greater than or equal to o?
True
Suppose -3*f + 18 = 2*y, 0*y = 2*y. Let z be 2/f - 40/30. Which is bigger: z or -3/2?
z
Let a = 108/725 - -1009601/2175. Does a = 465?
False
Let t = -56 - -55.67. Let l = t + 0.33. Let u = -4 - -3. Is l < u?
False
Let p(l) = 3*l. Let b be p(2). Suppose b*v = 5*v + 2. Which is smaller: 2/51 or v?
2/51
Let u(q) = q**3 - 14*q**2 + q + 54. Let y be u(12). Which is greater: y or -216?
-216
Let d = -1.05 - -2.06. Let k = d - 0.01. Are 28 and k non-equal?
True
Let p be (-1681)/(-205) + 1 + (-12)/10. Suppose 2*f - 17 + 1 = -4*t, -4*f - 3*t = -32. Let q = p - f. Which is smaller: 4/13 or q?
q
Let a = -0.03 + 0.23. Let b = -247.1 + 237. Let j = 11 + b. Is a < j?
True
Let b(i) = -i**2 - 31*i - 455. Let a be b(-15). Is a equal to -213?
False
Suppose 0 = 19*s - 16*s - 99. Which is bigger: s or 32?
s
Let y be 21 + -2*(1 - 0). Let k = -29 + y. Let h(f) = -f - 9. Let v be h(0). Which is smaller: v or k?
k
Let t be (1*2)/((-9)/297*6). Is -13 bigger than t?
False
Let z be ((-6)/12 - -4)*72/14. Is 17 at least as big as z?
False
Let r be 1 + 1*(-4)/(-2). Suppose -4*x + 4 = 0, -r*u - 4*x + 11 = x. Is u equal to 0?
False
Let l = 0.113 + -47.113. Let r = l + 81. Is -2 greater than or equal to r?
False
Let u = -789 - -790. Which is smaller: u or 5/492?
5/492
Let f(h) = h**2 - 4*h - 1. Suppose 8*c - 12*c = 24. Let d be (48/c)/(0 + -2). Let k be f(d). Which is smaller: -2 or k?
-2
Let y(q) = q**2 + 10*q + 18. Let h be y(-8). Suppose k + h*k = 12. Which is smaller: k or 2?
2
Let k = 43931/9889 + -129/29. Which is smaller: 0 or k?
k
Let j = 65.06 - 65. Is j bigger than 1?
False
Suppose -14*g + 7*g + 14 = 0. Let m(c) = c**3 - 3*c**2 + 5*c - 5. Let w be m(g). Is w < 3/17?
False
Suppose -3*p = -s + 5, 0 = p - 6*p - 2*s - 1. Let v be (3 + (-2 - p))*(-24)/1704. Is v greater than -0.3?
True
Suppose -3*n + 0*n + s - 34 = 0, -s + 4 = 0. Is n >= -6?
False
Let a be 3/(399/4)*(-9)/(-72)*-4. Let q(s) = s**2 + 4*s - 6. Let n be q(-5). Do n and a have the same value?
False
Let r(y) = -7*y - 13. Let a be r(6). Is a less than -56?
False
Let f = 19.1 + -18.1. Which is bigger: -195 or f?
f
Let p be (30 + -31)*(35 + -2 + 1). Which is bigger: -2 or p?
-2
Let m = 23093/220 + -419/4. Is m greater than or equal to 1?
False
Suppose h = 45*z - 50*z - 38, 0 = -3*h - z - 44. Let q be (-4 + 1)*6/27. Which is smaller: q or h?
h
Let u be ((-4)/(-6))/((-22)/6). Let q(l) = 26*l**2 + 416*l - 1. Let a be q(-16). Which is smaller: u or a?
a
Let m = -1 - -68. Let j be (-135)/(-2) + (5 - (-72)/(-16)). Which is smaller: m or j?
m
Suppose -21*d = -24*d - 24. Is d greater than or equal to 1?
False
Let w = 29.5 + -38. Let v = 7.74 + w. Is v <= 1/4?
True
Let k(g) = -3*g**2 - 20*g + 16. Let q be k(-9). Which is smaller: q or -43?
q
Suppose -16*j + 11*j = 3705. Let a be j/(-143) - 2/11. Suppose -1 = p + 2*h + 1, a*p - 2*h - 2 = 0. Which is greater: p or -5/7?
p
Suppose -5*j - 8 = -33. Suppose b - 2 = 3*m + 3*b, -5*b = j. Is -3 bigger than m?
False
Let c = 17 - 5. Is c != 11?
True
Let j be (2/4)/((-87)/6). Let c(y) = y**3 - y**2 - y - 1. Let n be c(0). Which is smaller: j or n?
n
Suppose -2*a + 2 = -z, 5*z + 0*a = 5*a - 10. Let q = 2 + 0. Let o be -3*(q - 5)/(-15). Which is greater: z or o?
o
Suppose 3*n = 4*s - 9, s = 3*s - 4*n - 12. Suppose s = -2*o + 18. Let g be ((-14)/(-49))/(o/(-14)). Which is smaller: g or -2?
-2
Let n be -6 + 6 - (-33 + 1). Let s = n + -33. Let f = 613 + -41069/67. Is s greater than f?
False
Let l = -11133/7 - -1591. Which is greater: -1.1 or l?
l
Let v = 801/17 - 47. Are -27/10 and v equal?
False
Let m(x) = -12*x + 6. Let k be m(-6). Let l = 85 - k. Are 5 and l non-equal?
True
Let q be (1/3)/(14/(-96)). Suppose -5*p = -2*k + 16, -2*k + 5*p - 4*p = 0. Is k at most as big as q?
False
Let w be (72/(-15))/(6/(-555)). Is w at most 444?
True
Suppose q - 11 = 4*r, -5*q + 123*r - 122*r = -55. Suppose -4*m - 4*p + 69 = -9*p, -2*m = -4*p - 42. Do m and q have the same value?
True
Let q(n) = -7*n**2 + 15*n - 14*n - 5 + 7. Let d be q(2). Let s be (-3)/d*(-4)/2. Are 3 and s equal?
False
Let r be (-73)/438 + (-10)/84. Is 333 less than r?
False
Let a = 11277 - 11223.895. Let m = a - 0.105. Are 1/2 and m unequal?
True
Suppose 0 = -f + 51 - 5. Suppose -90 = 5*n - 5*a, -f = 5*n - 3*a + 54. Is n equal to -23?
True
Let p = 32 + -52. Let c(x) = 5 - 8 - 5*x + 5 + 7. Let n be c(6). Which is smaller: n or p?
n
Let x(g) = 2*g - 3*g + 0 + 0 + 1. Let b be x(0). Let i be 2 + (-56)/(-18) + -1 + -4. Which is greater: i or b?
b
Let q = 642 - 635. Which is smaller: q or -11?
-11
Let t be 138/24 - 5 - 1/(-4). Is 9/49 at least as big as t?
False
Let l(n) = -n**3 + n**2 + 6. Let j be l(0). Let q be 9 + -7 + (-14)/j. Let w = 121 - 122. Which is smaller: q or w?
w
Suppose 9*h - 3087 = 2*h. Let j be ((-3)/h)/(6/(-54)). Are -1 and j unequal?
True
Suppose -3*b - 3*n = 2*b - 56, -5*n + 10 = 0. Suppose b = -p - 0*p + 5*z, 3*z - 6 = 4*p. Let h = 2781/4 - 695. Which is smaller: h or p?
p
Let b(h) = -20*h**2 - 1. Let y be b(-1). Is y >= -24?
True
Let p = -3.26 + -135.74. Let y = -139.1 - p. Let q be ((-14)/(-3))/((-3)/(-9)). Which is greater: q or y?
q
Let i = 847/2523 + -2/841. Is i greater than or equal to -4/307?
True
Let k = -37783/6126 + 1/1021. Let r = k - -11/2. Let m = -0.9 - 0.1. Which is bigger: m or r?
r
Let o = -60/733 + -23954/47645. Let s = o + 36/65. Which is smaller: s or 1?
s
Suppose 2*f = -0*f. Let o = -525 - -526. Are f and o equal?
False
Let x(d) = d**2 - 4*d - 1. Let g = -11 + -5. Let f = -12 - g. Let r be x(f). Is 2/23 at most r?
False
Let x(k) = k + 30. Let t be x(20). Let u be (-4)/((-40)/(-6)) - (-30)/t. Is -1.7 != u?
True
Let b = -6 + 9. Let o = -29 + 27. Let f = o + b. Are -4 and f equal?
False
Suppose -22 = 7*p - 29. Let j be -2 + (-96)/(-3) + 3. Let z be 1/j*(-5 - -2). Which is smaller: p or z?
z
Let r = 537/17 - 37957/1207. Do -1 and r have the same value?
False
Let p(u) = -u**2 - 38*u - 346. Let k be p(-15). Suppose 2*h + 16 = 2*s + 4*h, 3*s - 2*h = 4. Let f be (1 - -2)/(42/s). Is k <= f?
True
Suppose -14*z = -3273 - 4329. Which is greater: 542 or z?
z
Let r = -20 + 11. Let q = r - -9.022. Let a = q + 2.078. Which is bigger: a or -1?
a
Let u = 2.63 + -1.33. Let d = u - 1.6. Is d equal to -2/5?
False
Let d = 5.735 + -0.735. Are d and 5/4 unequal?
True
Suppose -257 = -11*y + 293. Which is bigger: 45 or y?
y
Suppose 0 = -18*k + 13*k + 175. Suppose 40*l - 75 = k*l. Is l > 41/3?
True
Let p = -53 + 50.1. Let y = -3.1 - -0.1. Let r = y - p. Are 9 and r equal?
False
Let k be ((-1076)/(-10))/(-1) + (-1002)/(-1670). Are -106 and k equal?
False
Let c = -2695 - -2365. Is c >= 0.1?
False
Let i = -2.4 + 3.4. Let n = 21 + -19.2. Are i and n nonequal?
True
Suppose -162 = -422*f + 417*f - t, 5*f - 5*t = 180. Which is greater: f or 2?
f
Let a = 117 + -116.56. Let i = -0.56 - a. Is -1.1 equal to i?
False
Let k = -96 - -389/4. Suppose -f - 4 = 5*l - 10, 0 = 2*f - 2*l. Is f