 20, -5*y - 15 = 5*i. Is y less than or equal to -2/281?
False
Let k be (10 - 44979/4477) + (-10)/(-55). Let g be -1*2/((-6)/3). Are k and g unequal?
True
Let m be (-1 - 2)*(400 - -12). Let j = m + 220007/178. Which is greater: -1 or j?
j
Let t be (456/140 - 3) + 8/56. Let f = -1442 + 79312/55. Which is smaller: t or f?
f
Let a be ((-6)/9)/((-34)/3). Let d = 13/68 + a. Let x = -3.92 - -3.52. Is d at least x?
True
Suppose 0 = -2*m - 21 + 75. Suppose 207*p - 373 = -26*p + 3588. Is m at most p?
False
Suppose -4*a = 3*k - 0 - 8, 3*k + 12 = 0. Suppose -3*o + 323 = -z, a*o + 2*z = -0*o + 542. Suppose -4*c + 234 = -5*j, c + o = -2*j - c. Is j > -49?
False
Let x = 0.659 - -333.341. Let o = 523 - x. Is o smaller than -0.2?
False
Let d = -1.5326 + -4.4674. Is -2.84 at least d?
True
Suppose t + 3287 = 5*k, -4*k - t + 1113 = -1504. Is k equal to 657?
False
Suppose -2*r - 5 = 1, 4*v + 6*r + 1242 = 0. Let n(i) = i**3 + 19*i**2 + 16*i - 1. Let m be n(-19). Do v and m have the same value?
False
Let l = -159 + -33. Let v = -195.6 - l. Is v less than or equal to -2/9?
True
Let d = -0.14167 - -0.28167. Is d not equal to -685?
True
Let v be -39 + ((-28)/(-4) - 4). Let d be (1/v)/(3/4). Suppose -12*a = -20*a + 8. Are d and a unequal?
True
Let q = -26393.173 - -26407. Let a = q - -0.173. Which is smaller: 4 or a?
4
Let g(v) = -3*v**3 - v**2 - 5. Let x be g(-4). Let y(r) = 17*r**2 + 18*r - 34. Let q be y(3). Do q and x have the same value?
False
Let o = 49356 - 8143852/165. Which is bigger: o or 0?
0
Let i be 22/((-6)/(-3))*1. Let n be 103/(-26) - (i + -15). Let v(j) = 2*j**2 - 7*j + 4. Let a be v(3). Is a at least n?
True
Let d = -19970 - -6310575/316. Let s = d + 6/79. Let z = -10 - -5. Is z greater than or equal to s?
False
Let m = -2.0967 + -91.7933. Let i = m - -95. Let h = 2.11 - i. Is 1.6 at most h?
False
Let d be (-28)/49 - (-12)/21. Suppose 0 = 4*r + 2*u + 2462, -3*r - 1839 = -d*r + 3*u. Let a = r - -4356/7. Which is greater: a or 1/4?
a
Let d = -43882 + 39325. Is -4554 at most as big as d?
False
Suppose 2*k + 3*c + 12 = 4*k, -k + 15 = 3*c. Let i = 385215/40024 + 2/5003. Which is bigger: k or i?
i
Suppose 0 = 51*d - 52*d + 17. Let q(j) = -j + 28. Let r be q(0). Let n = d - r. Is -32/3 less than n?
False
Suppose -3*o + 32 = -5*u, 4*o - 61 = 2*u + 5. Suppose 5*n - 22 = 3*n - 2*w, 0 = 4*n - w - o. Let d be 3/((-9)/(-19)) + 1. Which is greater: n or d?
d
Let f = 569 - 564. Suppose 7*g = 2*a + 2*g - 211, -f*g + 83 = a. Which is smaller: 100 or a?
a
Let i be (-63)/14*1264/(-12) + 3. Suppose 881 = -7*k - i. Are k and -194 nonequal?
False
Let m be 10834/(-38) + (-8)/(-76). Let l be 13/156 - (-23947)/(-84). Are m and l equal?
True
Let x = -37 - 68. Suppose 72*b - 76*b - 140 = 0. Let h be (-16)/x - (-10)/b. Which is smaller: h or 1?
h
Suppose -9*k + 18 = -3*k. Let g(d) = 45*d - 9. Let t be g(k). Let n be (5 - 2 - -1)*3/t. Which is smaller: -1 or n?
-1
Let r = 1604 + -1604. Which is smaller: 1/103 or r?
r
Let p = -121 + 42. Let u = 71 + p. Is u greater than or equal to 4/7?
False
Let v be 14 - 13*12/13. Do v and 0.584 have different values?
True
Let n = 14791 + -5916399/400. Is n equal to 0?
False
Let o be 1202201/117 + (8/(-36) - 0). Is o at most 10277?
True
Let p(g) = -3*g**2 - 119*g + 91. Let v be p(-33). Is v greater than 754?
False
Let c = 14094 + -14099. Which is smaller: c or -28/11?
c
Let w = 0.213 + -0.393. Let l = 0.4 + -0.22. Let t = w + l. Is t at least 0.5?
False
Let k be 4/(-16) + (-18)/(-8). Let c(b) be the third derivative of b**5/60 + b**4/8 - 5*b**3/3 - 55*b**2. Let t be c(k). Are 0 and t nonequal?
False
Let s be 3 + 3*(-12)/16. Which is smaller: 0.059 or s?
0.059
Let o be (7*26/5)/((-103)/2060). Which is smaller: -730 or o?
-730
Let x = -5.80649 + -0.19351. Does x = 1326/7?
False
Let j be (9/(18/(-8)))/((-10)/55). Suppose 13*g = j*g - 1728. Is 192 > g?
False
Let z be (2 + 1780/(-895))*-21*3/18. Is z bigger than -1?
True
Let r = -310.5 + 311.5. Let h be (-2)/(-4)*4/80. Which is smaller: h or r?
h
Let u(k) = -3*k - 65. Let c be u(-93). Which is smaller: c or 205?
205
Suppose -11922 + 7739 - 36502 = -103*x. Let l = 217 - -178. Is l less than x?
False
Suppose 1422 - 5202 = 18*n. Let d be (-289)/7 - (-30)/n. Is -40 less than or equal to d?
False
Let h be (-74 + 2)/(50/(-25)). Suppose 0*s - 235 = -5*s. Let a = h - s. Is -12 less than or equal to a?
True
Suppose 5*d = 2*d - 6, 0 = 5*p - 4*d - 8. Is 5/707 at most as big as p?
False
Suppose -4*y - 12 = p - 5*p, -2*y - 5*p - 6 = 0. Let q be y/((-2 + -2)/(-4)) - -4. Let m be (-4 - q)*2/10*-1. Is -10/3 less than or equal to m?
True
Let h = 321 + -322.1. Suppose 4 - 8 = -x. Suppose 5*t - 32 = 3*a, -2*t = 4*a + 4 + x. Which is smaller: h or a?
a
Let d(o) = 6*o**2 - 13*o - 88. Let s be d(-4). Let c = 34 + 75. Let n = c + -49. Is n less than s?
False
Suppose -3*r = 4*s + 16, -12 = -r - r + 3*s. Let w = 13/12 + -755/708. Let v = -116/3363 + w. Which is greater: v or r?
r
Suppose -2*n + 0*n = 58. Let a(x) = -2*x**2 + 14*x - 19. Let i be a(4). Let o be 5 + -43 - (i - 14). Is o smaller than n?
False
Let d be ((-399)/17290)/((39/(-2))/(-3)). Let u = d - -9352/16055. Is 2 at most as big as u?
False
Suppose -5*x + 5*g - 1 - 14 = 0, 4*x - 3*g + 10 = 0. Let b = 33346/219 + 5/73. Let z = -31981/210 + b. Are z and x non-equal?
True
Let g be 4986/(-16)*(20/150 - (-24)/(-5)). Which is smaller: g or 1455?
g
Let i = 7/127 + -54503/1002665. Which is smaller: i or 0?
0
Suppose -5*b + 124 = -0*m - 2*m, -4*b - 4*m = -116. Let o = 29 - b. Let t(z) = z**2 - 4*z + 3. Let x be t(o). Is -1 >= x?
False
Let z be (-215316)/38*1/(-2) + 926/(-8797). Which is smaller: 2829 or z?
2829
Let k = -1136226 + 124984027/110. Let h = -39/5 + 433/55. Let b = h + k. Is b at most as big as -9?
False
Suppose -2*n = -2*w - 8758, 0 = -0*w + 4*w - 5*n + 17519. Which is smaller: -4375 or w?
w
Let x be (-1)/8 + (-275)/(-88). Let u be 8 + (-5 - -1) - x. Which is smaller: 104 or u?
u
Let i = 6 - 15. Let b = -7678/3 + 2448. Let o = b - -112. Do o and i have different values?
True
Let k = 1340475/7 + -192539. Are -1042 and k equal?
False
Let l(n) = 32*n + 128. Let m be l(-4). Are m and -23/398 non-equal?
True
Let f = -4.1087 + -91.9063. Let o = f + 96. Is -2 bigger than o?
False
Suppose -3*l + 27 = 2*p, 2*p = 2*l - 0*p - 18. Suppose l*u - 3*u + 6 = 0. Which is bigger: 77 or u?
77
Let c be (-865247)/762 - 0/((-56)/4). Let o = c + 2271/2. Are 1 and o equal?
False
Let j be (-7)/((-21)/(-18)) - 2. Let g = 45 + -87. Let a = -43 - g. Is j < a?
True
Let k = 6817117 + -347688572/51. Let f = 306 + k. Let m be -2 - ((-4 - -8) + -7). Is m at most f?
False
Let t be 9/(-4)*16/(-6). Let n(g) = -3*g + 4. Let b be n(0). Suppose b*i - t*i + 2 = 0. Is i at most as big as 1?
True
Let l = 14236 + -14236.548. Is l at least as big as -2?
True
Let a = 4.11 - 2.71. Which is greater: a or -7.4?
a
Let q(o) = o**2 - 19*o + 85. Let t be q(11). Suppose -4*w - 4*a = -9 + 21, w - 4*a = -13. Is t at most w?
False
Let i = 2616 + -2618. Let d = -208 - -221.7. Which is greater: i or d?
d
Suppose -65 = 2*n + 11*n. Let h be -5 + (-4 - n)*-7. Which is bigger: -53/4 or h?
h
Let c(w) = 566*w**2 + 31*w - 37. Let t be c(2). Is t at least 2288?
True
Let b = -23 + 26. Suppose -b = 2*l - 7. Let c be 3/l + (-54)/(-12). Is 6 at most c?
True
Let w(l) = l**2 - 23*l + 1. Let c(t) = 2*t. Let s be c(10). Suppose -s = -g + 3. Let k be w(g). Which is bigger: 2/169 or k?
k
Let p be ((-4)/(-6))/(10/(-225)). Suppose 2*j + 90 = -3*j - 4*z, 15 = -3*z. Is p smaller than j?
True
Let b = -1152 + 902.2. Let s = 248 + b. Is s at most 0.2?
True
Let x = 494 + -936. Let w = x + 500.4. Let p = 58 - w. Is p at least as big as 9?
False
Let g be (18632/(-12))/(-1*(-8)/24). Is g greater than -4657?
False
Let a be ((-262)/(-8))/((-23)/(22 - -162)). Is a greater than -262?
False
Suppose -41 = -4*h + 39. Let o be (-5)/h - (-5)/12. Let y = -170 + 170. Does y = o?
False
Suppose 0 = -29*a - 363 + 189. Is -215/31 <= a?
True
Suppose -1 = -m + 5*t, 5*m - 3*t + t = 5. Let r = -10/23 + 1916/4301. Which is smaller: m or r?
r
Suppose -2*c + 50 = -0*c. Let n = -2914 - -2936. Are n and c non-equal?
True
Let i = 184.69 - 185. Let s = i - -1.41. Are -4 and s equal?
False
Let v be 7/(-252)*-27 + 1 + 209578/(-119768). Which is smaller: 1 or v?
v
Supp