 Which is bigger: 0 or s?
0
Let k be (3 - 0)*(3 + -2). Suppose 5*u + d + k*d + 47 = 0, 2*d = -u - 7. Let a = 6 + u. Is -6 <= a?
True
Let u = 11 - 10.9. Let m = 24 - 24. Which is bigger: u or m?
u
Let p = 249.7 + -250. Let b be 10/(-14)*6/15. Is p bigger than b?
False
Let i be 3/(-45) - (-2)/5. Let g be 3 - 1/(-4)*0. Suppose 2*v - 2*z = -10, -g*z + 14 + 1 = 0. Are i and v nonequal?
True
Let t = 5.5 + -0.5. Let w = -38 - -25. Let v = -11 - w. Which is bigger: t or v?
t
Let k(i) = 3*i**2 - 14*i - 2. Let n be (10/(-4))/(5/10 - 1). Let j be k(n). Which is smaller: j or 1/3?
1/3
Let s be (4/(-24)*-2)/((-297)/(-1749)). Is 1 greater than or equal to s?
False
Let p be -186 - 5/((-45)/27). Is p at least -180?
False
Suppose 4*h + 41 = 2*h - 5*g, 3*h + 5*g = -74. Let t = h + 20. Which is bigger: 1 or t?
1
Let y(w) = -14*w - 5*w**3 + 18 + 16*w**2 - 5*w**2 + 2*w**2 + 4*w**3. Let i be ((12/(-3))/2 - 1) + 15. Let g be y(i). Is -5 smaller than g?
False
Let s = 34247/225 + -761/5. Which is greater: s or 1?
1
Let i = 116.3 + -32.2. Let y = i + -84. Which is smaller: y or -0.049?
-0.049
Suppose -3*u + 4 = 5*j - 0, -2*j + 10 = 4*u. Let l be ((-4)/8)/(j/8). Let y = l + -7/2. Is y at least as big as 1?
False
Let s = -753 - -760. Is -21 != s?
True
Let b be (-134)/(-4) + 6/12. Let x = 27 - b. Let q(h) = -3*h + 3. Let t be q(4). Do x and t have the same value?
False
Let q be 4/8*12/3. Suppose -q*m - 2*m + 4 = 0. Is 2/27 < m?
True
Suppose 0 = -2*s + 187 - 185. Which is bigger: s or 1/186?
s
Suppose 0 = d + 3*h - 5, 20*h = 5*d + 24*h - 36. Is d not equal to 137/17?
True
Suppose 0 = -26*i - 4 + 30. Let a(t) = 8*t**2 - 4*t + 1. Let s be a(-4). Let u = s - 1593/11. Is i less than u?
False
Let m = 12 + -10. Suppose m*f + 2*x + 156 = 0, f - 2*x + 88 = 13. Let p = 615/8 + f. Which is greater: p or 0.2?
0.2
Suppose -13*n + 18*n = -5. Let h = 0.414 - 0.024. Do h and n have the same value?
False
Suppose -1 + 0 = o. Let k = 13 - 15. Let t be (-13)/(-11) - (-2)/k. Is o bigger than t?
False
Let j = 321 - 320. Which is smaller: 1/21 or j?
1/21
Let w = -623/9417 - -5/129. Which is smaller: 0 or w?
w
Suppose -19*k - 1647 = -10*k. Is -184 less than k?
True
Let k(n) = n**3 - 5*n**2 - 10*n + 10. Let b be k(5). Do b and -40 have the same value?
True
Let v = 566/7 + -81. Suppose -4*o + 3*m = -25, -m = o - 1 - 0. Suppose 0*r - o*n = -3*r + 19, 4*r - 2*n - 12 = 0. Which is smaller: r or v?
v
Let d = 2.9 + 0.1. Let w = d + -3.3. Let i = w + -1.7. Which is smaller: i or -0.1?
i
Let y be 2 + (24/(-14) - 20/70). Which is greater: 1/437 or y?
1/437
Let v be -90*(-1 - (-4)/8). Let n = 677/15 - v. Is 0 bigger than n?
False
Let m = 914 + -970. Is m smaller than 1/2?
True
Let z = -289.96 - -290. Let a = -0.11 + 5.11. Which is bigger: a or z?
a
Let c(w) = 2*w + 5 + 3*w - 7*w. Let n be c(3). Is 2 at least as big as n?
True
Let r = 104.99 + -105. Let o be (4/(-16))/(-3 - -2). Are r and o equal?
False
Suppose 3*w - w = -170. Let y = w + 45. Let h be 144/y - (-2)/(-5). Is h smaller than -7?
False
Suppose 0 = 6*p - 21*p + 15. Is -1/24 > p?
False
Let d = 0.07 - 4.07. Let n = -6 - d. Let a be (-2 + 3)/1*-3. Which is smaller: n or a?
a
Let u = -12 - -14. Let z(h) = 0*h**2 + 1 - h**u + 4 + 8*h + 8. Let m be z(9). Is m < 5?
True
Let j(w) = 2*w**3 + 28*w**2 + 24*w - 44. Let m be j(-13). Which is smaller: -19 or m?
-19
Let h be (-4)/(-1)*66/24. Let m = -4 + 3.6. Which is bigger: m or h?
h
Let n(l) = -71*l**3 - 2*l**2 - 2*l - 1. Let w be n(-1). Let j be (-2)/(-3) + w/(-15) + 5. Which is smaller: -3/46 or j?
-3/46
Let g = -239 - -241. Which is greater: g or 0.2?
g
Let w(h) = -6*h**3 - 2*h**2 - 2*h - 4. Let c be w(-2). Let k = 18 - c. Let z = -13 - k. Is z != 7?
True
Let t = -4.52 + 4.42. Do t and 260 have different values?
True
Suppose 10 = 5*k, 2*q + 9 - 3 = k. Let g be q/19 + (-34)/38. Which is bigger: 8/19 or g?
8/19
Let q = -943 - -400. Which is bigger: q or -542?
-542
Suppose 1087 = -8*k + 6799. Let d = 4982/7 - k. Which is smaller: -3 or d?
-3
Let h be (-18)/(-24) - 105/108. Let b(t) = -t**2 + 6*t - 4. Let o be b(7). Let u(k) = -k**3 - 11*k**2 + k + 10. Let x be u(o). Is h at most x?
False
Let h(i) = -i**2 - 23*i + 28. Let v be h(-24). Which is greater: v or 28?
28
Let t = 34.583 + -34.5. Is 0.3 bigger than t?
True
Let i = 51488/1363 + -1172/29. Is -2 less than i?
False
Let g(l) = -31*l + 307. Let k be g(17). Is -219 equal to k?
False
Suppose -3*a + 4*a - 62 = 0. Let h = 247/4 - a. Is 1 <= h?
False
Suppose 20*x - 8*x - 36 = 0. Suppose -x*t - 3*u + 6 = 0, 3*t - u + 6 = -4. Are 3 and t equal?
False
Let z = 10/323 - -316763/3230. Suppose -147 = -3*b + 147. Let x = b - z. Which is smaller: -1 or x?
-1
Let j be -1 - (3 - 6681/1269). Let i = j - 11/9. Let h be (0 - 1)/(1 + -2). Is i at least as big as h?
False
Let b be (-172)/17458*1/17. Is -1 != b?
True
Let g = -26 + 21. Let k = 2 + g. Let p be -2*(-1)/(k + 4). Is -0.03 bigger than p?
False
Let h = -521677/20 - -26052. Let f = -173/5 - h. Is 0 at least as big as f?
True
Suppose 0 = -3*v - 4*o + 680, 0 = 5*v + o - 645 - 511. Is 231 > v?
False
Suppose 5*z - 36 - 29 = -2*q, -95 = -5*q + z. Let p be ((-1)/(-6))/((1 + 3)/q). Is p equal to 1?
False
Suppose -5*c = 3*o - 28, 2*o + c - 6 = 4*c. Let f be -3*2/o - -8. Let n be 54/(-7) - 2/f. Is -7 bigger than n?
True
Suppose 6*d - 2462 + 86 = 0. Is d greater than 396?
False
Let b = 464 - 651. Which is smaller: -188 or b?
-188
Suppose -5*y + 3*x = -6*y + 14, -2*y - 4*x + 22 = 0. Let o = y + -4. Let c be 1*(20/12)/(2 + -1). Is o < c?
True
Let i be (-1)/((3/7)/3). Let b be 0*(-11)/33 + 4 - 4. Which is bigger: i or b?
b
Suppose q - 5 + 4 = 0. Let u = 64 + -64.019. Let x = -6.019 - u. Which is greater: x or q?
q
Let i(l) = -l - 2. Let b be i(-6). Suppose -b*a = a + 5. Let n(w) = -3*w - 26. Let o be n(-8). Is o greater than or equal to a?
False
Let z = -14471/7 - -2074. Is 8 < z?
False
Suppose 5 = 4*t + 2*c - 65, 4*c = -2*t + 20. Is 19 > t?
False
Let q(o) = -o + 9. Let v be q(8). Let k(w) = -108*w + 218. Let t be k(2). Is t at most as big as v?
False
Let f = -2.81 - 34.19. Is f greater than -0.2?
False
Let n = -4 - -6. Let l = 1.18 - -46.82. Let t = 47.98 - l. Which is smaller: n or t?
t
Suppose 0 = w - 3*q - 11, 2*q = 3*w + q - 9. Let d be (w - (-3 + 5))/(-1). Let u be (7 - (d + 1))*1. Which is smaller: 4 or u?
4
Let t(i) = -i**2 + 23*i + 174. Let j be t(34). Which is bigger: j or -198?
-198
Let u be 12/200*(-105)/(-6). Let r = 3/20 + u. Which is bigger: 1 or r?
r
Let u(k) = -3*k - 88. Let h be (1 + (1 - 0))*(-58)/4. Let c be u(h). Is c bigger than -3/8?
False
Let g = 270 - 183. Let r be (2*5)/(3 + g/(-27)). Are -45 and r equal?
True
Suppose 6*n + 9 = 9*n. Suppose -d - 68 = n*d. Is d < -17?
False
Let n(j) be the second derivative of -j**5/20 - j**4/6 + j**3/6 - 3*j**2 - 20*j. Let d be n(-3). Let o be 1 + -1 + (-1)/(-2). Is o equal to d?
False
Let b(n) = -n**2 + 11*n - 9. Let j be (3 - (-3 - -2)) + 8. Let h be b(j). Let s(c) = 3*c - 3. Let a be s(-6). Is h > a?
False
Let z(l) = -l**2 - 36*l + 252. Let x be z(6). Which is greater: x or -5/152?
x
Let z = 439 - 438. Which is smaller: z or 1/162?
1/162
Let k = 84 + -75. Suppose 0 = -5*g - 0*g - 105. Let x = g - -30. Is x != k?
False
Let p = -480 - -478. Which is greater: p or -11/4?
p
Suppose 0*m - 2*m = 0. Is 9/83 < m?
False
Let n be (-5)/(-9) + 3/(81/(-6)). Are n and -129 equal?
False
Let v = 341 + -2391/7. Let m = 15/14 + v. Is 0 at least m?
False
Let z = 459 + -752. Which is greater: z or -292?
-292
Let v be (1 - -1 - 1)/(-14). Suppose -5*o + 2*o + 12 = 0. Let b = -3 + o. Which is smaller: v or b?
v
Let a = 1108 - 998. Is -0.5 at least a?
False
Let p = 3 - 2. Let v be 1294/378 - 1 - 2. Let c = -22/63 + v. Which is smaller: c or p?
c
Let d be 121/(1 - 28/8). Suppose 0*y = -2*y + 96. Let b = y + d. Is 0.1 smaller than b?
False
Let h(m) = -18*m**2 + 4*m + 3. Let i be h(-2). Let t = 259 - 217. Let s be 2/4*t/i. Is -1 greater than or equal to s?
False
Let c = 1058 + -1060. Let x = -17562/5579 - -4/797. Do c and x have the same value?
False
Let n be 7 + (-50076)/2781 - -11. Is -1 equal to n?
False
Suppose 2*w - 129 = 237. Is 182 at most as big as w?
True
Suppose -21*w + 4128 = -64*w. Which is bigger: w or -1?
-1
Let s = -43 - -47.5. Is s bigger than 1?
True
Let m = 7022/9 - 781. Let