. Is s smaller than -20/11?
False
Let w = 646 + -487. Which is smaller: 4 or w?
4
Let m(y) = 69*y + 5. Let f be m(-6). Let r = 9405/23 + f. Let w be ((-2)/13 - (-8)/52)*1. Is r equal to w?
False
Suppose 3*l = -15, 2*l + 33300 = 5*y + 4*l. Let f be 6/(-15) - y/(-130). Let n = f + -51. Which is bigger: 1 or n?
1
Let x = 15 - 28. Let d be x/52 + 71/28. Do 3 and d have the same value?
False
Let f = -820 + 929. Which is bigger: 0.2 or f?
f
Let r = 0.04 - -0.16. Which is bigger: -0.137 or r?
r
Let s = 540 + -539. Let q = -75 - -1873/25. Is s greater than q?
True
Let i = 362 + -322. Which is smaller: i or 193/5?
193/5
Let o be ((-48)/(-40))/((-3)/10). Let u(t) = -2*t + 1. Let z be u(o). Let b be (-33)/z - (-6)/2. Is b less than or equal to 3/2?
True
Let p = -41 - -49. Suppose 7*f = p*f - 4. Is f bigger than 1?
True
Let a = 0.375 - 0.067. Let c = a - 0.008. Is c at most -28?
False
Let d be 197 - -1*(-1 - -2). Let u be 0 - d/(-42)*(2 - 1). Which is greater: u or 4?
u
Let w be (1 + -1)/(17 - 15). Let x be (-1)/(-3 + 4) - w. Which is greater: 1/23 or x?
1/23
Let q = -0.712 - 0.028. Let f = q + 1.74. Which is smaller: -4 or f?
-4
Let z(v) = -12*v + 102. Let r be z(-8). Is 199 at most r?
False
Let s = 155 - 343. Is s != -188?
False
Let x = 67/6 - 2089/186. Which is greater: -4/5 or x?
x
Let u = 0.77 + -0.17. Let v = u + -0.5. Let z = -1 - -2. Is v at most as big as z?
True
Let t be 91/(-3822) - (1 - 6/4). Which is bigger: 11 or t?
11
Let b be 34/85 + 5/(25/(-4232)). Let n be (12/32)/(b/(-8)). Which is smaller: 1 or n?
n
Let i be (-27)/(-18)*((-1083)/1089 - -1). Which is bigger: i or 0.1?
0.1
Suppose 0*g - 176 = -4*g. Let p = g + -44. Is p at most -3?
False
Let a = 76123/105 + -725. Is 0.2 at most a?
False
Let c = 2/5 + -43/70. Suppose 0 = 2*t - 0 - 2. Let m(p) = p - 1. Let f be m(t). Which is smaller: c or f?
c
Let j = 1 + 2. Let i be 8/12*j/2. Is 1 <= i?
True
Let x be 2/7 + (-10)/35. Let i be (8/(-10))/(150/1125) + 6. Are i and x equal?
True
Suppose u + 5 = -4*u. Let s be 61209/(-194103) + 8/14. Let k = s + -2/79. Is u at most as big as k?
True
Suppose 2*a = 5*c + 31, 0 = -0*a + 5*a + 3*c. Let k(t) = 2*t**2 - 14*t + 15. Let m be k(6). Suppose z - m = 2*h, h - 5*z = -33 + 9. Which is smaller: h or a?
h
Suppose 28 = w + 6*w. Let i be 1 + 2 + 0/2. Suppose i*s - 2*s - w = 0. Is 5/2 bigger than s?
False
Let y = 4 - 1. Let m = 1 - y. Let v = -7.26 + 8.26. Is v less than or equal to m?
False
Let q = 2/2117 + 29632/6351. Let x = 67/15 - q. Do x and -2 have the same value?
False
Suppose 4*k + 9 = k, 4*k + 232 = -5*p. Suppose -5*x + 105 = -2*g, -4*x + 51 = -g - 2*x. Is p at most as big as g?
False
Suppose -47*n = -50*n - 6. Let a(o) = 4*o - 6. Let k be a(n). Is -14 bigger than k?
False
Let p(h) = -2*h**2 + 1 - h**2 + 4*h**2 + h. Let z = 3 + -4. Let f be p(z). Is 2/19 greater than or equal to f?
False
Suppose -12*x = -0*x. Is -14/19 != x?
True
Let f = -27/4 - -239/36. Which is bigger: f or -26?
f
Let f = 0.325 + -327.325. Let r = f + 329.07. Let n = -0.07 + r. Which is bigger: 1/3 or n?
n
Let v = 107 + -110. Let r be v + 7 + (-172)/16. Are r and -6 equal?
False
Let r be ((-2)/(-8))/(43/(-516)). Is -29/8 less than r?
True
Let w = -392 + 274. Do w and -117 have the same value?
False
Let s = -2508 + 2506. Let o = -2 + 5. Let f = o - 6. Is f smaller than s?
True
Let o(c) = c**2 + 7*c - 2. Let i be 1/(-1) + (5 - 1). Let r(w) = 3*w**2 + 21*w - 7. Let u(p) = i*r(p) - 8*o(p). Let s be u(-6). Which is bigger: s or -12?
s
Let z(i) = i**3 - 5*i**2 - 2*i + 2. Let p = -18 + 21. Let c be z(p). Let u = c + 27. Is 7 at most u?
False
Let v = 1.6 + -1.98. Let j = 0.03 + 0.25. Let p = j + v. Which is smaller: p or -2/15?
-2/15
Let r = -603/8 + 75. Let l = -25 + 10. Let f be (-18)/l + (-1)/5. Which is smaller: f or r?
r
Suppose -18*l + 11*l + 259 = 0. Which is greater: l or 182/5?
l
Let b = -195 - -191. Let q be 0 + 4 - (0 - 0). Let h be 2/b*q/11. Which is greater: h or 0?
0
Let d = 0.343 + 10.157. Which is greater: d or -0.3?
d
Suppose q = -3*r - 46 + 39, 3*q = -3*r - 3. Do -1/93 and q have the same value?
False
Suppose 6*k + 94 = -20. Let l = 161 + -181. Is l less than or equal to k?
True
Let d = -1964 - -534207/272. Let q = 1645/3536 + d. Is q less than -1?
False
Let n = -46 + 44. Let z be ((-955)/(-315) - 1) + n. Which is bigger: 0 or z?
z
Let t be (-22 - -23)/(1 + (-4)/2). Is t > -1/1964?
False
Let x(z) = z**3 - 6*z**2 + 4*z - 12. Let j be 2 + 9/3*1. Let r be x(j). Let v = -29 - r. Is -13 at least v?
False
Let q = -26/111 - -4/333. Which is bigger: q or 0.099?
0.099
Suppose 8*w = 4*w + 28. Let t be (-2 + -26)*(-2)/w. Which is greater: 10 or t?
10
Let v = -1108 - -1107.82. Let q(k) = k**2 - 2. Let w be q(-2). Suppose -w = f - 1. Does v = f?
False
Let z be ((-40)/6)/(-1*6/27). Suppose r = -k + 5, 2*r - 6*k - z = -3*k. Is 25/3 at most r?
True
Let c = -2/3009 - 157/30090. Let d be ((-36)/8)/9*-2. Is d >= c?
True
Suppose u + 2 = 26. Let y = -113 + 136. Which is greater: y or u?
u
Let n = -80 + 50. Is -32 < n?
True
Let w = -10 - -9.2. Let j = 17.8 + w. Let g = j + -17.2. Which is smaller: g or 0.07?
g
Let o be (6/(-9))/(6/(-27)) - 0. Suppose 4*z + 24 = -2*y + 2, o*y = 4*z + 47. Which is smaller: -5 or z?
z
Let h = 143 - 207. Is h greater than or equal to 0.2?
False
Let z(g) = g**2 - 16 + 2*g - 6*g + 15. Let h be z(5). Let c be (7 + -41)*2/(-16). Are c and h non-equal?
True
Suppose -6760 = l - 5*l. Let m = 207872/123 - l. Which is smaller: -1 or m?
-1
Let f(h) = -3*h - 1. Let y be f(1). Let g be (-6)/21 - y/14. Suppose -5*k = -g*k. Is k smaller than 1?
True
Let d(k) = -k - 2. Let i be d(-4). Let a(b) = -3*b**2 - b + 1 - b**3 + 0*b + b. Let g be a(-2). Is i >= g?
True
Let u be (-196)/(-147)*-3*19/2. Let k = u + 46. Let a be -6*(-2)/4*3. Do a and k have the same value?
False
Let s be -2*(4 + (-465)/10). Which is smaller: 84 or s?
84
Suppose 30*w = 26*w + 4. Which is bigger: -1/275 or w?
w
Let s be (-936)/16*(-10)/(-3). Is -195 greater than or equal to s?
True
Let w = 82 - 77. Suppose -l + w*l = -64. Is l greater than or equal to -16?
True
Suppose -6*q - 13*q = 19. Let o = -339354/169 + 2008. Which is smaller: q or o?
q
Suppose -4 - 11 = -g. Suppose 2*w - 9 - g = 0. Suppose -2*d - 2*q - w = 0, 24 = -2*d + q - 0*q. Is -10 > d?
False
Let b = -36/17 - -2. Let i(l) = 2*l - 12. Let v be i(6). Which is greater: v or b?
v
Let n = 0.32 - -13.68. Let x = 15.2 - n. Let i be 2/(-6)*594/(-693). Is x smaller than i?
False
Let l(j) = -j**3 - 7*j**2 + 8*j + 2. Let m be l(-8). Let p = m - -4. Is 9/2 less than p?
True
Let u be 3/6 - (-17)/(-2). Let n = -5 - u. Are 2 and n unequal?
True
Let n(s) = 31*s + 11. Let i be n(3). Let l be (1/2)/((-117)/i). Let b be (-2 + 4)*2/(-4). Is l at least b?
True
Let q be (-38)/(-16) - 12/32. Suppose 0 = 4*t - q + 2. Which is greater: t or -4?
t
Let f = 1303 - 1244. Which is smaller: 408/7 or f?
408/7
Let k = -3105/4961 + 26/41. Which is smaller: 0 or k?
0
Suppose -2*y = -5*h + 22, -2*h + 0*y = y - 16. Suppose 2*i = h*i - 5*c, 0 = 3*i + 3*c. Let s = -8 - -5. Is s greater than i?
False
Suppose 0 = h - 2*r - 20, -6*r - 16 = -2*r. Suppose 2 + 82 = -h*k. Which is smaller: -51/7 or k?
-51/7
Let x = 340 + -48619/143. Let r = x + -295/1287. Which is smaller: -1 or r?
-1
Suppose 0 = -2*h - 5*i - 20, -h - 29*i - 20 = -24*i. Let y = 4 + -2. Is h < y?
True
Suppose 0 = 4*r + y + 31, 5*r + 0*y - 3*y = -43. Let s be 28/(-66) + r/(-6). Which is greater: s or 0?
s
Let s = 1.3488 + -1.0788. Let i = 1 + -0.8. Is s smaller than i?
False
Let p(i) = 2*i + 15. Let g be p(-7). Which is greater: g or -6/91?
g
Let b be (-2)/2*(-6 - 27 - -7). Is 23 less than b?
True
Let i be (-1716)/65*(-15)/21. Is i > 20?
False
Let g = 0.8 + -0.6. Let k = g - -2.4. Let f = k - 1.6. Are f and -0.1 unequal?
True
Let b(m) = 3*m**3 - 4*m**3 + 6*m**2 - 5 + 5 - 5*m. Let n be b(4). Is 12 smaller than n?
False
Suppose 7*x = -2*o + 2*x - 18, 3*o + 5*x + 17 = 0. Let c be o + (12/(-4) - -4). Is 3 less than or equal to c?
False
Let d = -2 + 20. Let s = d - 28. Let w = -2 - s. Is 8 < w?
False
Let c = -82 + 102. Which is smaller: c or 4/3?
4/3
Let d be 14 - 8 - 2*3. Is 3/23 smaller than d?
False
Suppose 0 = -4*r + 8, 5*c + 20 + 11 = -2*r. Which is greater: -2 or c?
-2
Let t be (567/12)/9 - 15/20. Let p = 11 - 6. Which is sma