s smaller: w or -13?
w
Let u = 14892 - -2468. Let v be (-3)/6 + 8712/u. Is v less than 1?
True
Let w be -1350 + 112/8 + -25. Is -17682/13 bigger than w?
True
Let c = -3195 - -3194. Which is bigger: c or -95?
c
Let f = 276 + -1186. Let s = -735 - f. Which is bigger: s or 174?
s
Suppose -4*g + 5*m + 324 = -0*m, 0 = -4*g - m + 324. Let u = -32 + 24. Let r be (10/3)/(u/(-192)). Which is bigger: r or g?
g
Let k(l) = 63*l + 204. Let o be k(-3). Let t be 5/o*(-45)/170. Let w = -1083/7 + 155. Are w and t unequal?
True
Suppose 105 = -26*c + 31*c. Suppose 22*z = c*z + 1. Is 6/7 > z?
False
Let u be -3 + -93*7/(-189). Let z = 10 - 4. Let k be z/(-9) - 2/(-3). Is u at most k?
False
Let a(f) = -f - 40 + 83 + 5*f - 40 + 0*f + 3*f**2. Let r be a(-1). Which is smaller: 8 or r?
r
Let k = -49 + 49. Let n = 53 + 61. Which is smaller: k or n?
k
Let c = 653 - 637. Suppose -20*z + 64 = -c*z. Suppose 0 = -2*w + w + 17. Is z less than w?
True
Let g be 510458/274 + -5 + 0/5. Let h = g - 1858. Which is smaller: h or 1?
h
Let q = -298 - -436. Let l = -145 + q. Are -4 and l unequal?
True
Let j be ((-73936)/140)/((-10)/75). Let s = j - 27220/7. Which is bigger: 72 or s?
s
Let m = 246195.23 - 245210. Let t = -981 + m. Let g = -0.23 + t. Is 0.6 at least g?
False
Let o = -1/3698 + -36953/99846. Suppose -3*k = 2*j - 77, -j + 43 = 3*k - 30. Suppose -k*v = -15*v + 8. Which is greater: o or v?
o
Let i be (-6)/(-9) + (-18)/27. Suppose 2*u + 7*k = 3*k, -4*u - k = i. Is u >= 4/91?
False
Suppose 0 = 3*c + 1208 - 5936. Let i = 6255/4 - c. Is i smaller than -11?
True
Let t be 1/(-6)*(13/((-104)/(-16)) + 4). Does t = -15/1849?
False
Let o be (-189)/(-54)*2/14*16. Suppose -4*z - 2*y + 22 = 0, -3*z - 2*z = y - 26. Which is smaller: z or o?
z
Let b(g) = -43*g**2 + 433*g - 31. Let i be b(10). Which is bigger: i or -19/81?
-19/81
Suppose 56 = 4*g + 4*a - 36, 0 = -5*g - 3*a + 109. Let v be (21/(-98))/(12/g). Which is smaller: v or 1?
v
Let f be (20/18)/((-75)/(-36) + -2). Suppose -16*u - 100 + 308 = 0. Do u and f have different values?
True
Let h = 5419 + -5405. Which is smaller: h or 103?
h
Let i be -5*(1 - -1)/(-2). Suppose -2 = -i*n + 68. Let m be -4*1/n + 120/28. Which is bigger: m or 8/3?
m
Let p = -3499.98 - -3500. Is p smaller than -150/7?
False
Let j(c) = -48*c - 1201. Let w be j(-25). Is -3/374 smaller than w?
False
Let h be -1 + (-3 - -1) + -15. Let o be (0 - -3) + -3 + 3. Suppose -5*i - 64 = -o*b + 22, i - 3*b + 10 = 0. Is h smaller than i?
False
Let g be (4/(-10))/((-18)/(-620)). Let h be (38 - 3)*(9 - 329/35). Which is smaller: g or h?
h
Suppose 194*d = 8*d + 8928. Do 17 and d have the same value?
False
Let j(u) = u**3 - 6*u**2 - 4*u - 18. Let f be j(8). Let v = f - 79. Let p be 1/(35/220)*v/(-2). Which is bigger: 2 or p?
p
Let i = -0.2014 + -2.7986. Which is smaller: 59/4 or i?
i
Let d be 0 + (-27)/6*(-147)/36. Is -1/21 less than d?
True
Let p = 27005 + -21684. Which is smaller: p or 5322?
p
Let a = -34 - -21. Let y = a + 19. Suppose -124 = 6*z - 142. Is z not equal to y?
True
Suppose -125*v + 309*v + 62 = 122*v. Are v and -9/482 non-equal?
True
Let l = -109616197 + 3288844943/30. Let n = 69377/6 - l. Let d = n + 1243/3. Do 8 and d have different values?
True
Let y be ((-24)/14)/(16/280). Let w be 80/130*y/8. Let l(z) = -z**2 + z - 1. Let j be l(0). Is j at most w?
False
Let d be ((-304)/(-14))/(14 + (-6500)/590 + -3). Which is greater: d or -1282?
d
Let q = 5311/540 - 59/6. Let g = 38/47159 - 29683531/25465860. Let y = g - q. Which is smaller: y or -1?
y
Let p(v) = v**2 + 24*v + 73. Let h be p(-4). Which is smaller: -163/23 or h?
-163/23
Suppose n + 11 = -m, -5*n = 4*m - 9*m - 5. Let u(l) = -31*l - 6 + 3*l - 7*l**2 - 21*l**2 - 12*l**2 + 35*l**2. Let t be u(m). Is -19 < t?
True
Let t be 668/177 - 8/6. Let i = -10833/4366 + t. Which is greater: i or -1?
i
Let i = -6/83179 - 444508510/914969. Is i less than -486?
False
Let j(u) = u**3 + 7*u**2 + 3*u - 10. Let o be (-7)/(1 - 1 - -1). Let p be j(o). Let w(a) = -1505*a + 19534. Let l be w(13). Is p equal to l?
True
Let h(o) = o**3 - 19*o**2 + 18*o + 11. Let i be h(18). Let w be (17 - (-7 + i))*2/2. Is w < 14?
True
Let p = 3/11251 - -8066943/90008. Is p at least as big as 89?
True
Suppose 2*o - 3 + 5 = 0, -4*o = 3*g + 847. Let a be (0 - -223)*((-345)/20 + 16). Let i = g - a. Is -2 at most i?
False
Let z = -7.946 - -7.876. Which is smaller: z or -595?
-595
Suppose 0 = 13*b - 8*b + 2845. Let z = b + 570. Which is smaller: z or -80?
-80
Let d(f) = -f**3 + 6*f**2 + 3*f + 5. Let k be d(5). Let r be -2*(k/2 - 1). Let m(t) = t**3 + 127*t**2 + 1480*t - 272. Let b be m(-114). Is r less than b?
False
Suppose 5*a + 67 + 28 = 0. Let l = a + 13. Let j(c) = 1734*c - 6944. Let d be j(4). Which is bigger: d or l?
l
Suppose -3*s + 6*s - 3*u = -438, -5*u = -s - 154. Let y = s - -125. Let j be 2/(((-2)/y)/((-40)/(-20))). Which is bigger: j or -0.1?
j
Let p(c) = -56*c - 408. Let l be p(8). Is l < -863?
False
Let f = -129.7 + -11.3. Let a = 506 + -300. Let t = f + a. Which is greater: t or 0.1?
t
Let u = -3.247 - -1.347. Which is bigger: u or 2/5?
2/5
Suppose -3*k = 2 - 8. Let c(m) = -8*m + 17*m - k*m**2 - 7 + 13*m + 20*m. Let b be c(21). Which is greater: b or -4?
-4
Let z = 3690 - 3689. Is 5/1069 > z?
False
Let i be (4*2)/((-4)/48*-8). Suppose -4*u = 2*w + 32, -2*w = -4*u + i + 36. Let t be 4 - w/4*-1. Is t bigger than 32?
False
Let n = 6281 - 4959. Is 1321 > n?
False
Let b(t) = t + 6. Let q be b(-5). Let a be 1/10 - (-90)/100. Let s be ((-3)/a - -4)*(0 - 3). Is q > s?
True
Let x(m) = -m + 11. Let j be x(8). Let i be (-10)/2*(-2 + (-2)/(-2)). Let v be (-11)/((-55)/(-10)) + 2 + i. Which is greater: j or v?
v
Let i(z) = -2*z**2 + z + 3. Suppose 25 = 5*v, -b + 45 = 5*v + 18. Let p be i(b). Let d be 1/p - (-1)/6. Is -1/3 >= d?
False
Let c be -61*(34/(-7) + 54/63). Is 247 != c?
True
Let m be (-15*(-11)/(-825))/((-8)/(-10)). Which is smaller: -2423 or m?
-2423
Let r = 30796 - 23221. Is 7575 equal to r?
True
Let s = -893 - -11718/13. Which is bigger: 7 or s?
s
Let m be 1087/6 - 4/(-11 + 15). Do 180 and m have different values?
True
Let l(w) = -3*w**2 - 3*w - 3. Let j be l(-2). Suppose -10 + 7 = 3*c, 0 = 4*a + c - 839. Let p = -1536/7 + a. Which is greater: j or p?
j
Let a be (-18)/9 + ((-24)/40 - 29/(-15)). Which is bigger: 1.3209 or a?
1.3209
Let s be (2/35)/(2/(-10)). Let k = 0.302 + -0.12. Let a = k - 1.082. Is s at most a?
False
Let m = -1/104299 + 459124205/730093. Is m at most as big as 630?
True
Let a = 27 + -19. Suppose 0 = 3*s - s + 4. Let y be 9*(0 - (1 + s)). Which is smaller: y or a?
a
Let m = -125 - -125. Is m at most as big as -40/43?
False
Suppose -66*m + 64*m + 72 = 0. Let l be (-8 + 32 - -13)*(0 - -1). Which is smaller: l or m?
m
Let i be 584/2628*(-1 + 55)*(-1)/(-4). Let c = 20.957 + 0.043. Is c > i?
True
Let q be (-9)/(-3)*((-15988)/6 + -28). Is q >= -8076?
False
Let p = 9.7 - 9.778. Let b = p + 5.078. Is b at most as big as -26?
False
Let x = 542 - -180. Which is bigger: x or 725?
725
Let t = -164 - -165.95. Let k = -2.09 + t. Which is smaller: -3 or k?
-3
Let w(l) = 24*l + 408. Let m be w(-17). Which is smaller: m or 867?
m
Let s be ((-4)/(-15))/((-15)/4525). Let k = -397/9 - s. Is k less than or equal to 37?
True
Let s(v) = -49*v + 14. Let a be s(3). Let j = 348 + -481. Is a at most j?
True
Let m = 82183 - 101496017/1235. Which is bigger: -1 or m?
m
Let m = -575/282 - -13/6. Suppose 0 = 227*w - 238*w - 11. Is w != m?
True
Let o = 4758.2 + -4758. Does o = 0.973?
False
Suppose -3*u - 4*i + 4 = i, 2*u - 2*i - 24 = 0. Let d = 136 - u. Suppose 2*g - 3*c - 45 = 2, -d = -5*g - 3*c. Which is smaller: g or 24?
24
Let f = 4298443/8 + -538994. Is -1688 less than f?
False
Let m = 2645 + -2645. Which is bigger: m or -2791?
m
Let z = -140574 + 2388237/17. Which is smaller: z or -89?
z
Suppose -2*s - 78 = 3*w, 5*s - 94 = 3*w + 5. Let c be 2*45/10 + -33. Which is smaller: w or c?
w
Let s = -17.39 + 0.39. Let b = -16.2 - s. Let l = 150 + -152. Which is greater: b or l?
b
Suppose 5*z = -5*v + 150, -2*v = -z - 77 + 14. Let q be (-1)/2 - v/(-124). Which is smaller: q or 60?
q
Let r be ((-3)/(15/(-2)))/(-2). Suppose 5*u - 15 = -h - h, -u + 16 = 3*h. Suppose -3*f - 19 = -7*f - 3*l, -h*l + 25 = 0. Which is greater: r or f?
f
Let p = 211/35 - 63/5. Do p and