*s - 11893 + 1229 = s. Which is smaller: s or 0.28?
0.28
Let y be 4/34 + ((-15)/(-17) - -1). Suppose -4*w - y*f = -256, -w + 2*w = 3*f + 57. Is w at least 0.1?
True
Let z = -272.22 + -5521.78. Which is bigger: -2/13 or z?
-2/13
Let m(s) = -s**2 + 3*s + 1. Let x be m(0). Let t be (-369)/18*(-3 + x - -4). Which is smaller: -247/6 or t?
-247/6
Suppose 3*a = -5*q - 1324, 4*q = -3*a - 430 - 625. Which is smaller: -278 or q?
-278
Let i = -86 + 137. Let v be 122/i + (-1)/2*6. Let w = v - 1/17. Which is smaller: w or 4?
w
Suppose -51 + 11 = -r. Suppose -d + 4*p = -52, 5*p + 83 = 2*d + 4*p. Do r and d have the same value?
True
Let h = 14/393 - 4244/97071. Suppose 0 = -29*x - 26 - 3. Is h <= x?
False
Let t(c) = -6*c**2 - 2*c + 1. Let g be t(1). Let q = -388 + 344. Let i be 1 + -3 - q/(-11). Is i bigger than g?
True
Let m = -9.07 + -4.93. Let g = 4.8 + 14.2. Let i = m + g. Is -5 equal to i?
False
Let u(t) = t**2 + 7*t - 6. Let g be u(-8). Let v = -3 + g. Let f = -2.02 + 1.52. Do v and f have the same value?
False
Let j = -0.0296 - -0.0048. Let w = -0.1248 - j. Which is smaller: w or 22?
w
Let r be (-9)/(9/(-2)) - (-160)/(-78). Suppose -4*p + 102 = -3*k, -k + 85 = -3*k - 3*p. Let i = -39 - k. Do r and i have the same value?
False
Let t = 0 + 0.1. Let l = 71.893 + -64.893. Which is smaller: t or l?
t
Let s be (1 + -3)*((-450)/60 - -8). Are 2/4167 and s equal?
False
Let q = 852/78589 + -4/11227. Which is smaller: -1 or q?
-1
Let s be (-68847)/(-159) - (-2 + 19). Which is greater: 376 or s?
s
Let s = -16552840/184041431 - -2/394093. Is s greater than or equal to -1?
True
Let n be (-1 + (1 - -2))/2. Let l be 2/1 - (n + -4). Let b be (-134)/(-570) - 1/l. Is b equal to -1?
False
Suppose 0 = 110*o - 111*o + 48. Suppose -o*t = -50*t + 6. Let k be t + (-8 - (-6 - -2)) + -9. Which is bigger: -11 or k?
k
Let o be (-8)/4 + 126/3. Suppose -o = -3*g - 10. Let h be 0 + g/(-3) + 1. Is -1 less than or equal to h?
False
Let x = -0.101 + 0.164. Let t = -47.063 + x. Let m = t + 47. Which is greater: m or 18?
18
Let g be 52548/(-1057)*(-35)/38. Are 47 and g nonequal?
True
Let n be (5 - 9 - (-494)/4)*-4. Let t be (-13)/52 - (-2 - n/136). Is t less than -3?
False
Suppose -x = 1 + 32. Suppose 0 = -20*n + 28*n + 8. Let r be 5/5*0 + n*33. Is x > r?
False
Let q be ((-3)/(-2))/(20/8 + -1). Let i = q - -4. Suppose 0 = -u - i*g - 11, -u + 1 = -3*g + 2*g. Is -1 greater than u?
False
Suppose -2*q + q + 8 = 0. Suppose 7*c - 48 = q. Suppose -4*k = -56 + 36. Which is bigger: c or k?
c
Let l be (-15176)/756 - 4/(-54). Suppose 45 = 4*x + x. Let c = x - 30. Which is bigger: c or l?
l
Let q = 6235 + -5706. Is 529 less than q?
False
Let r be (-731)/(-53295) + (-4)/30. Let k = r - 167025/1463. Let x = k + 114. Is 2.4 greater than x?
True
Let o = 14700 + -1278836/87. Let m be 0 + -1 - 31/(-29). Let v = m - o. Which is greater: v or 0?
0
Suppose 0 = 2*p + 3*u - 11850, -4*u + 5905 = p - 5*u. Which is greater: 0.2 or p?
p
Let x = -185 - -361. Let t = x + -176.06. Let d = 0.1 - -0.9. Which is smaller: t or d?
t
Let c be (5 - (-46)/(-6))*(-15)/(-2). Let t(j) = -4*j**2 - 81*j - 18. Let l be t(c). Which is smaller: l or 1.15?
1.15
Let d = 25 + -26. Let p = 130 + -82.5. Let z = -52 + p. Which is smaller: z or d?
z
Let k = -150 + 8. Let q be 14/70 - k/(-510). Which is smaller: 1 or q?
q
Suppose -235*s = -234*s - 5*q + 57, -3*q = s - 15. Let i be (2/2)/(-1 - 1). Is s less than i?
True
Let y = -39024871856/469 - -83207378. Let l = 1304 + y. Which is smaller: l or -1?
-1
Let v = -1.97 + -0.03. Let x = 472.9944 + 0.0056. Let m = -499 + x. Is m less than v?
True
Let b = 1376 - 23390/17. Which is greater: -624 or b?
b
Suppose -2*f - 45 = -7*f. Let p(n) = n**3 - 8*n**2 - 10*n + 13. Let l be p(f). Suppose l*s - 4*g + 4 + 20 = 0, -s + 3*g - 16 = 0. Is -7/10 smaller than s?
False
Let s = 5463.1 + -5128. Let x = -335 + s. Is x > 72?
False
Let f = 167 - 161.5. Let d = 7.5 - f. Which is smaller: -2/155 or d?
-2/155
Let t = 68 - 62. Suppose 0 = 2*w + 2*m, 0 = 4*w + t*m - m - 5. Let r be 7*(1 - 2) + -1. Which is greater: r or w?
w
Suppose 0 = -65*x + 70*x - 25. Suppose -x*h + 5 = -50. Which is smaller: h or 5?
5
Let c = 13.88 - 16.628. Let d = -0.252 + c. Which is bigger: d or 2/5?
2/5
Let h be (-169)/(-13)*(-12 - -5). Suppose -2*x + 0*x - 192 = 0. Let o = x - h. Is -7 less than o?
True
Suppose 0 = 4*x - 0*x - 16. Let o = -22878 - -22875. Which is smaller: x or o?
o
Let l(y) = 275*y - 200. Let z be l(1). Let h(v) = 4*v**2 + 5*v - 1. Let a be h(-5). Is z at least as big as a?
True
Suppose -4*s = -755*i + 759*i + 28, -2*i = 14. Which is greater: s or 6/125?
6/125
Let t(g) = -g**2 + 4*g + 33. Let p be t(8). Let y be 1*(2/20)/(p/(-22)). Suppose -3*b = -3*z - 0*b - 12, 0 = -z + 4*b - 7. Is y bigger than z?
True
Let b be 5 + (-51)/12 + 5762/8. Let o = -3657/5 + b. Is o < -11?
False
Suppose -70 = -5*f - 0*f. Let g be 4/f - 4785/(-84). Let v = g + -57. Which is greater: v or 12?
12
Let f(o) = o**2 + 87*o + 253. Let c be f(-3). Are 11/216 and c unequal?
True
Suppose a + c = -5, 0*c = 3*a + 2*c + 15. Let z be -4 + ((-40)/a - 3). Let d be -2 - (-2 - 3/(-35)). Is d greater than z?
False
Let s be ((-4)/(16/26))/(8/1204). Let k = -778671/796 - s. Do 0 and k have the same value?
False
Let p be (-63)/9 - (-6269)/18801*21. Which is smaller: p or 0?
0
Let b = -9 - -13. Let o = 461136 - 461108. Is b equal to o?
False
Let y(d) = 123*d - 42. Let j(u) = 2. Let i(n) = 9*j(n) + y(n). Let v be i(-2). Which is bigger: -269 or v?
-269
Suppose 7*p - p + 2792 = 5*y, 0 = 5*y - p - 2757. Are y and 1646/3 equal?
False
Let r be (-17622)/(-56) + 8/28. Let n = r - 315. Is n > 1?
False
Let y = 4488.51 - 4489. Is 18 at most as big as y?
False
Suppose -8*a = 15*a - 69. Suppose -z - 13 = -3*h + 4, a*h - 2 = -2*z. Which is smaller: h or 1?
1
Let c(g) = -5*g**2 - 120*g + 470. Let d be c(-39). Which is smaller: d or -2457?
-2457
Let m = 5238 + -5307. Is -69 smaller than m?
False
Suppose 55*h - 56 + 383 = -718. Which is bigger: -44 or h?
h
Let y = -31535 - -346367/11. Which is smaller: y or -46?
y
Let c be ((-525)/(-2))/(-5)*34/17. Let k be ((-7)/(c/160))/((-5)/30). Which is smaller: -63 or k?
k
Let g(u) = -u**3 + 12*u**2 + 11*u + 35. Let k be g(13). Let w be k/21 + (2 - (-120)/(-35)). Let s be (-18 + 0)/((-26)/91). Is s less than or equal to w?
False
Let r be 3971/(-4693) - ((-4)/(-26) - 0). Which is smaller: 16/109 or r?
r
Let w = -1591276081/138571958 - -7/271178. Let t = -69/73 + w. Which is bigger: -13 or t?
t
Suppose 7*x = -3*x. Let j be (-2 - -1 - x) + 1 + -3. Let v = 7/3 + j. Is 6 smaller than v?
False
Let b = 6068 + -11339. Let i = b + 1101641/209. Which is bigger: -2/3 or i?
i
Let l = 2.8 - -174.2. Let a = l - 148. Is a smaller than 0.1?
False
Let v be (-216)/32 + 7 - (-20)/(-80). Which is smaller: v or -36/1075?
-36/1075
Let w = -0.2 + 0.2. Let i = 12082.876 + -12083. Which is smaller: w or i?
i
Let l be 0 + -563 + (12/3 - 9). Let g be -1 + (l/7)/8. Is g at least as big as -11?
False
Let l = 841/11 + -2534/33. Let g = 0.048 - 2.638. Let p = 2.4 + g. Which is smaller: p or l?
l
Suppose 9 = -2*d + 2*w + 35, -41 = -3*d + w. Let b(x) = -x**3 + 5*x**2 - 5*x + 12. Let a be b(3). Let z = d - a. Is -8 at most z?
True
Let g be ((-2)/(-4))/(7461/5010) + -1. Let a = 2/829 - g. Which is bigger: a or -33?
a
Let q = 458 - 11905/26. Which is bigger: -142 or q?
q
Let v = 195.11 - -51.89. Which is bigger: v or 1/4?
v
Let t = -19596878/9375 - -6271/3. Which is smaller: 1 or t?
t
Let x = 4743/4 + -716157/604. Let p = 1481/19781 - x. Which is smaller: 0 or p?
0
Let q = 827 - 502. Let h = -1402/1941 + 21497659/65994. Let b = q - h. Which is smaller: 1 or b?
b
Let d = -116559/4 + 29435. Is d at most -3?
False
Suppose 303 = 215*a + 88. Which is smaller: a or 0.4598?
0.4598
Let x be (4/3 - 0)*90/6240. Which is bigger: x or 0?
x
Suppose 61 = -7*l - 30. Is -6 < l?
False
Suppose -50 = 95*t - 90*t. Let g be ((-2)/(-5))/((-2)/t). Suppose -g*r - 48 - 46 = 0. Which is smaller: -46 or r?
r
Suppose 0*f - 98 = 3*f - d, 3*d + 154 = -5*f. Let p be (-4)/f*0 + 7. Which is smaller: p or -6/5?
-6/5
Suppose n + 13 = -8. Suppose -68*i + 4293 = 485. Let s = i + n. Is 34 > s?
False
Suppose 4*h - 4*c = 28, 0 = 4*h + 5*c - 1841 + 1867. Is 9/1259 greater than h?
False
Suppose 0 = 5*v - 2*h + 